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-3745035-1339252160/watcher-3745035-1339252160 -o /tmp/evaluation-result-3745035-1339252160/solver-3745035-1339252160 -C 1800 -W 1900 -M 15500 run HOME/instance-3745035-1339252160.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: 8.67 8.56 6.43 10/183 2898
/proc/meminfo: memFree=30835548/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[startup+0.0666141 s]
/proc/loadavg: 8.67 8.56 6.43 10/183 2898
/proc/meminfo: memFree=30835548/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100221 s]
/proc/loadavg: 8.67 8.56 6.43 10/183 2898
/proc/meminfo: memFree=30835548/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300187 s]
/proc/loadavg: 8.67 8.56 6.43 10/183 2898
/proc/meminfo: memFree=30835548/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 8.67 8.56 6.43 10/183 2898
/proc/meminfo: memFree=30835548/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 8.67 8.56 6.43 10/185 2900
/proc/meminfo: memFree=30795000/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=83340 CPUtime=1.49 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 18173 0 0 0 145 4 0 0 20 0 1 0 391340944 85340160 17642 33554432000 134512640 146736320 4291764352 4291762672 134539396 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/2899/statm: 20835 17642 2258 2985 0 15701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92488
[startup+3.10043 s]
/proc/loadavg: 8.67 8.56 6.43 10/185 2900
/proc/meminfo: memFree=30773848/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=169232 CPUtime=3.09 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 41357 0 0 0 301 8 0 0 20 0 1 0 391340944 173293568 37085 33554432000 134512640 146736320 4291764352 4291762408 138680155 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/2899/statm: 42308 37085 621 2985 0 39242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178380
[startup+6.30036 s]
/proc/loadavg: 8.70 8.57 6.44 10/186 2901
/proc/meminfo: memFree=30688272/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=290280 CPUtime=6.28 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 92990 0 0 0 608 20 0 0 20 0 1 0 391340944 297246720 47610 33554432000 134512640 146736320 4291764352 4291758848 136403558 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/2899/statm: 72570 47610 830 2985 0 69504 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 299428
[startup+12.7004 s]
/proc/loadavg: 8.72 8.58 6.45 10/186 2901
/proc/meminfo: memFree=30641948/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=293548 CPUtime=12.69 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 97915 0 0 0 1246 23 0 0 20 0 1 0 391340944 300593152 48690 33554432000 134512640 146736320 4291764352 4291758848 136403546 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/2899/statm: 73387 48690 830 2985 0 70321 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 302696
[startup+25.5003 s]
/proc/loadavg: 8.63 8.56 6.48 8/186 2901
/proc/meminfo: memFree=30632972/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=290756 CPUtime=25.49 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 171880 0 0 0 2503 46 0 0 20 0 1 0 391340944 297734144 49305 33554432000 134512640 146736320 4291764352 4291757056 135468684 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/2899/statm: 72689 49305 909 2985 0 69623 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 299904
[startup+51.1005 s]
/proc/loadavg: 8.71 8.58 6.54 7/194 2911
/proc/meminfo: memFree=30071364/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=1063180 CPUtime=102.75 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) S 2898 2898 1177 0 -1 4202496 434983 0 0 0 10117 158 0 0 20 0 8 0 391340944 1088696320 188420 33554432000 134512640 146736320 4291764352 4291760720 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2899/statm: 265795 188420 953 2985 0 262729 0
[pid=2899/tid=2902] ppid=2898 vsize=1063180 CPUtime=8.27 cores=1,3,5,7
/proc/2899/task/2902/stat : 2902 (pb_cplex) S 2898 2898 1177 0 -1 4202560 20252 0 0 0 816 11 0 0 20 0 8 0 391343831 1088696320 188420 33554432000 134512640 146736320 4291764352 3818036880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2903] ppid=2898 vsize=1063180 CPUtime=9.07 cores=1,3,5,7
/proc/2899/task/2903/stat : 2903 (pb_cplex) R 2898 2898 1177 0 -1 4202560 21038 0 0 0 896 11 0 0 20 0 8 0 391343831 1088696320 188420 33554432000 134512640 146736320 4291764352 3807547544 136007053 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2899/tid=2904] ppid=2898 vsize=1063180 CPUtime=8.9 cores=1,3,5,7
/proc/2899/task/2904/stat : 2904 (pb_cplex) R 2898 2898 1177 0 -1 4202560 19701 0 0 0 881 9 0 0 20 0 8 0 391343831 1088696320 188420 33554432000 134512640 146736320 4291764352 3797061696 135443520 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2905] ppid=2898 vsize=1063180 CPUtime=7.7 cores=1,3,5,7
/proc/2899/task/2905/stat : 2905 (pb_cplex) S 2898 2898 1177 0 -1 4202560 21345 0 0 0 760 10 0 0 20 0 8 0 391343831 1088696320 188420 33554432000 134512640 146736320 4291764352 3786579600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2899/tid=2906] ppid=2898 vsize=1063180 CPUtime=9.12 cores=1,3,5,7
/proc/2899/task/2906/stat : 2906 (pb_cplex) R 2898 2898 1177 0 -1 4202560 24414 0 0 0 899 13 0 0 20 0 8 0 391343831 1088696320 188420 33554432000 134512640 146736320 4291764352 3776089176 136007053 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2907] ppid=2898 vsize=1063180 CPUtime=9.43 cores=1,3,5,7
/proc/2899/task/2907/stat : 2907 (pb_cplex) R 2898 2898 1177 0 -1 4202560 19999 0 0 0 932 11 0 0 20 0 8 0 391343831 1088696320 188420 33554432000 134512640 146736320 4291764352 3765604944 136403132 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2908] ppid=2898 vsize=1063180 CPUtime=8.86 cores=1,3,5,7
/proc/2899/task/2908/stat : 2908 (pb_cplex) R 2898 2898 1177 0 -1 4202560 18476 0 0 0 876 10 0 0 20 0 8 0 391343831 1088696320 188420 33554432000 134512640 146736320 4291764352 3755118664 139042888 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.75
Current children cumulated vsize (KiB) 1072328
[startup+102.308 s]
/proc/loadavg: 8.13 8.43 6.60 5/186 2911
/proc/meminfo: memFree=30345692/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=1098708 CPUtime=295.95 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) S 2898 2898 1177 0 -1 4202496 790984 0 0 0 29254 341 0 0 20 0 8 0 391340944 1125076992 196731 33554432000 134512640 146736320 4291764352 4291760720 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2899/statm: 274677 196731 953 2985 0 271611 0
[pid=2899/tid=2902] ppid=2898 vsize=1098708 CPUtime=22.89 cores=1,3,5,7
/proc/2899/task/2902/stat : 2902 (pb_cplex) S 2898 2898 1177 0 -1 4202560 55835 0 0 0 2260 29 0 0 20 0 8 0 391343831 1125076992 196731 33554432000 134512640 146736320 4291764352 3818036880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2903] ppid=2898 vsize=1098708 CPUtime=37.33 cores=1,3,5,7
/proc/2899/task/2903/stat : 2903 (pb_cplex) R 2898 2898 1177 0 -1 4202560 50546 0 0 0 3704 29 0 0 20 0 8 0 391343831 1125076992 196731 33554432000 134512640 146736320 4291764352 3807547544 136007643 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2904] ppid=2898 vsize=1098708 CPUtime=33.75 cores=1,3,5,7
/proc/2899/task/2904/stat : 2904 (pb_cplex) S 2898 2898 1177 0 -1 4202560 65188 0 0 0 3342 33 0 0 20 0 8 0 391343831 1125076992 196731 33554432000 134512640 146736320 4291764352 3797065360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2905] ppid=2898 vsize=1098708 CPUtime=32.12 cores=1,3,5,7
/proc/2899/task/2905/stat : 2905 (pb_cplex) R 2898 2898 1177 0 -1 4202560 50528 0 0 0 3186 26 0 0 20 0 8 0 391343831 1125076992 196731 33554432000 134512640 146736320 4291764352 3786576024 136007654 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2906] ppid=2898 vsize=1098708 CPUtime=37.55 cores=1,3,5,7
/proc/2899/task/2906/stat : 2906 (pb_cplex) S 2898 2898 1177 0 -1 4202560 105169 0 0 0 3701 54 0 0 20 0 8 0 391343831 1125076992 196731 33554432000 134512640 146736320 4291764352 3776093840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2899/tid=2907] ppid=2898 vsize=1098708 CPUtime=32.86 cores=1,3,5,7
/proc/2899/task/2907/stat : 2907 (pb_cplex) S 2898 2898 1177 0 -1 4202560 73421 0 0 0 3250 36 0 0 20 0 8 0 391343831 1125076992 196731 33554432000 134512640 146736320 4291764352 3765608080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2908] ppid=2898 vsize=1098708 CPUtime=36.26 cores=1,3,5,7
/proc/2899/task/2908/stat : 2908 (pb_cplex) R 2898 2898 1177 0 -1 4202560 53083 0 0 0 3599 27 0 0 20 0 8 0 391343831 1125076992 196731 33554432000 134512640 146736320 4291764352 3755119592 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 295.95
Current children cumulated vsize (KiB) 1107856
[startup+162.301 s]
/proc/loadavg: 8.10 8.21 6.62 15/193 2919
/proc/meminfo: memFree=30145496/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=1078824 CPUtime=486.12 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 993122 0 0 0 48147 465 0 0 20 0 8 0 391340944 1104715776 197823 33554432000 134512640 146736320 4291764352 4291757144 136007065 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2899/statm: 269706 197823 957 2985 0 266640 0
[pid=2899/tid=2902] ppid=2898 vsize=1078824 CPUtime=34.29 cores=1,3,5,7
/proc/2899/task/2902/stat : 2902 (pb_cplex) S 2898 2898 1177 0 -1 4202560 77038 0 0 0 3388 41 0 0 20 0 8 0 391343831 1104715776 197823 33554432000 134512640 146736320 4291764352 3818036880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2903] ppid=2898 vsize=1078824 CPUtime=84 cores=1,3,5,7
/proc/2899/task/2903/stat : 2903 (pb_cplex) R 2898 2898 1177 0 -1 4202560 84140 0 0 0 8353 47 0 0 20 0 8 0 391343831 1104715776 197823 33554432000 134512640 146736320 4291764352 3807547544 136007277 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2904] ppid=2898 vsize=1078824 CPUtime=46.96 cores=1,3,5,7
/proc/2899/task/2904/stat : 2904 (pb_cplex) R 2898 2898 1177 0 -1 4202560 91690 0 0 0 4642 54 0 0 20 0 8 0 391343831 1104715776 197823 33554432000 134512640 146736320 4291764352 3797061820 135526874 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2899/tid=2905] ppid=2898 vsize=1078824 CPUtime=68.25 cores=1,3,5,7
/proc/2899/task/2905/stat : 2905 (pb_cplex) R 2898 2898 1177 0 -1 4202560 84216 0 0 0 6782 43 0 0 20 0 8 0 391343831 1104715776 197823 33554432000 134512640 146736320 4291764352 3786576024 136007605 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2906] ppid=2898 vsize=1078824 CPUtime=50.64 cores=1,3,5,7
/proc/2899/task/2906/stat : 2906 (pb_cplex) R 2898 2898 1177 0 -1 4202560 123899 0 0 0 4998 66 0 0 20 0 8 0 391343831 1104715776 197823 33554432000 134512640 146736320 4291764352 3776090264 136007643 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2907] ppid=2898 vsize=1078824 CPUtime=46.12 cores=1,3,5,7
/proc/2899/task/2907/stat : 2907 (pb_cplex) R 2898 2898 1177 0 -1 4202560 109609 0 0 0 4556 56 0 0 20 0 8 0 391343831 1104715776 197823 33554432000 134512640 146736320 4291764352 3765604504 136007037 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2908] ppid=2898 vsize=1078824 CPUtime=78.94 cores=1,3,5,7
/proc/2899/task/2908/stat : 2908 (pb_cplex) R 2898 2898 1177 0 -1 4202560 77449 0 0 0 7848 46 0 0 20 0 8 0 391343831 1104715776 197823 33554432000 134512640 146736320 4291764352 3755118632 139044572 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 486.12
################
# More data... #
################
/proc/loadavg: 1.33 4.85 5.73 2/172 2949
/proc/meminfo: memFree=31112580/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=352652 CPUtime=1122.93 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 1467723 0 0 0 111361 932 0 0 20 0 1 0 391340944 361115648 73425 33554432000 134512640 146736320 4291764352 4291759064 136007517 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/2899/statm: 88163 73425 960 2985 0 85097 0
Current children cumulated CPU time (s) 1122.93
Current children cumulated vsize (KiB) 361800
[startup+522.3 s]
/proc/loadavg: 1.12 4.14 5.43 2/172 2949
/proc/meminfo: memFree=31112456/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=352936 CPUtime=1182.92 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 1471543 0 0 0 117351 941 0 0 20 0 1 0 391340944 361406464 73507 33554432000 134512640 146736320 4291764352 4291760320 137469642 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/2899/statm: 88234 73507 971 2985 0 85168 0
Current children cumulated CPU time (s) 1182.92
Current children cumulated vsize (KiB) 362084
[startup+582.3 s]
/proc/loadavg: 1.10 3.58 5.16 2/172 2949
/proc/meminfo: memFree=31112456/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=352936 CPUtime=1242.92 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 1471543 0 0 0 123344 948 0 0 20 0 1 0 391340944 361406464 73507 33554432000 134512640 146736320 4291764352 4291758544 136008050 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/2899/statm: 88234 73507 971 2985 0 85168 0
Current children cumulated CPU time (s) 1242.92
Current children cumulated vsize (KiB) 362084
[startup+642.301 s]
/proc/loadavg: 3.54 3.72 5.10 9/180 2966
/proc/meminfo: memFree=30488428/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=1150232 CPUtime=1386.46 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 1835160 0 0 0 137523 1123 0 0 20 0 8 0 391340944 1177837568 229528 33554432000 134512640 146736320 4291764352 4291756056 136007605 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2899/statm: 287558 229528 990 2985 0 284492 0
[pid=2899/tid=2957] ppid=2898 vsize=1150232 CPUtime=12.13 cores=1,3,5,7
/proc/2899/task/2957/stat : 2957 (pb_cplex) R 2898 2898 1177 0 -1 4202560 11930 0 0 0 1207 6 0 0 20 0 8 0 391400844 1177837568 229528 33554432000 134512640 146736320 4291764352 4054475344 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2958] ppid=2898 vsize=1150232 CPUtime=12 cores=1,3,5,7
/proc/2899/task/2958/stat : 2958 (pb_cplex) R 2898 2898 1177 0 -1 4202560 17395 0 0 0 1191 9 0 0 20 0 8 0 391400844 1177837568 229528 33554432000 134512640 146736320 4291764352 4064960848 139023039 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2959] ppid=2898 vsize=1150232 CPUtime=12.36 cores=1,3,5,7
/proc/2899/task/2959/stat : 2959 (pb_cplex) R 2898 2898 1177 0 -1 4202560 39449 0 0 0 1215 21 0 0 20 0 8 0 391400844 1177837568 229528 33554432000 134512640 146736320 4291764352 4075445344 136006074 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2960] ppid=2898 vsize=1150232 CPUtime=12.01 cores=1,3,5,7
/proc/2899/task/2960/stat : 2960 (pb_cplex) R 2898 2898 1177 0 -1 4202560 29069 0 0 0 1187 14 0 0 20 0 8 0 391400844 1177837568 229528 33554432000 134512640 146736320 4291764352 3786576252 139023078 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2961] ppid=2898 vsize=1150232 CPUtime=12.01 cores=1,3,5,7
/proc/2899/task/2961/stat : 2961 (pb_cplex) R 2898 2898 1177 0 -1 4202560 46958 0 0 0 1178 23 0 0 20 0 8 0 391400844 1177837568 229528 33554432000 134512640 146736320 4291764352 3756454188 139023034 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=2899/tid=2962] ppid=2898 vsize=1150232 CPUtime=12.02 cores=1,3,5,7
/proc/2899/task/2962/stat : 2962 (pb_cplex) R 2898 2898 1177 0 -1 4202560 22383 0 0 0 1192 10 0 0 20 0 8 0 391400844 1177837568 229528 33554432000 134512640 146736320 4291764352 3740262024 136002823 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2963] ppid=2898 vsize=1150232 CPUtime=12.25 cores=1,3,5,7
/proc/2899/task/2963/stat : 2963 (pb_cplex) R 2898 2898 1177 0 -1 4202560 30793 0 0 0 1207 18 0 0 20 0 8 0 391400844 1177837568 229528 33554432000 134512640 146736320 4291764352 3729775552 136413792 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1386.46
Current children cumulated vsize (KiB) 1159380
[startup+702.301 s]
/proc/loadavg: 6.36 4.49 5.28 9/179 2966
/proc/meminfo: memFree=30494060/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=1131072 CPUtime=1625.91 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 2043858 0 0 0 161341 1250 0 0 20 0 8 0 391340944 1158217728 227937 33554432000 134512640 146736320 4291764352 4291756496 136403109 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2899/statm: 282768 227937 990 2985 0 279702 0
[pid=2899/tid=2957] ppid=2898 vsize=1131072 CPUtime=41.84 cores=1,3,5,7
/proc/2899/task/2957/stat : 2957 (pb_cplex) R 2898 2898 1177 0 -1 4202560 32001 0 0 0 4164 20 0 0 20 0 8 0 391400844 1158217728 227937 33554432000 134512640 146736320 4291764352 4054475168 139023098 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2958] ppid=2898 vsize=1131072 CPUtime=42.14 cores=1,3,5,7
/proc/2899/task/2958/stat : 2958 (pb_cplex) R 2898 2898 1177 0 -1 4202560 50232 0 0 0 4187 27 0 0 20 0 8 0 391400844 1158217728 227937 33554432000 134512640 146736320 4291764352 4064959576 136007605 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2959] ppid=2898 vsize=1131072 CPUtime=42.28 cores=1,3,5,7
/proc/2899/task/2959/stat : 2959 (pb_cplex) R 2898 2898 1177 0 -1 4202560 76962 0 0 0 4181 47 0 0 20 0 8 0 391400844 1158217728 227937 33554432000 134512640 146736320 4291764352 4075445256 139042977 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2960] ppid=2898 vsize=1131072 CPUtime=41.54 cores=1,3,5,7
/proc/2899/task/2960/stat : 2960 (pb_cplex) R 2898 2898 1177 0 -1 4202560 59946 0 0 0 4121 33 0 0 20 0 8 0 391400844 1158217728 227937 33554432000 134512640 146736320 4291764352 3786574684 136405757 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2961] ppid=2898 vsize=1131072 CPUtime=41.78 cores=1,3,5,7
/proc/2899/task/2961/stat : 2961 (pb_cplex) R 2898 2898 1177 0 -1 4202560 65198 0 0 0 4147 31 0 0 20 0 8 0 391400844 1158217728 227937 33554432000 134512640 146736320 4291764352 3756453652 135983024 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2962] ppid=2898 vsize=1131072 CPUtime=41.91 cores=1,3,5,7
/proc/2899/task/2962/stat : 2962 (pb_cplex) R 2898 2898 1177 0 -1 4202560 51708 0 0 0 4164 27 0 0 20 0 8 0 391400844 1158217728 227937 33554432000 134512640 146736320 4291764352 3740261580 136004470 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2963] ppid=2898 vsize=1131072 CPUtime=41.9 cores=1,3,5,7
/proc/2899/task/2963/stat : 2963 (pb_cplex) R 2898 2898 1177 0 -1 4202560 62288 0 0 0 4152 38 0 0 20 0 8 0 391400844 1158217728 227937 33554432000 134512640 146736320 4291764352 3729777024 139023078 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1625.91
Current children cumulated vsize (KiB) 1140220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+751.1 s]
/proc/loadavg: 5.89 4.66 5.29 9/179 2966
/proc/meminfo: memFree=30601784/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=1010036 CPUtime=1798.06 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 2391694 0 0 0 178362 1444 0 0 20 0 8 0 391340944 1034276864 200358 33554432000 134512640 146736320 4291764352 4291757144 136007616 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2899/statm: 252509 200359 990 2985 0 249443 0
[pid=2899/tid=2957] ppid=2898 vsize=1010036 CPUtime=71.28 cores=1,3,5,7
/proc/2899/task/2957/stat : 2957 (pb_cplex) R 2898 2898 1177 0 -1 4202560 78012 0 0 0 7081 47 0 0 20 0 8 0 391400844 1034276864 200365 33554432000 134512640 146736320 4291764352 4054474864 136384857 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2958] ppid=2898 vsize=1010036 CPUtime=53.53 cores=1,3,5,7
/proc/2899/task/2958/stat : 2958 (pb_cplex) R 2898 2898 1177 0 -1 4202560 65323 0 0 0 5316 37 0 0 20 0 8 0 391400844 1034276864 200366 33554432000 134512640 146736320 4291764352 4064959648 139028313 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2959] ppid=2898 vsize=1010036 CPUtime=58.98 cores=1,3,5,7
/proc/2899/task/2959/stat : 2959 (pb_cplex) R 2898 2898 1177 0 -1 4202560 107523 0 0 0 5835 63 0 0 20 0 8 0 391400844 1034276864 200367 33554432000 134512640 146736320 4291764352 4075446864 136403129 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2960] ppid=2898 vsize=1010036 CPUtime=69.59 cores=1,3,5,7
/proc/2899/task/2960/stat : 2960 (pb_cplex) R 2898 2898 1177 0 -1 4202560 114397 0 0 0 6895 64 0 0 20 0 8 0 391400844 1034276864 200368 33554432000 134512640 146736320 4291764352 3786574936 136007677 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2961] ppid=2898 vsize=1010036 CPUtime=76.05 cores=1,3,5,7
/proc/2899/task/2961/stat : 2961 (pb_cplex) R 2898 2898 1177 0 -1 4202560 128693 0 0 0 7539 66 0 0 20 0 8 0 391400844 1034276864 200369 33554432000 134512640 146736320 4291764352 3756454040 136007605 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2962] ppid=2898 vsize=1010036 CPUtime=48.14 cores=1,3,5,7
/proc/2899/task/2962/stat : 2962 (pb_cplex) R 2898 2898 1177 0 -1 4202560 71820 0 0 0 4774 40 0 0 20 0 8 0 391400844 1034276864 200370 33554432000 134512640 146736320 4291764352 3740261520 136008242 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2963] ppid=2898 vsize=1010036 CPUtime=66.96 cores=1,3,5,7
/proc/2899/task/2963/stat : 2963 (pb_cplex) R 2898 2898 1177 0 -1 4202560 133597 0 0 0 6617 79 0 0 20 0 8 0 391400844 1034276864 200371 33554432000 134512640 146736320 4291764352 3729778236 137366975 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 1019184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+751.1 s]
/proc/loadavg: 5.89 4.66 5.29 9/179 2966
/proc/meminfo: memFree=30601784/32873844 swapFree=7120/7120
[pid=2898] ppid=2896 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (run) S 2896 2898 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391340944 9367552 270 33554432000 4194304 5064252 140737337952608 140737337951520 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2898/statm: 2287 270 229 213 0 72 0
[pid=2899] ppid=2898 vsize=1010036 CPUtime=1798.06 cores=1,3,5,7
/proc/2899/stat : 2899 (pb_cplex) R 2898 2898 1177 0 -1 4202496 2391694 0 0 0 178362 1444 0 0 20 0 8 0 391340944 1034276864 200358 33554432000 134512640 146736320 4291764352 4291757144 136007616 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2899/statm: 252509 200359 990 2985 0 249443 0
[pid=2899/tid=2957] ppid=2898 vsize=1010036 CPUtime=71.28 cores=1,3,5,7
/proc/2899/task/2957/stat : 2957 (pb_cplex) R 2898 2898 1177 0 -1 4202560 78012 0 0 0 7081 47 0 0 20 0 8 0 391400844 1034276864 200365 33554432000 134512640 146736320 4291764352 4054474864 136384857 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=2899/tid=2958] ppid=2898 vsize=1010036 CPUtime=53.53 cores=1,3,5,7
/proc/2899/task/2958/stat : 2958 (pb_cplex) R 2898 2898 1177 0 -1 4202560 65323 0 0 0 5316 37 0 0 20 0 8 0 391400844 1034276864 200366 33554432000 134512640 146736320 4291764352 4064959648 139028313 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2959] ppid=2898 vsize=1010036 CPUtime=58.98 cores=1,3,5,7
/proc/2899/task/2959/stat : 2959 (pb_cplex) R 2898 2898 1177 0 -1 4202560 107523 0 0 0 5835 63 0 0 20 0 8 0 391400844 1034276864 200367 33554432000 134512640 146736320 4291764352 4075446864 136403129 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=2899/tid=2960] ppid=2898 vsize=1010036 CPUtime=69.59 cores=1,3,5,7
/proc/2899/task/2960/stat : 2960 (pb_cplex) R 2898 2898 1177 0 -1 4202560 114397 0 0 0 6895 64 0 0 20 0 8 0 391400844 1034276864 200368 33554432000 134512640 146736320 4291764352 3786574936 136007677 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2961] ppid=2898 vsize=1010036 CPUtime=76.05 cores=1,3,5,7
/proc/2899/task/2961/stat : 2961 (pb_cplex) R 2898 2898 1177 0 -1 4202560 128693 0 0 0 7539 66 0 0 20 0 8 0 391400844 1034276864 200369 33554432000 134512640 146736320 4291764352 3756454040 136007605 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2962] ppid=2898 vsize=1010036 CPUtime=48.14 cores=1,3,5,7
/proc/2899/task/2962/stat : 2962 (pb_cplex) R 2898 2898 1177 0 -1 4202560 71820 0 0 0 4774 40 0 0 20 0 8 0 391400844 1034276864 200370 33554432000 134512640 146736320 4291764352 3740261520 136008242 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=2899/tid=2963] ppid=2898 vsize=1010036 CPUtime=66.96 cores=1,3,5,7
/proc/2899/task/2963/stat : 2963 (pb_cplex) R 2898 2898 1177 0 -1 4202560 133597 0 0 0 6617 79 0 0 20 0 8 0 391400844 1034276864 200371 33554432000 134512640 146736320 4291764352 3729778236 137366975 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 1019184
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2898 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 1798.06
#
# 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): 2.17004
# lost CPU user time (s): 2.34003
# lost CPU system time (s): -0.17
Real time (s): 751.117
CPU time (s): 1800.23
CPU user time (s): 1785.96
CPU system time (s): 14.27
CPU usage (%): 239.674
Max. virtual memory (cumulated for all children) (KiB): 1223544
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 2.01969 second user time and 6.26305 second system time
The end