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-3699285-1338127103/watcher-3699285-1338127103 -o /tmp/evaluation-result-3699285-1338127103/solver-3699285-1338127103 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699285-1338127103.opb 1190715685 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.00 2.00 2.00 3/178 22748
/proc/meminfo: memFree=28416096/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[startup+0.0645949 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22748
/proc/meminfo: memFree=28416096/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100244 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22748
/proc/meminfo: memFree=28416096/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300243 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22748
/proc/meminfo: memFree=28416096/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22748
/proc/meminfo: memFree=28416096/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22750
/proc/meminfo: memFree=28335128/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=1.48 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) R 22748 22748 22368 0 -1 4202496 13250 0 0 0 144 4 0 0 20 0 1 0 278834848 174764032 29011 33554432000 4194304 5992684 140734356912128 140734356907096 4606634 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 29011 167 440 0 42223 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 179816
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 22752
/proc/meminfo: memFree=28169688/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=1.8 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14239 0 0 0 160 20 0 0 20 0 1 0 278834848 174764032 31066 33554432000 4194304 5992684 140734356912128 140734356906576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31066 174 440 0 42223 0
[pid=22751] ppid=22749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22751/stat : 22751 (cp2_pre.sh) S 22749 22748 22368 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 278835030 9367552 277 33554432000 4194304 5064252 140734158493392 140734158492096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22751/statm: 2287 277 234 213 0 72 0
[pid=22752] ppid=22751 vsize=297612 CPUtime=1.27 cores=1,3,5,7
/proc/22752/stat : 22752 (coprocessor) R 22751 22748 22368 0 -1 4202496 24980 0 0 0 119 8 0 0 20 0 1 0 278835030 304754688 67227 33554432000 4194304 6586260 140735463034992 140735463031752 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22752/statm: 74403 67227 166 584 0 73815 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 486576
[startup+6.30039 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 22752
/proc/meminfo: memFree=27799036/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=1.8 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14239 0 0 0 160 20 0 0 20 0 1 0 278834848 174764032 31066 33554432000 4194304 5992684 140734356912128 140734356906576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31066 174 440 0 42223 0
[pid=22751] ppid=22749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22751/stat : 22751 (cp2_pre.sh) S 22749 22748 22368 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 278835030 9367552 277 33554432000 4194304 5064252 140734158493392 140734158492096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22751/statm: 2287 277 234 213 0 72 0
[pid=22752] ppid=22751 vsize=462476 CPUtime=4.47 cores=1,3,5,7
/proc/22752/stat : 22752 (coprocessor) R 22751 22748 22368 0 -1 4202496 55636 0 0 0 433 14 0 0 20 0 1 0 278835030 473575424 113213 33554432000 4194304 6586260 140735463034992 140735463030808 4676454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22752/statm: 115619 113213 190 584 0 115031 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 651440
[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 22754
/proc/meminfo: memFree=28096164/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=175956 CPUtime=3.89 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 33294 0 0 0 382 7 0 0 20 0 1 0 278835728 180178944 39136 33554432000 4194304 5654031 140735958091408 140735958079224 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 43989 39136 140 357 0 43629 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 355772
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 22754
/proc/meminfo: memFree=28094568/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=178724 CPUtime=16.69 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 33875 0 0 0 1662 7 0 0 20 0 1 0 278835728 183013376 39715 33554432000 4194304 5654031 140735958091408 140735958089176 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22754/statm: 44681 39715 140 357 0 44321 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 358540
[startup+51.1069 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 22754
/proc/meminfo: memFree=28094528/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=178724 CPUtime=42.28 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 33922 0 0 0 4221 7 0 0 20 0 1 0 278835728 183013376 39762 33554432000 4194304 5654031 140735958091408 140735958089176 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 44681 39762 140 357 0 44321 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 358540
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 22801
/proc/meminfo: memFree=28351732/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=202440 CPUtime=93.47 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 34862 0 0 0 9339 8 0 0 20 0 1 0 278835728 207298560 41720 33554432000 4194304 5654031 140735958091408 140735958089176 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 50610 41720 140 357 0 50250 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 382256
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 22823
/proc/meminfo: memFree=28341676/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=204448 CPUtime=153.46 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 35370 0 0 0 15338 8 0 0 20 0 1 0 278835728 209354752 42739 33554432000 4194304 5654031 140735958091408 140735958079224 4215344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 51112 42739 140 357 0 50752 0
Current children cumulated CPU time (s) 161.92
Current children cumulated vsize (KiB) 384264
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22824
/proc/meminfo: memFree=28342016/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=204448 CPUtime=213.45 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 36461 0 0 0 21336 9 0 0 20 0 1 0 278835728 209354752 42293 33554432000 4194304 5654031 140735958091408 140735958079224 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 51112 42293 141 357 0 50752 0
Current children cumulated CPU time (s) 221.91
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/182 22833
/proc/meminfo: memFree=28315680/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=207228 CPUtime=1293.27 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 38711 0 0 0 129317 10 0 0 20 0 1 0 278835728 212201472 46730 33554432000 4194304 5654031 140735958091408 140735958089096 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 51807 46730 141 357 0 51447 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 387044
[startup+1362.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 22873
/proc/meminfo: memFree=25576256/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=207228 CPUtime=1353.27 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 38721 0 0 0 135317 10 0 0 20 0 1 0 278835728 212201472 47251 33554432000 4194304 5654031 140735958091408 140735958079224 4215357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 51807 47251 141 357 0 51447 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 387044
[startup+1422.3 s]
/proc/loadavg: 2.17 2.04 2.01 3/180 22874
/proc/meminfo: memFree=12505276/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=207436 CPUtime=1413.26 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 38834 0 0 0 141316 10 0 0 20 0 1 0 278835728 212414464 47875 33554432000 4194304 5654031 140735958091408 140735958079224 4214560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 51859 47875 141 357 0 51499 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 387252
[startup+1482.3 s]
/proc/loadavg: 2.77 2.25 2.09 3/180 22917
/proc/meminfo: memFree=28196628/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=238256 CPUtime=1473.26 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 39069 0 0 0 147315 11 0 0 20 0 1 0 278835728 243974144 48110 33554432000 4194304 5654031 140735958091408 140735958079224 4215327 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 59564 48110 141 357 0 59204 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 418072
[startup+1542.3 s]
/proc/loadavg: 2.28 2.20 2.08 3/180 22917
/proc/meminfo: memFree=23894684/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=238256 CPUtime=1533.24 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 39287 0 0 0 153313 11 0 0 20 0 1 0 278835728 243974144 48838 33554432000 4194304 5654031 140735958091408 140735958079224 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 59564 48838 141 357 0 59204 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 418072
[startup+1602.3 s]
/proc/loadavg: 2.70 2.30 2.12 2/181 22918
/proc/meminfo: memFree=12818656/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=238404 CPUtime=1593.23 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 39327 0 0 0 159312 11 0 0 20 0 1 0 278835728 244125696 49389 33554432000 4194304 5654031 140735958091408 140735958079224 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 59601 49389 141 357 0 59241 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 418220
[startup+1662.3 s]
/proc/loadavg: 4.28 2.82 2.30 2/181 22918
/proc/meminfo: memFree=9206356/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=238716 CPUtime=1653.22 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 39417 0 0 0 165311 11 0 0 20 0 1 0 278835728 244445184 50501 33554432000 4194304 5654031 140735958091408 140735958089096 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 59679 50501 141 357 0 59319 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 418532
[startup+1722.3 s]
/proc/loadavg: 4.74 3.21 2.47 2/180 22918
/proc/meminfo: memFree=5078656/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=238852 CPUtime=1713.21 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 39457 0 0 0 171310 11 0 0 20 0 1 0 278835728 244584448 51052 33554432000 4194304 5654031 140735958091408 140735958079224 4215357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 59713 51052 141 357 0 59353 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 418668
[startup+1782.3 s]
/proc/loadavg: 4.90 3.53 2.63 2/181 22919
/proc/meminfo: memFree=4954356/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=238852 CPUtime=1773.2 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 39461 0 0 0 177309 11 0 0 20 0 1 0 278835728 244584448 51567 33554432000 4194304 5654031 140735958091408 140735958079224 4215028 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 59713 51567 141 357 0 59353 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 418668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 4.93 3.63 2.67 2/181 22919
/proc/meminfo: memFree=4949796/32873648 swapFree=6604/6604
[pid=22748] ppid=22746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22748/stat : 22748 (npSolver-pbo-I.) S 22746 22748 22368 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278834848 9367552 274 33554432000 4194304 5064252 140735039991152 140735039990064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22748/statm: 2287 274 233 213 0 72 0
[pid=22749] ppid=22748 vsize=170668 CPUtime=8.46 cores=1,3,5,7
/proc/22749/stat : 22749 (npSolver-pbo) S 22748 22748 22368 0 -1 4202496 14255 58008 0 0 160 20 637 29 20 0 1 0 278834848 174764032 31068 33554432000 4194304 5992684 140734356912128 140734356898392 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22749/statm: 42667 31068 176 440 0 42223 0
[pid=22754] ppid=22749 vsize=243296 CPUtime=1791.6 cores=1,3,5,7
/proc/22754/stat : 22754 (glucosInc) R 22749 22748 22368 0 -1 4202496 40001 0 0 0 179149 11 0 0 20 0 1 0 278835728 249135104 52618 33554432000 4194304 5654031 140735958091408 140735958089176 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22754/statm: 60824 52618 141 357 0 60464 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 423112
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22748 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=982786
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=507922
# CPU time returned by wait4() is 8.49071
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.71
CPU time (s): 1800.06
CPU user time (s): 1799.46
CPU system time (s): 0.6
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 667208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.98279
system time used= 0.507922
maximum resident set size= 468932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 238568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 15
runsolver used 5.34919 second user time and 16.3785 second system time
The end