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-3749854-1339121753/watcher-3749854-1339121753 -o /tmp/evaluation-result-3749854-1339121753/solver-3749854-1339121753 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749854-1339121753.opb 548255666 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.06 2.02 2.00 3/177 12917
/proc/meminfo: memFree=31669848/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[startup+0.018631 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12917
/proc/meminfo: memFree=31669848/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12917
/proc/meminfo: memFree=31669848/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300262 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12917
/proc/meminfo: memFree=31669848/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12917
/proc/meminfo: memFree=31669848/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12919
/proc/meminfo: memFree=31577768/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=171316 CPUtime=1.48 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) R 12917 12917 7832 0 -1 4202496 7994 0 0 0 143 5 0 0 20 0 1 0 378300777 175427584 31680 33554432000 4194304 6004724 140736367027200 140736367022152 4534715 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 42829 31680 154 442 0 42383 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 180464
[startup+3.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12919
/proc/meminfo: memFree=31499300/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=302388 CPUtime=3.09 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) R 12917 12917 7832 0 -1 4202496 8627 0 0 0 299 10 0 0 20 0 1 0 378300777 309645312 60864 33554432000 4194304 6004724 140736367027200 140736367021800 4536305 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 75597 60864 154 442 0 75151 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 311536
[startup+6.30028 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 12919
/proc/meminfo: memFree=30869404/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=5.77 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10228 0 0 0 504 73 0 0 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367021248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 546332
[startup+12.7005 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 12921
/proc/meminfo: memFree=29846496/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=5.77 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10228 0 0 0 504 73 0 0 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367021248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (cp2_pre.sh) S 12918 12917 7832 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 378301355 9367552 277 33554432000 4194304 5064252 140734610375744 140734610374448 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12920/statm: 2287 277 234 213 0 72 0
[pid=12921] ppid=12920 vsize=1286780 CPUtime=6.9 cores=1,3,5,7
/proc/12921/stat : 12921 (coprocessor) R 12920 12917 7832 0 -1 4202496 89924 0 0 0 653 37 0 0 20 0 1 0 378301355 1317662720 288610 33554432000 4194304 6586260 140734107526480 140734107522808 4546597 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/12921/statm: 321695 288610 164 584 0 321107 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1842260
[startup+25.5005 s]
/proc/loadavg: 2.17 2.05 2.01 3/181 12922
/proc/meminfo: memFree=29347608/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=5.77 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10228 0 0 0 504 73 0 0 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367021248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12920] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12920/stat : 12920 (cp2_pre.sh) S 12918 12917 7832 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 378301355 9367552 277 33554432000 4194304 5064252 140734610375744 140734610374448 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12920/statm: 2287 277 234 213 0 72 0
[pid=12921] ppid=12920 vsize=1637456 CPUtime=19.7 cores=1,3,5,7
/proc/12921/stat : 12921 (coprocessor) R 12920 12917 7832 0 -1 4202496 144325 0 0 0 1919 51 0 0 20 0 1 0 378301355 1676754944 398198 33554432000 4194304 6586260 140734107526480 140734107522344 4683921 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/12921/statm: 409364 398198 190 584 0 408776 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2192936
[startup+51.1005 s]
/proc/loadavg: 2.11 2.05 2.01 3/181 12925
/proc/meminfo: memFree=30887792/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=31.03 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10236 146032 0 0 504 73 2340 186 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367022336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12924] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12924/stat : 12924 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378303906 9367552 267 33554432000 4194304 5064252 140736592003152 140736592002064 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12924/statm: 2287 267 226 213 0 72 0
[pid=12925] ppid=12924 vsize=391688 CPUtime=19.77 cores=1,3,5,7
/proc/12925/stat : 12925 (glucose) R 12924 12917 7832 0 -1 4202496 53295 0 0 0 1963 14 0 0 20 0 1 0 378303906 401088512 86577 33554432000 4194304 5208918 140735159968688 140735159966520 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12925/statm: 97922 86577 103 248 0 97671 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 947168
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 12925
/proc/meminfo: memFree=30881080/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=31.03 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10236 146032 0 0 504 73 2340 186 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367022336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12924] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12924/stat : 12924 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378303906 9367552 267 33554432000 4194304 5064252 140736592003152 140736592002064 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12924/statm: 2287 267 226 213 0 72 0
[pid=12925] ppid=12924 vsize=395792 CPUtime=70.94 cores=1,3,5,7
/proc/12925/stat : 12925 (glucose) R 12924 12917 7832 0 -1 4202496 53840 0 0 0 7079 15 0 0 20 0 1 0 378303906 405291008 88125 33554432000 4194304 5208918 140735159968688 140735159965064 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12925/statm: 98948 88125 104 248 0 98697 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 951272
[startup+162.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 12925
/proc/meminfo: memFree=30878648/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=31.03 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10236 146032 0 0 504 73 2340 186 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367022336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12924] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12924/stat : 12924 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378303906 9367552 267 33554432000 4194304 5064252 140736592003152 140736592002064 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12924/statm: 2287 267 226 213 0 72 0
[pid=12925] ppid=12924 vsize=395792 CPUtime=130.92 cores=1,3,5,7
/proc/12925/stat : 12925 (glucose) R 12924 12917 7832 0 -1 4202496 53982 0 0 0 13077 15 0 0 20 0 1 0 378303906 405291008 88767 33554432000 4194304 5208918 140735159968688 140735159965064 4211019 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12925/statm: 98948 88767 104 248 0 98697 0
Current children cumulated CPU time (s) 161.95
Current children cumulated vsize (KiB) 951272
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 12925
/proc/meminfo: memFree=30839204/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=31.03 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10236 146032 0 0 504 73 2340 186 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367022336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12924] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/12925/stat : 12925 (glucose) R 12924 12917 7832 0 -1 4202496 57514 0 0 0 139053 18 0 0 20 0 1 0 378303906 428695552 97185 33554432000 4194304 5208918 140735159968688 140735159964392 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12925/statm: 104662 97185 105 248 0 104411 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 974128
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/182 12991
/proc/meminfo: memFree=30608844/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=31.03 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10236 146032 0 0 504 73 2340 186 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367022336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12924] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12924/stat : 12924 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378303906 9367552 267 33554432000 4194304 5064252 140736592003152 140736592002064 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12924/statm: 2287 267 226 213 0 72 0
[pid=12925] ppid=12924 vsize=422556 CPUtime=1450.7 cores=1,3,5,7
/proc/12925/stat : 12925 (glucose) R 12924 12917 7832 0 -1 4202496 57613 0 0 0 145052 18 0 0 20 0 1 0 378303906 432697344 97787 33554432000 4194304 5208918 140735159968688 140735159966520 4205261 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12925/statm: 105639 97787 105 248 0 105388 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 978036
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 12991
/proc/meminfo: memFree=30611924/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=31.03 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10236 146032 0 0 504 73 2340 186 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367022336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12924] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12924/stat : 12924 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378303906 9367552 267 33554432000 4194304 5064252 140736592003152 140736592002064 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12924/statm: 2287 267 226 213 0 72 0
[pid=12925] ppid=12924 vsize=422556 CPUtime=1510.69 cores=1,3,5,7
/proc/12925/stat : 12925 (glucose) R 12924 12917 7832 0 -1 4202496 57857 0 0 0 151051 18 0 0 20 0 1 0 378303906 432697344 98020 33554432000 4194304 5208918 140735159968688 140735159966520 4205761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12925/statm: 105639 98020 105 248 0 105388 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 978036
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 12992
/proc/meminfo: memFree=30609848/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=31.03 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10236 146032 0 0 504 73 2340 186 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367022336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12924] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12924/stat : 12924 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378303906 9367552 267 33554432000 4194304 5064252 140736592003152 140736592002064 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12924/statm: 2287 267 226 213 0 72 0
[pid=12925] ppid=12924 vsize=453376 CPUtime=1570.69 cores=1,3,5,7
/proc/12925/stat : 12925 (glucose) R 12924 12917 7832 0 -1 4202496 58373 0 0 0 157050 19 0 0 20 0 1 0 378303906 464257024 98522 33554432000 4194304 5208918 140735159968688 140735159966840 4210859 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12925/statm: 113344 98522 105 248 0 113093 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1008856
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 12992
/proc/meminfo: memFree=30584488/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=537184 CPUtime=31.03 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 10236 146032 0 0 504 73 2340 186 20 0 1 0 378300777 550076416 90900 33554432000 4194304 6004724 140736367027200 140736367022336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 134296 90900 163 442 0 133850 0
[pid=12924] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12924/stat : 12924 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378303906 9367552 267 33554432000 4194304 5064252 140736592003152 140736592002064 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12924/statm: 2287 267 226 213 0 72 0
[pid=12925] ppid=12924 vsize=453376 CPUtime=1630.68 cores=1,3,5,7
/proc/12925/stat : 12925 (glucose) R 12924 12917 7832 0 -1 4202496 58437 0 0 0 163049 19 0 0 20 0 1 0 378303906 464257024 98579 33554432000 4194304 5208918 140735159968688 140735159966840 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12925/statm: 113344 98579 105 248 0 113093 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1008856
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 13006
/proc/meminfo: memFree=30537872/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=580464 CPUtime=1717.25 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 13897 267994 0 0 605 432 170429 259 20 0 1 0 378300777 594395136 101714 33554432000 4194304 6004724 140736367027200 140736367019552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 145116 101714 176 442 0 144670 0
[pid=13005] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13005/stat : 13005 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378472622 9367552 267 33554432000 4194304 5064252 140736279588400 140736279587312 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13005/statm: 2287 267 226 213 0 72 0
[pid=13006] ppid=13005 vsize=386612 CPUtime=3.84 cores=1,3,5,7
/proc/13006/stat : 13006 (glucose) R 13005 12917 7832 0 -1 4202496 54598 0 0 0 370 14 0 0 20 0 1 0 378472623 395890688 85581 33554432000 4194304 5208918 140737080178896 140737080176728 4229888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13006/statm: 96653 85581 103 248 0 96402 0
Current children cumulated CPU time (s) 1721.09
Current children cumulated vsize (KiB) 985372
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 13006
/proc/meminfo: memFree=30538620/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=580464 CPUtime=1717.25 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 13897 267994 0 0 605 432 170429 259 20 0 1 0 378300777 594395136 101714 33554432000 4194304 6004724 140736367027200 140736367019552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 145116 101714 176 442 0 144670 0
[pid=13005] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13005/stat : 13005 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378472622 9367552 267 33554432000 4194304 5064252 140736279588400 140736279587312 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13005/statm: 2287 267 226 213 0 72 0
[pid=13006] ppid=13005 vsize=394916 CPUtime=63.82 cores=1,3,5,7
/proc/13006/stat : 13006 (glucose) R 13005 12917 7832 0 -1 4202496 55650 0 0 0 6368 14 0 0 20 0 1 0 378472623 404393984 88165 33554432000 4194304 5208918 140737080178896 140737080175272 4211049 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13006/statm: 98729 88165 104 248 0 98478 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (KiB) 993676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 13006
/proc/meminfo: memFree=30526012/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=580464 CPUtime=1717.25 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 13897 267994 0 0 605 432 170429 259 20 0 1 0 378300777 594395136 101714 33554432000 4194304 6004724 140736367027200 140736367019552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 145116 101714 176 442 0 144670 0
[pid=13005] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13005/stat : 13005 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378472622 9367552 267 33554432000 4194304 5064252 140736279588400 140736279587312 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13005/statm: 2287 267 226 213 0 72 0
[pid=13006] ppid=13005 vsize=394916 CPUtime=82.81 cores=1,3,5,7
/proc/13006/stat : 13006 (glucose) R 13005 12917 7832 0 -1 4202496 55700 0 0 0 8267 14 0 0 20 0 1 0 378472623 404393984 88219 33554432000 4194304 5208918 140737080178896 140737080175272 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13006/statm: 98729 88219 104 248 0 98478 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 993676
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 13006
/proc/meminfo: memFree=30526012/32873852 swapFree=6864/6864
[pid=12917] ppid=12915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12917/stat : 12917 (npSolver-pbo.sh) S 12915 12917 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378300777 9367552 275 33554432000 4194304 5064252 140736720022176 140736720021088 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12917/statm: 2287 275 233 213 0 72 0
[pid=12918] ppid=12917 vsize=580464 CPUtime=1717.25 cores=1,3,5,7
/proc/12918/stat : 12918 (npSolver-pbo) S 12917 12917 7832 0 -1 4202496 13897 267994 0 0 605 432 170429 259 20 0 1 0 378300777 594395136 101714 33554432000 4194304 6004724 140736367027200 140736367019552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12918/statm: 145116 101714 176 442 0 144670 0
[pid=13005] ppid=12918 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13005/stat : 13005 (satsolver.sh) S 12918 12917 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378472622 9367552 267 33554432000 4194304 5064252 140736279588400 140736279587312 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13005/statm: 2287 267 226 213 0 72 0
[pid=13006] ppid=13005 vsize=394916 CPUtime=82.81 cores=1,3,5,7
/proc/13006/stat : 13006 (glucose) R 13005 12917 7832 0 -1 4202496 55700 0 0 0 8267 14 0 0 20 0 1 0 378472623 404393984 88219 33554432000 4194304 5208918 140737080178896 140737080175272 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13006/statm: 98729 88219 104 248 0 98478 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 993676
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12917 and gives
# childrusage.ru_utime.tv_sec=1710
# childrusage.ru_utime.tv_usec=351986
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=923947
# CPU time returned by wait4() is 1717.28
# 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): 1801.32
CPU time (s): 1800.06
CPU user time (s): 1793.01
CPU system time (s): 7.05
CPU usage (%): 99.9303
Max. virtual memory (cumulated for all children) (KiB): 2239016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.35
system time used= 6.92395
maximum resident set size= 1638920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1196112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4209
involuntary context switches= 1825
runsolver used 3.03554 second user time and 7.35288 second system time
The end