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-3736787-1339248354/watcher-3736787-1339248354 -o /tmp/evaluation-result-3736787-1339248354/solver-3736787-1339248354 -C 1800 -W 1900 -M 15500 run HOME/instance-3736787-1339248354.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.95 2.72 3/184 27456
/proc/meminfo: memFree=31817552/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[startup+0.0430049 s]
/proc/loadavg: 0.00 0.95 2.72 3/184 27456
/proc/meminfo: memFree=31817552/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 0.00 0.95 2.72 3/184 27456
/proc/meminfo: memFree=31817552/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300189 s]
/proc/loadavg: 0.00 0.95 2.72 3/184 27456
/proc/meminfo: memFree=31817552/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700219 s]
/proc/loadavg: 0.00 0.95 2.72 3/184 27456
/proc/meminfo: memFree=31817552/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 0.00 0.95 2.72 5/186 27458
/proc/meminfo: memFree=31764292/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=158560 CPUtime=1.49 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 31219 0 0 0 140 9 0 0 20 0 1 0 390962491 162365440 19307 33554432000 134512640 146736320 4290703696 4290700800 137421418 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27457/statm: 39640 19307 712 2985 0 36574 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167708
[startup+3.10022 s]
/proc/loadavg: 0.08 0.95 2.71 5/186 27458
/proc/meminfo: memFree=31689120/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=227532 CPUtime=3.09 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 43514 0 0 0 297 12 0 0 20 0 1 0 390962491 232992768 32752 33554432000 134512640 146736320 4290703696 4290699376 135982855 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27457/statm: 56883 32752 802 2985 0 53817 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 236680
[startup+6.30022 s]
/proc/loadavg: 0.08 0.95 2.71 3/186 27458
/proc/meminfo: memFree=31689260/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=227964 CPUtime=6.29 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 44037 0 0 0 617 12 0 0 20 0 1 0 390962491 233435136 32975 33554432000 134512640 146736320 4290703696 4290699428 139028288 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27457/statm: 56991 32975 802 2985 0 53925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 237112
[startup+12.7002 s]
/proc/loadavg: 0.30 0.97 2.70 3/186 27458
/proc/meminfo: memFree=31687572/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=227964 CPUtime=12.69 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 46287 0 0 0 1257 12 0 0 20 0 1 0 390962491 233435136 32975 33554432000 134512640 146736320 4290703696 4290699376 135983025 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27457/statm: 56991 32975 802 2985 0 53925 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 237112
[startup+25.5007 s]
/proc/loadavg: 1.05 1.10 2.72 10/186 27603
/proc/meminfo: memFree=31076488/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=1086576 CPUtime=37.34 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 371638 0 0 0 3614 120 0 0 20 0 8 0 390962491 1112653824 185008 33554432000 134512640 146736320 4290703696 4290695472 144797937 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27457/statm: 271644 185008 930 2985 0 268578 0
[pid=27457/tid=27544] ppid=27456 vsize=1086576 CPUtime=1.52 cores=1,3,5,7
/proc/27457/task/27544/stat : 27544 (pb_cplex) R 27456 27456 27040 0 -1 4202560 19707 0 0 0 143 9 0 0 20 0 8 0 390964497 1112653824 185008 33554432000 134512640 146736320 4290703696 3815389508 136853039 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27457/tid=27545] ppid=27456 vsize=1086576 CPUtime=2.33 cores=1,3,5,7
/proc/27457/task/27545/stat : 27545 (pb_cplex) R 27456 27456 27040 0 -1 4202560 24681 0 0 0 222 11 0 0 20 0 8 0 390964497 1112653824 185008 33554432000 134512640 146736320 4290703696 3804903304 144717381 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27457/tid=27546] ppid=27456 vsize=1086576 CPUtime=2.38 cores=1,3,5,7
/proc/27457/task/27546/stat : 27546 (pb_cplex) R 27456 27456 27040 0 -1 4202560 22815 0 0 0 228 10 0 0 20 0 8 0 390964497 1112653824 185008 33554432000 134512640 146736320 4290703696 3794417632 139023039 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27457/tid=27547] ppid=27456 vsize=1086576 CPUtime=1.64 cores=1,3,5,7
/proc/27457/task/27547/stat : 27547 (pb_cplex) R 27456 27456 27040 0 -1 4202560 23310 0 0 0 154 10 0 0 20 0 8 0 390964497 1112653824 185008 33554432000 134512640 146736320 4290703696 3783931764 144797795 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27457/tid=27548] ppid=27456 vsize=1086576 CPUtime=2.45 cores=1,3,5,7
/proc/27457/task/27548/stat : 27548 (pb_cplex) R 27456 27456 27040 0 -1 4202560 22573 0 0 0 236 9 0 0 20 0 8 0 390964497 1112653824 185008 33554432000 134512640 146736320 4290703696 3773444744 135982683 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27457/tid=27549] ppid=27456 vsize=1086576 CPUtime=1.64 cores=1,3,5,7
/proc/27457/task/27549/stat : 27549 (pb_cplex) D 27456 27456 27040 0 -1 4202560 20595 0 0 0 154 10 0 0 20 0 8 0 390964497 1112653824 185008 33554432000 134512640 146736320 4290703696 3762960376 144797937 0 2 4096 16387 18446744071581355491 0 0 -1 7 0 0 0 0 0
[pid=27457/tid=27550] ppid=27456 vsize=1086576 CPUtime=2.65 cores=1,3,5,7
/proc/27457/task/27550/stat : 27550 (pb_cplex) R 27456 27456 27040 0 -1 4202560 24226 0 0 0 256 9 0 0 20 0 8 0 390964497 1112653824 185008 33554432000 134512640 146736320 4290703696 3752473428 135983079 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 37.34
Current children cumulated vsize (KiB) 1095724
[startup+51.1003 s]
/proc/loadavg: 3.06 1.57 2.83 6/186 27617
/proc/meminfo: memFree=31557068/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=274996 CPUtime=95.23 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 762451 0 0 0 9099 424 0 0 20 0 1 0 390962491 281595904 53195 33554432000 134512640 146736320 4290703696 4290697436 136405610 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/27457/statm: 68749 53195 940 2985 0 65683 0
Current children cumulated CPU time (s) 95.23
Current children cumulated vsize (KiB) 284144
[startup+102.307 s]
/proc/loadavg: 2.67 1.74 2.82 3/179 27668
/proc/meminfo: memFree=31368660/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=146.42 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 769055 0 0 0 14214 428 0 0 20 0 1 0 390962491 278351872 53999 33554432000 134512640 146736320 4290703696 4290697816 136007053 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 53999 944 2985 0 64891 0
Current children cumulated CPU time (s) 146.42
Current children cumulated vsize (KiB) 280976
[startup+162.3 s]
/proc/loadavg: 5.46 2.57 3.03 3/179 27676
/proc/meminfo: memFree=31250196/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=206.4 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 769064 0 0 0 20212 428 0 0 20 0 1 0 390962491 278351872 54041 33554432000 134512640 146736320 4290703696 4290697720 136475780 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54041 944 2985 0 64891 0
Current children cumulated CPU time (s) 206.4
Current children cumulated vsize (KiB) 280976
[startup+222.3 s]
/proc/loadavg: 3.23 2.47 2.97 3/179 27676
/proc/meminfo: memFree=31313424/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=266.39 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 769064 0 0 0 26211 428 0 0 20 0 1 0 390962491 278351872 54041 33554432000 134512640 146736320 4290703696 4290698256 136403109 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54041 944 2985 0 64891 0
Current children cumulated CPU time (s) 266.39
Current children cumulated vsize (KiB) 280976
[startup+282.3 s]
/proc/loadavg: 2.49 2.39 2.91 3/180 27679
/proc/meminfo: memFree=31403380/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=326.38 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 769064 0 0 0 32210 428 0 0 20 0 1 0 390962491 278351872 54041 33554432000 134512640 146736320 4290703696 4290697872 136008050 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54041 944 2985 0 64891 0
Current children cumulated CPU time (s) 326.38
Current children cumulated vsize (KiB) 280976
[startup+342.3 s]
/proc/loadavg: 2.22 2.33 2.85 3/179 27679
################
# More data... #
################
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=272140 CPUtime=1046.27 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 772802 0 0 0 104198 429 0 0 20 0 1 0 390962491 278671360 54088 33554432000 134512640 146736320 4290703696 4290697704 139044505 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 68035 54088 945 2985 0 64969 0
Current children cumulated CPU time (s) 1046.27
Current children cumulated vsize (KiB) 281288
[startup+1062.3 s]
/proc/loadavg: 2.07 2.06 2.40 3/179 27685
/proc/meminfo: memFree=31251632/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1106.26 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 110190 436 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697872 136403112 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1106.26
Current children cumulated vsize (KiB) 280976
[startup+1122.3 s]
/proc/loadavg: 2.13 2.08 2.38 3/179 27685
/proc/meminfo: memFree=31252376/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1166.25 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 116189 436 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697488 136008226 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1166.25
Current children cumulated vsize (KiB) 280976
[startup+1182.3 s]
/proc/loadavg: 2.05 2.06 2.35 3/179 27685
/proc/meminfo: memFree=31251632/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1226.24 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 122188 436 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697724 136400528 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1226.24
Current children cumulated vsize (KiB) 280976
[startup+1242.3 s]
/proc/loadavg: 2.14 2.08 2.34 3/179 27685
/proc/meminfo: memFree=31252128/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1286.23 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 128187 436 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697488 136008168 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1286.23
Current children cumulated vsize (KiB) 280976
[startup+1302.3 s]
/proc/loadavg: 2.11 2.08 2.32 3/179 27685
/proc/meminfo: memFree=31254044/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1346.23 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 134186 437 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697440 136006385 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1346.23
Current children cumulated vsize (KiB) 280976
[startup+1362.3 s]
/proc/loadavg: 2.04 2.06 2.30 3/179 27686
/proc/meminfo: memFree=31249828/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1406.21 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 140184 437 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697440 136006270 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1406.21
Current children cumulated vsize (KiB) 280976
[startup+1422.31 s]
/proc/loadavg: 2.07 2.06 2.28 3/179 27686
/proc/meminfo: memFree=31249332/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1466.21 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 146184 437 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697320 139044538 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1466.21
Current children cumulated vsize (KiB) 280976
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.26 3/180 27689
/proc/meminfo: memFree=31249324/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1526.19 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 152182 437 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697320 139044505 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1526.19
Current children cumulated vsize (KiB) 280976
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.25 3/179 27689
/proc/meminfo: memFree=31248836/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1586.19 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 158181 438 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697488 136008042 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1586.19
Current children cumulated vsize (KiB) 280976
[startup+1602.3 s]
/proc/loadavg: 2.14 2.07 2.24 3/179 27689
/proc/meminfo: memFree=31248340/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1646.18 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 164180 438 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697432 136007213 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1646.18
Current children cumulated vsize (KiB) 280976
[startup+1662.3 s]
/proc/loadavg: 2.12 2.07 2.23 3/179 27690
/proc/meminfo: memFree=31245048/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1706.18 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 170179 439 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697488 136008441 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1706.18
Current children cumulated vsize (KiB) 280976
[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.22 3/179 27690
/proc/meminfo: memFree=31242996/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1766.16 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 176177 439 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290697280 136018922 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1766.16
Current children cumulated vsize (KiB) 280976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1756.2 s]
/proc/loadavg: 2.05 2.06 2.21 3/179 27690
/proc/meminfo: memFree=31242872/32873844 swapFree=7116/7116
[pid=27456] ppid=27454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27456/stat : 27456 (run) S 27454 27456 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390962491 9367552 270 33554432000 4194304 5064252 140733995604384 140733995603296 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27456/statm: 2287 270 229 213 0 72 0
[pid=27457] ppid=27456 vsize=271828 CPUtime=1800.06 cores=1,3,5,7
/proc/27457/stat : 27457 (pb_cplex) R 27456 27456 27040 0 -1 4202496 792069 0 0 0 179567 439 0 0 20 0 1 0 390962491 278351872 54042 33554432000 134512640 146736320 4290703696 4290698144 135845834 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27457/statm: 67957 54042 945 2985 0 64891 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 280976
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1756.21
CPU time (s): 1800.08
CPU user time (s): 1795.68
CPU system time (s): 4.40033
CPU usage (%): 102.498
Max. virtual memory (cumulated for all children) (KiB): 1099304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.68
system time used= 4.40033
maximum resident set size= 760720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 792435
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= 10700
involuntary context switches= 6123
runsolver used 6.35003 second user time and 13.6509 second system time
The end