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-3743204-1339251645/watcher-3743204-1339251645 -o /tmp/evaluation-result-3743204-1339251645/solver-3743204-1339251645 -C 1800 -W 1900 -M 15500 run HOME/instance-3743204-1339251645.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: 2.32 4.08 4.06 3/178 3825
/proc/meminfo: memFree=24119860/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[startup+0.0810079 s]
/proc/loadavg: 2.32 4.08 4.06 3/178 3825
/proc/meminfo: memFree=24119860/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/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: 2.32 4.08 4.06 3/178 3825
/proc/meminfo: memFree=24119860/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300111 s]
/proc/loadavg: 2.32 4.08 4.06 3/178 3825
/proc/meminfo: memFree=24119860/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700215 s]
/proc/loadavg: 2.32 4.08 4.06 3/178 3825
/proc/meminfo: memFree=24119860/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.32 4.08 4.06 3/180 3827
/proc/meminfo: memFree=24096424/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=64744 CPUtime=1.48 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 7543 0 0 0 148 0 0 0 20 0 1 0 391290342 66297856 7146 33554432000 134512640 146736320 4292609424 4292607472 140665547 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 16186 7146 1090 2985 0 6227 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 73892
[startup+3.10024 s]
/proc/loadavg: 2.32 4.08 4.06 3/180 3827
/proc/meminfo: memFree=24094920/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=65668 CPUtime=3.08 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 7899 0 0 0 308 0 0 0 20 0 1 0 391290342 67244032 7502 33554432000 134512640 146736320 4292609424 4292607308 141014065 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 16417 7502 1232 2985 0 6458 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 74816
[startup+6.30027 s]
/proc/loadavg: 2.30 4.04 4.04 3/180 3827
/proc/meminfo: memFree=24032112/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=176824 CPUtime=6.28 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 38462 0 0 0 623 5 0 0 20 0 1 0 391290342 181067776 36581 33554432000 134512640 146736320 4292609424 4292606936 144716523 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 44206 36581 4369 2985 0 34247 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 185972
[startup+12.7002 s]
/proc/loadavg: 2.27 4.01 4.03 3/180 3827
/proc/meminfo: memFree=23949968/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=216264 CPUtime=12.67 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 48734 0 0 0 1261 6 0 0 20 0 1 0 391290342 221454336 48504 33554432000 134512640 146736320 4292609424 4292607224 144716523 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 54066 48504 5971 2985 0 44107 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 225412
[startup+25.5002 s]
/proc/loadavg: 2.21 3.91 4.00 3/179 3827
/proc/meminfo: memFree=23941900/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=223868 CPUtime=25.48 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 51857 0 0 0 2541 7 0 0 20 0 1 0 391290342 229240832 51627 33554432000 134512640 146736320 4292609424 4292607344 140679015 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 55967 51627 7181 2985 0 46008 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 233016
[startup+51.1002 s]
/proc/loadavg: 2.14 3.75 3.95 3/179 3876
/proc/meminfo: memFree=24703352/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=224000 CPUtime=51.07 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 51889 0 0 0 5100 7 0 0 20 0 1 0 391290342 229376000 51659 33554432000 134512640 146736320 4292609424 4292607408 140683279 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 56000 51659 7181 2985 0 46041 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 233148
[startup+102.306 s]
/proc/loadavg: 2.10 3.50 3.85 3/179 3877
/proc/meminfo: memFree=24693468/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=224132 CPUtime=102.27 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 51925 0 0 0 10220 7 0 0 20 0 1 0 391290342 229511168 51789 33554432000 134512640 146736320 4292609424 4292607276 134814122 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 56033 51789 7181 2985 0 46074 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 233280
[startup+162.3 s]
/proc/loadavg: 2.04 3.22 3.73 3/179 3877
/proc/meminfo: memFree=24693384/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=224264 CPUtime=162.25 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 51952 0 0 0 16218 7 0 0 20 0 1 0 391290342 229646336 51816 33554432000 134512640 146736320 4292609424 4292607272 140526598 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 56066 51816 7181 2985 0 46107 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 233412
[startup+222.3 s]
/proc/loadavg: 2.01 3.00 3.62 3/179 3877
/proc/meminfo: memFree=24693344/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=224396 CPUtime=222.24 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 51975 0 0 0 22217 7 0 0 20 0 1 0 391290342 229781504 51839 33554432000 134512640 146736320 4292609424 4292607408 140683274 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 56099 51839 7181 2985 0 46140 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 233544
[startup+282.3 s]
/proc/loadavg: 2.00 2.81 3.51 3/179 3877
/proc/meminfo: memFree=24693220/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=224396 CPUtime=282.24 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 51994 0 0 0 28217 7 0 0 20 0 1 0 391290342 229781504 51858 33554432000 134512640 146736320 4292609424 4292607280 140528805 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 56099 51858 7181 2985 0 46140 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 233544
[startup+342.3 s]
/proc/loadavg: 2.00 2.66 3.41 3/179 3877
/proc/meminfo: memFree=24554088/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=445016 CPUtime=342.22 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 97329 0 0 0 34206 16 0 0 20 0 1 0 391290342 455696384 100625 33554432000 134512640 146736320 4292609424 4292607656 136896830 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 111254 100625 612 2985 0 108188 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 454164
[startup+402.3 s]
/proc/loadavg: 2.00 2.54 3.32 3/180 3879
/proc/meminfo: memFree=23484896/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 1903556 0 0 0 141649 560 0 0 20 0 8 0 391290342 3003138048 531341 33554432000 134512640 146736320 4292609424 4292602120 136474442 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 733188 531341 945 2985 0 730122 0
[pid=3826/tid=3922] ppid=3825 vsize=2932752 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3922/stat : 3922 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 3003138048 531341 33554432000 134512640 146736320 4292609424 2835111568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3923] ppid=3825 vsize=2932752 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3923/stat : 3923 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 3003138048 531341 33554432000 134512640 146736320 4292609424 2845597328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3826/tid=3924] ppid=3825 vsize=2932752 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3924/stat : 3924 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 3003138048 531341 33554432000 134512640 146736320 4292609424 2856083088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3826/tid=3925] ppid=3825 vsize=2932752 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3925/stat : 3925 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 3003138048 531341 33554432000 134512640 146736320 4292609424 2866568848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3926] ppid=3825 vsize=2932752 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3926/stat : 3926 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 3003138048 531341 33554432000 134512640 146736320 4292609424 1731751568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3826/tid=3927] ppid=3825 vsize=2932752 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3927/stat : 3927 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 3003138048 531341 33554432000 134512640 146736320 4292609424 1721265808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3928] ppid=3825 vsize=2932752 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3928/stat : 3928 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 3003138048 531341 33554432000 134512640 146736320 4292609424 1710780048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.09
Current children cumulated vsize (KiB) 2941900
[startup+1482.3 s]
/proc/loadavg: 1.00 1.07 1.81 2/179 3929
/proc/meminfo: memFree=22929656/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=2929332 CPUtime=1482.07 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 1913449 0 0 0 147641 566 0 0 20 0 8 0 391290342 2999635968 540764 33554432000 134512640 146736320 4292609424 4292602104 136475800 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 732333 540764 945 2985 0 729267 0
[pid=3826/tid=3922] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3922/stat : 3922 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 2835111568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3923] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3923/stat : 3923 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 2845597328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3826/tid=3924] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3924/stat : 3924 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 2856083088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3826/tid=3925] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3925/stat : 3925 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 2866568848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3926] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3926/stat : 3926 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 1731751568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3826/tid=3927] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3927/stat : 3927 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 1721265808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3928] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3928/stat : 3928 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 1710780048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 2938480
Solver just ended. Dumping a history of the last processes samples
[startup+1484.7 s]
/proc/loadavg: 1.00 1.07 1.81 2/179 3929
/proc/meminfo: memFree=22929904/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=2929332 CPUtime=1484.47 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 1913776 0 0 0 147881 566 0 0 20 0 8 0 391290342 2999635968 540764 33554432000 134512640 146736320 4292609424 4292602140 135855174 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 732333 540764 945 2985 0 729267 0
[pid=3826/tid=3922] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3922/stat : 3922 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 2835111568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3923] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3923/stat : 3923 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 2845597328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3826/tid=3924] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3924/stat : 3924 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 2856083088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3826/tid=3925] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3925/stat : 3925 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 2866568848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3926] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3926/stat : 3926 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 1731751568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3826/tid=3927] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3927/stat : 3927 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 1721265808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3928] ppid=3825 vsize=2929332 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3928/stat : 3928 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 2999635968 540764 33554432000 134512640 146736320 4292609424 1710780048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1484.47
Current children cumulated vsize (KiB) 2938480
[startup+1510.31 s]
/proc/loadavg: 1.00 1.06 1.78 2/179 3929
/proc/meminfo: memFree=22928648/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=2930908 CPUtime=1510.07 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) R 3825 3825 2263 0 -1 4202496 1920291 0 0 0 150437 570 0 0 20 0 8 0 391290342 3001249792 541159 33554432000 134512640 146736320 4292609424 4292602116 136385167 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3826/statm: 732727 541159 945 2985 0 729661 0
[pid=3826/tid=3922] ppid=3825 vsize=2930908 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3922/stat : 3922 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 3001249792 541159 33554432000 134512640 146736320 4292609424 2835111568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3923] ppid=3825 vsize=2930908 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3923/stat : 3923 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 3001249792 541159 33554432000 134512640 146736320 4292609424 2845597328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3826/tid=3924] ppid=3825 vsize=2930908 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3924/stat : 3924 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 3001249792 541159 33554432000 134512640 146736320 4292609424 2856083088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3826/tid=3925] ppid=3825 vsize=2930908 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3925/stat : 3925 (pb_cplex) S 3825 3825 2263 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391419519 3001249792 541159 33554432000 134512640 146736320 4292609424 2866568848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3926] ppid=3825 vsize=2930908 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3926/stat : 3926 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 3001249792 541159 33554432000 134512640 146736320 4292609424 1731751568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3826/tid=3927] ppid=3825 vsize=2930908 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3927/stat : 3927 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 3001249792 541159 33554432000 134512640 146736320 4292609424 1721265808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3826/tid=3928] ppid=3825 vsize=2930908 CPUtime=0 cores=0,2,4,6
/proc/3826/task/3928/stat : 3928 (pb_cplex) S 3825 3825 2263 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391419519 3001249792 541159 33554432000 134512640 146736320 4292609424 1710780048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1510.07
Current children cumulated vsize (KiB) 2940056
[startup+1516.7 s]
/proc/loadavg: 1.00 1.06 1.78 3/173 3930
/proc/meminfo: memFree=23703460/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=684616 CPUtime=1516.22 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) S 3825 3825 2263 0 -1 4204032 2011316 0 0 0 150957 665 0 0 20 0 1 0 391290342 701046784 152150 33554432000 134512640 146736320 4292609424 4292607916 144864592 0 0 4096 16387 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3826/statm: 171154 152150 1270 2985 0 168088 0
Current children cumulated CPU time (s) 1516.22
Current children cumulated vsize (KiB) 693764
[startup+1519.9 s]
/proc/loadavg: 1.00 1.06 1.78 1/173 3930
/proc/meminfo: memFree=23681760/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=684616 CPUtime=1516.22 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) S 3825 3825 2263 0 -1 4204032 2011316 0 0 0 150957 665 0 0 20 0 1 0 391290342 701046784 152150 33554432000 134512640 146736320 4292609424 4292607916 144864592 0 0 4096 16387 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3826/statm: 171154 152150 1270 2985 0 168088 0
Current children cumulated CPU time (s) 1516.22
Current children cumulated vsize (KiB) 693764
[startup+1521.5 s]
/proc/loadavg: 1.16 1.09 1.78 1/173 3930
/proc/meminfo: memFree=23682132/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=684616 CPUtime=1516.22 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) S 3825 3825 2263 0 -1 4204032 2011316 0 0 0 150957 665 0 0 20 0 1 0 391290342 701046784 152150 33554432000 134512640 146736320 4292609424 4292607916 144864592 0 0 4096 16387 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3826/statm: 171154 152150 1270 2985 0 168088 0
Current children cumulated CPU time (s) 1516.22
Current children cumulated vsize (KiB) 693764
[startup+1522.3 s]
/proc/loadavg: 1.16 1.09 1.78 1/173 3930
/proc/meminfo: memFree=23681196/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=684616 CPUtime=1516.22 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) S 3825 3825 2263 0 -1 4204032 2011316 0 0 0 150957 665 0 0 20 0 1 0 391290342 701046784 152150 33554432000 134512640 146736320 4292609424 4292607916 144864592 0 0 4096 16387 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3826/statm: 171154 152150 1270 2985 0 168088 0
Current children cumulated CPU time (s) 1516.22
Current children cumulated vsize (KiB) 693764
[startup+1522.7 s]
/proc/loadavg: 1.16 1.09 1.78 1/173 3930
/proc/meminfo: memFree=23681196/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=684616 CPUtime=1516.22 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) S 3825 3825 2263 0 -1 4204032 2011316 0 0 0 150957 665 0 0 20 0 1 0 391290342 701046784 152150 33554432000 134512640 146736320 4292609424 4292607916 144864592 0 0 4096 16387 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3826/statm: 171154 152150 1270 2985 0 168088 0
Current children cumulated CPU time (s) 1516.22
Current children cumulated vsize (KiB) 693764
[startup+1523.1 s]
/proc/loadavg: 1.16 1.09 1.78 1/173 3930
/proc/meminfo: memFree=23681196/32873660 swapFree=7120/7120
[pid=3825] ppid=3823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3825/stat : 3825 (run) S 3823 3825 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391290342 9367552 270 33554432000 4194304 5064252 140736226825760 140736226824672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3825/statm: 2287 270 229 213 0 72 0
[pid=3826] ppid=3825 vsize=684616 CPUtime=1516.22 cores=0,2,4,6
/proc/3826/stat : 3826 (pb_cplex) S 3825 3825 2263 0 -1 4204032 2011316 0 0 0 150957 665 0 0 20 0 1 0 391290342 701046784 152150 33554432000 134512640 146736320 4292609424 4292607916 144864592 0 0 4096 16387 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3826/statm: 171154 152150 1270 2985 0 168088 0
Current children cumulated CPU time (s) 1516.22
Current children cumulated vsize (KiB) 693764
Child status: 134
Real time (s): 1523.17
CPU time (s): 1516.24
CPU user time (s): 1509.57
CPU system time (s): 6.66699
CPU usage (%): 99.5452
Max. virtual memory (cumulated for all children) (KiB): 4122432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1509.57
system time used= 6.66699
maximum resident set size= 2913692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2011682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161131
involuntary context switches= 2256
runsolver used 3.07953 second user time and 8.11577 second system time
The end