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-3741161-1339249851/watcher-3741161-1339249851 -o /tmp/evaluation-result-3741161-1339249851/solver-3741161-1339249851 -C 1800 -W 1900 -M 15500 run HOME/instance-3741161-1339249851.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: 5.21 5.57 6.40 3/182 21931
/proc/meminfo: memFree=30822896/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[startup+0.0162191 s]
/proc/loadavg: 5.21 5.57 6.40 3/182 21931
/proc/meminfo: memFree=30822896/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100208 s]
/proc/loadavg: 5.21 5.57 6.40 3/182 21931
/proc/meminfo: memFree=30822896/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300198 s]
/proc/loadavg: 5.21 5.57 6.40 3/182 21931
/proc/meminfo: memFree=30822896/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700191 s]
/proc/loadavg: 5.21 5.57 6.40 3/182 21931
/proc/meminfo: memFree=30822896/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 5.21 5.57 6.40 3/184 21933
/proc/meminfo: memFree=30824128/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=79252 CPUtime=1.49 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 17201 0 0 0 147 2 0 0 20 0 1 0 34952205 81154048 16670 33554432000 134512640 146736320 4290304512 4290302440 144716523 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21932/statm: 19813 16671 2974 2985 0 13775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88400
[startup+3.10029 s]
/proc/loadavg: 5.21 5.57 6.40 3/182 21933
/proc/meminfo: memFree=30753168/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=174492 CPUtime=3.09 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 51821 0 0 0 301 8 0 0 20 0 1 0 34952205 178679808 39743 33554432000 134512640 146736320 4290304512 4290302416 144738127 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21932/statm: 43623 39743 588 2985 0 40557 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 183640
[startup+6.30028 s]
/proc/loadavg: 4.96 5.51 6.38 3/182 21933
/proc/meminfo: memFree=30683440/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=449668 CPUtime=6.29 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 99932 0 0 0 609 20 0 0 20 0 1 0 34952205 460460032 58359 33554432000 134512640 146736320 4290304512 4290299644 138666301 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21932/statm: 112417 58359 710 2985 0 109351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 458816
[startup+12.7003 s]
/proc/loadavg: 4.80 5.46 6.36 3/182 21933
/proc/meminfo: memFree=30515208/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=667040 CPUtime=12.69 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 180385 0 0 0 1231 38 0 0 20 0 1 0 34952205 683048960 99674 33554432000 134512640 146736320 4290304512 4290298940 138666611 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21932/statm: 166760 99674 825 2985 0 163694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 676188
[startup+25.5068 s]
/proc/loadavg: 4.18 5.29 6.29 3/182 21933
/proc/meminfo: memFree=30437696/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=766388 CPUtime=25.49 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 230196 0 0 0 2499 50 0 0 20 0 1 0 34952205 784781312 119016 33554432000 134512640 146736320 4290304512 4290298760 136461576 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21932/statm: 191597 119016 834 2985 0 188531 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 775536
[startup+51.1003 s]
/proc/loadavg: 3.56 5.06 6.19 3/182 21933
/proc/meminfo: memFree=30587708/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=570772 CPUtime=51.08 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 406252 0 0 0 5014 94 0 0 20 0 1 0 34952205 584470528 81895 33554432000 134512640 146736320 4290304512 4290298444 139028333 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21932/statm: 142693 81895 837 2985 0 139627 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 579920
[startup+102.3 s]
/proc/loadavg: 2.68 4.59 5.97 3/182 21935
/proc/meminfo: memFree=30582436/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=577656 CPUtime=102.27 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 408273 0 0 0 10131 96 0 0 20 0 1 0 34952205 591519744 83564 33554432000 134512640 146736320 4290304512 4290298888 136388081 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21932/statm: 144414 83564 837 2985 0 141348 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 586804
[startup+162.3 s]
/proc/loadavg: 2.25 4.11 5.71 3/181 21935
/proc/meminfo: memFree=30578724/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=582760 CPUtime=162.26 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 411849 0 0 0 16129 97 0 0 20 0 1 0 34952205 596746240 84368 33554432000 134512640 146736320 4290304512 4290298700 136017763 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21932/statm: 145690 84368 837 2985 0 142624 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 591908
[startup+222.3 s]
/proc/loadavg: 2.09 3.73 5.48 3/181 21935
/proc/meminfo: memFree=30577484/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=584752 CPUtime=222.25 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 415199 0 0 0 22127 98 0 0 20 0 1 0 34952205 598786048 84679 33554432000 134512640 146736320 4290304512 4290298700 136017665 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 146188 84679 837 2985 0 143122 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 593900
[startup+282.3 s]
/proc/loadavg: 2.10 3.43 5.26 3/181 21935
/proc/meminfo: memFree=30576444/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=586300 CPUtime=282.24 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 418612 0 0 0 28123 101 0 0 20 0 1 0 34952205 600371200 84951 33554432000 134512640 146736320 4290304512 4290298700 136017755 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 146575 84951 837 2985 0 143509 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 595448
[startup+342.307 s]
/proc/loadavg: 2.04 3.16 5.06 3/181 21935
/proc/meminfo: memFree=30559940/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=588028 CPUtime=342.24 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 421688 0 0 0 34121 103 0 0 20 0 1 0 34952205 602140672 88947 33554432000 134512640 146736320 4290304512 4290298700 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 147007 88947 837 2985 0 143941 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 597176
[startup+402.3 s]
/proc/loadavg: 2.08 2.97 4.87 3/181 21936
/proc/meminfo: memFree=30542228/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.93 3/181 22018
/proc/meminfo: memFree=30800616/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=597816 CPUtime=1422.06 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 473212 0 0 0 142078 128 0 0 20 0 1 0 34952205 612163584 99299 33554432000 134512640 146736320 4290304512 4290298536 139044505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149454 99299 837 2985 0 146388 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 606964
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.87 3/181 22018
/proc/meminfo: memFree=30800368/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=597952 CPUtime=1482.05 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 476085 0 0 0 148076 129 0 0 20 0 1 0 34952205 612302848 99336 33554432000 134512640 146736320 4290304512 4290299088 136403112 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149488 99336 837 2985 0 146422 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 607100
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.81 3/181 22018
/proc/meminfo: memFree=30799996/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598192 CPUtime=1542.05 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 479046 0 0 0 154074 131 0 0 20 0 1 0 34952205 612548608 99403 33554432000 134512640 146736320 4290304512 4290298700 136017755 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149548 99403 837 2985 0 146482 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 607340
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.76 3/181 22018
/proc/meminfo: memFree=30790160/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598344 CPUtime=1602.03 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 481641 0 0 0 160070 133 0 0 20 0 1 0 34952205 612704256 99432 33554432000 134512640 146736320 4290304512 4290298700 136017845 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149586 99432 837 2985 0 146520 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 607492
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.71 3/181 22019
/proc/meminfo: memFree=30786740/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598500 CPUtime=1662.03 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 484807 0 0 0 166068 135 0 0 20 0 1 0 34952205 612864000 99481 33554432000 134512640 146736320 4290304512 4290298700 136017471 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149625 99481 837 2985 0 146559 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 607648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.66 3/181 22019
/proc/meminfo: memFree=30786244/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598560 CPUtime=1722.02 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 487662 0 0 0 172066 136 0 0 20 0 1 0 34952205 612925440 99493 33554432000 134512640 146736320 4290304512 4290298700 136017457 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149640 99493 837 2985 0 146574 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 607708
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.62 3/182 22022
/proc/meminfo: memFree=30786112/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598684 CPUtime=1782 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 490824 0 0 0 178063 137 0 0 20 0 1 0 34952205 613052416 99524 33554432000 134512640 146736320 4290304512 4290298388 136017757 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149671 99524 837 2985 0 146605 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 607832
Solver just ended. Dumping a history of the last processes samples
[startup+1792.11 s]
/proc/loadavg: 2.07 2.02 2.61 3/182 22022
/proc/meminfo: memFree=30786112/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598684 CPUtime=1791.8 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 491229 0 0 0 179043 137 0 0 20 0 1 0 34952205 613052416 99524 33554432000 134512640 146736320 4290304512 4290298700 136017505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149671 99524 837 2985 0 146605 0
Current children cumulated CPU time (s) 1791.8
Current children cumulated vsize (KiB) 607832
[startup+1795.3 s]
/proc/loadavg: 2.07 2.02 2.61 3/182 22022
/proc/meminfo: memFree=30786112/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598684 CPUtime=1795 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 491229 0 0 0 179363 137 0 0 20 0 1 0 34952205 613052416 99524 33554432000 134512640 146736320 4290304512 4290298388 136017474 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149671 99524 837 2985 0 146605 0
Current children cumulated CPU time (s) 1795
Current children cumulated vsize (KiB) 607832
[startup+1796.9 s]
/proc/loadavg: 2.07 2.02 2.61 3/182 22022
/proc/meminfo: memFree=30785988/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598684 CPUtime=1796.6 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 491636 0 0 0 179523 137 0 0 20 0 1 0 34952205 613052416 99524 33554432000 134512640 146736320 4290304512 4290298700 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149671 99524 837 2985 0 146605 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 607832
[startup+1798.5 s]
/proc/loadavg: 2.07 2.02 2.61 3/182 22022
/proc/meminfo: memFree=30786112/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598684 CPUtime=1798.2 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 491636 0 0 0 179683 137 0 0 20 0 1 0 34952205 613052416 99524 33554432000 134512640 146736320 4290304512 4290298700 136017512 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149671 99524 837 2985 0 146605 0
Current children cumulated CPU time (s) 1798.2
Current children cumulated vsize (KiB) 607832
[startup+1798.9 s]
/proc/loadavg: 2.06 2.02 2.61 3/182 22022
/proc/meminfo: memFree=30786112/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598684 CPUtime=1798.6 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 491636 0 0 0 179723 137 0 0 20 0 1 0 34952205 613052416 99524 33554432000 134512640 146736320 4290304512 4290298568 139043594 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149671 99524 837 2985 0 146605 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 607832
[startup+1799.3 s]
/proc/loadavg: 2.06 2.02 2.61 3/182 22022
/proc/meminfo: memFree=30786112/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598684 CPUtime=1799 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 492046 0 0 0 179762 138 0 0 20 0 1 0 34952205 613052416 99524 33554432000 134512640 146736320 4290304512 4290299144 139023063 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149671 99524 837 2985 0 146605 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 607832
[startup+1799.4 s]
/proc/loadavg: 2.06 2.02 2.61 3/182 22022
/proc/meminfo: memFree=30786112/32873844 swapFree=7632/7632
[pid=21931] ppid=21929 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21931/stat : 21931 (run) S 21929 21931 20922 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34952205 9367552 268 33554432000 4194304 5064252 140736806863696 140736806862608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21931/statm: 2287 268 229 213 0 72 0
[pid=21932] ppid=21931 vsize=598684 CPUtime=1799.1 cores=0,2,4,6
/proc/21932/stat : 21932 (pb_cplex) R 21931 21931 20922 0 -1 4202496 492046 0 0 0 179772 138 0 0 20 0 1 0 34952205 613052416 99524 33554432000 134512640 146736320 4290304512 4290298700 136017766 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/21932/statm: 149671 99524 837 2985 0 146605 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 607832
Child status: 0
Real time (s): 1799.47
CPU time (s): 1799.18
CPU user time (s): 1797.78
CPU system time (s): 1.39579
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 814708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.78
system time used= 1.39579
maximum resident set size= 515912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492428
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= 17
involuntary context switches= 2528
runsolver used 2.87956 second user time and 7.2309 second system time
The end