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-3748847-1339127155/watcher-3748847-1339127155 -o /tmp/evaluation-result-3748847-1339127155/solver-3748847-1339127155 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748847-1339127155.opb 753107783 HOME HOME
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.37 2.09 2.03 3/179 2311
/proc/meminfo: memFree=27424356/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[startup+0.086953 s]
/proc/loadavg: 2.37 2.09 2.03 3/179 2311
/proc/meminfo: memFree=27424356/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100355 s]
/proc/loadavg: 2.37 2.09 2.03 3/179 2311
/proc/meminfo: memFree=27424356/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30028 s]
/proc/loadavg: 2.37 2.09 2.03 3/179 2311
/proc/meminfo: memFree=27424356/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700312 s]
/proc/loadavg: 2.37 2.09 2.03 3/179 2311
/proc/meminfo: memFree=27424356/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.37 2.09 2.03 3/181 2313
/proc/meminfo: memFree=27308100/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=219716 CPUtime=1.49 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) R 2311 2311 30741 0 -1 4202496 6949 0 0 0 139 10 0 0 20 0 1 0 378839975 224989184 42496 33554432000 4194304 6004724 140735422672400 140735422667000 5193835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2312/statm: 54929 42496 157 442 0 54483 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 228864
[startup+3.10041 s]
/proc/loadavg: 2.37 2.09 2.03 3/183 2315
/proc/meminfo: memFree=27125452/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=137760 CPUtime=1.56 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 6956 0 0 0 139 17 0 0 20 0 1 0 378839975 141066240 22013 33554432000 4194304 6004724 140735422672400 140735422666864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2312/statm: 34440 22013 163 442 0 33994 0
[pid=2314] ppid=2312 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2314/stat : 2314 (cp2_pre.sh) S 2312 2311 30741 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378840132 9367552 276 33554432000 4194304 5064252 140737104251888 140737104250592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2314/statm: 2287 276 234 213 0 72 0
[pid=2315] ppid=2314 vsize=366900 CPUtime=1.51 cores=1,3,5,7
/proc/2315/stat : 2315 (coprocessor) R 2314 2311 30741 0 -1 4202496 36059 0 0 0 140 11 0 0 20 0 1 0 378840132 375705600 81625 33554432000 4194304 6586260 140734754333696 140734754329960 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/2315/statm: 91725 81625 164 584 0 91137 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 522956
[startup+6.30044 s]
/proc/loadavg: 2.42 2.11 2.03 3/183 2315
/proc/meminfo: memFree=26651756/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=137760 CPUtime=1.56 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 6956 0 0 0 139 17 0 0 20 0 1 0 378839975 141066240 22013 33554432000 4194304 6004724 140735422672400 140735422666864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2312/statm: 34440 22013 163 442 0 33994 0
[pid=2314] ppid=2312 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2314/stat : 2314 (cp2_pre.sh) S 2312 2311 30741 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378840132 9367552 276 33554432000 4194304 5064252 140737104251888 140737104250592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2314/statm: 2287 276 234 213 0 72 0
[pid=2315] ppid=2314 vsize=507904 CPUtime=4.7 cores=1,3,5,7
/proc/2315/stat : 2315 (coprocessor) R 2314 2311 30741 0 -1 4202496 62238 0 0 0 454 16 0 0 20 0 1 0 378840132 520093696 124156 33554432000 4194304 6586260 140734754333696 140734754329720 4683467 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/2315/statm: 126976 124157 190 584 0 126388 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 663960
[startup+12.7004 s]
/proc/loadavg: 2.47 2.12 2.04 3/182 2317
/proc/meminfo: memFree=26820792/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=137760 CPUtime=9.27 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 6974 65132 0 0 139 17 723 48 20 0 1 0 378839975 141066240 22018 33554432000 4194304 6004724 140735422672400 140735422658680 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 34440 22018 167 442 0 33994 0
[pid=2317] ppid=2312 vsize=176756 CPUtime=3.39 cores=1,3,5,7
/proc/2317/stat : 2317 (glucosInc) R 2312 2311 30741 0 -1 4202496 32286 0 0 0 333 6 0 0 20 0 1 0 378840905 180998144 38651 33554432000 4194304 5654031 140736246373248 140736246371032 4232466 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2317/statm: 44189 38651 131 357 0 43829 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 323664
[startup+25.5004 s]
/proc/loadavg: 2.58 2.16 2.05 3/182 2317
/proc/meminfo: memFree=26463796/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=137760 CPUtime=9.27 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 6974 65132 0 0 139 17 723 48 20 0 1 0 378839975 141066240 22018 33554432000 4194304 6004724 140735422672400 140735422658680 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 34440 22018 167 442 0 33994 0
[pid=2317] ppid=2312 vsize=179544 CPUtime=16.19 cores=1,3,5,7
/proc/2317/stat : 2317 (glucosInc) R 2312 2311 30741 0 -1 4202496 33148 0 0 0 1613 6 0 0 20 0 1 0 378840905 183853056 39513 33554432000 4194304 5654031 140736246373248 140736246361064 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2317/statm: 44886 39513 136 357 0 44526 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 326452
[startup+51.1004 s]
/proc/loadavg: 2.44 2.16 2.05 3/181 2319
/proc/meminfo: memFree=26943504/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=137760 CPUtime=9.27 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 6974 65132 0 0 139 17 723 48 20 0 1 0 378839975 141066240 22018 33554432000 4194304 6004724 140735422672400 140735422658680 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 34440 22018 167 442 0 33994 0
[pid=2317] ppid=2312 vsize=180336 CPUtime=41.78 cores=1,3,5,7
/proc/2317/stat : 2317 (glucosInc) R 2312 2311 30741 0 -1 4202496 33348 0 0 0 4172 6 0 0 20 0 1 0 378840905 184664064 39713 33554432000 4194304 5654031 140736246373248 140736246361064 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2317/statm: 45084 39713 140 357 0 44724 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 327244
[startup+102.3 s]
/proc/loadavg: 2.19 2.14 2.05 3/181 2322
/proc/meminfo: memFree=26861928/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=180752 CPUtime=40.13 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 33087 0 0 0 4006 7 0 0 20 0 1 0 378846190 185090048 39981 33554432000 4194304 5654031 140737267058544 140737267046360 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2322/statm: 45188 39981 139 357 0 44828 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 347300
[startup+162.3 s]
/proc/loadavg: 2.07 2.11 2.04 3/181 2323
/proc/meminfo: memFree=26838968/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=180752 CPUtime=100.12 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 33092 0 0 0 10005 7 0 0 20 0 1 0 378846190 185090048 39986 33554432000 4194304 5654031 140737267058544 140737267046360 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2322/statm: 45188 39986 139 357 0 44828 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 347300
[startup+222.3 s]
/proc/loadavg: 2.02 2.09 2.04 3/181 2323
/proc/meminfo: memFree=26826308/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=180752 CPUtime=160.11 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 33098 0 0 0 16004 7 0 0 20 0 1 0 378846190 185090048 39992 33554432000 4194304 5654031 140737267058544 140737267046360 4216325 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45188 39992 139 357 0 44828 0
Current children cumulated CPU time (s) 222.24
################
# More data... #
################
/proc/loadavg: 2.05 2.07 2.01 3/181 2356
/proc/meminfo: memFree=26660352/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=182020 CPUtime=1299.93 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34138 0 0 0 129985 8 0 0 20 0 1 0 378846190 186388480 41815 33554432000 4194304 5654031 140737267058544 140737267056440 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45505 41815 140 357 0 45145 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 348568
[startup+1422.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/181 2356
/proc/meminfo: memFree=26657564/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=182388 CPUtime=1359.92 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34198 0 0 0 135984 8 0 0 20 0 1 0 378846190 186765312 41875 33554432000 4194304 5654031 140737267058544 140737267056328 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45597 41875 140 357 0 45237 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 348936
[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/182 2359
/proc/meminfo: memFree=26655420/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=182388 CPUtime=1419.91 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34219 0 0 0 141983 8 0 0 20 0 1 0 378846190 186765312 41896 33554432000 4194304 5654031 140737267058544 140737267056328 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45597 41896 140 357 0 45237 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 348936
[startup+1542.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/181 2359
/proc/meminfo: memFree=26645340/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=182556 CPUtime=1479.9 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34241 0 0 0 147982 8 0 0 20 0 1 0 378846190 186937344 42429 33554432000 4194304 5654031 140737267058544 140737267056328 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45639 42429 140 357 0 45279 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 349104
[startup+1602.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/181 2359
/proc/meminfo: memFree=26641396/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=182556 CPUtime=1539.89 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34243 0 0 0 153981 8 0 0 20 0 1 0 378846190 186937344 42431 33554432000 4194304 5654031 140737267058544 140737267056328 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45639 42431 140 357 0 45279 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 349104
[startup+1662.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/181 2360
/proc/meminfo: memFree=26639376/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=182556 CPUtime=1599.89 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34243 0 0 0 159981 8 0 0 20 0 1 0 378846190 186937344 42431 33554432000 4194304 5654031 140737267058544 140737267056328 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45639 42431 140 357 0 45279 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 349104
[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/181 2360
/proc/meminfo: memFree=26635868/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=183040 CPUtime=1659.88 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34320 0 0 0 165980 8 0 0 20 0 1 0 378846190 187432960 42508 33554432000 4194304 5654031 140737267058544 140737267056328 4208599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45760 42508 140 357 0 45400 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 349588
[startup+1782.31 s]
/proc/loadavg: 2.06 2.08 2.02 3/181 2455
/proc/meminfo: memFree=31422908/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=182908 CPUtime=1719.86 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34546 0 0 0 171978 8 0 0 20 0 1 0 378846190 187297792 40804 33554432000 4194304 5654031 140737267058544 140737267056568 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45727 40804 140 357 0 45367 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 349456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.97 2.06 2.01 3/181 2503
/proc/meminfo: memFree=31392312/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=182908 CPUtime=1737.95 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34559 0 0 0 173787 8 0 0 20 0 1 0 378846190 187297792 41400 33554432000 4194304 5654031 140737267058544 140737267056568 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45727 41400 140 357 0 45367 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 349456
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 1.97 2.06 2.01 3/181 2503
/proc/meminfo: memFree=31392312/32873844 swapFree=6904/6904
[pid=2311] ppid=2309 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (npSolver-pbo-I.) S 2309 2311 30741 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378839975 9367552 275 33554432000 4194304 5064252 140735534413680 140735534412592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2311/statm: 2287 275 233 213 0 72 0
[pid=2312] ppid=2311 vsize=157400 CPUtime=62.13 cores=1,3,5,7
/proc/2312/stat : 2312 (npSolver-pbo) S 2311 2311 30741 0 -1 4202496 9329 99971 0 0 183 183 5783 64 20 0 1 0 378839975 161177600 26943 33554432000 4194304 6004724 140735422672400 140735422657320 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2312/statm: 39350 26943 182 442 0 38904 0
[pid=2322] ppid=2312 vsize=182908 CPUtime=1737.95 cores=1,3,5,7
/proc/2322/stat : 2322 (glucosInc) R 2312 2311 30741 0 -1 4202496 34559 0 0 0 173787 8 0 0 20 0 1 0 378846190 187297792 41400 33554432000 4194304 5654031 140737267058544 140737267056568 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2322/statm: 45727 41400 140 357 0 45367 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 349456
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2311 and gives
# childrusage.ru_utime.tv_sec=59
# childrusage.ru_utime.tv_usec=676927
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=480622
# CPU time returned by wait4() is 62.1576
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1797.53
CPU system time (s): 2.55
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 686248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.6769
system time used= 2.48062
maximum resident set size= 518892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 355248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1254
involuntary context switches= 90
runsolver used 2.92355 second user time and 8.62369 second system time
The end