runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3373118-1305419220/watcher-3373118-1305419220 -o /tmp/evaluation-result-3373118-1305419220/solver-3373118-1305419220 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373118-1305419220.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.39 4.34 5.81 2/291 4950
/proc/meminfo: memFree=15865460/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=22012 CPUtime=0 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 821 0 0 0 0 0 0 0 18 0 1 0 109531421 22540288 708 33554432000 4194304 4964800 140733305417936 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4950/statm: 5503 709 385 189 0 377 0
[startup+0.059464 s]
/proc/loadavg: 3.39 4.34 5.81 2/291 4950
/proc/meminfo: memFree=15865460/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=24796 CPUtime=0.05 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 1677 0 0 0 5 0 0 0 18 0 1 0 109531421 25391104 1421 33554432000 4194304 4964800 140733305417936 18446744073709551615 4607570 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4950/statm: 6199 1421 398 189 0 1073 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24796
[startup+0.100458 s]
/proc/loadavg: 3.39 4.34 5.81 2/291 4950
/proc/meminfo: memFree=15865460/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=24928 CPUtime=0.09 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 1721 0 0 0 9 0 0 0 18 0 1 0 109531421 25526272 1465 33554432000 4194304 4964800 140733305417936 18446744073709551615 4600304 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4950/statm: 6232 1465 399 189 0 1106 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24928
[startup+0.300306 s]
/proc/loadavg: 3.39 4.34 5.81 2/291 4950
/proc/meminfo: memFree=15865460/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=171808 CPUtime=0.67 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 2860 0 0 0 67 0 0 0 19 0 4 0 109531421 175931392 2476 33554432000 4194304 4964800 140733305417936 18446744073709551615 4660444 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 42952 2476 458 189 0 37301 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 171808
[startup+0.700238 s]
/proc/loadavg: 3.39 4.34 5.81 2/291 4950
/proc/meminfo: memFree=15865460/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=173396 CPUtime=2.27 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 4447 0 0 0 227 0 0 0 19 0 4 0 109531421 177557504 4063 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670538 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 43349 4063 458 189 0 37698 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 173396
[startup+1.5011 s]
/proc/loadavg: 3.76 4.40 5.82 9/302 4962
/proc/meminfo: memFree=15833892/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=175504 CPUtime=5.46 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 5908 0 0 0 546 0 0 0 21 0 4 0 109531421 179716096 5524 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 43876 5524 458 189 0 38225 0
[pid=4950/tid=4960] ppid=4948 vsize=175504 CPUtime=1.32 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 859 0 0 0 132 0 0 0 23 0 4 0 109531439 179716096 5524 33554432000 4194304 4964800 140733305417936 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=175504 CPUtime=1.32 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 1247 0 0 0 132 0 0 0 23 0 4 0 109531439 179716096 5524 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=175504 CPUtime=1.32 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 931 0 0 0 132 0 0 0 19 0 4 0 109531439 179716096 5524 33554432000 4194304 4964800 140733305417936 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 175504
[startup+3.10082 s]
/proc/loadavg: 3.76 4.40 5.82 9/302 4962
/proc/meminfo: memFree=15822612/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=176308 CPUtime=11.85 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 6892 0 0 0 1185 0 0 0 25 0 4 0 109531421 180539392 6508 33554432000 4194304 4964800 140733305417936 18446744073709551615 4627365 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 44077 6508 460 189 0 38426 0
[pid=4950/tid=4960] ppid=4948 vsize=176308 CPUtime=2.92 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 1129 0 0 0 292 0 0 0 25 0 4 0 109531439 180539392 6508 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=176308 CPUtime=2.92 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 1583 0 0 0 292 0 0 0 25 0 4 0 109531439 180539392 6508 33554432000 4194304 4964800 140733305417936 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=176308 CPUtime=2.92 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 1152 0 0 0 292 0 0 0 24 0 4 0 109531439 180539392 6508 33554432000 4194304 4964800 140733305417936 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 176308
[startup+6.30026 s]
/proc/loadavg: 3.76 4.40 5.82 9/302 4963
/proc/meminfo: memFree=15807996/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=179168 CPUtime=24.62 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 8472 0 0 0 2461 1 0 0 25 0 4 0 109531421 183468032 8088 33554432000 4194304 4964800 140733305417936 18446744073709551615 4660458 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 44792 8088 460 189 0 39141 0
[pid=4950/tid=4960] ppid=4948 vsize=179168 CPUtime=6.11 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 1777 0 0 0 611 0 0 0 25 0 4 0 109531439 183468032 8088 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=179168 CPUtime=6.12 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 1948 0 0 0 612 0 0 0 25 0 4 0 109531439 183468032 8088 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=179168 CPUtime=6.12 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 1487 0 0 0 612 0 0 0 25 0 4 0 109531439 183468032 8088 33554432000 4194304 4964800 140733305417936 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (KiB) 179168
[startup+12.7011 s]
/proc/loadavg: 4.41 4.52 5.84 9/302 4963
/proc/meminfo: memFree=15775640/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=184312 CPUtime=50.16 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 12562 0 0 0 5013 3 0 0 25 0 4 0 109531421 188735488 12178 33554432000 4194304 4964800 140733305417936 18446744073709551615 4627365 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 46078 12178 460 189 0 40427 0
[pid=4950/tid=4960] ppid=4948 vsize=184312 CPUtime=12.51 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 2817 0 0 0 1251 0 0 0 25 0 4 0 109531439 188735488 12178 33554432000 4194304 4964800 140733305417936 18446744073709551615 4673285 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=184312 CPUtime=12.52 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 3281 0 0 0 1252 0 0 0 25 0 4 0 109531439 188735488 12178 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=184312 CPUtime=12.52 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 2211 0 0 0 1252 0 0 0 25 0 4 0 109531439 188735488 12178 33554432000 4194304 4964800 140733305417936 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.16
Current children cumulated vsize (KiB) 184312
[startup+25.5009 s]
/proc/loadavg: 4.96 4.63 5.87 9/302 4993
/proc/meminfo: memFree=15696076/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=253916 CPUtime=101.23 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 17244 0 0 0 10115 8 0 0 25 0 4 0 109531421 260009984 16860 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670323 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 63479 16860 460 189 0 57828 0
[pid=4950/tid=4960] ppid=4948 vsize=253916 CPUtime=25.31 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 3855 0 0 0 2531 0 0 0 25 0 4 0 109531439 260009984 16860 33554432000 4194304 4964800 140733305417936 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=253916 CPUtime=25.31 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 4600 0 0 0 2531 0 0 0 25 0 4 0 109531439 260009984 16860 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=253916 CPUtime=25.32 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 2569 0 0 0 2530 2 0 0 25 0 4 0 109531439 260009984 16860 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 253916
[startup+51.1004 s]
/proc/loadavg: 6.06 4.92 5.93 9/302 4993
/proc/meminfo: memFree=15602656/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=261552 CPUtime=203.39 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 24729 0 0 0 20327 12 0 0 25 0 4 0 109531421 267829248 24152 33554432000 4194304 4964800 140733305417936 18446744073709551615 4320886 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 65388 24152 460 189 0 59737 0
[pid=4950/tid=4960] ppid=4948 vsize=261552 CPUtime=50.9 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 6158 0 0 0 5089 1 0 0 25 0 4 0 109531439 267829248 24152 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=261552 CPUtime=50.92 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 5790 0 0 0 5091 1 0 0 25 0 4 0 109531439 267829248 24152 33554432000 4194304 4964800 140733305417936 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=261552 CPUtime=50.92 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 4162 0 0 0 5089 3 0 0 25 0 4 0 109531439 267829248 24152 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.39
Current children cumulated vsize (KiB) 261552
[startup+102.312 s]
/proc/loadavg: 7.32 5.46 6.06 9/302 4995
/proc/meminfo: memFree=15482604/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=269516 CPUtime=407.75 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 33775 0 0 0 40756 19 0 0 25 0 4 0 109531421 275984384 32927 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 67379 32927 460 189 0 61728 0
[pid=4950/tid=4960] ppid=4948 vsize=269516 CPUtime=102.11 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 8168 0 0 0 10208 3 0 0 25 0 4 0 109531439 275984384 32927 33554432000 4194304 4964800 140733305417936 18446744073709551615 4684067 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=269516 CPUtime=102.12 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 7409 0 0 0 10211 1 0 0 25 0 4 0 109531439 275984384 32927 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=269516 CPUtime=102.13 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 7953 0 0 0 10207 6 0 0 25 0 4 0 109531439 275984384 32927 33554432000 4194304 4964800 140733305417936 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.75
Current children cumulated vsize (KiB) 269516
[startup+162.301 s]
/proc/loadavg: 7.91 5.97 6.19 9/302 4997
/proc/meminfo: memFree=15365788/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=273452 CPUtime=647.15 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 42207 0 0 0 64690 25 0 0 25 0 4 0 109531421 280014848 41245 33554432000 4194304 4964800 140733305417936 18446744073709551615 4627860 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 68363 41245 460 189 0 62712 0
[pid=4950/tid=4960] ppid=4948 vsize=273452 CPUtime=162.1 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 12142 0 0 0 16204 6 0 0 25 0 4 0 109531439 280014848 41245 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=273452 CPUtime=162.12 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 9358 0 0 0 16210 2 0 0 25 0 4 0 109531439 280014848 41245 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=273452 CPUtime=162.12 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 8987 0 0 0 16205 7 0 0 25 0 4 0 109531439 280014848 41245 33554432000 4194304 4964800 140733305417936 18446744073709551615 4363687 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.15
Current children cumulated vsize (KiB) 273452
[startup+222.301 s]
/proc/loadavg: 8.04 6.35 6.31 9/302 4998
/proc/meminfo: memFree=15294108/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=274036 CPUtime=886.58 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 45447 0 0 0 88629 29 0 0 25 0 4 0 109531421 280612864 44404 33554432000 4194304 4964800 140733305417936 18446744073709551615 4627893 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 68509 44404 460 189 0 62858 0
[pid=4950/tid=4960] ppid=4948 vsize=274036 CPUtime=222.09 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 12639 0 0 0 22202 7 0 0 25 0 4 0 109531439 280612864 44404 33554432000 4194304 4964800 140733305417936 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=274036 CPUtime=222.12 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 9650 0 0 0 22210 2 0 0 25 0 4 0 109531439 280612864 44404 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=274036 CPUtime=222.12 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 11290 0 0 0 22202 10 0 0 25 0 4 0 109531439 280612864 44404 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 886.58
Current children cumulated vsize (KiB) 274036
[startup+282.301 s]
################
# More data... #
################
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 14279 0 0 0 58199 12 0 0 25 0 4 0 109531439 310153216 58302 33554432000 4194304 4964800 140733305417936 18446744073709551615 4320921 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2323.25
Current children cumulated vsize (KiB) 302884
[startup+642.3 s]
/proc/loadavg: 8.13 7.69 6.95 9/302 5009
/proc/meminfo: memFree=15003960/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=368804 CPUtime=2562.73 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 64406 0 0 0 256229 44 0 0 25 0 4 0 109531421 377655296 62562 33554432000 4194304 4964800 140733305417936 18446744073709551615 4632387 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92201 62562 460 189 0 86550 0
[pid=4950/tid=4960] ppid=4948 vsize=368804 CPUtime=642.08 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20426 0 0 0 64196 12 0 0 25 0 4 0 109531439 377655296 62562 33554432000 4194304 4964800 140733305417936 18446744073709551615 4320934 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=368804 CPUtime=642.13 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 14331 0 0 0 64207 6 0 0 25 0 4 0 109531439 377655296 62562 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=368804 CPUtime=642.12 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15529 0 0 0 64199 13 0 0 25 0 4 0 109531439 377655296 62562 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2562.73
Current children cumulated vsize (KiB) 368804
[startup+702.301 s]
/proc/loadavg: 8.12 7.77 7.03 9/302 5011
/proc/meminfo: memFree=14961536/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=368804 CPUtime=2802.14 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 66538 0 0 0 280167 47 0 0 25 0 4 0 109531421 377655296 64598 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92201 64598 460 189 0 86550 0
[pid=4950/tid=4960] ppid=4948 vsize=368804 CPUtime=702.07 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20553 0 0 0 70195 12 0 0 25 0 4 0 109531439 377655296 64598 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=368804 CPUtime=702.12 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 14353 0 0 0 70206 6 0 0 25 0 4 0 109531439 377655296 64598 33554432000 4194304 4964800 140733305417936 18446744073709551615 4627362 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=368804 CPUtime=702.11 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15530 0 0 0 70198 13 0 0 25 0 4 0 109531439 377655296 64598 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.14
Current children cumulated vsize (KiB) 368804
[startup+762.311 s]
/proc/loadavg: 8.08 7.82 7.09 9/302 5013
/proc/meminfo: memFree=14953704/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=368804 CPUtime=3041.63 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 66828 0 0 0 304115 48 0 0 25 0 4 0 109531421 377655296 64849 33554432000 4194304 4964800 140733305417936 18446744073709551615 4644872 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92201 64849 460 189 0 86550 0
[pid=4950/tid=4960] ppid=4948 vsize=368804 CPUtime=762.08 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20553 0 0 0 76196 12 0 0 25 0 4 0 109531439 377655296 64849 33554432000 4194304 4964800 140733305417936 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=368804 CPUtime=762.13 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 14641 0 0 0 76207 6 0 0 25 0 4 0 109531439 377655296 64849 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=368804 CPUtime=762.12 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15531 0 0 0 76199 13 0 0 25 0 4 0 109531439 377655296 64849 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.63
Current children cumulated vsize (KiB) 368804
Solver just ended. Dumping a history of the last processes samples
[startup+767.9 s]
/proc/loadavg: 8.08 7.83 7.09 9/302 5013
/proc/meminfo: memFree=14950852/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=368804 CPUtime=3063.94 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 66828 0 0 0 306346 48 0 0 25 0 4 0 109531421 377655296 64849 33554432000 4194304 4964800 140733305417936 18446744073709551615 4653320 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92201 64849 460 189 0 86550 0
[pid=4950/tid=4960] ppid=4948 vsize=368804 CPUtime=767.67 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20553 0 0 0 76755 12 0 0 25 0 4 0 109531439 377655296 64849 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=368804 CPUtime=767.72 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 14641 0 0 0 76766 6 0 0 25 0 4 0 109531439 377655296 64849 33554432000 4194304 4964800 140733305417936 18446744073709551615 4660449 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=368804 CPUtime=767.71 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15531 0 0 0 76758 13 0 0 25 0 4 0 109531439 377655296 64849 33554432000 4194304 4964800 140733305417936 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3063.94
Current children cumulated vsize (KiB) 368804
[startup+780.701 s]
/proc/loadavg: 8.14 7.85 7.11 9/302 5013
/proc/meminfo: memFree=14949484/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=369312 CPUtime=3115.03 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 67140 0 0 0 311454 49 0 0 25 0 4 0 109531421 378175488 65065 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92328 65065 460 189 0 86677 0
[pid=4950/tid=4960] ppid=4948 vsize=369312 CPUtime=780.47 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20649 0 0 0 78034 13 0 0 25 0 4 0 109531439 378175488 65065 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=369312 CPUtime=780.52 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 14742 0 0 0 78046 6 0 0 25 0 4 0 109531439 378175488 65065 33554432000 4194304 4964800 140733305417936 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=369312 CPUtime=780.51 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15533 0 0 0 78038 13 0 0 25 0 4 0 109531439 378175488 65065 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3115.03
Current children cumulated vsize (KiB) 369312
[startup+793.501 s]
/proc/loadavg: 8.11 7.85 7.12 9/302 5013
/proc/meminfo: memFree=14946508/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=369912 CPUtime=3166.1 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 67451 0 0 0 316561 49 0 0 25 0 4 0 109531421 378789888 65376 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670273 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92478 65376 460 189 0 86827 0
[pid=4950/tid=4960] ppid=4948 vsize=369912 CPUtime=793.27 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20649 0 0 0 79314 13 0 0 25 0 4 0 109531439 378789888 65376 33554432000 4194304 4964800 140733305417936 18446744073709551615 4321122 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=369912 CPUtime=793.32 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 15053 0 0 0 79326 6 0 0 25 0 4 0 109531439 378789888 65376 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=369912 CPUtime=793.32 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15533 0 0 0 79318 14 0 0 25 0 4 0 109531439 378789888 65376 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3166.1
Current children cumulated vsize (KiB) 369912
[startup+796.7 s]
/proc/loadavg: 8.10 7.86 7.13 9/302 5013
/proc/meminfo: memFree=14946260/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=369912 CPUtime=3178.87 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 67462 0 0 0 317838 49 0 0 25 0 4 0 109531421 378789888 65387 33554432000 4194304 4964800 140733305417936 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92478 65387 460 189 0 86827 0
[pid=4950/tid=4960] ppid=4948 vsize=369912 CPUtime=796.47 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20649 0 0 0 79634 13 0 0 25 0 4 0 109531439 378789888 65387 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=369912 CPUtime=796.52 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 15064 0 0 0 79646 6 0 0 25 0 4 0 109531439 378789888 65387 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=369912 CPUtime=796.52 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15533 0 0 0 79638 14 0 0 25 0 4 0 109531439 378789888 65387 33554432000 4194304 4964800 140733305417936 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3178.87
Current children cumulated vsize (KiB) 369912
[startup+798.301 s]
/proc/loadavg: 8.10 7.86 7.13 9/302 5013
/proc/meminfo: memFree=14946260/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=369912 CPUtime=3185.26 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 67463 0 0 0 318477 49 0 0 25 0 4 0 109531421 378789888 65388 33554432000 4194304 4964800 140733305417936 18446744073709551615 4627843 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92478 65388 460 189 0 86827 0
[pid=4950/tid=4960] ppid=4948 vsize=369912 CPUtime=798.07 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20649 0 0 0 79794 13 0 0 25 0 4 0 109531439 378789888 65388 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=369912 CPUtime=798.12 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 15065 0 0 0 79806 6 0 0 25 0 4 0 109531439 378789888 65388 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=369912 CPUtime=798.12 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15533 0 0 0 79798 14 0 0 25 0 4 0 109531439 378789888 65388 33554432000 4194304 4964800 140733305417936 18446744073709551615 4321050 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3185.26
Current children cumulated vsize (KiB) 369912
[startup+799.901 s]
/proc/loadavg: 8.10 7.86 7.13 9/302 5013
/proc/meminfo: memFree=14946380/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=369912 CPUtime=3191.64 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 67463 0 0 0 319115 49 0 0 25 0 4 0 109531421 378789888 65388 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92478 65388 460 189 0 86827 0
[pid=4950/tid=4960] ppid=4948 vsize=369912 CPUtime=799.67 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20649 0 0 0 79954 13 0 0 25 0 4 0 109531439 378789888 65388 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=369912 CPUtime=799.72 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 15065 0 0 0 79966 6 0 0 25 0 4 0 109531439 378789888 65388 33554432000 4194304 4964800 140733305417936 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=369912 CPUtime=799.72 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15533 0 0 0 79958 14 0 0 25 0 4 0 109531439 378789888 65388 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3191.64
Current children cumulated vsize (KiB) 369912
[startup+800.701 s]
/proc/loadavg: 8.09 7.86 7.13 9/302 5013
/proc/meminfo: memFree=14946380/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=369912 CPUtime=3194.86 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 67600 0 0 0 319437 49 0 0 25 0 4 0 109531421 378789888 65429 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92478 65429 460 189 0 86827 0
[pid=4950/tid=4960] ppid=4948 vsize=369912 CPUtime=800.48 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20786 0 0 0 80035 13 0 0 25 0 4 0 109531439 378789888 65429 33554432000 4194304 4964800 140733305417936 18446744073709551615 4332208 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=369912 CPUtime=800.53 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 15065 0 0 0 80047 6 0 0 25 0 4 0 109531439 378789888 65429 33554432000 4194304 4964800 140733305417936 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=369912 CPUtime=800.53 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15533 0 0 0 80039 14 0 0 25 0 4 0 109531439 378789888 65429 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3194.86
Current children cumulated vsize (KiB) 369912
[startup+800.901 s]
/proc/loadavg: 8.09 7.86 7.13 9/302 5013
/proc/meminfo: memFree=14946380/32950928 swapFree=67111364/67111528
[pid=4950] ppid=4948 vsize=369912 CPUtime=3195.63 cores=0,2,4,6
/proc/4950/stat : 4950 (claspmt) R 4948 4950 4917 0 -1 4202496 67600 0 0 0 319514 49 0 0 25 0 4 0 109531421 378789888 65429 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4950/statm: 92478 65429 460 189 0 86827 0
[pid=4950/tid=4960] ppid=4948 vsize=369912 CPUtime=800.67 cores=0,2,4,6
/proc/4950/task/4960/stat : 4960 (claspmt) R 4948 4950 4917 0 -1 4202560 20786 0 0 0 80054 13 0 0 25 0 4 0 109531439 378789888 65429 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4950/tid=4961] ppid=4948 vsize=369912 CPUtime=800.72 cores=0,2,4,6
/proc/4950/task/4961/stat : 4961 (claspmt) R 4948 4950 4917 0 -1 4202560 15065 0 0 0 80066 6 0 0 25 0 4 0 109531439 378789888 65429 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4950/tid=4962] ppid=4948 vsize=369912 CPUtime=800.72 cores=0,2,4,6
/proc/4950/task/4962/stat : 4962 (claspmt) R 4948 4950 4917 0 -1 4202560 15533 0 0 0 80058 14 0 0 25 0 4 0 109531439 378789888 65429 33554432000 4194304 4964800 140733305417936 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3195.63
Current children cumulated vsize (KiB) 369912
Child status: 10
Real time (s): 800.991
CPU time (s): 3195.82
CPU user time (s): 3195.32
CPU system time (s): 0.503923
CPU usage (%): 398.984
Max. virtual memory (cumulated for all children) (KiB): 369912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3195.32
system time used= 0.503923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67612
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= 3716
involuntary context switches= 15071
runsolver used 1.9937 second user time and 5.29719 second system time
The end