PB'12 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
PB10: pb_cplex 2010-06-29	OPT	-14	963.04	274.282

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-3737656-1339248775/watcher-3737656-1339248775 -o /tmp/evaluation-result-3737656-1339248775/solver-3737656-1339248775 -C 1800 -W 1900 -M 15500 run HOME/instance-3737656-1339248775.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: 4.92 7.31 7.03 3/177 3537
/proc/meminfo: memFree=28773212/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0

[startup+0.0200089 s]
/proc/loadavg: 4.92 7.31 7.03 3/177 3537
/proc/meminfo: memFree=28773212/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100318 s]
/proc/loadavg: 4.92 7.31 7.03 3/177 3537
/proc/meminfo: memFree=28773212/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300227 s]
/proc/loadavg: 4.92 7.31 7.03 3/177 3537
/proc/meminfo: memFree=28773212/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700243 s]
/proc/loadavg: 4.92 7.31 7.03 3/177 3537
/proc/meminfo: memFree=28773212/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50031 s]
/proc/loadavg: 4.92 7.31 7.03 3/179 3539
/proc/meminfo: memFree=28766884/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=19824 CPUtime=1.48 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) R 3537 3537 2525 0 -1 4202496 3658 0 0 0 148 0 0 0 20 0 1 0 391004239 20299776 2505 33554432000 134512640 146736320 4293828048 4293822472 136000316 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3538/statm: 4956 2505 904 2985 0 1890 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28972

[startup+3.10031 s]
/proc/loadavg: 4.92 7.31 7.03 3/180 3540
/proc/meminfo: memFree=28766496/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=19980 CPUtime=3.08 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) R 3537 3537 2525 0 -1 4202496 3997 0 0 0 308 0 0 0 20 0 1 0 391004239 20459520 2555 33554432000 134512640 146736320 4293828048 4293821944 136015544 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/3538/statm: 4995 2555 910 2985 0 1929 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29128

[startup+6.30038 s]
/proc/loadavg: 4.68 7.22 7.01 10/187 3547
/proc/meminfo: memFree=28748328/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=116180 CPUtime=9.65 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) R 3537 3537 2525 0 -1 4202496 9308 0 0 0 962 3 0 0 20 0 8 0 391004239 118968320 7374 33554432000 134512640 146736320 4293828048 4293821672 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3538/statm: 29045 7374 953 2985 0 25979 0
[pid=3538/tid=3541] ppid=3537 vsize=116180 CPUtime=0.49 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (pb_cplex) R 3537 3537 2525 0 -1 4202560 329 0 0 0 49 0 0 0 20 0 8 0 391004606 118968320 7374 33554432000 134512640 146736320 4293828048 4150681656 136475862 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3542] ppid=3537 vsize=116180 CPUtime=0.55 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (pb_cplex) R 3537 3537 2525 0 -1 4202560 397 0 0 0 55 0 0 0 20 0 8 0 391004606 118968320 7374 33554432000 134512640 146736320 4293828048 4140196232 136388013 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3543] ppid=3537 vsize=116180 CPUtime=0.67 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (pb_cplex) R 3537 3537 2525 0 -1 4202560 393 0 0 0 67 0 0 0 20 0 8 0 391004606 118968320 7374 33554432000 134512640 146736320 4293828048 4129710288 136008065 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3544] ppid=3537 vsize=116180 CPUtime=0.55 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (pb_cplex) R 3537 3537 2525 0 -1 4202560 358 0 0 0 55 0 0 0 20 0 8 0 391004606 118968320 7374 33554432000 134512640 146736320 4293828048 4119224944 136385268 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3545] ppid=3537 vsize=116180 CPUtime=0.47 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (pb_cplex) S 3537 3537 2525 0 -1 4202560 410 0 0 0 47 0 0 0 20 0 8 0 391004606 118968320 7374 33554432000 134512640 146736320 4293828048 4108742288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3546] ppid=3537 vsize=116180 CPUtime=0.49 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (pb_cplex) S 3537 3537 2525 0 -1 4202560 461 0 0 0 49 0 0 0 20 0 8 0 391004606 118968320 7374 33554432000 134512640 146736320 4293828048 4098256528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3547] ppid=3537 vsize=116180 CPUtime=0.54 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (pb_cplex) S 3537 3537 2525 0 -1 4202560 383 0 0 0 54 0 0 0 20 0 8 0 391004606 118968320 7374 33554432000 134512640 146736320 4293828048 4087770768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 125328

[startup+12.7004 s]
/proc/loadavg: 4.47 7.13 6.98 3/187 3547
/proc/meminfo: memFree=28726208/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=139024 CPUtime=33.42 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) R 3537 3537 2525 0 -1 4202496 22193 0 0 0 3332 10 0 0 20 0 8 0 391004239 142360576 13029 33554432000 134512640 146736320 4293828048 4293820824 136007289 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3538/statm: 34756 13029 953 2985 0 31690 0
[pid=3538/tid=3541] ppid=3537 vsize=139024 CPUtime=3.78 cores=0,2,4,6
/proc/3538/task/3541/stat : 3541 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1931 0 0 0 378 0 0 0 20 0 8 0 391004606 142360576 13029 33554432000 134512640 146736320 4293828048 4150681808 136008172 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3542] ppid=3537 vsize=139024 CPUtime=3.91 cores=0,2,4,6
/proc/3538/task/3542/stat : 3542 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1569 0 0 0 391 0 0 0 20 0 8 0 391004606 142360576 13029 33554432000 134512640 146736320 4293828048 4140196840 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3543] ppid=3537 vsize=139024 CPUtime=3.56 cores=0,2,4,6
/proc/3538/task/3543/stat : 3543 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1805 0 0 0 356 0 0 0 20 0 8 0 391004606 142360576 13029 33554432000 134512640 146736320 4293828048 4129710120 139044555 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3544] ppid=3537 vsize=139024 CPUtime=3.48 cores=0,2,4,6
/proc/3538/task/3544/stat : 3544 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1824 0 0 0 347 1 0 0 20 0 8 0 391004606 142360576 13029 33554432000 134512640 146736320 4293828048 4119224528 136008245 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3545] ppid=3537 vsize=139024 CPUtime=3.68 cores=0,2,4,6
/proc/3538/task/3545/stat : 3545 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2536 0 0 0 367 1 0 0 20 0 8 0 391004606 142360576 13029 33554432000 134512640 146736320 4293828048 4108739560 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3546] ppid=3537 vsize=139024 CPUtime=3.11 cores=0,2,4,6
/proc/3538/task/3546/stat : 3546 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2257 0 0 0 310 1 0 0 20 0 8 0 391004606 142360576 13029 33554432000 134512640 146736320 4293828048 4098251216 135459614 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3547] ppid=3537 vsize=139024 CPUtime=2.98 cores=0,2,4,6
/proc/3538/task/3547/stat : 3547 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2628 0 0 0 297 1 0 0 20 0 8 0 391004606 142360576 13029 33554432000 134512640 146736320 4293828048 4087767248 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 33.42
Current children cumulated vsize (KiB) 148172

[startup+25.5004 s]
/proc/loadavg: 4.48 7.00 6.94 7/187 3561
/proc/meminfo: memFree=28714116/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=163596 CPUtime=60.74 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) S 3537 3537 2525 0 -1 4202496 46309 0 0 0 6042 32 0 0 20 0 8 0 391004239 167522304 18108 33554432000 134512640 146736320 4293828048 4293824400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3538/statm: 40899 18108 977 2985 0 37833 0
[pid=3538/tid=3555] ppid=3537 vsize=163596 CPUtime=1.68 cores=0,2,4,6
/proc/3538/task/3555/stat : 3555 (pb_cplex) R 3537 3537 2525 0 -1 4202560 951 0 0 0 168 0 0 0 20 0 8 0 391006173 167522304 18108 33554432000 134512640 146736320 4293828048 4130840956 139023073 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3556] ppid=3537 vsize=163596 CPUtime=1.81 cores=0,2,4,6
/proc/3538/task/3556/stat : 3556 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1406 0 0 0 181 0 0 0 20 0 8 0 391006173 167522304 18108 33554432000 134512640 146736320 4293828048 4141327336 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3557] ppid=3537 vsize=163596 CPUtime=1.8 cores=0,2,4,6
/proc/3538/task/3557/stat : 3557 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1933 0 0 0 180 0 0 0 20 0 8 0 391006173 167522304 18108 33554432000 134512640 146736320 4293828048 4151811224 136008689 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3558] ppid=3537 vsize=163596 CPUtime=1.11 cores=0,2,4,6
/proc/3538/task/3558/stat : 3558 (pb_cplex) S 3537 3537 2525 0 -1 4202560 21 0 0 0 111 0 0 0 20 0 8 0 391006173 167522304 18108 33554432000 134512640 146736320 4293828048 4119228048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3559] ppid=3537 vsize=163596 CPUtime=1.91 cores=0,2,4,6
/proc/3538/task/3559/stat : 3559 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1641 0 0 0 191 0 0 0 20 0 8 0 391006173 167522304 18108 33554432000 134512640 146736320 4293828048 4071611536 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3560] ppid=3537 vsize=163596 CPUtime=1.58 cores=0,2,4,6
/proc/3538/task/3560/stat : 3560 (pb_cplex) R 3537 3537 2525 0 -1 4202560 24 0 0 0 158 0 0 0 20 0 8 0 391006173 167522304 18108 33554432000 134512640 146736320 4293828048 4061126864 136008450 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3561] ppid=3537 vsize=163596 CPUtime=1.31 cores=0,2,4,6
/proc/3538/task/3561/stat : 3561 (pb_cplex) S 3537 3537 2525 0 -1 4202560 1227 0 0 0 131 0 0 0 20 0 8 0 391006173 167522304 18108 33554432000 134512640 146736320 4293828048 4050644624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 60.74
Current children cumulated vsize (KiB) 172744

[startup+51.1005 s]
/proc/loadavg: 6.02 7.16 6.99 4/187 3561
/proc/meminfo: memFree=28701204/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=175884 CPUtime=154.51 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) S 3537 3537 2525 0 -1 4202496 59041 0 0 0 15369 82 0 0 20 0 8 0 391004239 180105216 21134 33554432000 134512640 146736320 4293828048 4293824400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3538/statm: 43971 21134 977 2985 0 40905 0
[pid=3538/tid=3555] ppid=3537 vsize=175884 CPUtime=13.91 cores=0,2,4,6
/proc/3538/task/3555/stat : 3555 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1561 0 0 0 1384 7 0 0 20 0 8 0 391006173 180105216 21134 33554432000 134512640 146736320 4293828048 4130841576 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3556] ppid=3537 vsize=175884 CPUtime=13.43 cores=0,2,4,6
/proc/3538/task/3556/stat : 3556 (pb_cplex) S 3537 3537 2525 0 -1 4202560 2837 0 0 0 1337 6 0 0 20 0 8 0 391006173 180105216 21134 33554432000 134512640 146736320 4293828048 4141330064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3557] ppid=3537 vsize=175884 CPUtime=14.13 cores=0,2,4,6
/proc/3538/task/3557/stat : 3557 (pb_cplex) S 3537 3537 2525 0 -1 4202560 2202 0 0 0 1407 6 0 0 20 0 8 0 391006173 180105216 21134 33554432000 134512640 146736320 4293828048 4151815824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3558] ppid=3537 vsize=175884 CPUtime=12.57 cores=0,2,4,6
/proc/3538/task/3558/stat : 3558 (pb_cplex) S 3537 3537 2525 0 -1 4202560 3175 0 0 0 1249 8 0 0 20 0 8 0 391006173 180105216 21134 33554432000 134512640 146736320 4293828048 4119228048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3559] ppid=3537 vsize=175884 CPUtime=13.56 cores=0,2,4,6
/proc/3538/task/3559/stat : 3559 (pb_cplex) S 3537 3537 2525 0 -1 4202560 2141 0 0 0 1350 6 0 0 20 0 8 0 391006173 180105216 21134 33554432000 134512640 146736320 4293828048 4071616144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3560] ppid=3537 vsize=175884 CPUtime=13.86 cores=0,2,4,6
/proc/3538/task/3560/stat : 3560 (pb_cplex) S 3537 3537 2525 0 -1 4202560 598 0 0 0 1379 7 0 0 20 0 8 0 391006173 180105216 21134 33554432000 134512640 146736320 4293828048 4061130384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3561] ppid=3537 vsize=175884 CPUtime=12.61 cores=0,2,4,6
/proc/3538/task/3561/stat : 3561 (pb_cplex) S 3537 3537 2525 0 -1 4202560 6032 0 0 0 1254 7 0 0 20 0 8 0 391006173 180105216 21134 33554432000 134512640 146736320 4293828048 4050644624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 154.51
Current children cumulated vsize (KiB) 185032

[startup+102.307 s]
/proc/loadavg: 6.89 7.22 7.02 8/186 3568
/proc/meminfo: memFree=28681528/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=194340 CPUtime=339.83 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) S 3537 3537 2525 0 -1 4202496 78301 0 0 0 33776 207 0 0 20 0 8 0 391004239 199004160 26257 33554432000 134512640 146736320 4293828048 4293824400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0

################
# More data... #
################

[pid=3538/tid=3577] ppid=3537 vsize=213616 CPUtime=42.07 cores=0,2,4,6
/proc/3538/task/3577/stat : 3577 (pb_cplex) S 3537 3537 2525 0 -1 4202560 2204 0 0 0 4178 29 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4061130212 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3578] ppid=3537 vsize=213616 CPUtime=42.3 cores=0,2,4,6
/proc/3538/task/3578/stat : 3578 (pb_cplex) S 3537 3537 2525 0 -1 4202560 1550 0 0 0 4200 30 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4071615972 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3579] ppid=3537 vsize=213616 CPUtime=43 cores=0,2,4,6
/proc/3538/task/3579/stat : 3579 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2232 0 0 0 4269 31 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4119228016 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3580] ppid=3537 vsize=213616 CPUtime=42.8 cores=0,2,4,6
/proc/3538/task/3580/stat : 3580 (pb_cplex) S 3537 3537 2525 0 -1 4202560 693 0 0 0 4248 32 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4150939248 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3581] ppid=3537 vsize=213616 CPUtime=42.55 cores=0,2,4,6
/proc/3538/task/3581/stat : 3581 (pb_cplex) S 3537 3537 2525 0 -1 4202560 3557 0 0 0 4217 38 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4140453488 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3582] ppid=3537 vsize=213616 CPUtime=43.05 cores=0,2,4,6
/proc/3538/task/3582/stat : 3582 (pb_cplex) S 3537 3537 2525 0 -1 4202560 1572 0 0 0 4274 31 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 3991924336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 922.15
Current children cumulated vsize (KiB) 222764

[startup+268.7 s]
/proc/loadavg: 7.91 7.70 7.24 3/193 3597
/proc/meminfo: memFree=28584904/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=213616 CPUtime=945.01 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) R 3537 3537 2525 0 -1 4202496 102135 0 0 0 93828 673 0 0 20 0 8 0 391004239 218742784 30695 33554432000 134512640 146736320 4293828048 4293819836 135453306 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3538/statm: 53404 30695 978 2985 0 50338 0
[pid=3538/tid=3576] ppid=3537 vsize=213616 CPUtime=45.83 cores=0,2,4,6
/proc/3538/task/3576/stat : 3576 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1299 0 0 0 4546 37 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4050640512 135656018 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3577] ppid=3537 vsize=213616 CPUtime=44.91 cores=0,2,4,6
/proc/3538/task/3577/stat : 3577 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2204 0 0 0 4458 33 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4061127656 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3578] ppid=3537 vsize=213616 CPUtime=45.2 cores=0,2,4,6
/proc/3538/task/3578/stat : 3578 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1550 0 0 0 4487 33 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4071612528 136384883 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3579] ppid=3537 vsize=213616 CPUtime=45.78 cores=0,2,4,6
/proc/3538/task/3579/stat : 3579 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2232 0 0 0 4545 33 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4119224912 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3580] ppid=3537 vsize=213616 CPUtime=45.58 cores=0,2,4,6
/proc/3538/task/3580/stat : 3580 (pb_cplex) R 3537 3537 2525 0 -1 4202560 693 0 0 0 4522 36 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4150935624 139042977 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3581] ppid=3537 vsize=213616 CPUtime=45.51 cores=0,2,4,6
/proc/3538/task/3581/stat : 3581 (pb_cplex) R 3537 3537 2525 0 -1 4202560 3557 0 0 0 4510 41 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4140449884 135855120 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3582] ppid=3537 vsize=213616 CPUtime=45.96 cores=0,2,4,6
/proc/3538/task/3582/stat : 3582 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1572 0 0 0 4561 35 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 3991921640 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 945.01
Current children cumulated vsize (KiB) 222764

[startup+271.9 s]
/proc/loadavg: 7.92 7.70 7.24 8/193 3597
/proc/meminfo: memFree=28585028/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=213616 CPUtime=955.21 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) S 3537 3537 2525 0 -1 4202496 102139 0 0 0 94834 687 0 0 20 0 8 0 391004239 218742784 30695 33554432000 134512640 146736320 4293828048 4293824400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3538/statm: 53404 30695 978 2985 0 50338 0
[pid=3538/tid=3576] ppid=3537 vsize=213616 CPUtime=47.2 cores=0,2,4,6
/proc/3538/task/3576/stat : 3576 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1299 0 0 0 4681 39 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4050641896 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3577] ppid=3537 vsize=213616 CPUtime=46.14 cores=0,2,4,6
/proc/3538/task/3577/stat : 3577 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2204 0 0 0 4579 35 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4061126864 136007973 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3578] ppid=3537 vsize=213616 CPUtime=46.32 cores=0,2,4,6
/proc/3538/task/3578/stat : 3578 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1550 0 0 0 4598 34 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4071612484 136385177 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3579] ppid=3537 vsize=213616 CPUtime=47.07 cores=0,2,4,6
/proc/3538/task/3579/stat : 3579 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2234 0 0 0 4673 34 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4119225152 135231536 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3580] ppid=3537 vsize=213616 CPUtime=47.06 cores=0,2,4,6
/proc/3538/task/3580/stat : 3580 (pb_cplex) R 3537 3537 2525 0 -1 4202560 693 0 0 0 4669 37 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4150936192 139046530 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3581] ppid=3537 vsize=213616 CPUtime=46.64 cores=0,2,4,6
/proc/3538/task/3581/stat : 3581 (pb_cplex) R 3537 3537 2525 0 -1 4202560 3559 0 0 0 4622 42 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 4140450792 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3582] ppid=3537 vsize=213616 CPUtime=47.22 cores=0,2,4,6
/proc/3538/task/3582/stat : 3582 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1572 0 0 0 4684 38 0 0 20 0 8 0 391021067 218742784 30695 33554432000 134512640 146736320 4293828048 3991920276 135456445 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 955.21
Current children cumulated vsize (KiB) 222764

[startup+273.5 s]
/proc/loadavg: 7.92 7.70 7.24 8/193 3597
/proc/meminfo: memFree=28585044/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=212592 CPUtime=960.27 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) R 3537 3537 2525 0 -1 4202496 102139 0 0 0 95334 693 0 0 20 0 8 0 391004239 217694208 30623 33554432000 134512640 146736320 4293828048 4293822232 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3538/statm: 53148 30623 978 2985 0 50082 0
[pid=3538/tid=3576] ppid=3537 vsize=212592 CPUtime=47.8 cores=0,2,4,6
/proc/3538/task/3576/stat : 3576 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1299 0 0 0 4740 40 0 0 20 0 8 0 391021067 217694208 30623 33554432000 134512640 146736320 4293828048 4050641896 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3577] ppid=3537 vsize=212592 CPUtime=46.72 cores=0,2,4,6
/proc/3538/task/3577/stat : 3577 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2204 0 0 0 4636 36 0 0 20 0 8 0 391021067 217694208 30623 33554432000 134512640 146736320 4293828048 4061127248 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3578] ppid=3537 vsize=212592 CPUtime=46.9 cores=0,2,4,6
/proc/3538/task/3578/stat : 3578 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1550 0 0 0 4655 35 0 0 20 0 8 0 391021067 217694208 30623 33554432000 134512640 146736320 4293828048 4071615064 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3579] ppid=3537 vsize=212592 CPUtime=47.7 cores=0,2,4,6
/proc/3538/task/3579/stat : 3579 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2234 0 0 0 4735 35 0 0 20 0 8 0 391021067 217694208 30623 33554432000 134512640 146736320 4293828048 4119228048 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3580] ppid=3537 vsize=212592 CPUtime=47.69 cores=0,2,4,6
/proc/3538/task/3580/stat : 3580 (pb_cplex) S 3537 3537 2525 0 -1 4202560 693 0 0 0 4731 38 0 0 20 0 8 0 391021067 217694208 30623 33554432000 134512640 146736320 4293828048 4150939280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3581] ppid=3537 vsize=212592 CPUtime=47.23 cores=0,2,4,6
/proc/3538/task/3581/stat : 3581 (pb_cplex) S 3537 3537 2525 0 -1 4202560 3559 0 0 0 4680 43 0 0 20 0 8 0 391021067 217694208 30623 33554432000 134512640 146736320 4293828048 4140453520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3582] ppid=3537 vsize=212592 CPUtime=48.04 cores=0,2,4,6
/proc/3538/task/3582/stat : 3582 (pb_cplex) S 3537 3537 2525 0 -1 4202560 1572 0 0 0 4765 39 0 0 20 0 8 0 391021067 217694208 30623 33554432000 134512640 146736320 4293828048 3991924368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 960.27
Current children cumulated vsize (KiB) 221740

[startup+273.907 s]
/proc/loadavg: 7.92 7.70 7.24 10/193 3597
/proc/meminfo: memFree=28585788/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=212592 CPUtime=961.67 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) S 3537 3537 2525 0 -1 4202496 102139 0 0 0 95471 696 0 0 20 0 8 0 391004239 217694208 30462 33554432000 134512640 146736320 4293828048 4293824400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3538/statm: 53148 30462 978 2985 0 50082 0
[pid=3538/tid=3576] ppid=3537 vsize=212592 CPUtime=47.97 cores=0,2,4,6
/proc/3538/task/3576/stat : 3576 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1299 0 0 0 4757 40 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4050643544 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3577] ppid=3537 vsize=212592 CPUtime=46.87 cores=0,2,4,6
/proc/3538/task/3577/stat : 3577 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2204 0 0 0 4651 36 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4061127556 135850319 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3578] ppid=3537 vsize=212592 CPUtime=47.06 cores=0,2,4,6
/proc/3538/task/3578/stat : 3578 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1550 0 0 0 4671 35 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4071612624 136008450 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3579] ppid=3537 vsize=212592 CPUtime=47.89 cores=0,2,4,6
/proc/3538/task/3579/stat : 3579 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2234 0 0 0 4754 35 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4119225996 137381127 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3580] ppid=3537 vsize=212592 CPUtime=47.87 cores=0,2,4,6
/proc/3538/task/3580/stat : 3580 (pb_cplex) R 3537 3537 2525 0 -1 4202560 693 0 0 0 4748 39 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4150937112 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3581] ppid=3537 vsize=212592 CPUtime=47.41 cores=0,2,4,6
/proc/3538/task/3581/stat : 3581 (pb_cplex) R 3537 3537 2525 0 -1 4202560 3559 0 0 0 4698 43 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4140451468 137381135 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3582] ppid=3537 vsize=212592 CPUtime=48.21 cores=0,2,4,6
/proc/3538/task/3582/stat : 3582 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1572 0 0 0 4782 39 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 3991921640 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 961.67
Current children cumulated vsize (KiB) 221740

[startup+274.1 s]
/proc/loadavg: 7.92 7.70 7.24 10/193 3597
/proc/meminfo: memFree=28585788/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=212592 CPUtime=962.34 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) R 3537 3537 2525 0 -1 4202496 102139 0 0 0 95537 697 0 0 20 0 8 0 391004239 217694208 30462 33554432000 134512640 146736320 4293828048 4293824400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3538/statm: 53148 30462 978 2985 0 50082 0
[pid=3538/tid=3576] ppid=3537 vsize=212592 CPUtime=48.07 cores=0,2,4,6
/proc/3538/task/3576/stat : 3576 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1299 0 0 0 4767 40 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4050642488 137386749 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3577] ppid=3537 vsize=212592 CPUtime=46.95 cores=0,2,4,6
/proc/3538/task/3577/stat : 3577 (pb_cplex) S 3537 3537 2525 0 -1 4202560 2204 0 0 0 4659 36 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4061130384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3578] ppid=3537 vsize=212592 CPUtime=47.14 cores=0,2,4,6
/proc/3538/task/3578/stat : 3578 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1550 0 0 0 4679 35 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4071614348 137374964 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3579] ppid=3537 vsize=212592 CPUtime=47.96 cores=0,2,4,6
/proc/3538/task/3579/stat : 3579 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2234 0 0 0 4761 35 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4119225912 137386701 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3580] ppid=3537 vsize=212592 CPUtime=47.96 cores=0,2,4,6
/proc/3538/task/3580/stat : 3580 (pb_cplex) R 3537 3537 2525 0 -1 4202560 693 0 0 0 4757 39 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4150935476 135450735 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3581] ppid=3537 vsize=212592 CPUtime=47.5 cores=0,2,4,6
/proc/3538/task/3581/stat : 3581 (pb_cplex) R 3537 3537 2525 0 -1 4202560 3559 0 0 0 4707 43 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4140452508 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3582] ppid=3537 vsize=212592 CPUtime=48.29 cores=0,2,4,6
/proc/3538/task/3582/stat : 3582 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1572 0 0 0 4790 39 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 3991923288 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 962.34
Current children cumulated vsize (KiB) 221740

[startup+274.2 s]
/proc/loadavg: 7.92 7.70 7.24 10/193 3597
/proc/meminfo: memFree=28585788/32873648 swapFree=7372/7372
[pid=3537] ppid=3535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3537/stat : 3537 (run) S 3535 3537 2525 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391004238 9367552 269 33554432000 4194304 5064252 140735400189360 140735400188272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3537/statm: 2287 269 229 213 0 72 0
[pid=3538] ppid=3537 vsize=212592 CPUtime=962.66 cores=0,2,4,6
/proc/3538/stat : 3538 (pb_cplex) R 3537 3537 2525 0 -1 4202496 102139 0 0 0 95569 697 0 0 20 0 8 0 391004239 217694208 30462 33554432000 134512640 146736320 4293828048 4293823436 139023104 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3538/statm: 53148 30462 978 2985 0 50082 0
[pid=3538/tid=3576] ppid=3537 vsize=212592 CPUtime=48.11 cores=0,2,4,6
/proc/3538/task/3576/stat : 3576 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1299 0 0 0 4771 40 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4050643544 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=3538/tid=3577] ppid=3537 vsize=212592 CPUtime=46.99 cores=0,2,4,6
/proc/3538/task/3577/stat : 3577 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2204 0 0 0 4663 36 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4061128216 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3538/tid=3578] ppid=3537 vsize=212592 CPUtime=47.17 cores=0,2,4,6
/proc/3538/task/3578/stat : 3578 (pb_cplex) R 3537 3537 2525 0 -1 4202560 1550 0 0 0 4682 35 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4071614912 137014883 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3579] ppid=3537 vsize=212592 CPUtime=48 cores=0,2,4,6
/proc/3538/task/3579/stat : 3579 (pb_cplex) R 3537 3537 2525 0 -1 4202560 2234 0 0 0 4765 35 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4119225320 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3580] ppid=3537 vsize=212592 CPUtime=48 cores=0,2,4,6
/proc/3538/task/3580/stat : 3580 (pb_cplex) R 3537 3537 2525 0 -1 4202560 693 0 0 0 4761 39 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4150939280 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=3538/tid=3581] ppid=3537 vsize=212592 CPUtime=47.55 cores=0,2,4,6
/proc/3538/task/3581/stat : 3581 (pb_cplex) S 3537 3537 2525 0 -1 4202560 3559 0 0 0 4712 43 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 4140453520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3538/tid=3582] ppid=3537 vsize=212592 CPUtime=48.34 cores=0,2,4,6
/proc/3538/task/3582/stat : 3582 (pb_cplex) S 3537 3537 2525 0 -1 4202560 1572 0 0 0 4795 39 0 0 20 0 8 0 391021067 217694208 30462 33554432000 134512640 146736320 4293828048 3991924368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 962.66
Current children cumulated vsize (KiB) 221740

Child status: 0
Real time (s): 274.282
CPU time (s): 963.04
CPU user time (s): 955.969
CPU system time (s): 7.07092
CPU usage (%): 351.113
Max. virtual memory (cumulated for all children) (KiB): 228040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 955.969
system time used= 7.07092
maximum resident set size= 127896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102525
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= 89968
involuntary context switches= 58630

runsolver used 0.642902 second user time and 1.82272 second system time

The end

Begin job on node115 at 2012-06-09 15:32:55
IDJOB=3737656
IDBENCH=48277
IDSOLVER=2325
FILE ID=node115/3737656-1339248775
RUNJOBID= node115-1339246833-2542
PBS_JOBID= 14644366
Free space on /tmp= 70256 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737656-1339248775/watcher-3737656-1339248775 -o /tmp/evaluation-result-3737656-1339248775/solver-3737656-1339248775 -C 1800 -W 1900 -M 15500  run HOME/instance-3737656-1339248775.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=1706488785

node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28773740 kB
Buffers:          347820 kB
Cached:          2789584 kB
SwapCached:         2180 kB
Active:          1487344 kB
Inactive:        1710444 kB
Active(anon):      57428 kB
Inactive(anon):     2272 kB
Active(file):    1429916 kB
Inactive(file):  1708172 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67100232 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:        105380 kB
Mapped:            12724 kB
Shmem:                 0 kB
Slab:             761432 kB
SReclaimable:     205536 kB
SUnreclaim:       555896 kB
KernelStack:        1544 kB
PageTables:         4508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     188656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737656-1339248775.opb

Free space on /tmp at the end= 70240 MiB
End job on node115 at 2012-06-09 15:37:29

Name	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM	3258ae2375db1ca5a9ce9d305f00baf0
Bench Category	OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	-14
Best CPU time to get the best result obtained on this benchmark	160.333
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-14
Optimality of the best value was proved	NO
Number of variables	100
Total number of constraints	151
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	101
Minimum length of a constraint	2
Maximum length of a constraint	100
Number of terms in the objective function	50
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	50
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	100
Number of bits of the biggest sum of numbers	7
Number of products (including duplicates)	1228
Sum of products size (including duplicates)	2456
Number of different products	614
Sum of products size	1228

Trace number 3737656

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data