runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460969-1307106214/watcher-3460969-1307106214 -o /tmp/evaluation-result-3460969-1307106214/solver-3460969-1307106214 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460969-1307106214.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.92 1.99 1.99 2/530 29822
/proc/meminfo: memFree=14686336/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=2104 CPUtime=0.01 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 340 0 0 0 1 0 0 0 25 0 1 0 822220007 2154496 290 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 526 290 180 372 0 151 0
[startup+0.0331509 s]
/proc/loadavg: 1.92 1.99 1.99 2/530 29822
/proc/meminfo: memFree=14686336/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=2368 CPUtime=0.03 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 382 0 0 0 3 0 0 0 25 0 1 0 822220007 2424832 332 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 592 332 180 372 0 217 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2368
[startup+0.101141 s]
/proc/loadavg: 1.92 1.99 1.99 2/530 29822
/proc/meminfo: memFree=14686336/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=3028 CPUtime=0.09 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 543 0 0 0 9 0 0 0 25 0 1 0 822220007 3100672 493 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 757 493 180 372 0 382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3028
[startup+0.301104 s]
/proc/loadavg: 1.92 1.99 1.99 2/530 29822
/proc/meminfo: memFree=14686336/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=4624 CPUtime=0.29 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 949 0 0 0 29 0 0 0 25 0 1 0 822220007 4734976 899 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 1156 899 180 372 0 781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4624
[startup+0.701037 s]
/proc/loadavg: 1.92 1.99 1.99 2/530 29822
/proc/meminfo: memFree=14686336/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=7144 CPUtime=0.69 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 1575 0 0 0 68 1 0 0 25 0 1 0 822220007 7315456 1525 33554432000 4194304 5714214 140737113903936 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 1786 1525 180 372 0 1411 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7144
[startup+1.5009 s]
/proc/loadavg: 1.92 1.99 1.99 3/531 29823
/proc/meminfo: memFree=14679012/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=9288 CPUtime=1.49 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 2104 0 0 0 146 3 0 0 25 0 1 0 822220007 9510912 2054 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 2322 2054 180 372 0 1947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9288
[startup+3.10063 s]
/proc/loadavg: 1.92 1.99 1.99 3/531 29823
/proc/meminfo: memFree=14676328/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=11664 CPUtime=3.09 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 2721 0 0 0 303 6 0 0 19 0 1 0 822220007 11943936 2671 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 2916 2671 180 372 0 2541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11664
[startup+6.30108 s]
/proc/loadavg: 2.09 2.03 2.01 2/529 29824
/proc/meminfo: memFree=15250716/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=16800 CPUtime=6.29 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 3960 0 0 0 619 10 0 0 24 0 1 0 822220007 17203200 3910 33554432000 4194304 5714214 140737113903936 18446744073709551615 4346872 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 4200 3910 180 372 0 3825 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16800
[startup+12.701 s]
/proc/loadavg: 2.16 2.04 2.01 3/531 29851
/proc/meminfo: memFree=15234996/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=23424 CPUtime=12.69 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 5637 0 0 0 1253 16 0 0 25 0 1 0 822220007 23986176 5587 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 5856 5587 180 372 0 5481 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23424
[startup+25.5008 s]
/proc/loadavg: 2.12 2.04 2.01 3/531 29851
/proc/meminfo: memFree=15203524/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=35696 CPUtime=25.49 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 8677 0 0 0 2523 26 0 0 25 0 1 0 822220007 36552704 8627 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 8924 8627 180 372 0 8549 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35696
[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.01 3/531 29853
/proc/meminfo: memFree=15153068/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=56928 CPUtime=51.09 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 13942 0 0 0 5062 47 0 0 25 0 1 0 822220007 58294272 13892 33554432000 4194304 5714214 140737113903936 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 14232 13892 180 372 0 13857 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56928
[startup+102.321 s]
/proc/loadavg: 2.03 2.03 2.00 3/531 29855
/proc/meminfo: memFree=15055720/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=97276 CPUtime=102.31 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 23996 0 0 0 10142 89 0 0 25 0 1 0 822220007 99610624 23946 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 24319 23946 180 372 0 23944 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 97276
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/531 29857
/proc/meminfo: memFree=14953164/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=141952 CPUtime=162.29 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 35132 0 0 0 16092 137 0 0 25 0 1 0 822220007 145358848 35082 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 35488 35082 180 372 0 35113 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 141952
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29860
/proc/meminfo: memFree=14852776/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=187424 CPUtime=222.3 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 46451 0 0 0 22044 186 0 0 25 0 1 0 822220007 191922176 46401 33554432000 4194304 5714214 140737113903936 18446744073709551615 4322971 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 46856 46401 180 372 0 46481 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 187424
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 29862
/proc/meminfo: memFree=14757948/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=226596 CPUtime=282.3 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 56237 0 0 0 28001 229 0 0 25 0 1 0 822220007 232034304 56187 33554432000 4194304 5714214 140737113903936 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 56649 56187 180 372 0 56274 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 226596
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/531 29864
/proc/meminfo: memFree=14662468/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=268680 CPUtime=342.3 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 66675 0 0 0 33947 283 0 0 25 0 1 0 822220007 275128320 66625 33554432000 4194304 5714214 140737113903936 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 67170 66625 180 372 0 66795 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 268680
[startup+402.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/531 29864
/proc/meminfo: memFree=14571072/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=311148 CPUtime=402.3 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 77246 0 0 0 39904 326 0 0 25 0 1 0 822220007 318615552 77196 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 77787 77196 180 372 0 77412 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 311148
[startup+462.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/531 29866
/proc/meminfo: memFree=14480292/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=352220 CPUtime=462.3 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 87451 0 0 0 45854 376 0 0 25 0 1 0 822220007 360673280 87401 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 88055 87401 180 372 0 87680 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 352220
[startup+522.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/531 29868
/proc/meminfo: memFree=14394596/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=390548 CPUtime=522.3 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 97015 0 0 0 51817 413 0 0 25 0 1 0 822220007 399921152 96965 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 97637 96965 180 372 0 97262 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 390548
[startup+582.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/531 29870
/proc/meminfo: memFree=14312988/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=424268 CPUtime=582.3 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 105421 0 0 0 57778 452 0 0 25 0 1 0 822220007 434450432 105371 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 106067 105371 180 372 0 105692 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 424268
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 29876
/proc/meminfo: memFree=13996752/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=554456 CPUtime=822.31 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 137972 0 0 0 81616 615 0 0 25 0 1 0 822220007 567762944 137922 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 138614 137922 180 372 0 138239 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 554456
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 29878
/proc/meminfo: memFree=13914400/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=587576 CPUtime=882.31 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 146229 0 0 0 87575 656 0 0 25 0 1 0 822220007 601677824 146179 33554432000 4194304 5714214 140737113903936 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 146894 146179 180 372 0 146519 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 587576
[startup+942.301 s]
/proc/loadavg: 2.16 2.03 2.01 3/531 29880
/proc/meminfo: memFree=13836380/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=623304 CPUtime=942.31 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 155136 0 0 0 93532 699 0 0 25 0 1 0 822220007 638263296 155086 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 155826 155086 180 372 0 155451 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 623304
[startup+1002.3 s]
/proc/loadavg: 2.31 2.09 2.03 3/531 29882
/proc/meminfo: memFree=13759368/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=656096 CPUtime=1002.31 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 163318 0 0 0 99492 739 0 0 25 0 1 0 822220007 671842304 163268 33554432000 4194304 5714214 140737113903936 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 164024 163268 180 372 0 163649 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 656096
[startup+1062.3 s]
/proc/loadavg: 2.16 2.08 2.03 3/531 29882
/proc/meminfo: memFree=13680488/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=690236 CPUtime=1062.31 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 171825 0 0 0 105449 782 0 0 25 0 1 0 822220007 706801664 171775 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 172559 171775 180 372 0 172184 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 690236
[startup+1122.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/531 29884
/proc/meminfo: memFree=13601236/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=723272 CPUtime=1122.31 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 180063 0 0 0 111411 820 0 0 25 0 1 0 822220007 740630528 180013 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 180818 180013 180 372 0 180443 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 723272
[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/531 29886
/proc/meminfo: memFree=13522236/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=758448 CPUtime=1182.31 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 188849 0 0 0 117373 858 0 0 25 0 1 0 822220007 776650752 188799 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 189612 188799 180 372 0 189237 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 758448
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/531 29888
/proc/meminfo: memFree=13444100/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=792136 CPUtime=1242.32 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 197249 0 0 0 123336 896 0 0 25 0 1 0 822220007 811147264 197199 33554432000 4194304 5714214 140737113903936 18446744073709551615 4319347 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 198034 197199 180 372 0 197659 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 792136
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 29890
/proc/meminfo: memFree=13364852/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=825708 CPUtime=1302.34 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 205653 0 0 0 129304 930 0 0 25 0 1 0 822220007 845524992 205603 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 206427 205603 180 372 0 206052 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 825708
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29890
/proc/meminfo: memFree=13298996/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=855448 CPUtime=1362.32 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 213019 0 0 0 135264 968 0 0 25 0 1 0 822220007 875978752 212969 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 213862 212969 180 372 0 213487 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 855448
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29892
/proc/meminfo: memFree=13223468/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=884836 CPUtime=1422.34 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 220358 0 0 0 141230 1004 0 0 25 0 1 0 822220007 906072064 220308 33554432000 4194304 5714214 140737113903936 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 221209 220308 180 372 0 220834 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 884836
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 29894
/proc/meminfo: memFree=13152288/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=914404 CPUtime=1482.32 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 227723 0 0 0 147193 1039 0 0 25 0 1 0 822220007 936349696 227673 33554432000 4194304 5714214 140737113903936 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 228601 227673 180 372 0 228226 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 914404
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/531 29896
/proc/meminfo: memFree=13080840/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=944008 CPUtime=1542.32 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 235093 0 0 0 153158 1074 0 0 25 0 1 0 822220007 966664192 235043 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 236002 235043 180 372 0 235627 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 944008
[startup+1602.3 s]
/proc/loadavg: 2.20 2.06 2.02 3/531 29896
/proc/meminfo: memFree=13011272/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=971728 CPUtime=1602.32 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 242023 0 0 0 159125 1107 0 0 25 0 1 0 822220007 995049472 241973 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 242932 241973 180 372 0 242557 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 971728
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/531 29898
/proc/meminfo: memFree=12939456/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=1000012 CPUtime=1662.32 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 249098 0 0 0 165093 1139 0 0 25 0 1 0 822220007 1024012288 249048 33554432000 4194304 5714214 140737113903936 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 250003 249048 180 372 0 249628 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1000012
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/531 29900
/proc/meminfo: memFree=12871376/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=1027336 CPUtime=1722.33 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 255943 0 0 0 171061 1172 0 0 25 0 1 0 822220007 1051992064 255893 33554432000 4194304 5714214 140737113903936 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 256834 255893 180 372 0 256459 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1027336
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 29902
/proc/meminfo: memFree=12799692/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=1056448 CPUtime=1782.33 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 263219 0 0 0 177027 1206 0 0 25 0 1 0 822220007 1081802752 263169 33554432000 4194304 5714214 140737113903936 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 264112 263169 180 372 0 263737 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1056448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 29902
/proc/meminfo: memFree=12777368/32951132 swapFree=46579808/67111528
[pid=29822] ppid=29820 vsize=1065112 CPUtime=1800.05 cores=1,3,5,7
/proc/29822/stat : 29822 (wbo1.6) R 29820 29822 28716 0 -1 4202496 265357 0 0 0 178789 1216 0 0 25 0 1 0 822220007 1090674688 265307 33554432000 4194304 5714214 140737113903936 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29822/statm: 266278 265307 180 372 0 265903 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1065112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.1
CPU user time (s): 1787.89
CPU system time (s): 12.2071
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1065112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.89
system time used= 12.2071
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265357
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= 9
involuntary context switches= 1845
runsolver used 9.38657 second user time and 21.7507 second system time
The end