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-3740072-1339249210/watcher-3740072-1339249210 -o /tmp/evaluation-result-3740072-1339249210/solver-3740072-1339249210 -C 1800 -W 1900 -M 15500 run HOME/instance-3740072-1339249210.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: 14.64 10.63 7.58 7/185 3787
/proc/meminfo: memFree=31001996/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[startup+0.0672511 s]
/proc/loadavg: 14.64 10.63 7.58 7/185 3787
/proc/meminfo: memFree=31001996/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100284 s]
/proc/loadavg: 14.64 10.63 7.58 7/185 3787
/proc/meminfo: memFree=31001996/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 14.64 10.63 7.58 7/185 3787
/proc/meminfo: memFree=31001996/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700243 s]
/proc/loadavg: 14.64 10.63 7.58 7/185 3787
/proc/meminfo: memFree=31001996/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 14.64 10.63 7.58 6/187 3789
/proc/meminfo: memFree=30970996/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=54248 CPUtime=1.49 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 12988 0 0 0 147 2 0 0 20 0 1 0 391049566 55549952 8503 33554432000 134512640 146736320 4294234976 4294229660 135855165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 13562 8503 724 2985 0 10496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63396
[startup+3.10027 s]
/proc/loadavg: 13.87 10.54 7.57 6/187 3789
/proc/meminfo: memFree=30969756/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=54812 CPUtime=3.09 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 13126 0 0 0 307 2 0 0 20 0 1 0 391049566 56127488 8641 33554432000 134512640 146736320 4294234976 4294229776 136008065 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 13703 8641 724 2985 0 10637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63960
[startup+6.30028 s]
/proc/loadavg: 13.87 10.54 7.57 6/187 3789
/proc/meminfo: memFree=30969152/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=54864 CPUtime=6.29 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 13150 0 0 0 627 2 0 0 20 0 1 0 391049566 56180736 8665 33554432000 134512640 146736320 4294234976 4294229776 136008450 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 13716 8665 724 2985 0 10650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64012
[startup+12.7003 s]
/proc/loadavg: 12.51 10.35 7.54 6/187 3789
/proc/meminfo: memFree=30957512/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=67684 CPUtime=12.68 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 18235 0 0 0 1265 3 0 0 20 0 1 0 391049566 69308416 11600 33554432000 134512640 146736320 4294234976 4294229456 136403116 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 16921 11600 824 2985 0 13855 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 76832
[startup+25.5003 s]
/proc/loadavg: 11.35 10.18 7.51 6/187 3789
/proc/meminfo: memFree=30966240/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=55820 CPUtime=25.49 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 20057 0 0 0 2545 4 0 0 20 0 1 0 391049566 57159680 9461 33554432000 134512640 146736320 4294234976 4294229148 136389777 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 13955 9461 837 2985 0 10889 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64968
[startup+51.1003 s]
/proc/loadavg: 8.46 9.60 7.39 3/187 3789
/proc/meminfo: memFree=30963944/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=56344 CPUtime=51.08 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 21267 0 0 0 5104 4 0 0 20 0 1 0 391049566 57696256 9571 33554432000 134512640 146736320 4294234976 4294229616 136385268 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 14086 9571 839 2985 0 11020 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65492
[startup+102.306 s]
/proc/loadavg: 7.99 9.19 7.37 10/186 3790
/proc/meminfo: memFree=30958368/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=57372 CPUtime=102.28 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 26713 0 0 0 10223 5 0 0 20 0 1 0 391049566 58748928 9756 33554432000 134512640 146736320 4294234976 4294229304 136015681 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 14343 9756 842 2985 0 11277 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 66520
[startup+162.3 s]
/proc/loadavg: 8.62 9.16 7.47 10/186 3790
/proc/meminfo: memFree=30953308/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=56692 CPUtime=162.26 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 33312 0 0 0 16219 7 0 0 20 0 1 0 391049566 58052608 10730 33554432000 134512640 146736320 4294234976 4294229584 136403116 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 14173 10730 842 2985 0 11107 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 65840
[startup+222.3 s]
/proc/loadavg: 4.69 7.96 7.17 3/179 3840
/proc/meminfo: memFree=30835564/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=57556 CPUtime=222.25 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 42379 0 0 0 22216 9 0 0 20 0 1 0 391049566 58937344 10997 33554432000 134512640 146736320 4294234976 4294229648 136403116 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 14389 10997 871 2985 0 11323 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 66704
[startup+282.3 s]
/proc/loadavg: 3.59 7.01 6.88 10/186 3847
/proc/meminfo: memFree=30751588/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=239656 CPUtime=285.95 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 70675 0 0 0 28580 15 0 0 20 0 8 0 391049566 245407744 30531 33554432000 134512640 146736320 4294234976 4294227856 136008050 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3788/statm: 59914 30531 904 2985 0 56848 0
[pid=3788/tid=3841] ppid=3787 vsize=239656 CPUtime=0.6 cores=0,2,4,6
/proc/3788/task/3841/stat : 3841 (pb_cplex) R 3787 3787 2899 0 -1 4202560 1545 0 0 0 60 0 0 0 20 0 8 0 391073483 245407744 30531 33554432000 134512640 146736320 4294234976 4129051216 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3842] ppid=3787 vsize=239656 CPUtime=0.62 cores=0,2,4,6
/proc/3788/task/3842/stat : 3842 (pb_cplex) R 3787 3787 2899 0 -1 4202560 2253 0 0 0 62 0 0 0 20 0 8 0 391073483 245407744 30531 33554432000 134512640 146736320 4294234976 4118564920 136475859 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3843] ppid=3787 vsize=239656 CPUtime=0.6 cores=0,2,4,6
/proc/3788/task/3843/stat : 3843 (pb_cplex) R 3787 3787 2899 0 -1 4202560 1623 0 0 0 60 0 0 0 20 0 8 0 391073483 245407744 30531 33554432000 134512640 146736320 4294234976 4108078252 135453925 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3844] ppid=3787 vsize=239656 CPUtime=0.57 cores=0,2,4,6
/proc/3788/task/3844/stat : 3844 (pb_cplex) R 3787 3787 2899 0 -1 4202560 1675 0 0 0 57 0 0 0 20 0 8 0 391073483 245407744 30531 33554432000 134512640 146736320 4294234976 4097593552 136008391 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3845] ppid=3787 vsize=239656 CPUtime=0.58 cores=0,2,4,6
/proc/3788/task/3845/stat : 3845 (pb_cplex) R 3787 3787 2899 0 -1 4202560 1557 0 0 0 58 0 0 0 20 0 8 0 391073483 245407744 30531 33554432000 134512640 146736320 4294234976 4087108176 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3846] ppid=3787 vsize=239656 CPUtime=0.57 cores=0,2,4,6
/proc/3788/task/3846/stat : 3846 (pb_cplex) R 3787 3787 2899 0 -1 4202560 2065 0 0 0 57 0 0 0 20 0 8 0 391073483 245407744 30531 33554432000 134512640 146736320 4294234976 4076621564 139023078 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3847] ppid=3787 vsize=239656 CPUtime=0.6 cores=0,2,4,6
/proc/3788/task/3847/stat : 3847 (pb_cplex) R 3787 3787 2899 0 -1 4202560 1757 0 0 0 60 0 0 0 20 0 8 0 391073483 245407744 30531 33554432000 134512640 146736320 4294234976 4066136280 136008650 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 285.95
Current children cumulated vsize (KiB) 248804
[startup+342.3 s]
/proc/loadavg: 7.01 7.37 7.01 10/186 3847
################
# More data... #
################
/proc/3788/statm: 62351 34661 907 2985 0 59285 0
[pid=3788/tid=3841] ppid=3787 vsize=249404 CPUtime=60.7 cores=0,2,4,6
/proc/3788/task/3841/stat : 3841 (pb_cplex) S 3787 3787 2899 0 -1 4202560 3576 0 0 0 6068 2 0 0 20 0 8 0 391073483 255389696 34661 33554432000 134512640 146736320 4294234976 4129054352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3842] ppid=3787 vsize=249404 CPUtime=61.11 cores=0,2,4,6
/proc/3788/task/3842/stat : 3842 (pb_cplex) S 3787 3787 2899 0 -1 4202560 13330 0 0 0 6105 6 0 0 20 0 8 0 391073483 255389696 34661 33554432000 134512640 146736320 4294234976 4118568592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3843] ppid=3787 vsize=249404 CPUtime=131.41 cores=0,2,4,6
/proc/3788/task/3843/stat : 3843 (pb_cplex) S 3787 3787 2899 0 -1 4202560 2910 0 0 0 13136 5 0 0 20 0 8 0 391073483 255389696 34661 33554432000 134512640 146736320 4294234976 4108082832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3844] ppid=3787 vsize=249404 CPUtime=177.96 cores=0,2,4,6
/proc/3788/task/3844/stat : 3844 (pb_cplex) R 3787 3787 2899 0 -1 4202560 8336 0 0 0 17789 7 0 0 20 0 8 0 391073483 255389696 34661 33554432000 134512640 146736320 4294234976 4097592428 144801230 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3845] ppid=3787 vsize=249404 CPUtime=173.24 cores=0,2,4,6
/proc/3788/task/3845/stat : 3845 (pb_cplex) S 3787 3787 2899 0 -1 4202560 5188 0 0 0 17318 6 0 0 20 0 8 0 391073483 255389696 34661 33554432000 134512640 146736320 4294234976 4087111312 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3846] ppid=3787 vsize=249404 CPUtime=173.94 cores=0,2,4,6
/proc/3788/task/3846/stat : 3846 (pb_cplex) S 3787 3787 2899 0 -1 4202560 86035 0 0 0 17367 27 0 0 20 0 8 0 391073483 255389696 34661 33554432000 134512640 146736320 4294234976 4076625552 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3847] ppid=3787 vsize=249404 CPUtime=48.75 cores=0,2,4,6
/proc/3788/task/3847/stat : 3847 (pb_cplex) S 3787 3787 2899 0 -1 4202560 3198 0 0 0 4872 3 0 0 20 0 8 0 391073483 255389696 34661 33554432000 134512640 146736320 4294234976 4066139792 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1190.19
Current children cumulated vsize (KiB) 258552
[startup+582.3 s]
/proc/loadavg: 3.63 5.88 6.54 10/186 3848
/proc/meminfo: memFree=30696888/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=267020 CPUtime=1254.31 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 210207 0 0 0 125365 66 0 0 20 0 8 0 391049566 273428480 39460 33554432000 134512640 146736320 4294234976 4294227856 136008168 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3788/statm: 66755 39460 907 2985 0 63689 0
[pid=3788/tid=3841] ppid=3787 vsize=267020 CPUtime=61.45 cores=0,2,4,6
/proc/3788/task/3841/stat : 3841 (pb_cplex) R 3787 3787 2899 0 -1 4202560 4839 0 0 0 6142 3 0 0 20 0 8 0 391073483 273428480 39460 33554432000 134512640 146736320 4294234976 4129050832 136008438 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3842] ppid=3787 vsize=267020 CPUtime=61.92 cores=0,2,4,6
/proc/3788/task/3842/stat : 3842 (pb_cplex) R 3787 3787 2899 0 -1 4202560 15156 0 0 0 6186 6 0 0 20 0 8 0 391073483 273428480 39460 33554432000 134512640 146736320 4294234976 4118564956 135855103 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3843] ppid=3787 vsize=267020 CPUtime=131.97 cores=0,2,4,6
/proc/3788/task/3843/stat : 3843 (pb_cplex) R 3787 3787 2899 0 -1 4202560 3650 0 0 0 13191 6 0 0 20 0 8 0 391073483 273428480 39460 33554432000 134512640 146736320 4294234976 4108079104 136019021 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3844] ppid=3787 vsize=267020 CPUtime=237.23 cores=0,2,4,6
/proc/3788/task/3844/stat : 3844 (pb_cplex) R 3787 3787 2899 0 -1 4202560 11818 0 0 0 23713 10 0 0 20 0 8 0 391073483 273428480 39460 33554432000 134512640 146736320 4294234976 4097593552 136008234 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3845] ppid=3787 vsize=267020 CPUtime=173.93 cores=0,2,4,6
/proc/3788/task/3845/stat : 3845 (pb_cplex) R 3787 3787 2899 0 -1 4202560 6916 0 0 0 17387 6 0 0 20 0 8 0 391073483 273428480 39460 33554432000 134512640 146736320 4294234976 4087108176 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3846] ppid=3787 vsize=267020 CPUtime=174.75 cores=0,2,4,6
/proc/3788/task/3846/stat : 3846 (pb_cplex) R 3787 3787 2899 0 -1 4202560 87765 0 0 0 17447 28 0 0 20 0 8 0 391073483 273428480 39460 33554432000 134512640 146736320 4294234976 4076621640 135525914 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3847] ppid=3787 vsize=267020 CPUtime=49.36 cores=0,2,4,6
/proc/3788/task/3847/stat : 3847 (pb_cplex) R 3787 3787 2899 0 -1 4202560 4156 0 0 0 4933 3 0 0 20 0 8 0 391073483 273428480 39460 33554432000 134512640 146736320 4294234976 4066136136 139042899 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1254.31
Current children cumulated vsize (KiB) 276168
[startup+642.3 s]
/proc/loadavg: 7.12 6.47 6.70 10/187 3851
/proc/meminfo: memFree=30698172/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=270288 CPUtime=1493.66 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 233079 0 0 0 149289 77 0 0 20 0 8 0 391049566 276774912 40608 33554432000 134512640 146736320 4294234976 4294227852 136388881 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3788/statm: 67572 40608 907 2985 0 64506 0
[pid=3788/tid=3841] ppid=3787 vsize=270288 CPUtime=91.23 cores=0,2,4,6
/proc/3788/task/3841/stat : 3841 (pb_cplex) R 3787 3787 2899 0 -1 4202560 14334 0 0 0 9116 7 0 0 20 0 8 0 391073483 276774912 40608 33554432000 134512640 146736320 4294234976 4129050832 136008042 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3842] ppid=3787 vsize=270288 CPUtime=92.33 cores=0,2,4,6
/proc/3788/task/3842/stat : 3842 (pb_cplex) R 3787 3787 2899 0 -1 4202560 16070 0 0 0 9224 9 0 0 20 0 8 0 391073483 276774912 40608 33554432000 134512640 146736320 4294234976 4118564680 135526392 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3843] ppid=3787 vsize=270288 CPUtime=161.72 cores=0,2,4,6
/proc/3788/task/3843/stat : 3843 (pb_cplex) R 3787 3787 2899 0 -1 4202560 5281 0 0 0 16165 7 0 0 20 0 8 0 391073483 276774912 40608 33554432000 134512640 146736320 4294234976 4108079104 136018931 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3844] ppid=3787 vsize=270288 CPUtime=267.41 cores=0,2,4,6
/proc/3788/task/3844/stat : 3844 (pb_cplex) R 3787 3787 2899 0 -1 4202560 12307 0 0 0 26730 11 0 0 20 0 8 0 391073483 276774912 40608 33554432000 134512640 146736320 4294234976 4097593620 136003529 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3845] ppid=3787 vsize=270288 CPUtime=204.03 cores=0,2,4,6
/proc/3788/task/3845/stat : 3845 (pb_cplex) R 3787 3787 2899 0 -1 4202560 7346 0 0 0 20395 8 0 0 20 0 8 0 391073483 276774912 40608 33554432000 134512640 146736320 4294234976 4087108176 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3846] ppid=3787 vsize=270288 CPUtime=204.49 cores=0,2,4,6
/proc/3788/task/3846/stat : 3846 (pb_cplex) R 3787 3787 2899 0 -1 4202560 97464 0 0 0 20418 31 0 0 20 0 8 0 391073483 276774912 40608 33554432000 134512640 146736320 4294234976 4076622032 136008042 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3847] ppid=3787 vsize=270288 CPUtime=79.43 cores=0,2,4,6
/proc/3788/task/3847/stat : 3847 (pb_cplex) R 3787 3787 2899 0 -1 4202560 4335 0 0 0 7939 4 0 0 20 0 8 0 391073483 276774912 40608 33554432000 134512640 146736320 4294234976 4066136112 136384857 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1493.66
Current children cumulated vsize (KiB) 279436
[startup+702.3 s]
/proc/loadavg: 8.31 6.93 6.85 10/186 3852
/proc/meminfo: memFree=30697444/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=269332 CPUtime=1732.98 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 280677 0 0 0 173204 94 0 0 20 0 8 0 391049566 275795968 40509 33554432000 134512640 146736320 4294234976 4294228104 136000488 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3788/statm: 67333 40509 907 2985 0 64267 0
[pid=3788/tid=3841] ppid=3787 vsize=269332 CPUtime=121.3 cores=0,2,4,6
/proc/3788/task/3841/stat : 3841 (pb_cplex) R 3787 3787 2899 0 -1 4202560 25519 0 0 0 12120 10 0 0 20 0 8 0 391073483 275795968 40509 33554432000 134512640 146736320 4294234976 4129050716 135855132 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3842] ppid=3787 vsize=269332 CPUtime=122.1 cores=0,2,4,6
/proc/3788/task/3842/stat : 3842 (pb_cplex) R 3787 3787 2899 0 -1 4202560 16442 0 0 0 12200 10 0 0 20 0 8 0 391073483 275795968 40509 33554432000 134512640 146736320 4294234976 4118565072 136008177 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3843] ppid=3787 vsize=269332 CPUtime=191.66 cores=0,2,4,6
/proc/3788/task/3843/stat : 3843 (pb_cplex) R 3787 3787 2899 0 -1 4202560 18761 0 0 0 19154 12 0 0 20 0 8 0 391073483 275795968 40509 33554432000 134512640 146736320 4294234976 4108079160 136475791 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3844] ppid=3787 vsize=269332 CPUtime=297.31 cores=0,2,4,6
/proc/3788/task/3844/stat : 3844 (pb_cplex) R 3787 3787 2899 0 -1 4202560 22542 0 0 0 29716 15 0 0 20 0 8 0 391073483 275795968 40509 33554432000 134512640 146736320 4294234976 4097593808 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3845] ppid=3787 vsize=269332 CPUtime=233.8 cores=0,2,4,6
/proc/3788/task/3845/stat : 3845 (pb_cplex) R 3787 3787 2899 0 -1 4202560 8295 0 0 0 23371 9 0 0 20 0 8 0 391073483 275795968 40509 33554432000 134512640 146736320 4294234976 4087107792 136008168 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3846] ppid=3787 vsize=269332 CPUtime=234.48 cores=0,2,4,6
/proc/3788/task/3846/stat : 3846 (pb_cplex) R 3787 3787 2899 0 -1 4202560 108594 0 0 0 23414 34 0 0 20 0 8 0 391073483 275795968 40509 33554432000 134512640 146736320 4294234976 4076622032 136008176 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3847] ppid=3787 vsize=269332 CPUtime=109.43 cores=0,2,4,6
/proc/3788/task/3847/stat : 3847 (pb_cplex) R 3787 3787 2899 0 -1 4202560 4346 0 0 0 10938 5 0 0 20 0 8 0 391073483 275795968 40509 33554432000 134512640 146736320 4294234976 4066136176 136384846 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1732.98
Current children cumulated vsize (KiB) 278480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+719.1 s]
/proc/loadavg: 8.46 7.03 6.88 10/186 3852
/proc/meminfo: memFree=30678212/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=269332 CPUtime=1800.02 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 283061 0 0 0 179906 96 0 0 20 0 8 0 391049566 275795968 40710 33554432000 134512640 146736320 4294234976 4294228240 136403117 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3788/statm: 67333 40710 907 2985 0 64267 0
[pid=3788/tid=3841] ppid=3787 vsize=269332 CPUtime=129.71 cores=0,2,4,6
/proc/3788/task/3841/stat : 3841 (pb_cplex) R 3787 3787 2899 0 -1 4202560 25757 0 0 0 12961 10 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4129051264 139046528 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3842] ppid=3787 vsize=269332 CPUtime=130.5 cores=0,2,4,6
/proc/3788/task/3842/stat : 3842 (pb_cplex) R 3787 3787 2899 0 -1 4202560 16623 0 0 0 13040 10 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4118565072 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3843] ppid=3787 vsize=269332 CPUtime=199.98 cores=0,2,4,6
/proc/3788/task/3843/stat : 3843 (pb_cplex) R 3787 3787 2899 0 -1 4202560 18764 0 0 0 19985 13 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4108079312 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3844] ppid=3787 vsize=269332 CPUtime=305.72 cores=0,2,4,6
/proc/3788/task/3844/stat : 3844 (pb_cplex) R 3787 3787 2899 0 -1 4202560 24354 0 0 0 30557 15 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4097593552 136007973 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3845] ppid=3787 vsize=269332 CPUtime=242.13 cores=0,2,4,6
/proc/3788/task/3845/stat : 3845 (pb_cplex) R 3787 3787 2899 0 -1 4202560 8295 0 0 0 24204 9 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4087107792 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3846] ppid=3787 vsize=269332 CPUtime=242.88 cores=0,2,4,6
/proc/3788/task/3846/stat : 3846 (pb_cplex) R 3787 3787 2899 0 -1 4202560 108741 0 0 0 24254 34 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4076621916 135855127 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3847] ppid=3787 vsize=269332 CPUtime=117.84 cores=0,2,4,6
/proc/3788/task/3847/stat : 3847 (pb_cplex) R 3787 3787 2899 0 -1 4202560 4349 0 0 0 11779 5 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4066136156 135855174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 278480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+719.1 s]
/proc/loadavg: 8.46 7.03 6.88 10/186 3852
/proc/meminfo: memFree=30678212/32873844 swapFree=7116/7116
[pid=3787] ppid=3785 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (run) S 3785 3787 2899 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391049566 9367552 270 33554432000 4194304 5064252 140736091936272 140736091935184 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 2287 270 229 213 0 72 0
[pid=3788] ppid=3787 vsize=269332 CPUtime=1800.02 cores=0,2,4,6
/proc/3788/stat : 3788 (pb_cplex) R 3787 3787 2899 0 -1 4202496 283061 0 0 0 179906 96 0 0 20 0 8 0 391049566 275795968 40710 33554432000 134512640 146736320 4294234976 4294228240 136403117 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3788/statm: 67333 40710 907 2985 0 64267 0
[pid=3788/tid=3841] ppid=3787 vsize=269332 CPUtime=129.71 cores=0,2,4,6
/proc/3788/task/3841/stat : 3841 (pb_cplex) R 3787 3787 2899 0 -1 4202560 25757 0 0 0 12961 10 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4129051264 139046528 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3842] ppid=3787 vsize=269332 CPUtime=130.5 cores=0,2,4,6
/proc/3788/task/3842/stat : 3842 (pb_cplex) R 3787 3787 2899 0 -1 4202560 16623 0 0 0 13040 10 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4118565072 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3788/tid=3843] ppid=3787 vsize=269332 CPUtime=199.98 cores=0,2,4,6
/proc/3788/task/3843/stat : 3843 (pb_cplex) R 3787 3787 2899 0 -1 4202560 18764 0 0 0 19985 13 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4108079312 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3844] ppid=3787 vsize=269332 CPUtime=305.72 cores=0,2,4,6
/proc/3788/task/3844/stat : 3844 (pb_cplex) R 3787 3787 2899 0 -1 4202560 24354 0 0 0 30557 15 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4097593552 136007973 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3788/tid=3845] ppid=3787 vsize=269332 CPUtime=242.13 cores=0,2,4,6
/proc/3788/task/3845/stat : 3845 (pb_cplex) R 3787 3787 2899 0 -1 4202560 8295 0 0 0 24204 9 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4087107792 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3788/tid=3846] ppid=3787 vsize=269332 CPUtime=242.88 cores=0,2,4,6
/proc/3788/task/3846/stat : 3846 (pb_cplex) R 3787 3787 2899 0 -1 4202560 108741 0 0 0 24254 34 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4076621916 135855127 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3788/tid=3847] ppid=3787 vsize=269332 CPUtime=117.84 cores=0,2,4,6
/proc/3788/task/3847/stat : 3847 (pb_cplex) R 3787 3787 2899 0 -1 4202560 4349 0 0 0 11779 5 0 0 20 0 8 0 391073483 275795968 40710 33554432000 134512640 146736320 4294234976 4066136156 135855174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 278480
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3787 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 719.116
CPU time (s): 1800.02
CPU user time (s): 1799.06
CPU system time (s): 0.96
CPU usage (%): 250.31
Max. virtual memory (cumulated for all children) (KiB): 280248
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= 356
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= 1
involuntary context switches= 1
runsolver used 1.88071 second user time and 4.15537 second system time
The end