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-3733314-1339247477/watcher-3733314-1339247477 -o /tmp/evaluation-result-3733314-1339247477/solver-3733314-1339247477 -C 1800 -W 1900 -M 15500 run HOME/instance-3733314-1339247477.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.19 10.04 5.27 10/184 6545
/proc/meminfo: memFree=24687660/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[startup+0.0691179 s]
/proc/loadavg: 12.19 10.04 5.27 10/184 6545
/proc/meminfo: memFree=24687660/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 12.19 10.04 5.27 10/184 6545
/proc/meminfo: memFree=24687660/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30021 s]
/proc/loadavg: 12.19 10.04 5.27 10/184 6545
/proc/meminfo: memFree=24687660/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 12.19 10.04 5.27 10/184 6545
/proc/meminfo: memFree=24687660/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 11.45 9.92 5.26 3/186 6547
/proc/meminfo: memFree=24668308/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=39668 CPUtime=1.49 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 7119 0 0 0 148 1 0 0 20 0 1 0 390872060 40620032 5740 33554432000 134512640 146736320 4291021152 4291015700 135855167 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6546/statm: 9917 5740 790 2985 0 6851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48816
[startup+3.10022 s]
/proc/loadavg: 11.45 9.92 5.26 10/186 6547
/proc/meminfo: memFree=24667068/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=39876 CPUtime=3.09 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 7266 0 0 0 308 1 0 0 20 0 1 0 390872060 40833024 5778 33554432000 134512640 146736320 4291021152 4291014360 135466532 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6546/statm: 9969 5778 793 2985 0 6903 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49024
[startup+6.30022 s]
/proc/loadavg: 11.45 9.92 5.26 10/186 6547
/proc/meminfo: memFree=24656900/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=54732 CPUtime=6.28 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 10899 0 0 0 627 1 0 0 20 0 1 0 390872060 56045568 8320 33554432000 134512640 146736320 4291021152 4291016976 137699970 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6546/statm: 13683 8320 881 2985 0 10617 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63880
[startup+12.7002 s]
/proc/loadavg: 10.56 9.77 5.26 10/186 6547
/proc/meminfo: memFree=24656232/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=51700 CPUtime=12.69 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 16001 0 0 0 1266 3 0 0 20 0 1 0 390872060 52940800 8469 33554432000 134512640 146736320 4291021152 4291015208 139044564 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6546/statm: 12925 8469 911 2985 0 9859 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60848
[startup+25.5003 s]
/proc/loadavg: 9.76 9.63 5.26 10/186 6547
/proc/meminfo: memFree=24656228/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=51692 CPUtime=25.48 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 20802 0 0 0 2544 4 0 0 20 0 1 0 390872060 52932608 8478 33554432000 134512640 146736320 4291021152 4291015372 136017777 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6546/statm: 12923 8478 914 2985 0 9857 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60840
[startup+51.1002 s]
/proc/loadavg: 8.81 9.42 5.31 10/186 6618
/proc/meminfo: memFree=24626908/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=51644 CPUtime=51.07 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 30744 0 0 0 5101 6 0 0 20 0 1 0 390872060 52883456 8817 33554432000 134512640 146736320 4291021152 4291014840 136475785 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6546/statm: 12911 8817 914 2985 0 9845 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60792
[startup+102.307 s]
/proc/loadavg: 6.91 8.78 5.33 9/193 6625
/proc/meminfo: memFree=24580772/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=180560 CPUtime=102.26 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 43142 0 0 0 10218 8 0 0 20 0 8 0 390872060 184893440 18199 33554432000 134512640 146736320 4291021152 4291014032 136008065 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6546/statm: 45140 18199 945 2985 0 42074 0
[pid=6546/tid=6619] ppid=6545 vsize=180560 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6619/stat : 6619 (pb_cplex) S 6545 6545 6062 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390878831 184893440 18199 33554432000 134512640 146736320 4291021152 4107005584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6620] ppid=6545 vsize=180560 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6620/stat : 6620 (pb_cplex) S 6545 6545 6062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390878831 184893440 18199 33554432000 134512640 146736320 4291021152 4096519824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6621] ppid=6545 vsize=180560 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6621/stat : 6621 (pb_cplex) S 6545 6545 6062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390878831 184893440 18199 33554432000 134512640 146736320 4291021152 4086034064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6546/tid=6622] ppid=6545 vsize=180560 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6622/stat : 6622 (pb_cplex) S 6545 6545 6062 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390878831 184893440 18199 33554432000 134512640 146736320 4291021152 4075548304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6623] ppid=6545 vsize=180560 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6623/stat : 6623 (pb_cplex) S 6545 6545 6062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390878831 184893440 18199 33554432000 134512640 146736320 4291021152 4065062544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6624] ppid=6545 vsize=180560 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6624/stat : 6624 (pb_cplex) S 6545 6545 6062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390878831 184893440 18199 33554432000 134512640 146736320 4291021152 4054576784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6625] ppid=6545 vsize=180560 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6625/stat : 6625 (pb_cplex) S 6545 6545 6062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390878831 184893440 18199 33554432000 134512640 146736320 4291021152 4044091024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 189708
[startup+162.3 s]
/proc/loadavg: 8.57 8.92 5.59 10/193 6625
/proc/meminfo: memFree=24522768/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=240524 CPUtime=324.49 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) S 6545 6545 6062 0 -1 4202496 61744 0 0 0 32431 18 0 0 20 0 8 0 390872060 246296576 31999 33554432000 134512640 146736320 4291021152 4291017552 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6546/statm: 60131 31999 969 2985 0 57065 0
[pid=6546/tid=6619] ppid=6545 vsize=240524 CPUtime=37.36 cores=0,2,4,6
/proc/6546/task/6619/stat : 6619 (pb_cplex) S 6545 6545 6062 0 -1 4202560 3069 0 0 0 3734 2 0 0 20 0 8 0 390878831 246296576 31999 33554432000 134512640 146736320 4291021152 4107005584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6620] ppid=6545 vsize=240524 CPUtime=26.24 cores=0,2,4,6
/proc/6546/task/6620/stat : 6620 (pb_cplex) S 6545 6545 6062 0 -1 4202560 2758 0 0 0 2622 2 0 0 20 0 8 0 390878831 246296576 31999 33554432000 134512640 146736320 4291021152 4096519824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6621] ppid=6545 vsize=240524 CPUtime=40.24 cores=0,2,4,6
/proc/6546/task/6621/stat : 6621 (pb_cplex) S 6545 6545 6062 0 -1 4202560 2298 0 0 0 4023 1 0 0 20 0 8 0 390878831 246296576 31999 33554432000 134512640 146736320 4291021152 4086034064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6622] ppid=6545 vsize=240524 CPUtime=39.93 cores=0,2,4,6
/proc/6546/task/6622/stat : 6622 (pb_cplex) R 6545 6545 6062 0 -1 4202560 1737 0 0 0 3993 0 0 0 20 0 8 0 390878831 246296576 31999 33554432000 134512640 146736320 4291021152 4075544728 136007059 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6623] ppid=6545 vsize=240524 CPUtime=40.95 cores=0,2,4,6
/proc/6546/task/6623/stat : 6623 (pb_cplex) R 6545 6545 6062 0 -1 4202560 2903 0 0 0 4094 1 0 0 20 0 8 0 390878831 246296576 31999 33554432000 134512640 146736320 4291021152 4065058968 136007080 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6624] ppid=6545 vsize=240524 CPUtime=9.94 cores=0,2,4,6
/proc/6546/task/6624/stat : 6624 (pb_cplex) S 6545 6545 6062 0 -1 4202560 2487 0 0 0 993 1 0 0 20 0 8 0 390878831 246296576 31999 33554432000 134512640 146736320 4291021152 4054576784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6625] ppid=6545 vsize=240524 CPUtime=9.64 cores=0,2,4,6
/proc/6546/task/6625/stat : 6625 (pb_cplex) S 6545 6545 6062 0 -1 4202560 2231 0 0 0 962 2 0 0 20 0 8 0 390878831 246296576 31999 33554432000 134512640 146736320 4291021152 4044091024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 249672
[startup+222.3 s]
/proc/loadavg: 10.50 9.43 5.97 17/193 6625
/proc/meminfo: memFree=24509536/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=241644 CPUtime=535.81 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 72839 0 0 0 53556 25 0 0 20 0 8 0 390872060 247443456 35268 33554432000 134512640 146736320 4291021152 4291014032 136008061 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6546/statm: 60411 35268 969 2985 0 57345 0
[pid=6546/tid=6619] ppid=6545 vsize=241644 CPUtime=62.05 cores=0,2,4,6
/proc/6546/task/6619/stat : 6619 (pb_cplex) R 6545 6545 6062 0 -1 4202560 10064 0 0 0 6203 2 0 0 20 0 8 0 390878831 247443456 35268 33554432000 134512640 146736320 4291021152 4107002312 136000488 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6620] ppid=6545 vsize=241644 CPUtime=51.36 cores=0,2,4,6
################
# More data... #
################
[pid=6546/tid=6652] ppid=6545 vsize=266148 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6652/stat : 6652 (pb_cplex) S 6545 6545 6062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390912077 272535552 38886 33554432000 134512640 146736320 4291021152 3980148368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6546/tid=6653] ppid=6545 vsize=266148 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6653/stat : 6653 (pb_cplex) S 6545 6545 6062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390912077 272535552 38886 33554432000 134512640 146736320 4291021152 3969662608 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6654] ppid=6545 vsize=266148 CPUtime=0 cores=0,2,4,6
/proc/6546/task/6654/stat : 6654 (pb_cplex) S 6545 6545 6062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390912077 272535552 38886 33554432000 134512640 146736320 4291021152 3959176848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 982.07
Current children cumulated vsize (KiB) 275296
[startup+462.3 s]
/proc/loadavg: 8.56 9.27 6.75 10/193 6654
/proc/meminfo: memFree=24440152/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=325980 CPUtime=1120.48 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 248178 0 0 0 111942 106 0 0 20 0 8 0 390872060 333803520 53518 33554432000 134512640 146736320 4291021152 4291012888 136007626 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/6546/statm: 81495 53518 977 2985 0 78429 0
[pid=6546/tid=6648] ppid=6545 vsize=325980 CPUtime=13.07 cores=0,2,4,6
/proc/6546/task/6648/stat : 6648 (pb_cplex) R 6545 6545 6062 0 -1 4202560 6626 0 0 0 1306 1 0 0 20 0 8 0 390912077 333803520 53518 33554432000 134512640 146736320 4291021152 4119261224 139044581 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6649] ppid=6545 vsize=325980 CPUtime=13.09 cores=0,2,4,6
/proc/6546/task/6649/stat : 6649 (pb_cplex) R 6545 6545 6062 0 -1 4202560 615 0 0 0 1308 1 0 0 20 0 8 0 390912077 333803520 53518 33554432000 134512640 146736320 4291021152 4129747152 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6650] ppid=6545 vsize=325980 CPUtime=12.78 cores=0,2,4,6
/proc/6546/task/6650/stat : 6650 (pb_cplex) R 6545 6545 6062 0 -1 4202560 6468 0 0 0 1277 1 0 0 20 0 8 0 390912077 333803520 53518 33554432000 134512640 146736320 4291021152 4140232796 135854459 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6546/tid=6651] ppid=6545 vsize=325980 CPUtime=12.91 cores=0,2,4,6
/proc/6546/task/6651/stat : 6651 (pb_cplex) R 6545 6545 6062 0 -1 4202560 1225 0 0 0 1291 0 0 0 20 0 8 0 390912077 333803520 53518 33554432000 134512640 146736320 4291021152 4075540112 136403116 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6652] ppid=6545 vsize=325980 CPUtime=13.02 cores=0,2,4,6
/proc/6546/task/6652/stat : 6652 (pb_cplex) R 6545 6545 6062 0 -1 4202560 6048 0 0 0 1300 2 0 0 20 0 8 0 390912077 333803520 53518 33554432000 134512640 146736320 4291021152 3980142096 136403117 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6546/tid=6653] ppid=6545 vsize=325980 CPUtime=13.09 cores=0,2,4,6
/proc/6546/task/6653/stat : 6653 (pb_cplex) R 6545 6545 6062 0 -1 4202560 3050 0 0 0 1308 1 0 0 20 0 8 0 390912077 333803520 53518 33554432000 134512640 146736320 4291021152 3969659272 136388078 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6654] ppid=6545 vsize=325980 CPUtime=13.1 cores=0,2,4,6
/proc/6546/task/6654/stat : 6654 (pb_cplex) R 6545 6545 6062 0 -1 4202560 10033 0 0 0 1308 2 0 0 20 0 8 0 390912077 333803520 53518 33554432000 134512640 146736320 4291021152 3959172624 136403116 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1120.48
Current children cumulated vsize (KiB) 335128
[startup+522.3 s]
/proc/loadavg: 8.78 9.22 6.89 10/186 6703
/proc/meminfo: memFree=23927392/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=315536 CPUtime=1349.01 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 298325 0 0 0 134777 124 0 0 20 0 8 0 390872060 323108864 52107 33554432000 134512640 146736320 4291021152 4291013716 136017777 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6546/statm: 78884 52107 977 2985 0 75818 0
[pid=6546/tid=6648] ppid=6545 vsize=315536 CPUtime=43.85 cores=0,2,4,6
/proc/6546/task/6648/stat : 6648 (pb_cplex) R 6545 6545 6062 0 -1 4202560 17782 0 0 0 4381 4 0 0 20 0 8 0 390912077 323108864 52107 33554432000 134512640 146736320 4291021152 4119261076 136017784 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6649] ppid=6545 vsize=315536 CPUtime=48.53 cores=0,2,4,6
/proc/6546/task/6649/stat : 6649 (pb_cplex) R 6545 6545 6062 0 -1 4202560 6650 0 0 0 4850 3 0 0 20 0 8 0 390912077 323108864 52107 33554432000 134512640 146736320 4291021152 4129747400 135999693 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6650] ppid=6545 vsize=315536 CPUtime=36.29 cores=0,2,4,6
/proc/6546/task/6650/stat : 6650 (pb_cplex) R 6545 6545 6062 0 -1 4202560 11196 0 0 0 3626 3 0 0 20 0 8 0 390912077 323108864 52107 33554432000 134512640 146736320 4291021152 4140232856 136007605 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6651] ppid=6545 vsize=315536 CPUtime=43.49 cores=0,2,4,6
/proc/6546/task/6651/stat : 6651 (pb_cplex) R 6545 6545 6062 0 -1 4202560 1609 0 0 0 4346 3 0 0 20 0 8 0 390912077 323108864 52107 33554432000 134512640 146736320 4291021152 4075544784 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6546/tid=6652] ppid=6545 vsize=315536 CPUtime=45.44 cores=0,2,4,6
/proc/6546/task/6652/stat : 6652 (pb_cplex) R 6545 6545 6062 0 -1 4202560 15555 0 0 0 4539 5 0 0 20 0 8 0 390912077 323108864 52107 33554432000 134512640 146736320 4291021152 3980144712 139042881 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6653] ppid=6545 vsize=315536 CPUtime=37.26 cores=0,2,4,6
/proc/6546/task/6653/stat : 6653 (pb_cplex) R 6545 6545 6062 0 -1 4202560 12109 0 0 0 3723 3 0 0 20 0 8 0 390912077 323108864 52107 33554432000 134512640 146736320 4291021152 3969659032 136007588 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6546/tid=6654] ppid=6545 vsize=315536 CPUtime=33.13 cores=0,2,4,6
/proc/6546/task/6654/stat : 6654 (pb_cplex) R 6545 6545 6062 0 -1 4202560 12388 0 0 0 3309 4 0 0 20 0 8 0 390912077 323108864 52107 33554432000 134512640 146736320 4291021152 3959173272 136007053 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1349.01
Current children cumulated vsize (KiB) 324684
[startup+582.3 s]
/proc/loadavg: 7.65 8.86 6.92 10/186 6706
/proc/meminfo: memFree=23920972/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=327760 CPUtime=1552.17 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 331517 0 0 0 155078 139 0 0 20 0 8 0 390872060 335626240 54079 33554432000 134512640 146736320 4291021152 4291013916 135854505 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6546/statm: 81940 54079 977 2985 0 78874 0
[pid=6546/tid=6648] ppid=6545 vsize=327760 CPUtime=65.66 cores=0,2,4,6
/proc/6546/task/6648/stat : 6648 (pb_cplex) R 6545 6545 6062 0 -1 4202560 19950 0 0 0 6561 5 0 0 20 0 8 0 390912077 335626240 54079 33554432000 134512640 146736320 4291021152 4119260248 136007284 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6649] ppid=6545 vsize=327760 CPUtime=70.22 cores=0,2,4,6
/proc/6546/task/6649/stat : 6649 (pb_cplex) R 6545 6545 6062 0 -1 4202560 8351 0 0 0 7017 5 0 0 20 0 8 0 390912077 335626240 54079 33554432000 134512640 146736320 4291021152 4129746836 136017757 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6650] ppid=6545 vsize=327760 CPUtime=59.37 cores=0,2,4,6
/proc/6546/task/6650/stat : 6650 (pb_cplex) R 6545 6545 6062 0 -1 4202560 15823 0 0 0 5933 4 0 0 20 0 8 0 390912077 335626240 54079 33554432000 134512640 146736320 4291021152 4140232256 139046528 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6651] ppid=6545 vsize=327760 CPUtime=68.13 cores=0,2,4,6
/proc/6546/task/6651/stat : 6651 (pb_cplex) R 6545 6545 6062 0 -1 4202560 1609 0 0 0 6809 4 0 0 20 0 8 0 390912077 335626240 54079 33554432000 134512640 146736320 4291021152 4075545168 136403112 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6652] ppid=6545 vsize=327760 CPUtime=83.59 cores=0,2,4,6
/proc/6546/task/6652/stat : 6652 (pb_cplex) R 6545 6545 6062 0 -1 4202560 23239 0 0 0 8350 9 0 0 20 0 8 0 390912077 335626240 54079 33554432000 134512640 146736320 4291021152 3980143704 136007053 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6653] ppid=6545 vsize=327760 CPUtime=69.56 cores=0,2,4,6
/proc/6546/task/6653/stat : 6653 (pb_cplex) R 6545 6545 6062 0 -1 4202560 22348 0 0 0 6949 7 0 0 20 0 8 0 390912077 335626240 54079 33554432000 134512640 146736320 4291021152 3969658440 135982689 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6546/tid=6654] ppid=6545 vsize=327760 CPUtime=53.16 cores=0,2,4,6
/proc/6546/task/6654/stat : 6654 (pb_cplex) R 6545 6545 6062 0 -1 4202560 19116 0 0 0 5310 6 0 0 20 0 8 0 390912077 335626240 54079 33554432000 134512640 146736320 4291021152 3959173712 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1552.17
Current children cumulated vsize (KiB) 336908
[startup+642.3 s]
/proc/loadavg: 7.64 8.63 6.96 4/186 6707
/proc/meminfo: memFree=23924720/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=316616 CPUtime=1762.67 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) S 6545 6545 6062 0 -1 4202496 376863 0 0 0 176113 154 0 0 20 0 8 0 390872060 324214784 52361 33554432000 134512640 146736320 4291021152 4291017552 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/6546/statm: 79154 52361 977 2985 0 76088 0
[pid=6546/tid=6648] ppid=6545 vsize=316616 CPUtime=87.89 cores=0,2,4,6
/proc/6546/task/6648/stat : 6648 (pb_cplex) S 6545 6545 6062 0 -1 4202560 26387 0 0 0 8781 8 0 0 20 0 8 0 390912077 324214784 52361 33554432000 134512640 146736320 4291021152 4119264912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6649] ppid=6545 vsize=316616 CPUtime=95.76 cores=0,2,4,6
/proc/6546/task/6649/stat : 6649 (pb_cplex) R 6545 6545 6062 0 -1 4202560 12834 0 0 0 9569 7 0 0 20 0 8 0 390912077 324214784 52361 33554432000 134512640 146736320 4291021152 4129747096 136007053 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6650] ppid=6545 vsize=316616 CPUtime=82.1 cores=0,2,4,6
/proc/6546/task/6650/stat : 6650 (pb_cplex) S 6545 6545 6062 0 -1 4202560 21049 0 0 0 8203 7 0 0 20 0 8 0 390912077 324214784 52361 33554432000 134512640 146736320 4291021152 4140236432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6546/tid=6651] ppid=6545 vsize=316616 CPUtime=104.57 cores=0,2,4,6
/proc/6546/task/6651/stat : 6651 (pb_cplex) R 6545 6545 6062 0 -1 4202560 2727 0 0 0 10453 4 0 0 20 0 8 0 390912077 324214784 52361 33554432000 134512640 146736320 4291021152 4075544968 136388078 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6652] ppid=6545 vsize=316616 CPUtime=111.49 cores=0,2,4,6
/proc/6546/task/6652/stat : 6652 (pb_cplex) S 6545 6545 6062 0 -1 4202560 32660 0 0 0 11137 12 0 0 20 0 8 0 390912077 324214784 52361 33554432000 134512640 146736320 4291021152 3980148368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6653] ppid=6545 vsize=316616 CPUtime=96.14 cores=0,2,4,6
/proc/6546/task/6653/stat : 6653 (pb_cplex) S 6545 6545 6062 0 -1 4202560 28886 0 0 0 9604 10 0 0 20 0 8 0 390912077 324214784 52361 33554432000 134512640 146736320 4291021152 3969662608 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6654] ppid=6545 vsize=316616 CPUtime=76.74 cores=0,2,4,6
/proc/6546/task/6654/stat : 6654 (pb_cplex) S 6545 6545 6062 0 -1 4202560 28307 0 0 0 7664 10 0 0 20 0 8 0 390912077 324214784 52361 33554432000 134512640 146736320 4291021152 3959176848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1762.67
Current children cumulated vsize (KiB) 325764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+651.8 s]
/proc/loadavg: 7.93 8.66 6.98 10/186 6707
/proc/meminfo: memFree=23923216/32873844 swapFree=7628/7628
[pid=6545] ppid=6543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6545/stat : 6545 (run) S 6543 6545 6062 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390872060 9367552 270 33554432000 4194304 5064252 140736060174000 140736060172912 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6545/statm: 2287 270 229 213 0 72 0
[pid=6546] ppid=6545 vsize=318664 CPUtime=1799.49 cores=0,2,4,6
/proc/6546/stat : 6546 (pb_cplex) R 6545 6545 6062 0 -1 4202496 391492 0 0 0 179790 159 0 0 20 0 8 0 390872060 326311936 52773 33554432000 134512640 146736320 4291021152 4291014404 136382505 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/6546/statm: 79666 52773 977 2985 0 76600 0
[pid=6546/tid=6648] ppid=6545 vsize=318664 CPUtime=92.39 cores=0,2,4,6
/proc/6546/task/6648/stat : 6648 (pb_cplex) R 6545 6545 6062 0 -1 4202560 30648 0 0 0 9230 9 0 0 20 0 8 0 390912077 326311936 52773 33554432000 134512640 146736320 4291021152 4119262184 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6546/tid=6649] ppid=6545 vsize=318664 CPUtime=100.49 cores=0,2,4,6
/proc/6546/task/6649/stat : 6649 (pb_cplex) R 6545 6545 6062 0 -1 4202560 12834 0 0 0 10042 7 0 0 20 0 8 0 390912077 326311936 52773 33554432000 134512640 146736320 4291021152 4129747152 136008455 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6650] ppid=6545 vsize=318664 CPUtime=86.6 cores=0,2,4,6
/proc/6546/task/6650/stat : 6650 (pb_cplex) R 6545 6545 6062 0 -1 4202560 23152 0 0 0 8653 7 0 0 20 0 8 0 390912077 326311936 52773 33554432000 134512640 146736320 4291021152 4140233704 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6651] ppid=6545 vsize=318664 CPUtime=109.58 cores=0,2,4,6
/proc/6546/task/6651/stat : 6651 (pb_cplex) R 6545 6545 6062 0 -1 4202560 2727 0 0 0 10954 4 0 0 20 0 8 0 390912077 326311936 52773 33554432000 134512640 146736320 4291021152 4075544728 136007277 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=6546/tid=6652] ppid=6545 vsize=318664 CPUtime=115.99 cores=0,2,4,6
/proc/6546/task/6652/stat : 6652 (pb_cplex) R 6545 6545 6062 0 -1 4202560 37448 0 0 0 11586 13 0 0 20 0 8 0 390912077 326311936 52773 33554432000 134512640 146736320 4291021152 3980144792 136007605 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6546/tid=6653] ppid=6545 vsize=318664 CPUtime=100.41 cores=0,2,4,6
/proc/6546/task/6653/stat : 6653 (pb_cplex) R 6545 6545 6062 0 -1 4202560 30092 0 0 0 10031 10 0 0 20 0 8 0 390912077 326311936 52773 33554432000 134512640 146736320 4291021152 3969658972 135854543 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=6546/tid=6654] ppid=6545 vsize=318664 CPUtime=81.24 cores=0,2,4,6
/proc/6546/task/6654/stat : 6654 (pb_cplex) R 6545 6545 6062 0 -1 4202560 30007 0 0 0 8114 10 0 0 20 0 8 0 390912077 326311936 52773 33554432000 134512640 146736320 4291021152 3959173712 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 327812
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 6545 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1799.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.730042
# lost CPU user time (s): 0.840027
# lost CPU system time (s): -0.11
Real time (s): 651.816
CPU time (s): 1800.22
CPU user time (s): 1798.74
CPU system time (s): 1.48
CPU usage (%): 276.185
Max. virtual memory (cumulated for all children) (KiB): 348612
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.51177 second user time and 4.23436 second system time
The end