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-3373171-1305432504/watcher-3373171-1305432504 -o /tmp/evaluation-result-3373171-1305432504/solver-3373171-1305432504 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373171-1305432504.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: 7.35 5.97 6.50 5/285 14107
/proc/meminfo: memFree=18496112/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=21596 CPUtime=0 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 696 0 0 0 0 0 0 0 25 0 1 0 654850047 22114304 623 33554432000 4194304 4964800 140735629821760 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14107/statm: 5399 624 385 189 0 273 0
[startup+0.030865 s]
/proc/loadavg: 7.35 5.97 6.50 5/285 14107
/proc/meminfo: memFree=18496112/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=23044 CPUtime=0.02 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 1116 0 0 0 2 0 0 0 25 0 1 0 654850047 23597056 949 33554432000 4194304 4964800 140735629821760 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14107/statm: 5761 949 398 189 0 635 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23044
[startup+0.119695 s]
/proc/loadavg: 7.35 5.97 6.50 5/285 14107
/proc/meminfo: memFree=18496112/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=239200 CPUtime=2.92 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) S 14105 14107 6618 0 -1 4202496 5716 0 0 0 291 1 0 0 19 0 4 0 654850047 244940800 5482 33554432000 4194304 4964800 140735629821760 18446744073709551615 274664913390 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 59800 5542 458 189 0 54149 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 239200
[startup+0.964661 s]
/proc/loadavg: 7.35 5.97 6.50 5/285 14107
/proc/meminfo: memFree=18496112/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=239200 CPUtime=3.67 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 5883 0 0 0 366 1 0 0 19 0 4 0 654850047 244940800 5649 33554432000 4194304 4964800 140735629821760 18446744073709551615 4321010 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 59800 5649 458 189 0 54149 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 239200
[startup+1.06464 s]
/proc/loadavg: 7.35 5.97 6.50 5/285 14107
/proc/meminfo: memFree=18496112/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=239404 CPUtime=4.06 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 6195 0 0 0 405 1 0 0 19 0 4 0 654850047 245149696 5961 33554432000 4194304 4964800 140735629821760 18446744073709551615 4320981 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 59851 5962 458 189 0 54200 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 239404
[startup+1.56456 s]
/proc/loadavg: 7.35 5.97 6.50 5/285 14107
/proc/meminfo: memFree=18496112/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=240736 CPUtime=6.06 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 7558 0 0 0 605 1 0 0 20 0 4 0 654850047 246513664 7324 33554432000 4194304 4964800 140735629821760 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 60184 7324 458 189 0 54533 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 240736
[startup+3.10029 s]
/proc/loadavg: 7.35 5.97 6.50 9/289 14112
/proc/meminfo: memFree=18453552/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=242724 CPUtime=12.19 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 10373 0 0 0 1216 3 0 0 25 0 4 0 654850047 248549376 10139 33554432000 4194304 4964800 140735629821760 18446744073709551615 4312128 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 60681 10139 460 189 0 55030 0
[pid=14107/tid=14109] ppid=14105 vsize=242724 CPUtime=3.03 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 1399 0 0 0 303 0 0 0 25 0 4 0 654850053 248549376 10139 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=242724 CPUtime=3.03 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 2291 0 0 0 303 0 0 0 25 0 4 0 654850053 248549376 10139 33554432000 4194304 4964800 140735629821760 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=242724 CPUtime=3.03 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 2758 0 0 0 302 1 0 0 25 0 4 0 654850053 248549376 10139 33554432000 4194304 4964800 140735629821760 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 242724
[startup+6.30074 s]
/proc/loadavg: 7.41 6.01 6.51 9/289 14112
/proc/meminfo: memFree=18433704/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=245592 CPUtime=24.7 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 12501 0 0 0 2464 6 0 0 18 0 4 0 654850047 251486208 12267 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670499 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 61398 12267 460 189 0 55747 0
[pid=14107/tid=14109] ppid=14105 vsize=245592 CPUtime=6.23 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 1680 0 0 0 623 0 0 0 25 0 4 0 654850053 251486208 12267 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=245592 CPUtime=6.23 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 2703 0 0 0 622 1 0 0 25 0 4 0 654850053 251486208 12267 33554432000 4194304 4964800 140735629821760 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=245592 CPUtime=5.98 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 3046 0 0 0 595 3 0 0 25 0 4 0 654850053 251486208 12267 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 245592
[startup+12.7006 s]
/proc/loadavg: 7.45 6.04 6.52 9/289 14112
/proc/meminfo: memFree=18398020/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=247804 CPUtime=50.26 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 16254 0 0 0 5015 11 0 0 25 0 4 0 654850047 253751296 16020 33554432000 4194304 4964800 140735629821760 18446744073709551615 4342149 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 61951 16020 460 189 0 56300 0
[pid=14107/tid=14109] ppid=14105 vsize=247804 CPUtime=12.64 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 3697 0 0 0 1262 2 0 0 25 0 4 0 654850053 253751296 16024 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=247804 CPUtime=12.64 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 3374 0 0 0 1263 1 0 0 25 0 4 0 654850053 253751296 16024 33554432000 4194304 4964800 140735629821760 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=247804 CPUtime=12.37 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 3536 0 0 0 1232 5 0 0 25 0 4 0 654850053 253751296 16024 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 247804
[startup+25.5004 s]
/proc/loadavg: 7.57 6.13 6.54 9/289 14112
/proc/meminfo: memFree=18371608/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=253124 CPUtime=101.32 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 22622 0 0 0 10117 15 0 0 25 0 4 0 654850047 259198976 22329 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 63281 22329 460 189 0 57630 0
[pid=14107/tid=14109] ppid=14105 vsize=253124 CPUtime=25.43 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 5585 0 0 0 2539 4 0 0 25 0 4 0 654850053 259198976 22329 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=253124 CPUtime=25.43 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 5198 0 0 0 2542 1 0 0 25 0 4 0 654850053 259198976 22329 33554432000 4194304 4964800 140735629821760 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=253124 CPUtime=25.17 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 3895 0 0 0 2511 6 0 0 25 0 4 0 654850053 259198976 22329 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 253124
[startup+51.101 s]
/proc/loadavg: 7.72 6.28 6.58 9/289 14113
/proc/meminfo: memFree=18303524/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=262624 CPUtime=203.48 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 33622 0 0 0 20324 24 0 0 25 0 4 0 654850047 268926976 33043 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670520 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 65656 33043 460 189 0 60005 0
[pid=14107/tid=14109] ppid=14105 vsize=262624 CPUtime=51.02 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 6581 0 0 0 5098 4 0 0 25 0 4 0 654850053 268926976 33043 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=262624 CPUtime=51.03 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 7371 0 0 0 5101 2 0 0 25 0 4 0 654850053 268926976 33043 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=262624 CPUtime=50.75 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 7700 0 0 0 5064 11 0 0 25 0 4 0 654850053 268926976 33043 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.48
Current children cumulated vsize (KiB) 262624
[startup+102.301 s]
/proc/loadavg: 7.95 6.56 6.65 9/289 14114
/proc/meminfo: memFree=18212624/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=272244 CPUtime=407.77 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 41480 0 0 0 40747 30 0 0 25 0 4 0 654850047 278777856 40588 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 68061 40588 460 189 0 62410 0
[pid=14107/tid=14109] ppid=14105 vsize=272244 CPUtime=102.22 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 9955 0 0 0 10215 7 0 0 25 0 4 0 654850053 278777856 40588 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=272244 CPUtime=102.24 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 9049 0 0 0 10221 3 0 0 25 0 4 0 654850053 278777856 40588 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=272244 CPUtime=101.93 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 10125 0 0 0 10180 13 0 0 25 0 4 0 654850053 278777856 40588 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.77
Current children cumulated vsize (KiB) 272244
[startup+162.301 s]
/proc/loadavg: 8.03 6.84 6.74 9/289 14116
/proc/meminfo: memFree=18072740/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=281064 CPUtime=647.24 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 47572 0 0 0 64689 35 0 0 25 0 4 0 654850047 287809536 46308 33554432000 4194304 4964800 140735629821760 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 70266 46308 460 189 0 64615 0
[pid=14107/tid=14109] ppid=14105 vsize=281064 CPUtime=162.23 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 10705 0 0 0 16215 8 0 0 25 0 4 0 654850053 287809536 46308 33554432000 4194304 4964800 140735629821760 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=281064 CPUtime=162.24 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 11165 0 0 0 16221 3 0 0 25 0 4 0 654850053 287809536 46308 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=281064 CPUtime=161.93 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 12457 0 0 0 16178 15 0 0 25 0 4 0 654850053 287809536 46308 33554432000 4194304 4964800 140735629821760 18446744073709551615 4658612 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 647.24
Current children cumulated vsize (KiB) 281064
[startup+222.3 s]
/proc/loadavg: 8.05 7.06 6.82 9/289 14117
/proc/meminfo: memFree=17956300/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=281064 CPUtime=886.66 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 52427 0 0 0 88627 39 0 0 25 0 4 0 654850047 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4334258 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 70266 51048 460 189 0 64615 0
[pid=14107/tid=14109] ppid=14105 vsize=281064 CPUtime=222.21 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 12751 0 0 0 22211 10 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4338800 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=281064 CPUtime=222.23 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 11491 0 0 0 22220 3 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=281064 CPUtime=221.91 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 14499 0 0 0 22174 17 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 886.66
Current children cumulated vsize (KiB) 281064
Solver just ended. Dumping a history of the last processes samples
[startup+224.601 s]
/proc/loadavg: 8.05 7.07 6.83 9/289 14117
/proc/meminfo: memFree=17953820/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=281064 CPUtime=895.84 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 52427 0 0 0 89545 39 0 0 25 0 4 0 654850047 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 70266 51048 460 189 0 64615 0
[pid=14107/tid=14109] ppid=14105 vsize=281064 CPUtime=224.51 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 12751 0 0 0 22441 10 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=281064 CPUtime=224.53 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 11491 0 0 0 22450 3 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4642167 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=281064 CPUtime=224.21 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 14499 0 0 0 22404 17 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 895.84
Current children cumulated vsize (KiB) 281064
[startup+227.8 s]
/proc/loadavg: 8.05 7.07 6.83 9/289 14118
/proc/meminfo: memFree=17949232/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=281064 CPUtime=908.6 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 52427 0 0 0 90821 39 0 0 25 0 4 0 654850047 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 70266 51048 460 189 0 64615 0
[pid=14107/tid=14109] ppid=14105 vsize=281064 CPUtime=227.71 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 12751 0 0 0 22761 10 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=281064 CPUtime=227.73 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 11491 0 0 0 22770 3 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=281064 CPUtime=227.41 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 14499 0 0 0 22724 17 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 908.6
Current children cumulated vsize (KiB) 281064
[startup+229.401 s]
/proc/loadavg: 8.04 7.09 6.83 9/289 14118
/proc/meminfo: memFree=17947248/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=281064 CPUtime=915.01 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 52427 0 0 0 91462 39 0 0 25 0 4 0 654850047 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4321020 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 70266 51048 460 189 0 64615 0
[pid=14107/tid=14109] ppid=14105 vsize=281064 CPUtime=229.33 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 12751 0 0 0 22923 10 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670446 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=281064 CPUtime=229.34 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 11491 0 0 0 22931 3 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=281064 CPUtime=229.02 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 14499 0 0 0 22885 17 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 915.01
Current children cumulated vsize (KiB) 281064
[startup+229.801 s]
/proc/loadavg: 8.04 7.09 6.83 9/289 14118
/proc/meminfo: memFree=17947248/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=281064 CPUtime=916.59 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 52427 0 0 0 91620 39 0 0 25 0 4 0 654850047 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4660390 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 70266 51048 460 189 0 64615 0
[pid=14107/tid=14109] ppid=14105 vsize=281064 CPUtime=229.72 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 12751 0 0 0 22962 10 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=281064 CPUtime=229.73 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 11491 0 0 0 22970 3 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=281064 CPUtime=229.41 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 14499 0 0 0 22924 17 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 916.59
Current children cumulated vsize (KiB) 281064
[startup+230.001 s]
/proc/loadavg: 8.04 7.09 6.83 9/289 14118
/proc/meminfo: memFree=17947248/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=281064 CPUtime=917.39 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 52427 0 0 0 91700 39 0 0 25 0 4 0 654850047 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4660114 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/14107/statm: 70266 51048 460 189 0 64615 0
[pid=14107/tid=14109] ppid=14105 vsize=281064 CPUtime=229.92 cores=0,2,4,6
/proc/14107/task/14109/stat : 14109 (claspmt) R 14105 14107 6618 0 -1 4202560 12751 0 0 0 22982 10 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14107/tid=14110] ppid=14105 vsize=281064 CPUtime=229.93 cores=0,2,4,6
/proc/14107/task/14110/stat : 14110 (claspmt) R 14105 14107 6618 0 -1 4202560 11491 0 0 0 22990 3 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14107/tid=14111] ppid=14105 vsize=281064 CPUtime=229.61 cores=0,2,4,6
/proc/14107/task/14111/stat : 14111 (claspmt) R 14105 14107 6618 0 -1 4202560 14499 0 0 0 22944 17 0 0 25 0 4 0 654850053 287809536 51048 33554432000 4194304 4964800 140735629821760 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 917.39
Current children cumulated vsize (KiB) 281064
[startup+230.101 s]
/proc/loadavg: 8.04 7.09 6.83 9/289 14118
/proc/meminfo: memFree=17947248/32951132 swapFree=67093824/67111528
[pid=14107] ppid=14105 vsize=281064 CPUtime=917.77 cores=0,2,4,6
/proc/14107/stat : 14107 (claspmt) R 14105 14107 6618 0 -1 4202496 52437 0 0 0 91738 39 0 0 25 0 1 0 654850047 287809536 51058 33554432000 4194304 4964800 140735629821760 18446744073709551615 274664463713 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/14107/statm: 70266 51058 470 189 0 64615 0
Current children cumulated CPU time (s) 917.77
Current children cumulated vsize (KiB) 281064
Child status: 10
Real time (s): 230.138
CPU time (s): 917.809
CPU user time (s): 917.403
CPU system time (s): 0.406938
CPU usage (%): 398.808
Max. virtual memory (cumulated for all children) (KiB): 281064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 917.403
system time used= 0.406938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52439
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= 3644
involuntary context switches= 4361
runsolver used 0.611906 second user time and 1.47877 second system time
The end