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-3731532-1339246875/watcher-3731532-1339246875 -o /tmp/evaluation-result-3731532-1339246875/solver-3731532-1339246875 -C 1800 -W 1900 -M 15500 run HOME/instance-3731532-1339246875.opb
running on 4 cores: 0,2,4,6
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: 0.70 0.17 0.06 3/178 22757
/proc/meminfo: memFree=30213788/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[startup+0.0353991 s]
/proc/loadavg: 0.70 0.17 0.06 3/178 22757
/proc/meminfo: memFree=30213788/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100748 s]
/proc/loadavg: 0.70 0.17 0.06 3/178 22757
/proc/meminfo: memFree=30213788/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.301014 s]
/proc/loadavg: 0.70 0.17 0.06 3/178 22757
/proc/meminfo: memFree=30213788/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/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: 0.70 0.17 0.06 3/178 22757
/proc/meminfo: memFree=30213788/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50105 s]
/proc/loadavg: 0.70 0.17 0.06 4/180 22759
/proc/meminfo: memFree=30209432/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=16968 CPUtime=1.49 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) R 22757 22757 22465 0 -1 4202496 5522 0 0 0 149 0 0 0 20 0 1 0 390813368 17375232 1947 33554432000 134512640 146736320 4288905184 4288898856 139044550 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22758/statm: 4242 1947 890 2985 0 1176 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26116
[startup+3.10039 s]
/proc/loadavg: 0.70 0.17 0.06 3/187 22766
/proc/meminfo: memFree=30201620/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=110904 CPUtime=5.3 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) S 22757 22757 22465 0 -1 4202496 10198 0 0 0 527 3 0 0 20 0 8 0 390813368 113565696 6302 33554432000 134512640 146736320 4288905184 4288901584 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22758/statm: 27726 6302 927 2985 0 24660 0
[pid=22758/tid=22760] ppid=22757 vsize=110904 CPUtime=0.33 cores=0,2,4,6
/proc/22758/task/22760/stat : 22760 (pb_cplex) S 22757 22757 22465 0 -1 4202560 371 0 0 0 33 0 0 0 20 0 8 0 390813551 113565696 6302 33554432000 134512640 146736320 4288905184 4148805264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22761] ppid=22757 vsize=110904 CPUtime=0.4 cores=0,2,4,6
/proc/22758/task/22761/stat : 22761 (pb_cplex) S 22757 22757 22465 0 -1 4202560 365 0 0 0 40 0 0 0 20 0 8 0 390813551 113565696 6302 33554432000 134512640 146736320 4288905184 4138319504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22762] ppid=22757 vsize=110904 CPUtime=0.36 cores=0,2,4,6
/proc/22758/task/22762/stat : 22762 (pb_cplex) S 22757 22757 22465 0 -1 4202560 370 0 0 0 36 0 0 0 20 0 8 0 390813551 113565696 6302 33554432000 134512640 146736320 4288905184 4127833744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22763] ppid=22757 vsize=110904 CPUtime=0.41 cores=0,2,4,6
/proc/22758/task/22763/stat : 22763 (pb_cplex) S 22757 22757 22465 0 -1 4202560 359 0 0 0 41 0 0 0 20 0 8 0 390813551 113565696 6302 33554432000 134512640 146736320 4288905184 4117347984 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22764] ppid=22757 vsize=110904 CPUtime=0.57 cores=0,2,4,6
/proc/22758/task/22764/stat : 22764 (pb_cplex) R 22757 22757 22465 0 -1 4202560 395 0 0 0 57 0 0 0 20 0 8 0 390813551 113565696 6302 33554432000 134512640 146736320 4288905184 4106857476 136385184 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22765] ppid=22757 vsize=110904 CPUtime=0.36 cores=0,2,4,6
/proc/22758/task/22765/stat : 22765 (pb_cplex) S 22757 22757 22465 0 -1 4202560 333 0 0 0 36 0 0 0 20 0 8 0 390813551 113565696 6302 33554432000 134512640 146736320 4288905184 4096376464 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22766] ppid=22757 vsize=110904 CPUtime=0.36 cores=0,2,4,6
/proc/22758/task/22766/stat : 22766 (pb_cplex) S 22757 22757 22465 0 -1 4202560 262 0 0 0 36 0 0 0 20 0 8 0 390813551 113565696 6302 33554432000 134512640 146736320 4288905184 4085890704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 120052
[startup+6.30039 s]
/proc/loadavg: 1.29 0.30 0.10 10/187 22766
/proc/meminfo: memFree=30187608/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=116804 CPUtime=17.29 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) S 22757 22757 22465 0 -1 4202496 11975 0 0 0 1723 6 0 0 20 0 8 0 390813368 119607296 7552 33554432000 134512640 146736320 4288905184 4288901584 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22758/statm: 29201 7552 927 2985 0 26135 0
[pid=22758/tid=22760] ppid=22757 vsize=116804 CPUtime=1.81 cores=0,2,4,6
/proc/22758/task/22760/stat : 22760 (pb_cplex) S 22757 22757 22465 0 -1 4202560 588 0 0 0 181 0 0 0 20 0 8 0 390813551 119607296 7552 33554432000 134512640 146736320 4288905184 4148805264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22761] ppid=22757 vsize=116804 CPUtime=1.95 cores=0,2,4,6
/proc/22758/task/22761/stat : 22761 (pb_cplex) S 22757 22757 22465 0 -1 4202560 740 0 0 0 195 0 0 0 20 0 8 0 390813551 119607296 7552 33554432000 134512640 146736320 4288905184 4138319504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22762] ppid=22757 vsize=116804 CPUtime=1.94 cores=0,2,4,6
/proc/22758/task/22762/stat : 22762 (pb_cplex) S 22757 22757 22465 0 -1 4202560 573 0 0 0 194 0 0 0 20 0 8 0 390813551 119607296 7552 33554432000 134512640 146736320 4288905184 4127833744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22763] ppid=22757 vsize=116804 CPUtime=1.83 cores=0,2,4,6
/proc/22758/task/22763/stat : 22763 (pb_cplex) S 22757 22757 22465 0 -1 4202560 603 0 0 0 183 0 0 0 20 0 8 0 390813551 119607296 7552 33554432000 134512640 146736320 4288905184 4117347984 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22764] ppid=22757 vsize=116804 CPUtime=1.78 cores=0,2,4,6
/proc/22758/task/22764/stat : 22764 (pb_cplex) S 22757 22757 22465 0 -1 4202560 713 0 0 0 178 0 0 0 20 0 8 0 390813551 119607296 7552 33554432000 134512640 146736320 4288905184 4106862224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22765] ppid=22757 vsize=116804 CPUtime=1.82 cores=0,2,4,6
/proc/22758/task/22765/stat : 22765 (pb_cplex) S 22757 22757 22465 0 -1 4202560 349 0 0 0 182 0 0 0 20 0 8 0 390813551 119607296 7552 33554432000 134512640 146736320 4288905184 4096376464 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22766] ppid=22757 vsize=116804 CPUtime=1.89 cores=0,2,4,6
/proc/22758/task/22766/stat : 22766 (pb_cplex) R 22757 22757 22465 0 -1 4202560 525 0 0 0 189 0 0 0 20 0 8 0 390813551 119607296 7552 33554432000 134512640 146736320 4288905184 4085886888 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 17.29
Current children cumulated vsize (KiB) 125952
[startup+12.7004 s]
/proc/loadavg: 1.90 0.45 0.15 3/187 22780
/proc/meminfo: memFree=30161576/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=150880 CPUtime=31.9 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) R 22757 22757 22465 0 -1 4202496 21916 0 0 0 3170 20 0 0 20 0 8 0 390813368 154501120 14528 33554432000 134512640 146736320 4288905184 4288896320 144785853 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22758/statm: 37720 14528 970 2985 0 34654 0
[pid=22758/tid=22774] ppid=22757 vsize=150880 CPUtime=0 cores=0,2,4,6
/proc/22758/task/22774/stat : 22774 (pb_cplex) S 22757 22757 22465 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390814544 154501120 14528 33554432000 134512640 146736320 4288905184 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22775] ppid=22757 vsize=150880 CPUtime=0 cores=0,2,4,6
/proc/22758/task/22775/stat : 22775 (pb_cplex) S 22757 22757 22465 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390814544 154501120 14528 33554432000 134512640 146736320 4288905184 4137291408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22776] ppid=22757 vsize=150880 CPUtime=0 cores=0,2,4,6
/proc/22758/task/22776/stat : 22776 (pb_cplex) S 22757 22757 22465 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390814544 154501120 14528 33554432000 134512640 146736320 4288905184 4147777168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22777] ppid=22757 vsize=150880 CPUtime=0 cores=0,2,4,6
/proc/22758/task/22777/stat : 22777 (pb_cplex) S 22757 22757 22465 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390814544 154501120 14528 33554432000 134512640 146736320 4288905184 4117347984 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22778] ppid=22757 vsize=150880 CPUtime=0 cores=0,2,4,6
/proc/22758/task/22778/stat : 22778 (pb_cplex) S 22757 22757 22465 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390814544 154501120 14528 33554432000 134512640 146736320 4288905184 4053954192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22779] ppid=22757 vsize=150880 CPUtime=0 cores=0,2,4,6
/proc/22758/task/22779/stat : 22779 (pb_cplex) S 22757 22757 22465 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390814544 154501120 14528 33554432000 134512640 146736320 4288905184 4043468432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22780] ppid=22757 vsize=150880 CPUtime=0 cores=0,2,4,6
/proc/22758/task/22780/stat : 22780 (pb_cplex) S 22757 22757 22465 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390814544 154501120 14528 33554432000 134512640 146736320 4288905184 4032982672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 160028
[startup+25.5004 s]
/proc/loadavg: 2.92 0.74 0.24 10/187 22780
/proc/meminfo: memFree=30152036/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=162144 CPUtime=72.51 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) R 22757 22757 22465 0 -1 4202496 29028 0 0 0 7222 29 0 0 20 0 8 0 390813368 166035456 17345 33554432000 134512640 146736320 4288905184 4288898856 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22758/statm: 40536 17345 972 2985 0 37470 0
[pid=22758/tid=22774] ppid=22757 vsize=162144 CPUtime=5.31 cores=0,2,4,6
/proc/22758/task/22774/stat : 22774 (pb_cplex) S 22757 22757 22465 0 -1 4202560 1264 0 0 0 530 1 0 0 20 0 8 0 390814544 166035456 17345 33554432000 134512640 146736320 4288905184 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22775] ppid=22757 vsize=162144 CPUtime=4.98 cores=0,2,4,6
/proc/22758/task/22775/stat : 22775 (pb_cplex) S 22757 22757 22465 0 -1 4202560 870 0 0 0 497 1 0 0 20 0 8 0 390814544 166035456 17345 33554432000 134512640 146736320 4288905184 4137291408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22776] ppid=22757 vsize=162144 CPUtime=5.25 cores=0,2,4,6
/proc/22758/task/22776/stat : 22776 (pb_cplex) R 22757 22757 22465 0 -1 4202560 177 0 0 0 524 1 0 0 20 0 8 0 390814544 166035456 17345 33554432000 134512640 146736320 4288905184 4147773660 136389140 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22777] ppid=22757 vsize=162144 CPUtime=4.09 cores=0,2,4,6
/proc/22758/task/22777/stat : 22777 (pb_cplex) R 22757 22757 22465 0 -1 4202560 910 0 0 0 409 0 0 0 20 0 8 0 390814544 166035456 17345 33554432000 134512640 146736320 4288905184 4117344464 136008299 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22778] ppid=22757 vsize=162144 CPUtime=4.17 cores=0,2,4,6
/proc/22758/task/22778/stat : 22778 (pb_cplex) R 22757 22757 22465 0 -1 4202560 1696 0 0 0 417 0 0 0 20 0 8 0 390814544 166035456 17345 33554432000 134512640 146736320 4288905184 4053951464 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22779] ppid=22757 vsize=162144 CPUtime=4.52 cores=0,2,4,6
/proc/22758/task/22779/stat : 22779 (pb_cplex) R 22757 22757 22465 0 -1 4202560 457 0 0 0 452 0 0 0 20 0 8 0 390814544 166035456 17345 33554432000 134512640 146736320 4288905184 4043464072 136000487 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22780] ppid=22757 vsize=162144 CPUtime=3.91 cores=0,2,4,6
/proc/22758/task/22780/stat : 22780 (pb_cplex) R 22757 22757 22465 0 -1 4202560 324 0 0 0 391 0 0 0 20 0 8 0 390814544 166035456 17345 33554432000 134512640 146736320 4288905184 4032979944 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 72.51
Current children cumulated vsize (KiB) 171292
[startup+51.1004 s]
/proc/loadavg: 4.11 1.20 0.41 10/186 22780
/proc/meminfo: memFree=30144168/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=170336 CPUtime=156.46 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) R 22757 22757 22465 0 -1 4202496 38339 0 0 0 15586 60 0 0 20 0 8 0 390813368 174424064 19270 33554432000 134512640 146736320 4288905184 4288897672 135526283 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22758/statm: 42584 19270 973 2985 0 39518 0
[pid=22758/tid=22774] ppid=22757 vsize=170336 CPUtime=15.07 cores=0,2,4,6
/proc/22758/task/22774/stat : 22774 (pb_cplex) R 22757 22757 22465 0 -1 4202560 2174 0 0 0 1503 4 0 0 20 0 8 0 390814544 174424064 19270 33554432000 134512640 146736320 4288905184 4067418376 136004128 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22775] ppid=22757 vsize=170336 CPUtime=14.93 cores=0,2,4,6
/proc/22758/task/22775/stat : 22775 (pb_cplex) R 22757 22757 22465 0 -1 4202560 1171 0 0 0 1489 4 0 0 20 0 8 0 390814544 174424064 19270 33554432000 134512640 146736320 4288905184 4137287888 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22776] ppid=22757 vsize=170336 CPUtime=15.91 cores=0,2,4,6
/proc/22758/task/22776/stat : 22776 (pb_cplex) R 22757 22757 22465 0 -1 4202560 269 0 0 0 1586 5 0 0 20 0 8 0 390814544 174424064 19270 33554432000 134512640 146736320 4288905184 4147774440 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22777] ppid=22757 vsize=170336 CPUtime=14.81 cores=0,2,4,6
/proc/22758/task/22777/stat : 22777 (pb_cplex) R 22757 22757 22465 0 -1 4202560 2704 0 0 0 1477 4 0 0 20 0 8 0 390814544 174424064 19270 33554432000 134512640 146736320 4288905184 4117344068 135850319 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22778] ppid=22757 vsize=170336 CPUtime=14.48 cores=0,2,4,6
/proc/22758/task/22778/stat : 22778 (pb_cplex) R 22757 22757 22465 0 -1 4202560 4318 0 0 0 1443 5 0 0 20 0 8 0 390814544 174424064 19270 33554432000 134512640 146736320 4288905184 4053951056 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22779] ppid=22757 vsize=170336 CPUtime=14.63 cores=0,2,4,6
################
# More data... #
################
/proc/22758/statm: 47337 25332 984 2985 0 44271 0
[pid=22758/tid=22774] ppid=22757 vsize=189348 CPUtime=88.28 cores=0,2,4,6
/proc/22758/task/22774/stat : 22774 (pb_cplex) R 22757 22757 22465 0 -1 4202560 6188 0 0 0 8802 26 0 0 20 0 8 0 390814544 193892352 25332 33554432000 134512640 146736320 4288905184 4067418320 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22775] ppid=22757 vsize=189348 CPUtime=101.04 cores=0,2,4,6
/proc/22758/task/22775/stat : 22775 (pb_cplex) R 22757 22757 22465 0 -1 4202560 12792 0 0 0 10076 28 0 0 20 0 8 0 390814544 193892352 25332 33554432000 134512640 146736320 4288905184 4137287752 139042902 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22776] ppid=22757 vsize=189348 CPUtime=83.18 cores=0,2,4,6
/proc/22758/task/22776/stat : 22776 (pb_cplex) R 22757 22757 22465 0 -1 4202560 14636 0 0 0 8292 26 0 0 20 0 8 0 390814544 193892352 25332 33554432000 134512640 146736320 4288905184 4147773856 136388292 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22777] ppid=22757 vsize=189348 CPUtime=88.4 cores=0,2,4,6
/proc/22758/task/22777/stat : 22777 (pb_cplex) R 22757 22757 22465 0 -1 4202560 8116 0 0 0 8814 26 0 0 20 0 8 0 390814544 193892352 25332 33554432000 134512640 146736320 4288905184 4117344348 135855174 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22778] ppid=22757 vsize=189348 CPUtime=85.64 cores=0,2,4,6
/proc/22758/task/22778/stat : 22778 (pb_cplex) R 22757 22757 22465 0 -1 4202560 23314 0 0 0 8538 26 0 0 20 0 8 0 390814544 193892352 25332 33554432000 134512640 146736320 4288905184 4053950684 136009352 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22779] ppid=22757 vsize=189348 CPUtime=87.39 cores=0,2,4,6
/proc/22758/task/22779/stat : 22779 (pb_cplex) R 22757 22757 22465 0 -1 4202560 7817 0 0 0 8713 26 0 0 20 0 8 0 390814544 193892352 25332 33554432000 134512640 146736320 4288905184 4043465704 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22780] ppid=22757 vsize=189348 CPUtime=90.43 cores=0,2,4,6
/proc/22758/task/22780/stat : 22780 (pb_cplex) R 22757 22757 22465 0 -1 4202560 5892 0 0 0 9017 26 0 0 20 0 8 0 390814544 193892352 25332 33554432000 134512640 146736320 4288905184 4032979944 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 751.88
Current children cumulated vsize (KiB) 198496
[startup+282.3 s]
/proc/loadavg: 13.27 6.54 2.66 12/193 22788
/proc/meminfo: memFree=29975196/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=189920 CPUtime=958.28 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) S 22757 22757 22465 0 -1 4202496 111243 0 0 0 95542 286 0 0 20 0 8 0 390813368 194478080 25633 33554432000 134512640 146736320 4288905184 4288901584 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22758/statm: 47480 25633 984 2985 0 44414 0
[pid=22758/tid=22774] ppid=22757 vsize=189920 CPUtime=114.13 cores=0,2,4,6
/proc/22758/task/22774/stat : 22774 (pb_cplex) R 22757 22757 22465 0 -1 4202560 6404 0 0 0 11379 34 0 0 20 0 8 0 390814544 194478080 25633 33554432000 134512640 146736320 4288905184 4067418152 139044581 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22775] ppid=22757 vsize=189920 CPUtime=126.13 cores=0,2,4,6
/proc/22758/task/22775/stat : 22775 (pb_cplex) R 22757 22757 22465 0 -1 4202560 14016 0 0 0 12577 36 0 0 20 0 8 0 390814544 194478080 25633 33554432000 134512640 146736320 4288905184 4137288680 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22776] ppid=22757 vsize=189920 CPUtime=108.74 cores=0,2,4,6
/proc/22758/task/22776/stat : 22776 (pb_cplex) R 22757 22757 22465 0 -1 4202560 15058 0 0 0 10841 33 0 0 20 0 8 0 390814544 194478080 25633 33554432000 134512640 146736320 4288905184 4147774440 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22777] ppid=22757 vsize=189920 CPUtime=113.96 cores=0,2,4,6
/proc/22758/task/22777/stat : 22777 (pb_cplex) R 22757 22757 22465 0 -1 4202560 9380 0 0 0 11364 32 0 0 20 0 8 0 390814544 194478080 25633 33554432000 134512640 146736320 4288905184 4117344648 136388078 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22778] ppid=22757 vsize=189920 CPUtime=111.24 cores=0,2,4,6
/proc/22758/task/22778/stat : 22778 (pb_cplex) S 22757 22757 22465 0 -1 4202560 23988 0 0 0 11091 33 0 0 20 0 8 0 390814544 194478080 25633 33554432000 134512640 146736320 4288905184 4053954192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22779] ppid=22757 vsize=189920 CPUtime=112.73 cores=0,2,4,6
/proc/22758/task/22779/stat : 22779 (pb_cplex) R 22757 22757 22465 0 -1 4202560 8519 0 0 0 11240 33 0 0 20 0 8 0 390814544 194478080 25633 33554432000 134512640 146736320 4288905184 4043465704 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22780] ppid=22757 vsize=189920 CPUtime=116.8 cores=0,2,4,6
/proc/22758/task/22780/stat : 22780 (pb_cplex) R 22757 22757 22465 0 -1 4202560 6492 0 0 0 11645 35 0 0 20 0 8 0 390814544 194478080 25633 33554432000 134512640 146736320 4288905184 4032979152 136008309 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 958.28
Current children cumulated vsize (KiB) 199068
[startup+342.3 s]
/proc/loadavg: 12.40 7.46 3.21 10/193 22788
/proc/meminfo: memFree=29959040/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=205996 CPUtime=1169.56 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) R 22757 22757 22465 0 -1 4202496 121002 0 0 0 116613 343 0 0 20 0 8 0 390813368 210939904 29365 33554432000 134512640 146736320 4288905184 4288897020 135526881 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22758/statm: 51499 29365 984 2985 0 48433 0
[pid=22758/tid=22774] ppid=22757 vsize=205996 CPUtime=140.11 cores=0,2,4,6
/proc/22758/task/22774/stat : 22774 (pb_cplex) R 22757 22757 22465 0 -1 4202560 7993 0 0 0 13969 42 0 0 20 0 8 0 390814544 210939904 29365 33554432000 134512640 146736320 4288905184 4067419112 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22775] ppid=22757 vsize=205996 CPUtime=152.9 cores=0,2,4,6
/proc/22758/task/22775/stat : 22775 (pb_cplex) R 22757 22757 22465 0 -1 4202560 14271 0 0 0 15246 44 0 0 20 0 8 0 390814544 210939904 29365 33554432000 134512640 146736320 4288905184 4137288680 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22776] ppid=22757 vsize=205996 CPUtime=135.32 cores=0,2,4,6
/proc/22758/task/22776/stat : 22776 (pb_cplex) R 22757 22757 22465 0 -1 4202560 15884 0 0 0 13490 42 0 0 20 0 8 0 390814544 210939904 29365 33554432000 134512640 146736320 4288905184 4147774032 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22777] ppid=22757 vsize=205996 CPUtime=139.99 cores=0,2,4,6
/proc/22758/task/22777/stat : 22777 (pb_cplex) R 22757 22757 22465 0 -1 4202560 10822 0 0 0 13959 40 0 0 20 0 8 0 390814544 210939904 29365 33554432000 134512640 146736320 4288905184 4117344712 136000930 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22778] ppid=22757 vsize=205996 CPUtime=137.9 cores=0,2,4,6
/proc/22758/task/22778/stat : 22778 (pb_cplex) R 22757 22757 22465 0 -1 4202560 25940 0 0 0 13748 42 0 0 20 0 8 0 390814544 210939904 29365 33554432000 134512640 146736320 4288905184 4053950536 139042902 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22779] ppid=22757 vsize=205996 CPUtime=139.01 cores=0,2,4,6
/proc/22758/task/22779/stat : 22779 (pb_cplex) R 22757 22757 22465 0 -1 4202560 9893 0 0 0 13860 41 0 0 20 0 8 0 390814544 210939904 29365 33554432000 134512640 146736320 4288905184 4043464912 136008170 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22780] ppid=22757 vsize=205996 CPUtime=142.76 cores=0,2,4,6
/proc/22758/task/22780/stat : 22780 (pb_cplex) R 22757 22757 22465 0 -1 4202560 7683 0 0 0 14235 41 0 0 20 0 8 0 390814544 210939904 29365 33554432000 134512640 146736320 4288905184 4032977704 135467753 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1169.56
Current children cumulated vsize (KiB) 215144
[startup+402.3 s]
/proc/loadavg: 12.83 8.43 3.80 16/193 22788
/proc/meminfo: memFree=29954264/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=212140 CPUtime=1378.44 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) R 22757 22757 22465 0 -1 4202496 126411 0 0 0 137441 403 0 0 20 0 8 0 390813368 217231360 30900 33554432000 134512640 146736320 4288905184 4288898064 136008339 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22758/statm: 53035 30900 984 2985 0 49969 0
[pid=22758/tid=22774] ppid=22757 vsize=212140 CPUtime=165.93 cores=0,2,4,6
/proc/22758/task/22774/stat : 22774 (pb_cplex) R 22757 22757 22465 0 -1 4202560 7993 0 0 0 16544 49 0 0 20 0 8 0 390814544 217231360 30900 33554432000 134512640 146736320 4288905184 4067418320 136008053 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22775] ppid=22757 vsize=212140 CPUtime=178.95 cores=0,2,4,6
/proc/22758/task/22775/stat : 22775 (pb_cplex) R 22757 22757 22465 0 -1 4202560 14851 0 0 0 17841 54 0 0 20 0 8 0 390814544 217231360 30900 33554432000 134512640 146736320 4288905184 4137288272 136403117 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22776] ppid=22757 vsize=212140 CPUtime=161.25 cores=0,2,4,6
/proc/22758/task/22776/stat : 22776 (pb_cplex) R 22757 22757 22465 0 -1 4202560 17543 0 0 0 16075 50 0 0 20 0 8 0 390814544 217231360 30900 33554432000 134512640 146736320 4288905184 4147774440 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22777] ppid=22757 vsize=212140 CPUtime=165.68 cores=0,2,4,6
/proc/22758/task/22777/stat : 22777 (pb_cplex) R 22757 22757 22465 0 -1 4202560 10822 0 0 0 16522 46 0 0 20 0 8 0 390814544 217231360 30900 33554432000 134512640 146736320 4288905184 4117344476 136009700 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22778] ppid=22757 vsize=212140 CPUtime=164.17 cores=0,2,4,6
/proc/22758/task/22778/stat : 22778 (pb_cplex) R 22757 22757 22465 0 -1 4202560 26853 0 0 0 16368 49 0 0 20 0 8 0 390814544 217231360 30900 33554432000 134512640 146736320 4288905184 4053950504 139044550 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22779] ppid=22757 vsize=212140 CPUtime=165.24 cores=0,2,4,6
/proc/22758/task/22779/stat : 22779 (pb_cplex) S 22757 22757 22465 0 -1 4202560 10105 0 0 0 16476 48 0 0 20 0 8 0 390814544 217231360 30900 33554432000 134512640 146736320 4288905184 4043468432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22780] ppid=22757 vsize=212140 CPUtime=168.79 cores=0,2,4,6
/proc/22758/task/22780/stat : 22780 (pb_cplex) R 22757 22757 22465 0 -1 4202560 9706 0 0 0 16831 48 0 0 20 0 8 0 390814544 217231360 30900 33554432000 134512640 146736320 4288905184 4032979992 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1378.44
Current children cumulated vsize (KiB) 221288
[startup+462.3 s]
/proc/loadavg: 11.32 8.89 4.25 6/193 22788
/proc/meminfo: memFree=29952532/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=211528 CPUtime=1591.81 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) S 22757 22757 22465 0 -1 4202496 127111 0 0 0 158720 461 0 0 20 0 8 0 390813368 216604672 30942 33554432000 134512640 146736320 4288905184 4288901584 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22758/statm: 52882 30942 984 2985 0 49816 0
[pid=22758/tid=22774] ppid=22757 vsize=211528 CPUtime=191.87 cores=0,2,4,6
/proc/22758/task/22774/stat : 22774 (pb_cplex) R 22757 22757 22465 0 -1 4202560 8149 0 0 0 19131 56 0 0 20 0 8 0 390814544 216604672 30942 33554432000 134512640 146736320 4288905184 4067418704 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22775] ppid=22757 vsize=211528 CPUtime=205.07 cores=0,2,4,6
/proc/22758/task/22775/stat : 22775 (pb_cplex) R 22757 22757 22465 0 -1 4202560 14851 0 0 0 20444 63 0 0 20 0 8 0 390814544 216604672 30942 33554432000 134512640 146736320 4288905184 4137287748 136385174 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22776] ppid=22757 vsize=211528 CPUtime=188.54 cores=0,2,4,6
/proc/22758/task/22776/stat : 22776 (pb_cplex) R 22757 22757 22465 0 -1 4202560 17556 0 0 0 18797 57 0 0 20 0 8 0 390814544 216604672 30942 33554432000 134512640 146736320 4288905184 4147774440 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22777] ppid=22757 vsize=211528 CPUtime=191.82 cores=0,2,4,6
/proc/22758/task/22777/stat : 22777 (pb_cplex) R 22757 22757 22465 0 -1 4202560 10897 0 0 0 19130 52 0 0 20 0 8 0 390814544 216604672 30942 33554432000 134512640 146736320 4288905184 4117344464 136008170 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22778] ppid=22757 vsize=211528 CPUtime=191.16 cores=0,2,4,6
/proc/22758/task/22778/stat : 22778 (pb_cplex) R 22757 22757 22465 0 -1 4202560 26853 0 0 0 19059 57 0 0 20 0 8 0 390814544 216604672 30942 33554432000 134512640 146736320 4288905184 4053951464 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22779] ppid=22757 vsize=211528 CPUtime=191.72 cores=0,2,4,6
/proc/22758/task/22779/stat : 22779 (pb_cplex) R 22757 22757 22465 0 -1 4202560 10292 0 0 0 19116 56 0 0 20 0 8 0 390814544 216604672 30942 33554432000 134512640 146736320 4288905184 4043465704 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22780] ppid=22757 vsize=211528 CPUtime=195.48 cores=0,2,4,6
/proc/22758/task/22780/stat : 22780 (pb_cplex) R 22757 22757 22465 0 -1 4202560 9770 0 0 0 19492 56 0 0 20 0 8 0 390814544 216604672 30942 33554432000 134512640 146736320 4288905184 4032979016 139042902 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1591.81
Current children cumulated vsize (KiB) 220676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+521.6 s]
/proc/loadavg: 11.79 9.37 4.70 17/193 22789
/proc/meminfo: memFree=29947700/32873648 swapFree=7372/7372
[pid=22757] ppid=22755 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22757/stat : 22757 (run) S 22755 22757 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390813368 9367552 270 33554432000 4194304 5064252 140733383853088 140733383852000 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22757/statm: 2287 270 229 213 0 72 0
[pid=22758] ppid=22757 vsize=216188 CPUtime=1800.05 cores=0,2,4,6
/proc/22758/stat : 22758 (pb_cplex) R 22757 22757 22465 0 -1 4202496 132841 0 0 0 179492 513 0 0 20 0 8 0 390813368 221376512 32070 33554432000 134512640 146736320 4288905184 4288896840 139042974 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22758/statm: 54047 32070 984 2985 0 50981 0
[pid=22758/tid=22774] ppid=22757 vsize=216188 CPUtime=218.27 cores=0,2,4,6
/proc/22758/task/22774/stat : 22774 (pb_cplex) R 22757 22757 22465 0 -1 4202560 8608 0 0 0 21764 63 0 0 20 0 8 0 390814544 221376512 32070 33554432000 134512640 146736320 4288905184 4067418052 135523329 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22775] ppid=22757 vsize=216188 CPUtime=230.79 cores=0,2,4,6
/proc/22758/task/22775/stat : 22775 (pb_cplex) R 22757 22757 22465 0 -1 4202560 15761 0 0 0 23010 69 0 0 20 0 8 0 390814544 221376512 32070 33554432000 134512640 146736320 4288905184 4137288016 139023053 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22758/tid=22776] ppid=22757 vsize=216188 CPUtime=213.98 cores=0,2,4,6
/proc/22758/task/22776/stat : 22776 (pb_cplex) R 22757 22757 22465 0 -1 4202560 17641 0 0 0 21334 64 0 0 20 0 8 0 390814544 221376512 32070 33554432000 134512640 146736320 4288905184 4147773204 135983202 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22758/tid=22777] ppid=22757 vsize=216188 CPUtime=217.67 cores=0,2,4,6
/proc/22758/task/22777/stat : 22777 (pb_cplex) R 22757 22757 22465 0 -1 4202560 11230 0 0 0 21708 59 0 0 20 0 8 0 390814544 221376512 32070 33554432000 134512640 146736320 4288905184 4117343216 136384857 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22758/tid=22778] ppid=22757 vsize=216188 CPUtime=216.94 cores=0,2,4,6
/proc/22758/task/22778/stat : 22778 (pb_cplex) R 22757 22757 22465 0 -1 4202560 27970 0 0 0 21629 65 0 0 20 0 8 0 390814544 221376512 32070 33554432000 134512640 146736320 4288905184 4053949584 136008454 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22779] ppid=22757 vsize=216188 CPUtime=218.56 cores=0,2,4,6
/proc/22758/task/22779/stat : 22779 (pb_cplex) R 22757 22757 22465 0 -1 4202560 11113 0 0 0 21793 63 0 0 20 0 8 0 390814544 221376512 32070 33554432000 134512640 146736320 4288905184 4043464208 136403116 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22758/tid=22780] ppid=22757 vsize=216188 CPUtime=221.07 cores=0,2,4,6
/proc/22758/task/22780/stat : 22780 (pb_cplex) R 22757 22757 22465 0 -1 4202560 10788 0 0 0 22042 65 0 0 20 0 8 0 390814544 221376512 32070 33554432000 134512640 146736320 4288905184 4032978064 136008039 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 225336
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 22757 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 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 521.616
CPU time (s): 1800.05
CPU user time (s): 1794.92
CPU system time (s): 5.13
CPU usage (%): 345.091
Max. virtual memory (cumulated for all children) (KiB): 227904
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= 355
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.51477 second user time and 3.23251 second system time
The end