runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/randd8bf6a.cudf.difficult.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/difficult//randd8bf6a.cudf /home/misc2010/tmp/201007051419/inesct-1.0/randd8bf6a.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.34 1.15 1.07 1/94 3184 /proc/meminfo: memFree=1260640/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=0 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3186] ppid=3185 vsize=4000 CPUtime=0 /proc/3186/stat : 3186 (cudf-solver.py) R 3185 3184 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 19 0 1 0 418857615 4096000 308 1283457024 134512640 135539072 4287369568 18446744073709551615 4158792986 0 2147483391 16781312 2 0 0 0 17 0 0 0 0 /proc/3186/statm: 1000 308 12 251 0 301 0 [startup+0.184289 s] /proc/loadavg: 1.34 1.15 1.07 1/94 3184 /proc/meminfo: memFree=1260640/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=0 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3186] ppid=3185 vsize=857000 CPUtime=0.14 /proc/3186/stat : 3186 (java) S 3185 3184 13759 34823 13904 4202496 4117 0 0 0 11 3 0 0 17 0 12 0 418857615 877568000 3519 1283457024 134512640 134550932 4293742272 18446744073709551615 4160107666 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3186/statm: 214250 3519 1643 10 0 211337 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 863380 [startup+0.204297 s] /proc/loadavg: 1.34 1.15 1.07 1/94 3184 /proc/meminfo: memFree=1260640/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=0 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3186] ppid=3185 vsize=858620 CPUtime=0.16 /proc/3186/stat : 3186 (java) S 3185 3184 13759 34823 13904 4202496 4566 0 0 0 13 3 0 0 17 0 12 0 418857615 879226880 3968 1283457024 134512640 134550932 4293742272 18446744073709551615 4160107666 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3186/statm: 214655 3968 1681 10 0 211742 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 865000 [startup+0.306085 s] /proc/loadavg: 1.34 1.15 1.07 1/94 3184 /proc/meminfo: memFree=1260640/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=0 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3186] ppid=3185 vsize=860292 CPUtime=0.36 /proc/3186/stat : 3186 (java) S 3185 3184 13759 34823 13904 4202496 5652 0 0 0 33 3 0 0 17 0 12 0 418857615 880939008 5053 1283457024 134512640 134550932 4293742272 18446744073709551615 4160107666 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3186/statm: 215073 5053 1721 10 0 212160 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 866672 [startup+0.704262 s] /proc/loadavg: 1.34 1.15 1.07 1/94 3184 /proc/meminfo: memFree=1260640/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=0 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3186] ppid=3185 vsize=869288 CPUtime=0.98 /proc/3186/stat : 3186 (java) S 3185 3184 13759 34823 13904 4202496 10888 0 0 0 90 8 0 0 17 0 12 0 418857615 890150912 9883 1283457024 134512640 134550932 4293742272 18446744073709551615 4160107666 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3186/statm: 217322 9883 1740 10 0 214409 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 875668 [startup+1.50431 s] /proc/loadavg: 1.34 1.15 1.07 2/108 3198 /proc/meminfo: memFree=1198800/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=0 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3186] ppid=3185 vsize=869612 CPUtime=2.07 /proc/3186/stat : 3186 (java) S 3185 3184 13759 34823 13904 4202496 25360 0 0 0 192 15 0 0 17 0 12 0 418857615 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160107666 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3186/statm: 217403 23645 1745 10 0 214490 0 [pid=3186/tid=3188] ppid=3185 vsize=869612 CPUtime=0.94 /proc/3186/task/3188/stat : 3188 (java) R 3185 3184 13759 34823 13904 4202560 9325 0 0 0 90 4 0 0 15 0 12 0 418857616 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160132465 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3186/tid=3189] ppid=3185 vsize=869612 CPUtime=0.12 /proc/3186/task/3189/stat : 3189 (java) S 3185 3184 13759 34823 13904 4202560 4513 0 0 0 10 2 0 0 15 0 12 0 418857617 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 1 0 0 0 [pid=3186/tid=3190] ppid=3185 vsize=869612 CPUtime=0.15 /proc/3186/task/3190/stat : 3190 (java) S 3185 3184 13759 34823 13904 4202560 5926 0 0 0 13 2 0 0 16 0 12 0 418857617 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3191] ppid=3185 vsize=869612 CPUtime=0.08 /proc/3186/task/3191/stat : 3191 (java) S 3185 3184 13759 34823 13904 4202560 110 0 0 0 8 0 0 0 16 0 12 0 418857618 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121864 0 0 0 16800975 18446612132741738752 0 0 -1 1 0 0 0 [pid=3186/tid=3192] ppid=3185 vsize=869612 CPUtime=0 /proc/3186/task/3192/stat : 3192 (java) S 3185 3184 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 418857619 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3193] ppid=3185 vsize=869612 CPUtime=0 /proc/3186/task/3193/stat : 3193 (java) S 3185 3184 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 418857619 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 1 0 0 0 [pid=3186/tid=3194] ppid=3185 vsize=869612 CPUtime=0 /proc/3186/task/3194/stat : 3194 (java) S 3185 3184 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418857622 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160129360 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3195] ppid=3185 vsize=869612 CPUtime=0.53 /proc/3186/task/3195/stat : 3195 (java) S 3185 3184 13759 34823 13904 4202560 2925 0 0 0 52 1 0 0 15 0 12 0 418857622 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 1 0 0 0 [pid=3186/tid=3196] ppid=3185 vsize=869612 CPUtime=0.23 /proc/3186/task/3196/stat : 3196 (java) S 3185 3184 13759 34823 13904 4202560 1153 0 0 0 19 4 0 0 15 0 12 0 418857622 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3197] ppid=3185 vsize=869612 CPUtime=0 /proc/3186/task/3197/stat : 3197 (java) S 3185 3184 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 418857622 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3198] ppid=3185 vsize=869612 CPUtime=0 /proc/3186/task/3198/stat : 3198 (java) S 3185 3184 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418857622 890482688 23645 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121864 0 4 0 16800975 18446612132741738752 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 875992 [startup+3.10471 s] /proc/loadavg: 1.47 1.18 1.08 5/108 3198 /proc/meminfo: memFree=1115596/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=0 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 18 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3186] ppid=3185 vsize=881020 CPUtime=4.71 /proc/3186/stat : 3186 (java) S 3185 3184 13759 34823 13904 4202496 45485 0 0 0 445 26 0 0 17 0 12 0 418857615 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4160107666 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3186/statm: 220255 40762 1778 10 0 217342 0 [pid=3186/tid=3188] ppid=3185 vsize=881020 CPUtime=1.98 /proc/3186/task/3188/stat : 3188 (java) R 3185 3184 13759 34823 13904 4202560 15154 0 0 0 187 11 0 0 16 0 12 0 418857616 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4147956448 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3186/tid=3189] ppid=3185 vsize=881020 CPUtime=0.23 /proc/3186/task/3189/stat : 3189 (java) S 3185 3184 13759 34823 13904 4202560 8526 0 0 0 19 4 0 0 16 0 12 0 418857617 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3190] ppid=3185 vsize=881020 CPUtime=0.25 /proc/3186/task/3190/stat : 3190 (java) S 3185 3184 13759 34823 13904 4202560 9845 0 0 0 22 3 0 0 15 0 12 0 418857617 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3191] ppid=3185 vsize=881020 CPUtime=0.25 /proc/3186/task/3191/stat : 3191 (java) S 3185 3184 13759 34823 13904 4202560 1620 0 0 0 25 0 0 0 15 0 12 0 418857618 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121864 0 0 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3192] ppid=3185 vsize=881020 CPUtime=0 /proc/3186/task/3192/stat : 3192 (java) S 3185 3184 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 418857619 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3193] ppid=3185 vsize=881020 CPUtime=0 /proc/3186/task/3193/stat : 3193 (java) S 3185 3184 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 418857619 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 1 0 0 0 [pid=3186/tid=3194] ppid=3185 vsize=881020 CPUtime=0 /proc/3186/task/3194/stat : 3194 (java) S 3185 3184 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418857622 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4160129360 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3195] ppid=3185 vsize=881020 CPUtime=0.96 /proc/3186/task/3195/stat : 3195 (java) R 3185 3184 13759 34823 13904 4202560 4502 0 0 0 94 2 0 0 16 0 12 0 418857622 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4159190945 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3186/tid=3196] ppid=3185 vsize=881020 CPUtime=1 /proc/3186/task/3196/stat : 3196 (java) R 3185 3184 13759 34823 13904 4202560 4430 0 0 0 96 4 0 0 16 0 12 0 418857622 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4152233890 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3186/tid=3197] ppid=3185 vsize=881020 CPUtime=0 /proc/3186/task/3197/stat : 3197 (java) S 3185 3184 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 418857622 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121072 0 4 0 16800975 18446612132741738752 0 0 -1 0 0 0 0 [pid=3186/tid=3198] ppid=3185 vsize=881020 CPUtime=0 /proc/3186/task/3198/stat : 3198 (java) S 3185 3184 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418857622 902164480 40762 1283457024 134512640 134550932 4293742272 18446744073709551615 4160121864 0 4 0 16800975 18446612132741738752 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.71 Current children cumulated vsize (KiB) 887400 [startup+6.3045 s] /proc/loadavg: 1.47 1.18 1.08 2/98 3203 /proc/meminfo: memFree=1216728/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=41080 CPUtime=1.86 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 10900 0 0 0 180 6 0 0 22 0 1 0 418858056 42065920 10074 1283457024 134512640 135858300 4289022832 18446744073709551615 134625979 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3203/statm: 10270 10074 137 329 0 9939 0 Current children cumulated CPU time (s) 8.47 Current children cumulated vsize (KiB) 50348 [startup+12.7048 s] /proc/loadavg: 1.44 1.18 1.08 2/98 3204 /proc/meminfo: memFree=1213412/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=41664 CPUtime=8.26 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 11598 0 0 0 820 6 0 0 25 0 1 0 418858056 42663936 10190 1283457024 134512640 135858300 4289022832 18446744073709551615 134658908 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3203/statm: 10416 10190 137 329 0 10085 0 Current children cumulated CPU time (s) 14.87 Current children cumulated vsize (KiB) 50932 [startup+25.5053 s] /proc/loadavg: 1.34 1.17 1.08 2/98 3204 /proc/meminfo: memFree=1213536/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=41664 CPUtime=21.07 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 11598 0 0 0 2100 7 0 0 25 0 1 0 418858056 42663936 10190 1283457024 134512640 135858300 4289022832 18446744073709551615 134666430 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3203/statm: 10416 10190 137 329 0 10085 0 Current children cumulated CPU time (s) 27.68 Current children cumulated vsize (KiB) 50932 [startup+51.1065 s] /proc/loadavg: 1.22 1.15 1.08 2/98 3206 /proc/meminfo: memFree=1207220/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=47908 CPUtime=46.67 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 13658 0 0 0 4659 8 0 0 25 0 1 0 418858056 49057792 11760 1283457024 134512640 135858300 4289022832 18446744073709551615 135343854 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3203/statm: 11977 11760 137 329 0 11646 0 Current children cumulated CPU time (s) 53.28 Current children cumulated vsize (KiB) 57176 Solver just ended. Dumping a history of the last processes samples [startup+51.2065 s] /proc/loadavg: 1.22 1.15 1.08 2/98 3206 /proc/meminfo: memFree=1207220/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=47908 CPUtime=46.77 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 13658 0 0 0 4669 8 0 0 25 0 1 0 418858056 49057792 11760 1283457024 134512640 135858300 4289022832 18446744073709551615 134661615 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3203/statm: 11977 11760 137 329 0 11646 0 Current children cumulated CPU time (s) 53.38 Current children cumulated vsize (KiB) 57176 [startup+57.6068 s] /proc/loadavg: 1.19 1.15 1.08 2/101 3640 /proc/meminfo: memFree=1205008/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=47908 CPUtime=52.77 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 13658 0 0 0 5267 10 0 0 25 0 1 0 418858056 49057792 11760 1283457024 134512640 135858300 4289022832 18446744073709551615 134625960 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3203/statm: 11977 11760 137 329 0 11646 0 Current children cumulated CPU time (s) 59.38 Current children cumulated vsize (KiB) 57176 [startup+64.0071 s] /proc/loadavg: 1.17 1.14 1.08 2/99 3688 /proc/meminfo: memFree=1206628/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=47908 CPUtime=59.16 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 13658 0 0 0 5906 10 0 0 25 0 1 0 418858056 49057792 11760 1283457024 134512640 135858300 4289022832 18446744073709551615 135336598 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/3203/statm: 11977 11760 137 329 0 11646 0 Current children cumulated CPU time (s) 65.77 Current children cumulated vsize (KiB) 57176 [startup+65.6101 s] /proc/loadavg: 1.17 1.14 1.08 2/99 3688 /proc/meminfo: memFree=1206644/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=47908 CPUtime=60.76 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 13658 0 0 0 6066 10 0 0 25 0 1 0 418858056 49057792 11760 1283457024 134512640 135858300 4289022832 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/3203/statm: 11977 11760 137 329 0 11646 0 Current children cumulated CPU time (s) 67.37 Current children cumulated vsize (KiB) 57176 [startup+66.4102 s] /proc/loadavg: 1.17 1.14 1.08 2/99 3688 /proc/meminfo: memFree=1206644/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=47908 CPUtime=61.56 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 13658 0 0 0 6146 10 0 0 25 0 1 0 418858056 49057792 11760 1283457024 134512640 135858300 4289022832 18446744073709551615 134620075 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/3203/statm: 11977 11760 137 329 0 11646 0 Current children cumulated CPU time (s) 68.17 Current children cumulated vsize (KiB) 57176 [startup+66.8104 s] /proc/loadavg: 1.17 1.14 1.08 2/99 3688 /proc/meminfo: memFree=1206644/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=4000 CPUtime=6.61 /proc/3185/stat : 3185 (cudf-solver.py) S 3184 3184 13759 34823 13904 4202496 811 51006 0 0 0 0 616 45 15 0 1 0 418857614 4096000 642 1283457024 134512640 135539072 4287369568 18446744073709551615 4158790286 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3185/statm: 1000 642 346 251 0 301 0 [pid=3202] ppid=3185 vsize=2888 CPUtime=0 /proc/3202/stat : 3202 (sh) S 3185 3184 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418858056 2957312 320 1283457024 134512640 135191968 4294721744 18446744073709551615 4159662734 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3202/statm: 722 320 219 166 0 154 0 [pid=3203] ppid=3202 vsize=47908 CPUtime=61.96 /proc/3203/stat : 3203 (msuncore) R 3202 3184 13759 34823 13904 4202496 13658 0 0 0 6186 10 0 0 25 0 1 0 418858056 49057792 11760 1283457024 134512640 135858300 4289022832 18446744073709551615 134670971 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/3203/statm: 11977 11760 137 329 0 11646 0 Current children cumulated CPU time (s) 68.57 Current children cumulated vsize (KiB) 57176 [startup+67.2115 s] /proc/loadavg: 1.17 1.14 1.08 2/99 3688 /proc/meminfo: memFree=1220408/2097152 swapFree=2055620/2097144 [pid=3184] ppid=3183 vsize=2380 CPUtime=0 /proc/3184/stat : 3184 (inesct-1.0) S 3183 3184 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 418857613 2437120 258 1283457024 134512640 135191968 4288123408 18446744073709551615 4159539854 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3184/statm: 595 258 221 166 0 27 0 [pid=3185] ppid=3184 vsize=7892 CPUtime=68.96 /proc/3185/stat : 3185 (cudf-solver.py) R 3184 3184 13759 34823 13904 4202496 1977 65042 0 0 8 0 6832 56 16 0 1 0 418857614 8081408 1598 1283457024 134512640 135539072 4287369568 18446744073709551615 135046419 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/3185/statm: 1973 1598 346 251 0 1274 0 Current children cumulated CPU time (s) 68.96 Current children cumulated vsize (KiB) 10272 Child status: 0 Real time (s): 67.2448 CPU time (s): 69.0083 CPU user time (s): 68.4283 CPU system time (s): 0.580036 CPU usage (%): 102.622 Max. virtual memory (cumulated for all children) (KiB): 887400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.4283 system time used= 0.580036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68816 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 479 involuntary context switches= 1089 runsolver used 0.008 second user time and 0.020001 second system time The end