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	1480.87	416.629

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-3737370-1339248643/watcher-3737370-1339248643 -o /tmp/evaluation-result-3737370-1339248643/solver-3737370-1339248643 -C 1800 -W 1900 -M 15500 run HOME/instance-3737370-1339248643.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.10 2.26 4/185 803
/proc/meminfo: memFree=30740512/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0

[startup+0.060434 s]
/proc/loadavg: 2.15 2.10 2.26 4/185 803
/proc/meminfo: memFree=30740512/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100229 s]
/proc/loadavg: 2.15 2.10 2.26 4/185 803
/proc/meminfo: memFree=30740512/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300174 s]
/proc/loadavg: 2.15 2.10 2.26 4/185 803
/proc/meminfo: memFree=30740512/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700172 s]
/proc/loadavg: 2.15 2.10 2.26 4/185 803
/proc/meminfo: memFree=30740512/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50026 s]
/proc/loadavg: 2.15 2.10 2.26 3/187 805
/proc/meminfo: memFree=30734668/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=101128 CPUtime=1.49 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) R 803 803 415 0 -1 4202496 5662 0 0 0 148 1 0 0 20 0 8 0 390989949 103555072 4331 33554432000 134512640 146736320 4290252288 4290245384 136001978 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/804/statm: 25282 4331 932 2985 0 22216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110276

[startup+3.10037 s]
/proc/loadavg: 2.15 2.10 2.26 3/193 812
/proc/meminfo: memFree=30725652/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=101560 CPUtime=3.09 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) R 803 803 415 0 -1 4202496 5815 0 0 0 308 1 0 0 20 0 8 0 390989949 103997440 4462 33554432000 134512640 146736320 4290252288 4290244928 136018936 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/804/statm: 25390 4462 936 2985 0 22324 0
[pid=804/tid=806] ppid=803 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/804/task/806/stat : 806 (pb_cplex) S 803 803 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390990086 103997440 4462 33554432000 134512640 146736320 4290252288 4150685328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=807] ppid=803 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/804/task/807/stat : 807 (pb_cplex) S 803 803 415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390990086 103997440 4462 33554432000 134512640 146736320 4290252288 4140199568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=808] ppid=803 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/804/task/808/stat : 808 (pb_cplex) S 803 803 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390990086 103997440 4462 33554432000 134512640 146736320 4290252288 4129713808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=804/tid=809] ppid=803 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/804/task/809/stat : 809 (pb_cplex) S 803 803 415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390990086 103997440 4462 33554432000 134512640 146736320 4290252288 4119228048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=804/tid=810] ppid=803 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/804/task/810/stat : 810 (pb_cplex) S 803 803 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390990086 103997440 4462 33554432000 134512640 146736320 4290252288 4108742288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=811] ppid=803 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/804/task/811/stat : 811 (pb_cplex) S 803 803 415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390990086 103997440 4462 33554432000 134512640 146736320 4290252288 4098256528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=804/tid=812] ppid=803 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/804/task/812/stat : 812 (pb_cplex) S 803 803 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390990086 103997440 4462 33554432000 134512640 146736320 4290252288 4087770768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110708

[startup+6.30043 s]
/proc/loadavg: 2.14 2.10 2.26 6/193 812
/proc/meminfo: memFree=30712540/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=131996 CPUtime=11.9 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) R 803 803 415 0 -1 4202496 12883 0 0 0 1185 5 0 0 20 0 8 0 390989949 135163904 10578 33554432000 134512640 146736320 4290252288 4290244096 135468704 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/804/statm: 32999 10578 936 2985 0 29933 0
[pid=804/tid=806] ppid=803 vsize=131996 CPUtime=1.41 cores=1,3,5,7
/proc/804/task/806/stat : 806 (pb_cplex) R 803 803 415 0 -1 4202560 1148 0 0 0 141 0 0 0 20 0 8 0 390990086 135163904 10578 33554432000 134512640 146736320 4290252288 4150681640 139044510 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=807] ppid=803 vsize=131996 CPUtime=0.77 cores=1,3,5,7
/proc/804/task/807/stat : 807 (pb_cplex) R 803 803 415 0 -1 4202560 1016 0 0 0 77 0 0 0 20 0 8 0 390990086 135163904 10578 33554432000 134512640 146736320 4290252288 4140195344 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=808] ppid=803 vsize=131996 CPUtime=0.64 cores=1,3,5,7
/proc/804/task/808/stat : 808 (pb_cplex) R 803 803 415 0 -1 4202560 792 0 0 0 64 0 0 0 20 0 8 0 390990086 135163904 10578 33554432000 134512640 146736320 4290252288 4129709084 135854527 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=804/tid=809] ppid=803 vsize=131996 CPUtime=1.2 cores=1,3,5,7
/proc/804/task/809/stat : 809 (pb_cplex) R 803 803 415 0 -1 4202560 1157 0 0 0 120 0 0 0 20 0 8 0 390990086 135163904 10578 33554432000 134512640 146736320 4290252288 4119223324 135854514 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=804/tid=810] ppid=803 vsize=131996 CPUtime=0.81 cores=1,3,5,7
/proc/804/task/810/stat : 810 (pb_cplex) R 803 803 415 0 -1 4202560 998 0 0 0 81 0 0 0 20 0 8 0 390990086 135163904 10578 33554432000 134512640 146736320 4290252288 4108738064 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=811] ppid=803 vsize=131996 CPUtime=0.73 cores=1,3,5,7
/proc/804/task/811/stat : 811 (pb_cplex) R 803 803 415 0 -1 4202560 642 0 0 0 73 0 0 0 20 0 8 0 390990086 135163904 10578 33554432000 134512640 146736320 4290252288 4098253800 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=804/tid=812] ppid=803 vsize=131996 CPUtime=0.69 cores=1,3,5,7
/proc/804/task/812/stat : 812 (pb_cplex) R 803 803 415 0 -1 4202560 815 0 0 0 69 0 0 0 20 0 8 0 390990086 135163904 10578 33554432000 134512640 146736320 4290252288 4087767112 139042902 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 141144

[startup+12.7005 s]
/proc/loadavg: 2.77 2.23 2.30 10/194 813
/proc/meminfo: memFree=30688076/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=80744 CPUtime=36.05 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) R 803 803 415 0 -1 4202496 19046 0 0 0 3591 14 0 0 20 0 1 0 390989949 82681856 6361 33554432000 134512640 146736320 4290252288 4290249452 144715827 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/804/statm: 20186 6361 939 2985 0 17120 0
Current children cumulated CPU time (s) 36.05
Current children cumulated vsize (KiB) 89892

[startup+25.5004 s]
/proc/loadavg: 3.09 2.33 2.33 10/194 841
/proc/meminfo: memFree=30684240/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=161640 CPUtime=54.02 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) R 803 803 415 0 -1 4202496 45363 0 0 0 5362 40 0 0 20 0 8 0 390989949 165519360 16207 33554432000 134512640 146736320 4290252288 4290244076 135454096 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/804/statm: 40410 16207 967 2985 0 37344 0
[pid=804/tid=835] ppid=803 vsize=161640 CPUtime=0.45 cores=1,3,5,7
/proc/804/task/835/stat : 835 (pb_cplex) R 803 803 415 0 -1 4202560 1016 0 0 0 45 0 0 0 20 0 8 0 390991767 165519360 16207 33554432000 134512640 146736320 4290252288 4130700816 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=836] ppid=803 vsize=161640 CPUtime=0.45 cores=1,3,5,7
/proc/804/task/836/stat : 836 (pb_cplex) R 803 803 415 0 -1 4202560 846 0 0 0 45 0 0 0 20 0 8 0 390991767 165519360 16207 33554432000 134512640 146736320 4290252288 4141186576 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=804/tid=837] ppid=803 vsize=161640 CPUtime=0.49 cores=1,3,5,7
/proc/804/task/837/stat : 837 (pb_cplex) R 803 803 415 0 -1 4202560 1258 0 0 0 49 0 0 0 20 0 8 0 390991767 165519360 16207 33554432000 134512640 146736320 4290252288 4151672208 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=804/tid=838] ppid=803 vsize=161640 CPUtime=0.53 cores=1,3,5,7
/proc/804/task/838/stat : 838 (pb_cplex) R 803 803 415 0 -1 4202560 1043 0 0 0 53 0 0 0 20 0 8 0 390991767 165519360 16207 33554432000 134512640 146736320 4290252288 4119223288 136475780 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=839] ppid=803 vsize=161640 CPUtime=0.5 cores=1,3,5,7
/proc/804/task/839/stat : 839 (pb_cplex) R 803 803 415 0 -1 4202560 36 0 0 0 50 0 0 0 20 0 8 0 390991767 165519360 16207 33554432000 134512640 146736320 4290252288 4088389008 136008168 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=840] ppid=803 vsize=161640 CPUtime=0.46 cores=1,3,5,7
/proc/804/task/840/stat : 840 (pb_cplex) R 803 803 415 0 -1 4202560 1017 0 0 0 46 0 0 0 20 0 8 0 390991767 165519360 16207 33554432000 134512640 146736320 4290252288 4069514248 139042885 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=804/tid=841] ppid=803 vsize=161640 CPUtime=0.43 cores=1,3,5,7
/proc/804/task/841/stat : 841 (pb_cplex) R 803 803 415 0 -1 4202560 1132 0 0 0 43 0 0 0 20 0 8 0 390991767 165519360 16207 33554432000 134512640 146736320 4290252288 4059029064 136388081 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 54.02
Current children cumulated vsize (KiB) 170788

[startup+51.1004 s]
/proc/loadavg: 5.03 2.85 2.50 11/194 841
/proc/meminfo: memFree=30673136/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=163688 CPUtime=152.73 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) R 803 803 415 0 -1 4202496 78114 0 0 0 15213 60 0 0 20 0 8 0 390989949 167616512 17436 33554432000 134512640 146736320 4290252288 4290245136 136008438 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/804/statm: 40922 17436 977 2985 0 37856 0
[pid=804/tid=835] ppid=803 vsize=163688 CPUtime=13.15 cores=1,3,5,7
/proc/804/task/835/stat : 835 (pb_cplex) R 803 803 415 0 -1 4202560 3853 0 0 0 1312 3 0 0 20 0 8 0 390991767 167616512 17436 33554432000 134512640 146736320 4290252288 4130701352 139044505 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=836] ppid=803 vsize=163688 CPUtime=12.99 cores=1,3,5,7
/proc/804/task/836/stat : 836 (pb_cplex) R 803 803 415 0 -1 4202560 2222 0 0 0 1298 1 0 0 20 0 8 0 390991767 167616512 17436 33554432000 134512640 146736320 4290252288 4141188072 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=837] ppid=803 vsize=163688 CPUtime=13.47 cores=1,3,5,7
/proc/804/task/837/stat : 837 (pb_cplex) R 803 803 415 0 -1 4202560 7812 0 0 0 1344 3 0 0 20 0 8 0 390991767 167616512 17436 33554432000 134512640 146736320 4290252288 4151673224 136388081 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=804/tid=838] ppid=803 vsize=163688 CPUtime=13.36 cores=1,3,5,7
/proc/804/task/838/stat : 838 (pb_cplex) R 803 803 415 0 -1 4202560 8275 0 0 0 1332 4 0 0 20 0 8 0 390991767 167616512 17436 33554432000 134512640 146736320 4290252288 4119225320 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=839] ppid=803 vsize=163688 CPUtime=12.27 cores=1,3,5,7
/proc/804/task/839/stat : 839 (pb_cplex) R 803 803 415 0 -1 4202560 41 0 0 0 1226 1 0 0 20 0 8 0 390991767 167616512 17436 33554432000 134512640 146736320 4290252288 4088389700 136385184 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=804/tid=840] ppid=803 vsize=163688 CPUtime=12.48 cores=1,3,5,7
/proc/804/task/840/stat : 840 (pb_cplex) R 803 803 415 0 -1 4202560 3153 0 0 0 1246 2 0 0 20 0 8 0 390991767 167616512 17436 33554432000 134512640 146736320 4290252288 4069515472 136008256 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=841] ppid=803 vsize=163688 CPUtime=12.7 cores=1,3,5,7
/proc/804/task/841/stat : 841 (pb_cplex) R 803 803 415 0 -1 4202560 11699 0 0 0 1266 4 0 0 20 0 8 0 390991767 167616512 17436 33554432000 134512640 146736320 4290252288 4059029960 136001974 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 152.73
Current children cumulated vsize (KiB) 172836

[startup+102.306 s]
/proc/loadavg: 6.59 3.60 2.77 10/193 841
/proc/meminfo: memFree=30662404/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=177000 CPUtime=340.33 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) R 803 803 415 0 -1 4202496 93817 0 0 0 33938 95 0 0 20 0 8 0 390989949 181248000 20165 33554432000 134512640 146736320 4290252288 4290245020 135855179 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0

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

/proc/804/statm: 49001 25459 978 2985 0 45935 0
[pid=804/tid=842] ppid=803 vsize=196004 CPUtime=119.56 cores=1,3,5,7
/proc/804/task/842/stat : 842 (pb_cplex) R 803 803 415 0 -1 4202560 976 0 0 0 11933 23 0 0 20 0 8 0 391005049 200708096 25459 33554432000 134512640 146736320 4290252288 4059030144 138423591 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=804/tid=843] ppid=803 vsize=196004 CPUtime=119.89 cores=1,3,5,7
/proc/804/task/843/stat : 843 (pb_cplex) R 803 803 415 0 -1 4202560 5225 0 0 0 11963 26 0 0 20 0 8 0 391005049 200708096 25459 33554432000 134512640 146736320 4290252288 4069516264 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=844] ppid=803 vsize=196004 CPUtime=117.8 cores=1,3,5,7
/proc/804/task/844/stat : 844 (pb_cplex) R 803 803 415 0 -1 4202560 8855 0 0 0 11755 25 0 0 20 0 8 0 391005049 200708096 25459 33554432000 134512640 146736320 4290252288 4088389744 136384895 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=845] ppid=803 vsize=196004 CPUtime=118.64 cores=1,3,5,7
/proc/804/task/845/stat : 845 (pb_cplex) R 803 803 415 0 -1 4202560 4767 0 0 0 11842 22 0 0 20 0 8 0 391005049 200708096 25459 33554432000 134512640 146736320 4290252288 4119225320 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=846] ppid=803 vsize=196004 CPUtime=118.42 cores=1,3,5,7
/proc/804/task/846/stat : 846 (pb_cplex) R 803 803 415 0 -1 4202560 1632 0 0 0 11819 23 0 0 20 0 8 0 391005049 200708096 25459 33554432000 134512640 146736320 4290252288 4151672888 136475826 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=847] ppid=803 vsize=196004 CPUtime=120.66 cores=1,3,5,7
/proc/804/task/847/stat : 847 (pb_cplex) R 803 803 415 0 -1 4202560 1688 0 0 0 12043 23 0 0 20 0 8 0 391005049 200708096 25459 33554432000 134512640 146736320 4290252288 4141187280 136008065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=848] ppid=803 vsize=196004 CPUtime=118.8 cores=1,3,5,7
/proc/804/task/848/stat : 848 (pb_cplex) R 803 803 415 0 -1 4202560 3932 0 0 0 11856 24 0 0 20 0 8 0 391005049 200708096 25459 33554432000 134512640 146736320 4290252288 4130701308 135526874 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1468.1
Current children cumulated vsize (KiB) 205152

[startup+414.3 s]
/proc/loadavg: 12.57 9.15 5.39 17/193 922
/proc/meminfo: memFree=30605284/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=196004 CPUtime=1473.13 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) R 803 803 415 0 -1 4202496 139354 0 0 0 146989 324 0 0 20 0 8 0 390989949 200708096 25460 33554432000 134512640 146736320 4290252288 4290245928 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/804/statm: 49001 25460 978 2985 0 45935 0
[pid=804/tid=842] ppid=803 vsize=196004 CPUtime=120.11 cores=1,3,5,7
/proc/804/task/842/stat : 842 (pb_cplex) R 803 803 415 0 -1 4202560 976 0 0 0 11988 23 0 0 20 0 8 0 391005049 200708096 25460 33554432000 134512640 146736320 4290252288 4059029712 136008438 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=843] ppid=803 vsize=196004 CPUtime=120.48 cores=1,3,5,7
/proc/804/task/843/stat : 843 (pb_cplex) S 803 803 415 0 -1 4202560 5225 0 0 0 12022 26 0 0 20 0 8 0 391005049 200708096 25460 33554432000 134512640 146736320 4290252288 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=804/tid=844] ppid=803 vsize=196004 CPUtime=118.49 cores=1,3,5,7
/proc/804/task/844/stat : 844 (pb_cplex) R 803 803 415 0 -1 4202560 8858 0 0 0 11824 25 0 0 20 0 8 0 391005049 200708096 25460 33554432000 134512640 146736320 4290252288 4088389136 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=845] ppid=803 vsize=196004 CPUtime=119.21 cores=1,3,5,7
/proc/804/task/845/stat : 845 (pb_cplex) R 803 803 415 0 -1 4202560 4767 0 0 0 11898 23 0 0 20 0 8 0 391005049 200708096 25460 33554432000 134512640 146736320 4290252288 4119225320 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=846] ppid=803 vsize=196004 CPUtime=119.06 cores=1,3,5,7
/proc/804/task/846/stat : 846 (pb_cplex) R 803 803 415 0 -1 4202560 1632 0 0 0 11882 24 0 0 20 0 8 0 391005049 200708096 25460 33554432000 134512640 146736320 4290252288 4151672832 135468524 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=804/tid=847] ppid=803 vsize=196004 CPUtime=121.43 cores=1,3,5,7
/proc/804/task/847/stat : 847 (pb_cplex) R 803 803 415 0 -1 4202560 1688 0 0 0 12120 23 0 0 20 0 8 0 391005049 200708096 25460 33554432000 134512640 146736320 4290252288 4141188072 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=848] ppid=803 vsize=196004 CPUtime=119.43 cores=1,3,5,7
/proc/804/task/848/stat : 848 (pb_cplex) R 803 803 415 0 -1 4202560 3932 0 0 0 11919 24 0 0 20 0 8 0 391005049 200708096 25460 33554432000 134512640 146736320 4290252288 4130700404 135450734 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1473.13
Current children cumulated vsize (KiB) 205152

[startup+415.9 s]
/proc/loadavg: 12.57 9.15 5.39 9/193 922
/proc/meminfo: memFree=30606772/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=196004 CPUtime=1477.54 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) S 803 803 415 0 -1 4202496 139354 0 0 0 147428 326 0 0 20 0 8 0 390989949 200708096 25367 33554432000 134512640 146736320 4290252288 4290248656 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/804/statm: 49001 25367 978 2985 0 45935 0
[pid=804/tid=842] ppid=803 vsize=196004 CPUtime=120.65 cores=1,3,5,7
/proc/804/task/842/stat : 842 (pb_cplex) S 803 803 415 0 -1 4202560 976 0 0 0 12042 23 0 0 20 0 8 0 391005049 200708096 25367 33554432000 134512640 146736320 4290252288 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=843] ppid=803 vsize=196004 CPUtime=120.9 cores=1,3,5,7
/proc/804/task/843/stat : 843 (pb_cplex) S 803 803 415 0 -1 4202560 5225 0 0 0 12064 26 0 0 20 0 8 0 391005049 200708096 25367 33554432000 134512640 146736320 4290252288 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=844] ppid=803 vsize=196004 CPUtime=119 cores=1,3,5,7
/proc/804/task/844/stat : 844 (pb_cplex) S 803 803 415 0 -1 4202560 8858 0 0 0 11875 25 0 0 20 0 8 0 391005049 200708096 25367 33554432000 134512640 146736320 4290252288 4088393360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=845] ppid=803 vsize=196004 CPUtime=119.66 cores=1,3,5,7
/proc/804/task/845/stat : 845 (pb_cplex) S 803 803 415 0 -1 4202560 4767 0 0 0 11943 23 0 0 20 0 8 0 391005049 200708096 25367 33554432000 134512640 146736320 4290252288 4119228048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=846] ppid=803 vsize=196004 CPUtime=119.6 cores=1,3,5,7
/proc/804/task/846/stat : 846 (pb_cplex) S 803 803 415 0 -1 4202560 1632 0 0 0 11936 24 0 0 20 0 8 0 391005049 200708096 25367 33554432000 134512640 146736320 4290252288 4151676560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=804/tid=847] ppid=803 vsize=196004 CPUtime=122.3 cores=1,3,5,7
/proc/804/task/847/stat : 847 (pb_cplex) S 803 803 415 0 -1 4202560 1688 0 0 0 12206 24 0 0 20 0 8 0 391005049 200708096 25367 33554432000 134512640 146736320 4290252288 4141190800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=804/tid=848] ppid=803 vsize=196004 CPUtime=119.92 cores=1,3,5,7
/proc/804/task/848/stat : 848 (pb_cplex) R 803 803 415 0 -1 4202560 3932 0 0 0 11968 24 0 0 20 0 8 0 391005049 200708096 25367 33554432000 134512640 146736320 4290252288 4130701380 136385184 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1477.54
Current children cumulated vsize (KiB) 205152

[startup+416.3 s]
/proc/loadavg: 12.57 9.15 5.39 9/193 922
/proc/meminfo: memFree=30606772/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=196004 CPUtime=1478.83 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) R 803 803 415 0 -1 4202496 139356 0 0 0 147557 326 0 0 20 0 8 0 390989949 200708096 25361 33554432000 134512640 146736320 4290252288 4290244924 135526785 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/804/statm: 49001 25361 978 2985 0 45935 0
[pid=804/tid=842] ppid=803 vsize=196004 CPUtime=120.79 cores=1,3,5,7
/proc/804/task/842/stat : 842 (pb_cplex) R 803 803 415 0 -1 4202560 976 0 0 0 12056 23 0 0 20 0 8 0 391005049 200708096 25361 33554432000 134512640 146736320 4290252288 4059029484 135454096 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=804/tid=843] ppid=803 vsize=196004 CPUtime=121.12 cores=1,3,5,7
/proc/804/task/843/stat : 843 (pb_cplex) R 803 803 415 0 -1 4202560 5227 0 0 0 12086 26 0 0 20 0 8 0 391005049 200708096 25361 33554432000 134512640 146736320 4290252288 4069515244 135454093 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=804/tid=844] ppid=803 vsize=196004 CPUtime=119.14 cores=1,3,5,7
/proc/804/task/844/stat : 844 (pb_cplex) R 803 803 415 0 -1 4202560 8858 0 0 0 11889 25 0 0 20 0 8 0 391005049 200708096 25361 33554432000 134512640 146736320 4290252288 4088391192 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=845] ppid=803 vsize=196004 CPUtime=119.85 cores=1,3,5,7
/proc/804/task/845/stat : 845 (pb_cplex) R 803 803 415 0 -1 4202560 4767 0 0 0 11962 23 0 0 20 0 8 0 391005049 200708096 25361 33554432000 134512640 146736320 4290252288 4119225880 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=804/tid=846] ppid=803 vsize=196004 CPUtime=119.75 cores=1,3,5,7
/proc/804/task/846/stat : 846 (pb_cplex) R 803 803 415 0 -1 4202560 1632 0 0 0 11951 24 0 0 20 0 8 0 391005049 200708096 25361 33554432000 134512640 146736320 4290252288 4151673260 136400452 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=804/tid=847] ppid=803 vsize=196004 CPUtime=122.45 cores=1,3,5,7
/proc/804/task/847/stat : 847 (pb_cplex) R 803 803 415 0 -1 4202560 1688 0 0 0 12221 24 0 0 20 0 8 0 391005049 200708096 25361 33554432000 134512640 146736320 4290252288 4141186996 135451519 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=804/tid=848] ppid=803 vsize=196004 CPUtime=120.08 cores=1,3,5,7
/proc/804/task/848/stat : 848 (pb_cplex) R 803 803 415 0 -1 4202560 3932 0 0 0 11984 24 0 0 20 0 8 0 391005049 200708096 25361 33554432000 134512640 146736320 4290252288 4130701520 136008441 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1478.83
Current children cumulated vsize (KiB) 205152

[startup+416.5 s]
/proc/loadavg: 12.57 9.15 5.39 9/193 922
/proc/meminfo: memFree=30606772/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=192932 CPUtime=1479.48 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) S 803 803 415 0 -1 4202496 139356 0 0 0 147621 327 0 0 20 0 8 0 390989949 197562368 24901 33554432000 134512640 146736320 4290252288 4290248656 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/804/statm: 48233 24901 978 2985 0 45167 0
[pid=804/tid=842] ppid=803 vsize=192932 CPUtime=120.87 cores=1,3,5,7
/proc/804/task/842/stat : 842 (pb_cplex) S 803 803 415 0 -1 4202560 976 0 0 0 12064 23 0 0 20 0 8 0 391005049 197562368 24901 33554432000 134512640 146736320 4290252288 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=843] ppid=803 vsize=192932 CPUtime=121.18 cores=1,3,5,7
/proc/804/task/843/stat : 843 (pb_cplex) R 803 803 415 0 -1 4202560 5227 0 0 0 12092 26 0 0 20 0 8 0 391005049 197562368 24901 33554432000 134512640 146736320 4290252288 4069515472 136008450 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=804/tid=844] ppid=803 vsize=192932 CPUtime=119.22 cores=1,3,5,7
/proc/804/task/844/stat : 844 (pb_cplex) S 803 803 415 0 -1 4202560 8858 0 0 0 11897 25 0 0 20 0 8 0 391005049 197562368 24901 33554432000 134512640 146736320 4290252288 4088393360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=804/tid=845] ppid=803 vsize=192932 CPUtime=119.91 cores=1,3,5,7
/proc/804/task/845/stat : 845 (pb_cplex) S 803 803 415 0 -1 4202560 4767 0 0 0 11968 23 0 0 20 0 8 0 391005049 197562368 24901 33554432000 134512640 146736320 4290252288 4119228048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=804/tid=846] ppid=803 vsize=192932 CPUtime=119.82 cores=1,3,5,7
/proc/804/task/846/stat : 846 (pb_cplex) S 803 803 415 0 -1 4202560 1632 0 0 0 11958 24 0 0 20 0 8 0 391005049 197562368 24901 33554432000 134512640 146736320 4290252288 4151676560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=804/tid=847] ppid=803 vsize=192932 CPUtime=122.53 cores=1,3,5,7
/proc/804/task/847/stat : 847 (pb_cplex) S 803 803 415 0 -1 4202560 1688 0 0 0 12229 24 0 0 20 0 8 0 391005049 197562368 24901 33554432000 134512640 146736320 4290252288 4141190800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=804/tid=848] ppid=803 vsize=192932 CPUtime=120.18 cores=1,3,5,7
/proc/804/task/848/stat : 848 (pb_cplex) S 803 803 415 0 -1 4202560 3932 0 0 0 11994 24 0 0 20 0 8 0 391005049 197562368 24901 33554432000 134512640 146736320 4290252288 4130705040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1479.48
Current children cumulated vsize (KiB) 202080

[startup+416.6 s]
/proc/loadavg: 12.57 9.15 5.39 9/193 922
/proc/meminfo: memFree=30606772/32873844 swapFree=7632/7632
[pid=803] ppid=801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (run) S 801 803 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390989949 9367552 270 33554432000 4194304 5064252 140733709724864 140733709723776 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/803/statm: 2287 270 229 213 0 72 0
[pid=804] ppid=803 vsize=192932 CPUtime=1479.6 cores=1,3,5,7
/proc/804/stat : 804 (pb_cplex) S 803 803 415 0 -1 4202496 139357 0 0 0 147633 327 0 0 20 0 8 0 390989949 197562368 24892 33554432000 134512640 146736320 4290252288 4290248656 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/804/statm: 48233 24892 978 2985 0 45167 0
[pid=804/tid=842] ppid=803 vsize=192932 CPUtime=120.87 cores=1,3,5,7
/proc/804/task/842/stat : 842 (pb_cplex) S 803 803 415 0 -1 4202560 976 0 0 0 12064 23 0 0 20 0 8 0 391005049 197562368 24892 33554432000 134512640 146736320 4290252288 4059033232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=843] ppid=803 vsize=192932 CPUtime=121.27 cores=1,3,5,7
/proc/804/task/843/stat : 843 (pb_cplex) R 803 803 415 0 -1 4202560 5228 0 0 0 12101 26 0 0 20 0 8 0 391005049 197562368 24892 33554432000 134512640 146736320 4290252288 4069514216 139044542 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=804/tid=844] ppid=803 vsize=192932 CPUtime=119.22 cores=1,3,5,7
/proc/804/task/844/stat : 844 (pb_cplex) S 803 803 415 0 -1 4202560 8858 0 0 0 11897 25 0 0 20 0 8 0 391005049 197562368 24892 33554432000 134512640 146736320 4290252288 4088393360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=804/tid=845] ppid=803 vsize=192932 CPUtime=119.92 cores=1,3,5,7
/proc/804/task/845/stat : 845 (pb_cplex) S 803 803 415 0 -1 4202560 4767 0 0 0 11969 23 0 0 20 0 8 0 391005049 197562368 24892 33554432000 134512640 146736320 4290252288 4119228048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=804/tid=846] ppid=803 vsize=192932 CPUtime=119.83 cores=1,3,5,7
/proc/804/task/846/stat : 846 (pb_cplex) S 803 803 415 0 -1 4202560 1632 0 0 0 11959 24 0 0 20 0 8 0 391005049 197562368 24892 33554432000 134512640 146736320 4290252288 4151676560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=804/tid=847] ppid=803 vsize=192932 CPUtime=122.53 cores=1,3,5,7
/proc/804/task/847/stat : 847 (pb_cplex) S 803 803 415 0 -1 4202560 1688 0 0 0 12229 24 0 0 20 0 8 0 391005049 197562368 24892 33554432000 134512640 146736320 4290252288 4141190800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=804/tid=848] ppid=803 vsize=192932 CPUtime=120.18 cores=1,3,5,7
/proc/804/task/848/stat : 848 (pb_cplex) S 803 803 415 0 -1 4202560 3932 0 0 0 11994 24 0 0 20 0 8 0 391005049 197562368 24892 33554432000 134512640 146736320 4290252288 4130705040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1479.6
Current children cumulated vsize (KiB) 202080

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 803 and gives
#  childrusage.ru_utime.tv_sec=1473
#  childrusage.ru_utime.tv_usec=493994
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=373487
# CPU time returned by wait4() is 1476.87
# while last known CPU time is 1479.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.27002
#  lost CPU user time (s): 1.30002
#  lost CPU system time (s): -0.0300001

Real time (s): 416.629
CPU time (s): 1480.87
CPU user time (s): 1477.63
CPU system time (s): 3.24
CPU usage (%): 355.441
Max. virtual memory (cumulated for all children) (KiB): 211320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1473.49
system time used= 3.37349
maximum resident set size= 104508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139744
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= 56942
involuntary context switches= 84648

runsolver used 1.03184 second user time and 2.79657 second system time

The end

Begin job on node119 at 2012-06-09 15:30:43
IDJOB=3737370
IDBENCH=48227
IDSOLVER=2325
FILE ID=node119/3737370-1339248643
RUNJOBID= node119-1339246834-434
PBS_JOBID= 14644362
Free space on /tmp= 71128 MiB

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

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

MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26
RANDOM SEED=1816892596

node119.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.943
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	: 5333.88
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.943
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.943
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.93
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.943
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.943
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.93
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.943
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.92
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.943
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.90
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.943
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:       32873844 kB
MemFree:        30741140 kB
Buffers:          354812 kB
Cached:           857612 kB
SwapCached:         2564 kB
Active:           439284 kB
Inactive:         801392 kB
Active(anon):      24456 kB
Inactive(anon):     3960 kB
Active(file):     414828 kB
Inactive(file):   797432 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67097032 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:         32468 kB
Mapped:            12896 kB
Shmem:                 0 kB
Slab:             750868 kB
SReclaimable:     190888 kB
SUnreclaim:       559980 kB
KernelStack:        1608 kB
PageTables:         4316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     202312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737370-1339248643.opb

Free space on /tmp at the end= 71112 MiB
End job on node119 at 2012-06-09 15:37:39

Name	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb
MD5SUM	26861ca996cf8fd2abe5c211e1f47a26
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	214.256
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)	1220
Sum of products size (including duplicates)	2440
Number of different products	610
Sum of products size	1220

Trace number 3737370

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data