runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3731620-1339246896/watcher-3731620-1339246896 -o /tmp/evaluation-result-3731620-1339246896/solver-3731620-1339246896 -C 1800 -W 1900 -M 15500 run HOME/instance-3731620-1339246896.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: 4.45 1.31 0.45 7/183 24684
/proc/meminfo: memFree=30898160/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[startup+0.0149901 s]
/proc/loadavg: 4.45 1.31 0.45 7/183 24684
/proc/meminfo: memFree=30898160/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100216 s]
/proc/loadavg: 4.45 1.31 0.45 7/183 24684
/proc/meminfo: memFree=30898160/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300179 s]
/proc/loadavg: 4.45 1.31 0.45 7/183 24684
/proc/meminfo: memFree=30898160/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700177 s]
/proc/loadavg: 4.45 1.31 0.45 7/183 24684
/proc/meminfo: memFree=30898160/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 4.66 1.40 0.48 3/185 24686
/proc/meminfo: memFree=30895044/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=32000 CPUtime=1.49 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) R 24684 24684 24426 0 -1 4202496 975 0 0 0 149 0 0 0 20 0 1 0 390815107 32768000 931 33554432000 134512640 146736320 4292381728 4292339616 140679059 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/24685/statm: 8000 931 308 2985 0 726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41148
[startup+3.1003 s]
/proc/loadavg: 4.66 1.40 0.48 3/185 24686
/proc/meminfo: memFree=30894424/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=32132 CPUtime=3.09 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) R 24684 24684 24426 0 -1 4202496 1009 0 0 0 309 0 0 0 20 0 1 0 390815107 32903168 965 33554432000 134512640 146736320 4292381728 4292339712 140684755 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/24685/statm: 8033 965 308 2985 0 759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41280
[startup+6.30022 s]
/proc/loadavg: 4.66 1.40 0.48 3/185 24686
/proc/meminfo: memFree=30893680/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=32432 CPUtime=6.29 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) R 24684 24684 24426 0 -1 4202496 1062 0 0 0 629 0 0 0 20 0 1 0 390815107 33210368 1018 33554432000 134512640 146736320 4292381728 4292339536 140526612 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/24685/statm: 8108 1018 308 2985 0 834 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41580
[startup+12.7003 s]
/proc/loadavg: 4.25 1.42 0.50 3/185 24686
/proc/meminfo: memFree=30654772/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=307764 CPUtime=12.68 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) R 24684 24684 24426 0 -1 4202496 65673 0 0 0 1256 12 0 0 20 0 1 0 390815107 315150336 70860 33554432000 134512640 146736320 4292381728 4292379816 138686278 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/24685/statm: 76941 70860 621 2985 0 73875 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 316912
[startup+25.5005 s]
/proc/loadavg: 5.22 1.72 0.61 17/192 24707
/proc/meminfo: memFree=30625044/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=394852 CPUtime=46.71 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) R 24684 24684 24426 0 -1 4202496 117821 0 0 0 4626 45 0 0 20 0 8 0 390815107 404328448 69087 33554432000 134512640 146736320 4292381728 4292373904 136403129 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24685/statm: 98713 69087 957 2985 0 95647 0
[pid=24685/tid=24701] ppid=24684 vsize=394852 CPUtime=4.09 cores=1,3,5,7
/proc/24685/task/24701/stat : 24701 (pb_cplex) S 24684 24684 24426 0 -1 4202560 1907 0 0 0 407 2 0 0 20 0 8 0 390816765 404328448 69087 33554432000 134512640 146736320 4292381728 3987685008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24702] ppid=24684 vsize=394852 CPUtime=4.55 cores=1,3,5,7
/proc/24685/task/24702/stat : 24702 (pb_cplex) R 24684 24684 24426 0 -1 4202560 2179 0 0 0 452 3 0 0 20 0 8 0 390816765 404328448 69087 33554432000 134512640 146736320 4292381728 4075085736 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24703] ppid=24684 vsize=394852 CPUtime=4.46 cores=1,3,5,7
/proc/24685/task/24703/stat : 24703 (pb_cplex) R 24684 24684 24426 0 -1 4202560 2910 0 0 0 445 1 0 0 20 0 8 0 390816765 404328448 69087 33554432000 134512640 146736320 4292381728 4093041668 136385184 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24704] ppid=24684 vsize=394852 CPUtime=2.79 cores=1,3,5,7
/proc/24685/task/24704/stat : 24704 (pb_cplex) S 24684 24684 24426 0 -1 4202560 1864 0 0 0 278 1 0 0 20 0 8 0 390816765 404328448 69087 33554432000 134512640 146736320 4292381728 4051652240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24705] ppid=24684 vsize=394852 CPUtime=2.76 cores=1,3,5,7
/proc/24685/task/24705/stat : 24705 (pb_cplex) S 24684 24684 24426 0 -1 4202560 1601 0 0 0 274 2 0 0 20 0 8 0 390816765 404328448 69087 33554432000 134512640 146736320 4292381728 3973471888 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24706] ppid=24684 vsize=394852 CPUtime=3.69 cores=1,3,5,7
/proc/24685/task/24706/stat : 24706 (pb_cplex) R 24684 24684 24426 0 -1 4202560 1350 0 0 0 366 3 0 0 20 0 8 0 390816765 404328448 69087 33554432000 134512640 146736320 4292381728 3962637456 136007977 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24707] ppid=24684 vsize=394852 CPUtime=5.84 cores=1,3,5,7
/proc/24685/task/24707/stat : 24707 (pb_cplex) R 24684 24684 24426 0 -1 4202560 2108 0 0 0 581 3 0 0 20 0 8 0 390816765 404328448 69087 33554432000 134512640 146736320 4292381728 3952151556 136385167 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 46.71
Current children cumulated vsize (KiB) 404000
[startup+51.1005 s]
/proc/loadavg: 8.02 2.72 0.97 10/191 24735
/proc/meminfo: memFree=30402216/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=643140 CPUtime=117.27 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) S 24684 24684 24426 0 -1 4202496 275475 0 0 0 11584 143 0 0 20 0 8 0 390815107 658575360 123925 33554432000 134512640 146736320 4292381728 4292378128 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24685/statm: 160785 123925 962 2985 0 157719 0
[pid=24685/tid=24729] ppid=24684 vsize=643140 CPUtime=6.68 cores=1,3,5,7
/proc/24685/task/24729/stat : 24729 (pb_cplex) R 24684 24684 24426 0 -1 4202560 15014 0 0 0 659 9 0 0 20 0 8 0 390818427 658575360 123925 33554432000 134512640 146736320 4292381728 3943688968 135525285 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24730] ppid=24684 vsize=643140 CPUtime=6.15 cores=1,3,5,7
/proc/24685/task/24730/stat : 24730 (pb_cplex) S 24684 24684 24426 0 -1 4202560 15050 0 0 0 606 9 0 0 20 0 8 0 390818427 658575360 123925 33554432000 134512640 146736320 4292381728 3954179728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24731] ppid=24684 vsize=643140 CPUtime=7.01 cores=1,3,5,7
/proc/24685/task/24731/stat : 24731 (pb_cplex) S 24684 24684 24426 0 -1 4202560 2558 0 0 0 699 2 0 0 20 0 8 0 390818427 658575360 123925 33554432000 134512640 146736320 4292381728 3964665488 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24732] ppid=24684 vsize=643140 CPUtime=6.45 cores=1,3,5,7
/proc/24685/task/24732/stat : 24732 (pb_cplex) R 24684 24684 24426 0 -1 4202560 14812 0 0 0 639 6 0 0 20 0 8 0 390818427 658575360 123925 33554432000 134512640 146736320 4292381728 4051648328 135525124 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24733] ppid=24684 vsize=643140 CPUtime=9.15 cores=1,3,5,7
/proc/24685/task/24733/stat : 24733 (pb_cplex) S 24684 24684 24426 0 -1 4202560 10403 0 0 0 908 7 0 0 20 0 8 0 390818427 658575360 123925 33554432000 134512640 146736320 4292381728 3720392336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24734] ppid=24684 vsize=643140 CPUtime=9.1 cores=1,3,5,7
/proc/24685/task/24734/stat : 24734 (pb_cplex) S 24684 24684 24426 0 -1 4202560 8437 0 0 0 906 4 0 0 20 0 8 0 390818427 658575360 123925 33554432000 134512640 146736320 4292381728 3709906576 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24735] ppid=24684 vsize=643140 CPUtime=6.62 cores=1,3,5,7
/proc/24685/task/24735/stat : 24735 (pb_cplex) S 24684 24684 24426 0 -1 4202560 11711 0 0 0 655 7 0 0 20 0 8 0 390818427 658575360 123925 33554432000 134512640 146736320 4292381728 3699420816 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 117.27
Current children cumulated vsize (KiB) 652288
[startup+102.307 s]
/proc/loadavg: 10.94 4.30 1.60 11/191 24735
/proc/meminfo: memFree=30298844/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=750456 CPUtime=285.04 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) R 24684 24684 24426 0 -1 4202496 700458 0 0 0 28112 392 0 0 20 0 8 0 390815107 768466944 149843 33554432000 134512640 146736320 4292381728 4292374832 136901157 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24685/statm: 187614 149843 983 2985 0 184548 0
[pid=24685/tid=24729] ppid=24684 vsize=750456 CPUtime=28.02 cores=1,3,5,7
/proc/24685/task/24729/stat : 24729 (pb_cplex) R 24684 24684 24426 0 -1 4202560 69268 0 0 0 2763 39 0 0 20 0 8 0 390818427 768466944 149843 33554432000 134512640 146736320 4292381728 3943688476 136406506 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24730] ppid=24684 vsize=750456 CPUtime=26.92 cores=1,3,5,7
/proc/24685/task/24730/stat : 24730 (pb_cplex) R 24684 24684 24426 0 -1 4202560 65897 0 0 0 2655 37 0 0 20 0 8 0 390818427 768466944 149843 33554432000 134512640 146736320 4292381728 3954176488 138686287 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24731] ppid=24684 vsize=750460 CPUtime=27.07 cores=1,3,5,7
/proc/24685/task/24731/stat : 24731 (pb_cplex) R 24684 24684 24426 0 -1 4202560 59959 0 0 0 2675 32 0 0 20 0 8 0 390818427 768471040 149843 33554432000 134512640 146736320 4292381728 3964662952 137117077 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24732] ppid=24684 vsize=750460 CPUtime=27.07 cores=1,3,5,7
/proc/24685/task/24732/stat : 24732 (pb_cplex) R 24684 24684 24426 0 -1 4202560 69717 0 0 0 2667 40 0 0 20 0 8 0 390818427 768471040 149843 33554432000 134512640 146736320 4292381728 4051647396 138725656 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24733] ppid=24684 vsize=750460 CPUtime=30.14 cores=1,3,5,7
/proc/24685/task/24733/stat : 24733 (pb_cplex) R 24684 24684 24426 0 -1 4202560 63576 0 0 0 2977 37 0 0 20 0 8 0 390818427 768471040 149843 33554432000 134512640 146736320 4292381728 3720386104 136475826 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24734] ppid=24684 vsize=750460 CPUtime=31.59 cores=1,3,5,7
/proc/24685/task/24734/stat : 24734 (pb_cplex) R 24684 24684 24426 0 -1 4202560 56022 0 0 0 3124 35 0 0 20 0 8 0 390818427 768471040 149843 33554432000 134512640 146736320 4292381728 3709901808 137177747 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24735] ppid=24684 vsize=750460 CPUtime=27.08 cores=1,3,5,7
/proc/24685/task/24735/stat : 24735 (pb_cplex) R 24684 24684 24426 0 -1 4202560 70078 0 0 0 2669 39 0 0 20 0 8 0 390818427 768471040 149843 33554432000 134512640 146736320 4292381728 3699409764 144580846 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 285.04
Current children cumulated vsize (KiB) 759604
############
# WARNING:
# current cumulated CPU time (320.25 s) is less than in the last sample (320.39 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.140015 s) to the 'lost time'.
[startup+111.301 s]
/proc/loadavg: 11.25 4.58 1.72 12/191 24735
/proc/meminfo: memFree=30297100/32873852 swapFree=6864/6864
################
# More data... #
################
[pid=24685/tid=24761] ppid=24684 vsize=933644 CPUtime=90.99 cores=1,3,5,7
/proc/24685/task/24761/stat : 24761 (pb_cplex) R 24684 24684 24426 0 -1 4202560 71115 0 0 0 9003 96 0 0 20 0 8 0 390826708 956051456 187480 33554432000 134512640 146736320 4292381728 3702285288 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24762] ppid=24684 vsize=933644 CPUtime=89.14 cores=1,3,5,7
/proc/24685/task/24762/stat : 24762 (pb_cplex) R 24684 24684 24426 0 -1 4202560 97088 0 0 0 8813 101 0 0 20 0 8 0 390826708 956051456 187480 33554432000 134512640 146736320 4292381728 3691802256 144580073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24763] ppid=24684 vsize=933644 CPUtime=89.47 cores=1,3,5,7
/proc/24685/task/24763/stat : 24763 (pb_cplex) S 24684 24684 24426 0 -1 4202560 100328 0 0 0 8831 116 0 0 20 0 8 0 390826708 956051456 187480 33554432000 134512640 146736320 4292381728 3674205840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1048.04
Current children cumulated vsize (KiB) 942792
[startup+402.3 s]
/proc/loadavg: 11.57 8.76 4.28 14/191 24764
/proc/meminfo: memFree=30089360/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=995616 CPUtime=1224.05 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) S 24684 24684 24426 0 -1 4202496 1675474 0 0 0 120857 1548 0 0 20 0 8 0 390815107 1019510784 203002 33554432000 134512640 146736320 4292381728 4292378128 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24685/statm: 248904 203002 996 2985 0 245838 0
[pid=24685/tid=24757] ppid=24684 vsize=995616 CPUtime=112.16 cores=1,3,5,7
/proc/24685/task/24757/stat : 24757 (pb_cplex) R 24684 24684 24426 0 -1 4202560 90269 0 0 0 11089 127 0 0 20 0 8 0 390826708 1019510784 203002 33554432000 134512640 146736320 4292381728 3952159296 136854933 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24758] ppid=24684 vsize=995616 CPUtime=106.9 cores=1,3,5,7
/proc/24685/task/24758/stat : 24758 (pb_cplex) R 24684 24684 24426 0 -1 4202560 82763 0 0 0 10553 137 0 0 20 0 8 0 390826708 1019510784 203002 33554432000 134512640 146736320 4292381728 3962642640 136008335 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24759] ppid=24684 vsize=995616 CPUtime=113.38 cores=1,3,5,7
/proc/24685/task/24759/stat : 24759 (pb_cplex) R 24684 24684 24426 0 -1 4202560 115664 0 0 0 11200 138 0 0 20 0 8 0 390826708 1019510784 203002 33554432000 134512640 146736320 4292381728 3973129192 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24760] ppid=24684 vsize=995616 CPUtime=110.15 cores=1,3,5,7
/proc/24685/task/24760/stat : 24760 (pb_cplex) R 24684 24684 24426 0 -1 4202560 101672 0 0 0 10886 129 0 0 20 0 8 0 390826708 1019510784 203002 33554432000 134512640 146736320 4292381728 4051649512 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24761] ppid=24684 vsize=995616 CPUtime=113.18 cores=1,3,5,7
/proc/24685/task/24761/stat : 24761 (pb_cplex) R 24684 24684 24426 0 -1 4202560 88074 0 0 0 11195 123 0 0 20 0 8 0 390826708 1019510784 203002 33554432000 134512640 146736320 4292381728 3702284356 136385175 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24762] ppid=24684 vsize=995616 CPUtime=110.41 cores=1,3,5,7
/proc/24685/task/24762/stat : 24762 (pb_cplex) R 24684 24684 24426 0 -1 4202560 118731 0 0 0 10913 128 0 0 20 0 8 0 390826708 1019510784 203002 33554432000 134512640 146736320 4292381728 3691799428 135850295 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24763] ppid=24684 vsize=995616 CPUtime=110.88 cores=1,3,5,7
/proc/24685/task/24763/stat : 24763 (pb_cplex) R 24684 24684 24426 0 -1 4202560 110990 0 0 0 10943 145 0 0 20 0 8 0 390826708 1019510784 203002 33554432000 134512640 146736320 4292381728 3674202160 136384861 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1224.05
Current children cumulated vsize (KiB) 1004764
[startup+462.3 s]
/proc/loadavg: 10.59 9.07 4.67 9/184 24870
/proc/meminfo: memFree=30116596/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=1059852 CPUtime=1406.46 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) R 24684 24684 24426 0 -1 4202496 1876996 0 0 0 138760 1886 0 0 20 0 8 0 390815107 1085288448 219228 33554432000 134512640 146736320 4292381728 4292374816 136388276 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24685/statm: 264963 219228 996 2985 0 261897 0
[pid=24685/tid=24757] ppid=24684 vsize=1059852 CPUtime=134.05 cores=1,3,5,7
/proc/24685/task/24757/stat : 24757 (pb_cplex) R 24684 24684 24426 0 -1 4202560 105475 0 0 0 13242 163 0 0 20 0 8 0 390826708 1085288448 219228 33554432000 134512640 146736320 4292381728 3952157672 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24758] ppid=24684 vsize=1059852 CPUtime=130 cores=1,3,5,7
/proc/24685/task/24758/stat : 24758 (pb_cplex) R 24684 24684 24426 0 -1 4202560 98611 0 0 0 12821 179 0 0 20 0 8 0 390826708 1085288448 219228 33554432000 134512640 146736320 4292381728 3962643432 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24759] ppid=24684 vsize=1059852 CPUtime=136.37 cores=1,3,5,7
/proc/24685/task/24759/stat : 24759 (pb_cplex) R 24684 24684 24426 0 -1 4202560 129106 0 0 0 13468 169 0 0 20 0 8 0 390826708 1085288448 219228 33554432000 134512640 146736320 4292381728 3973129092 135850319 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24760] ppid=24684 vsize=1059852 CPUtime=131.93 cores=1,3,5,7
/proc/24685/task/24760/stat : 24760 (pb_cplex) R 24684 24684 24426 0 -1 4202560 126892 0 0 0 13016 177 0 0 20 0 8 0 390826708 1085288448 219228 33554432000 134512640 146736320 4292381728 4051648604 135855170 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24761] ppid=24684 vsize=1059852 CPUtime=135.03 cores=1,3,5,7
/proc/24685/task/24761/stat : 24761 (pb_cplex) R 24684 24684 24426 0 -1 4202560 110820 0 0 0 13331 172 0 0 20 0 8 0 390826708 1085288448 219228 33554432000 134512640 146736320 4292381728 3702285288 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24762] ppid=24684 vsize=1059852 CPUtime=132.55 cores=1,3,5,7
/proc/24685/task/24762/stat : 24762 (pb_cplex) R 24684 24684 24426 0 -1 4202560 147402 0 0 0 13089 166 0 0 20 0 8 0 390826708 1085288448 219228 33554432000 134512640 146736320 4292381728 3691798740 135846438 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24763] ppid=24684 vsize=1059852 CPUtime=134.22 cores=1,3,5,7
/proc/24685/task/24763/stat : 24763 (pb_cplex) R 24684 24684 24426 0 -1 4202560 133598 0 0 0 13232 190 0 0 20 0 8 0 390826708 1085288448 219228 33554432000 134512640 146736320 4292381728 3674202320 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1406.46
Current children cumulated vsize (KiB) 1069000
[startup+522.3 s]
/proc/loadavg: 10.37 9.24 4.99 10/185 24880
/proc/meminfo: memFree=30003188/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=1131452 CPUtime=1601.38 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) S 24684 24684 24426 0 -1 4202496 2058505 0 0 0 157878 2260 0 0 20 0 8 0 390815107 1158606848 237070 33554432000 134512640 146736320 4292381728 4292378128 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24685/statm: 282863 237070 996 2985 0 279797 0
[pid=24685/tid=24757] ppid=24684 vsize=1131452 CPUtime=157.78 cores=1,3,5,7
/proc/24685/task/24757/stat : 24757 (pb_cplex) S 24684 24684 24426 0 -1 4202560 125748 0 0 0 15566 212 0 0 20 0 8 0 390826708 1158606848 237070 33554432000 134512640 146736320 4292381728 3952160400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24758] ppid=24684 vsize=1131452 CPUtime=154.62 cores=1,3,5,7
/proc/24685/task/24758/stat : 24758 (pb_cplex) S 24684 24684 24426 0 -1 4202560 110991 0 0 0 15235 227 0 0 20 0 8 0 390826708 1158606848 237070 33554432000 134512640 146736320 4292381728 3962646160 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24759] ppid=24684 vsize=1131452 CPUtime=161.47 cores=1,3,5,7
/proc/24685/task/24759/stat : 24759 (pb_cplex) R 24684 24684 24426 0 -1 4202560 140270 0 0 0 15933 214 0 0 20 0 8 0 390826708 1158606848 237070 33554432000 134512640 146736320 4292381728 3973129192 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24760] ppid=24684 vsize=1131452 CPUtime=156.15 cores=1,3,5,7
/proc/24685/task/24760/stat : 24760 (pb_cplex) S 24684 24684 24426 0 -1 4202560 138204 0 0 0 15391 224 0 0 20 0 8 0 390826708 1158606848 237070 33554432000 134512640 146736320 4292381728 4051652240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24761] ppid=24684 vsize=1131452 CPUtime=159.65 cores=1,3,5,7
/proc/24685/task/24761/stat : 24761 (pb_cplex) S 24684 24684 24426 0 -1 4202560 132374 0 0 0 15748 217 0 0 20 0 8 0 390826708 1158606848 237070 33554432000 134512640 146736320 4292381728 3702288016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24762] ppid=24684 vsize=1131452 CPUtime=155.69 cores=1,3,5,7
/proc/24685/task/24762/stat : 24762 (pb_cplex) S 24684 24684 24426 0 -1 4202560 162967 0 0 0 15354 215 0 0 20 0 8 0 390826708 1158606848 237070 33554432000 134512640 146736320 4292381728 3691802256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24763] ppid=24684 vsize=1131452 CPUtime=157.27 cores=1,3,5,7
/proc/24685/task/24763/stat : 24763 (pb_cplex) S 24684 24684 24426 0 -1 4202560 161098 0 0 0 15480 247 0 0 20 0 8 0 390826708 1158606848 237070 33554432000 134512640 146736320 4292381728 3674205840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.38
Current children cumulated vsize (KiB) 1140600
[startup+582.3 s]
/proc/loadavg: 11.34 9.63 5.39 16/191 24895
/proc/meminfo: memFree=29867716/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=1198800 CPUtime=1793.21 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) R 24684 24684 24426 0 -1 4202496 2203588 0 0 0 176671 2650 0 0 20 0 8 0 390815107 1227571200 253941 33554432000 134512640 146736320 4292381728 4292376472 144580332 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24685/statm: 299700 253941 996 2985 0 296634 0
[pid=24685/tid=24757] ppid=24684 vsize=1198800 CPUtime=182.19 cores=1,3,5,7
/proc/24685/task/24757/stat : 24757 (pb_cplex) S 24684 24684 24426 0 -1 4202560 151782 0 0 0 17935 284 0 0 20 0 8 0 390826708 1227571200 253941 33554432000 134512640 146736320 4292381728 3952160400 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24758] ppid=24684 vsize=1198800 CPUtime=179 cores=1,3,5,7
/proc/24685/task/24758/stat : 24758 (pb_cplex) R 24684 24684 24426 0 -1 4202560 124184 0 0 0 17612 288 0 0 20 0 8 0 390826708 1227571200 253941 33554432000 134512640 146736320 4292381728 3962643392 137341516 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24759] ppid=24684 vsize=1198800 CPUtime=184.68 cores=1,3,5,7
/proc/24685/task/24759/stat : 24759 (pb_cplex) R 24684 24684 24426 0 -1 4202560 147725 0 0 0 18225 243 0 0 20 0 8 0 390826708 1227571200 253941 33554432000 134512640 146736320 4292381728 3973128304 136384895 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24760] ppid=24684 vsize=1198800 CPUtime=179.93 cores=1,3,5,7
/proc/24685/task/24760/stat : 24760 (pb_cplex) R 24684 24684 24426 0 -1 4202560 152458 0 0 0 17729 264 0 0 20 0 8 0 390826708 1227571200 253941 33554432000 134512640 146736320 4292381728 4051649512 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24761] ppid=24684 vsize=1198800 CPUtime=182.64 cores=1,3,5,7
/proc/24685/task/24761/stat : 24761 (pb_cplex) R 24684 24684 24426 0 -1 4202560 143492 0 0 0 18002 262 0 0 20 0 8 0 390826708 1227571200 253941 33554432000 134512640 146736320 4292381728 3702285288 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24762] ppid=24684 vsize=1198800 CPUtime=179.17 cores=1,3,5,7
/proc/24685/task/24762/stat : 24762 (pb_cplex) R 24684 24684 24426 0 -1 4202560 180155 0 0 0 17645 272 0 0 20 0 8 0 390826708 1227571200 253941 33554432000 134512640 146736320 4292381728 3691799528 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24763] ppid=24684 vsize=1198800 CPUtime=181.05 cores=1,3,5,7
/proc/24685/task/24763/stat : 24763 (pb_cplex) R 24684 24684 24426 0 -1 4202560 169032 0 0 0 17808 297 0 0 20 0 8 0 390826708 1227571200 253941 33554432000 134512640 146736320 4292381728 3674203112 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 1207948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+584.201 s]
/proc/loadavg: 11.34 9.63 5.39 13/191 24895
/proc/meminfo: memFree=29865980/32873852 swapFree=6864/6864
[pid=24684] ppid=24682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24684/stat : 24684 (run) S 24682 24684 24426 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390815106 9367552 270 33554432000 4194304 5064252 140736237584320 140736237583232 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24684/statm: 2287 270 229 213 0 72 0
[pid=24685] ppid=24684 vsize=1200792 CPUtime=1799.99 cores=1,3,5,7
/proc/24685/stat : 24685 (pb_cplex) R 24684 24684 24426 0 -1 4202496 2210281 0 0 0 177338 2661 0 0 20 0 8 0 390815107 1229611008 254435 33554432000 134512640 146736320 4292381728 4292375400 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24685/statm: 300198 254435 996 2985 0 297132 0
[pid=24685/tid=24757] ppid=24684 vsize=1200792 CPUtime=182.96 cores=1,3,5,7
/proc/24685/task/24757/stat : 24757 (pb_cplex) R 24684 24684 24426 0 -1 4202560 151822 0 0 0 18011 285 0 0 20 0 8 0 390826708 1229611008 254435 33554432000 134512640 146736320 4292381728 3952158464 137334501 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24758] ppid=24684 vsize=1200792 CPUtime=179.83 cores=1,3,5,7
/proc/24685/task/24758/stat : 24758 (pb_cplex) R 24684 24684 24426 0 -1 4202560 125405 0 0 0 17695 288 0 0 20 0 8 0 390826708 1229611008 254435 33554432000 134512640 146736320 4292381728 3962642500 136385179 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24685/tid=24759] ppid=24684 vsize=1200792 CPUtime=185.54 cores=1,3,5,7
/proc/24685/task/24759/stat : 24759 (pb_cplex) R 24684 24684 24426 0 -1 4202560 148439 0 0 0 18310 244 0 0 20 0 8 0 390826708 1229611008 254435 33554432000 134512640 146736320 4292381728 3973128260 136385174 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24760] ppid=24684 vsize=1200792 CPUtime=180.85 cores=1,3,5,7
/proc/24685/task/24760/stat : 24760 (pb_cplex) R 24684 24684 24426 0 -1 4202560 154299 0 0 0 17818 267 0 0 20 0 8 0 390826708 1229611008 254435 33554432000 134512640 146736320 4292381728 4051648580 136385172 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24685/tid=24761] ppid=24684 vsize=1200792 CPUtime=183.48 cores=1,3,5,7
/proc/24685/task/24761/stat : 24761 (pb_cplex) S 24684 24684 24426 0 -1 4202560 143492 0 0 0 18085 263 0 0 20 0 8 0 390826708 1229611008 254435 33554432000 134512640 146736320 4292381728 3702288016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24685/tid=24762] ppid=24684 vsize=1200792 CPUtime=179.99 cores=1,3,5,7
/proc/24685/task/24762/stat : 24762 (pb_cplex) S 24684 24684 24426 0 -1 4202560 180883 0 0 0 17727 272 0 0 20 0 8 0 390826708 1229611008 254435 33554432000 134512640 146736320 4292381728 3691802256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24685/tid=24763] ppid=24684 vsize=1200792 CPUtime=181.9 cores=1,3,5,7
/proc/24685/task/24763/stat : 24763 (pb_cplex) R 24684 24684 24426 0 -1 4202560 169220 0 0 0 17890 300 0 0 20 0 8 0 390826708 1229611008 254435 33554432000 134512640 146736320 4292381728 3674200460 135465050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 1209940
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24684 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1799.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.140015
# lost CPU user time (s): 0.180023
# lost CPU system time (s): -0.04
Real time (s): 584.217
CPU time (s): 1800.13
CPU user time (s): 1773.56
CPU system time (s): 26.57
CPU usage (%): 308.127
Max. virtual memory (cumulated for all children) (KiB): 1210964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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= 2
involuntary context switches= 1
runsolver used 1.57076 second user time and 4.19536 second system time
The end