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-3738255-1339248949/watcher-3738255-1339248949 -o /tmp/evaluation-result-3738255-1339248949/solver-3738255-1339248949 -C 1800 -W 1900 -M 15500 run HOME/instance-3738255-1339248949.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: 12.31 11.43 8.70 9/184 3452
/proc/meminfo: memFree=24994608/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[startup+0.0586881 s]
/proc/loadavg: 12.31 11.43 8.70 9/184 3452
/proc/meminfo: memFree=24994608/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 12.31 11.43 8.70 9/184 3452
/proc/meminfo: memFree=24994608/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300228 s]
/proc/loadavg: 12.31 11.43 8.70 9/184 3452
/proc/meminfo: memFree=24994608/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700176 s]
/proc/loadavg: 12.31 11.43 8.70 9/184 3452
/proc/meminfo: memFree=24994608/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 12.05 11.39 8.71 8/186 3461
/proc/meminfo: memFree=24965636/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=59352 CPUtime=1.49 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 10135 0 0 0 148 1 0 0 20 0 1 0 391020630 60776448 7145 33554432000 134512640 146736320 4293431888 4293425516 135454023 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3453/statm: 14838 7145 789 2985 0 11772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68500
[startup+3.10022 s]
/proc/loadavg: 12.05 11.39 8.71 8/186 3461
/proc/meminfo: memFree=24964148/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=59352 CPUtime=3.09 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 10135 0 0 0 308 1 0 0 20 0 1 0 391020630 60776448 7145 33554432000 134512640 146736320 4293431888 4293426856 136015521 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3453/statm: 14838 7145 789 2985 0 11772 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68500
[startup+6.30022 s]
/proc/loadavg: 12.05 11.39 8.71 9/186 3461
/proc/meminfo: memFree=24961916/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=59352 CPUtime=6.28 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 10135 0 0 0 627 1 0 0 20 0 1 0 391020630 60776448 7145 33554432000 134512640 146736320 4293431888 4293425912 135997749 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3453/statm: 14838 7145 789 2985 0 11772 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 68500
[startup+12.7002 s]
/proc/loadavg: 11.43 11.28 8.70 10/186 3461
/proc/meminfo: memFree=24958728/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=62520 CPUtime=12.69 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 10745 0 0 0 1267 2 0 0 20 0 1 0 391020630 64020480 7755 33554432000 134512640 146736320 4293431888 4293426312 135851926 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3453/statm: 15630 7755 797 2985 0 12564 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71668
[startup+25.5003 s]
/proc/loadavg: 10.35 11.05 8.65 7/185 3461
/proc/meminfo: memFree=24947596/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=78516 CPUtime=25.48 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 15248 0 0 0 2545 3 0 0 20 0 1 0 391020630 80400384 10482 33554432000 134512640 146736320 4293431888 4293426060 136017763 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3453/statm: 19629 10482 866 2985 0 16563 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87664
[startup+51.1003 s]
/proc/loadavg: 9.48 10.79 8.63 9/186 3462
/proc/meminfo: memFree=24946904/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=78532 CPUtime=51.08 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 15274 0 0 0 5105 3 0 0 20 0 1 0 391020630 80416768 10508 33554432000 134512640 146736320 4293431888 4293425896 139044585 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3453/statm: 19633 10508 866 2985 0 16567 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87680
[startup+102.3 s]
/proc/loadavg: 8.38 10.28 8.58 9/186 3462
/proc/meminfo: memFree=24937736/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=78660 CPUtime=102.27 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 53015 0 0 0 10218 9 0 0 20 0 1 0 391020630 80547840 12812 33554432000 134512640 146736320 4293431888 4293426448 136403114 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3453/statm: 19665 12812 912 2985 0 16599 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87808
[startup+162.3 s]
/proc/loadavg: 7.69 9.75 8.51 10/186 3462
/proc/meminfo: memFree=24932776/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=79912 CPUtime=162.25 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 88842 0 0 0 16210 15 0 0 20 0 1 0 391020630 81829888 13547 33554432000 134512640 146736320 4293431888 4293425896 139044564 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3453/statm: 19978 13547 923 2985 0 16912 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 89060
[startup+222.306 s]
/proc/loadavg: 4.92 8.67 8.21 3/179 3610
/proc/meminfo: memFree=25000232/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=80448 CPUtime=222.25 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 114374 0 0 0 22206 19 0 0 20 0 1 0 391020630 82378752 13703 33554432000 134512640 146736320 4293431888 4293426312 135999560 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3453/statm: 20112 13703 923 2985 0 17046 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 89596
[startup+282.3 s]
/proc/loadavg: 3.10 7.46 7.83 3/180 3613
/proc/meminfo: memFree=24992144/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=80388 CPUtime=282.23 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 123008 0 0 0 28202 21 0 0 20 0 1 0 391020630 82317312 14301 33554432000 134512640 146736320 4293431888 4293426060 136017763 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3453/statm: 20097 14301 923 2985 0 17031 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 89536
[startup+342.3 s]
/proc/loadavg: 2.40 6.47 7.46 3/179 3614
/proc/meminfo: memFree=24989660/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=80508 CPUtime=342.22 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 123036 0 0 0 34201 21 0 0 20 0 1 0 391020630 82440192 14329 33554432000 134512640 146736320 4293431888 4293426060 136017763 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3453/statm: 20127 14329 923 2985 0 17061 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 89656
[startup+402.3 s]
/proc/loadavg: 2.15 5.65 7.11 3/179 3614
/proc/meminfo: memFree=24993064/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=3453/tid=3707] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3707/stat : 3707 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4065111696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3708] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3708/stat : 3708 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4054625936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3709] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3709/stat : 3709 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4044140176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3710] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3710/stat : 3710 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4033654416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3711] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3711/stat : 3711 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4023168656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 243980
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.27 3.94 3/186 3711
/proc/meminfo: memFree=24050208/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=234832 CPUtime=1791.69 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 535590 0 0 0 179067 102 0 0 20 0 8 0 391020630 240467968 28046 33554432000 134512640 146736320 4293431888 4293424664 136007289 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3453/statm: 58708 28046 954 2985 0 55642 0
[pid=3453/tid=3705] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3705/stat : 3705 (pb_cplex) S 3452 3452 2263 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4086083216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3706] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3706/stat : 3706 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4075597456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3707] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3707/stat : 3707 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4065111696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3708] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3708/stat : 3708 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4054625936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3709] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3709/stat : 3709 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4044140176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3710] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3710/stat : 3710 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4033654416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3711] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3711/stat : 3711 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4023168656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (KiB) 243980
[startup+1795.2 s]
/proc/loadavg: 2.00 2.27 3.94 3/186 3711
/proc/meminfo: memFree=24050332/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=234832 CPUtime=1794.9 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 537661 0 0 0 179387 103 0 0 20 0 8 0 391020630 240467968 28046 33554432000 134512640 146736320 4293431888 4293424664 136007053 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3453/statm: 58708 28046 954 2985 0 55642 0
[pid=3453/tid=3705] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3705/stat : 3705 (pb_cplex) S 3452 3452 2263 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4086083216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3706] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3706/stat : 3706 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4075597456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3707] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3707/stat : 3707 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4065111696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3708] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3708/stat : 3708 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4054625936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3709] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3709/stat : 3709 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4044140176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3710] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3710/stat : 3710 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4033654416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3711] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3711/stat : 3711 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4023168656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 243980
[startup+1796.8 s]
/proc/loadavg: 2.00 2.27 3.93 3/186 3711
/proc/meminfo: memFree=24050456/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=234832 CPUtime=1796.49 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 538936 0 0 0 179546 103 0 0 20 0 8 0 391020630 240467968 28046 33554432000 134512640 146736320 4293431888 4293424404 136017858 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3453/statm: 58708 28046 954 2985 0 55642 0
[pid=3453/tid=3705] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3705/stat : 3705 (pb_cplex) S 3452 3452 2263 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4086083216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3706] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3706/stat : 3706 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4075597456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3707] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3707/stat : 3707 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4065111696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3708] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3708/stat : 3708 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4054625936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3709] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3709/stat : 3709 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4044140176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3710] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3710/stat : 3710 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4033654416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3711] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3711/stat : 3711 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4023168656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 243980
[startup+1798.4 s]
/proc/loadavg: 2.00 2.27 3.93 3/186 3711
/proc/meminfo: memFree=24050456/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=234832 CPUtime=1798.09 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 540460 0 0 0 179706 103 0 0 20 0 8 0 391020630 240467968 28046 33554432000 134512640 146736320 4293431888 4293424720 136008165 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3453/statm: 58708 28046 954 2985 0 55642 0
[pid=3453/tid=3705] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3705/stat : 3705 (pb_cplex) S 3452 3452 2263 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4086083216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3706] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3706/stat : 3706 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4075597456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3707] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3707/stat : 3707 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4065111696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3708] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3708/stat : 3708 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4054625936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3709] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3709/stat : 3709 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4044140176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3710] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3710/stat : 3710 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4033654416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3711] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3711/stat : 3711 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4023168656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.09
Current children cumulated vsize (KiB) 243980
[startup+1798.8 s]
/proc/loadavg: 2.00 2.27 3.93 3/186 3711
/proc/meminfo: memFree=24050580/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=234832 CPUtime=1798.49 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 540896 0 0 0 179746 103 0 0 20 0 8 0 391020630 240467968 28046 33554432000 134512640 146736320 4293431888 4293424584 139042904 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3453/statm: 58708 28046 954 2985 0 55642 0
[pid=3453/tid=3705] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3705/stat : 3705 (pb_cplex) S 3452 3452 2263 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4086083216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3706] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3706/stat : 3706 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4075597456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3707] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3707/stat : 3707 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4065111696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3708] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3708/stat : 3708 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4054625936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3709] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3709/stat : 3709 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4044140176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3710] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3710/stat : 3710 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4033654416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3711] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3711/stat : 3711 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4023168656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 243980
[startup+1799 s]
/proc/loadavg: 2.00 2.27 3.93 3/186 3711
/proc/meminfo: memFree=24050580/32873660 swapFree=7120/7120
[pid=3452] ppid=3450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3452/stat : 3452 (run) S 3450 3452 2263 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391020629 9367552 269 33554432000 4194304 5064252 140737408461552 140737408460464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3452/statm: 2287 269 229 213 0 72 0
[pid=3453] ppid=3452 vsize=234832 CPUtime=1798.69 cores=0,2,4,6
/proc/3453/stat : 3453 (pb_cplex) R 3452 3452 2263 0 -1 4202496 541114 0 0 0 179766 103 0 0 20 0 8 0 391020630 240467968 28046 33554432000 134512640 146736320 4293431888 4293424672 136006270 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3453/statm: 58708 28046 954 2985 0 55642 0
[pid=3453/tid=3705] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3705/stat : 3705 (pb_cplex) S 3452 3452 2263 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4086083216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3706] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3706/stat : 3706 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4075597456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3707] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3707/stat : 3707 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4065111696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3708] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3708/stat : 3708 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4054625936 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3709] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3709/stat : 3709 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4044140176 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3453/tid=3710] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3710/stat : 3710 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4033654416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3453/tid=3711] ppid=3452 vsize=234832 CPUtime=0 cores=0,2,4,6
/proc/3453/task/3711/stat : 3711 (pb_cplex) S 3452 3452 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178618 240467968 28046 33554432000 134512640 146736320 4293431888 4023168656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 243980
Child status: 0
Real time (s): 1799.09
CPU time (s): 1798.79
CPU user time (s): 1797.74
CPU system time (s): 1.04384
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 246652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.74
system time used= 1.04384
maximum resident set size= 113816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541718
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= 214
involuntary context switches= 2230
runsolver used 3.14652 second user time and 7.8638 second system time
The end