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-3755232-1339190927/watcher-3755232-1339190927 -o /tmp/evaluation-result-3755232-1339190927/solver-3755232-1339190927 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755232-1339190927.wbo 108681997 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 28574
/proc/meminfo: memFree=29053364/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[startup+0.05557 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 28574
/proc/meminfo: memFree=29053364/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100358 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 28574
/proc/meminfo: memFree=29053364/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300296 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 28574
/proc/meminfo: memFree=29053364/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 28574
/proc/meminfo: memFree=29053364/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 28578
/proc/meminfo: memFree=28949012/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=39412 CPUtime=0.85 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 9561 0 0 0 68 17 0 0 20 0 1 0 385221205 40357888 9479 33554432000 4194304 6006132 140735071602144 140735071595248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 9853 9479 157 443 0 9406 0
[pid=28577] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28577/stat : 28577 (cp2_pre.sh) S 28575 28574 26138 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 385221291 9367552 277 33554432000 4194304 5064252 140737130573312 140737130572016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28577/statm: 2287 277 234 213 0 72 0
[pid=28578] ppid=28577 vsize=95984 CPUtime=0.62 cores=0,2,4,6
/proc/28578/stat : 28578 (coprocessor) R 28577 28574 26138 0 -1 4202496 16438 0 0 0 58 4 0 0 20 0 1 0 385221292 98287616 23098 33554432000 4194304 6586260 140736663252624 140736663252264 5598875 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28578/statm: 23996 23098 190 584 0 23408 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 153692
[startup+3.10039 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 28578
/proc/meminfo: memFree=28919408/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=39412 CPUtime=0.85 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 9561 0 0 0 68 17 0 0 20 0 1 0 385221205 40357888 9479 33554432000 4194304 6006132 140735071602144 140735071595248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 9853 9479 157 443 0 9406 0
[pid=28577] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28577/stat : 28577 (cp2_pre.sh) S 28575 28574 26138 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 385221291 9367552 277 33554432000 4194304 5064252 140737130573312 140737130572016 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28577/statm: 2287 277 234 213 0 72 0
[pid=28578] ppid=28577 vsize=96512 CPUtime=2.22 cores=0,2,4,6
/proc/28578/stat : 28578 (coprocessor) R 28577 28574 26138 0 -1 4202496 16572 0 0 0 218 4 0 0 20 0 1 0 385221292 98828288 23232 33554432000 4194304 6586260 140736663252624 140736663247944 5599260 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28578/statm: 24128 23232 190 584 0 23540 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 154220
[startup+6.30036 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 28585
/proc/meminfo: memFree=29007680/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=184792 CPUtime=6.28 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) R 28574 28574 26138 0 -1 4202496 29140 31532 0 0 151 37 428 12 20 0 1 0 385221205 189227008 40821 33554432000 4194304 6006132 140735071602144 140735071594936 4537521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 46198 40821 178 443 0 45751 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 193940
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 28586
/proc/meminfo: memFree=28453748/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=643544 CPUtime=12.68 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) R 28574 28574 26138 0 -1 4202496 31338 31532 0 0 777 51 428 12 20 0 1 0 385221205 658989056 160325 33554432000 4194304 6006132 140735071602144 140735071594504 5056745 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 160886 160326 178 443 0 160439 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 652692
[startup+25.5004 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 28588
/proc/meminfo: memFree=26318840/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1507692 CPUtime=10.07 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 186873 0 0 0 942 65 0 0 20 0 1 0 385222747 1543876608 339323 33554432000 4194304 5208918 140737205260096 140737205257944 4341311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 376923 339323 103 248 0 376672 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2645040
[startup+51.1068 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 28588
/proc/meminfo: memFree=26329556/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1508280 CPUtime=35.67 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 187017 0 0 0 3502 65 0 0 20 0 1 0 385222747 1544478720 342022 33554432000 4194304 5208918 140737205260096 140737205257768 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 377070 342022 104 248 0 376819 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2645628
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 28592
/proc/meminfo: memFree=26329796/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1508448 CPUtime=86.85 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 187044 0 0 0 8620 65 0 0 20 0 1 0 385222747 1544650752 342049 33554432000 4194304 5208918 140737205260096 140737205257768 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 377112 342049 104 248 0 376861 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 2645796
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 28592
/proc/meminfo: memFree=26329244/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1509480 CPUtime=146.84 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 187267 0 0 0 14619 65 0 0 20 0 1 0 385222747 1545707520 342272 33554432000 4194304 5208918 140737205260096 140737205258056 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 377370 342272 104 248 0 377119 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 2646828
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 28592
/proc/meminfo: memFree=26322356/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 189101 0 0 0 140596 67 0 0 20 0 1 0 385222747 1553035264 346862 33554432000 4194304 5208918 140737205260096 140737205257768 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 379159 346862 104 248 0 378908 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 2653984
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/184 28699
/proc/meminfo: memFree=25572720/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1516636 CPUtime=1466.63 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 189103 0 0 0 146595 68 0 0 20 0 1 0 385222747 1553035264 346864 33554432000 4194304 5208918 140737205260096 140737205257768 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 379159 346864 104 248 0 378908 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2653984
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 28699
/proc/meminfo: memFree=25570680/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1516636 CPUtime=1526.62 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 189104 0 0 0 152594 68 0 0 20 0 1 0 385222747 1553035264 347376 33554432000 4194304 5208918 140737205260096 140737205257768 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 379159 347376 104 248 0 378908 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 2653984
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 28699
/proc/meminfo: memFree=25570576/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1516636 CPUtime=1586.61 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 189104 0 0 0 158593 68 0 0 20 0 1 0 385222747 1553035264 347376 33554432000 4194304 5208918 140737205260096 140737205257768 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 379159 347376 104 248 0 378908 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2653984
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 28700
/proc/meminfo: memFree=25568900/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1517956 CPUtime=1646.6 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 189446 0 0 0 164592 68 0 0 20 0 1 0 385222747 1554386944 347717 33554432000 4194304 5208918 140737205260096 140737205257944 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 379489 347717 104 248 0 379238 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 2655304
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 28700
/proc/meminfo: memFree=25568224/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1518384 CPUtime=1706.59 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 189521 0 0 0 170591 68 0 0 20 0 1 0 385222747 1554825216 347920 33554432000 4194304 5208918 140737205260096 140737205257768 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 379596 347920 104 248 0 379345 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2655732
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 28700
/proc/meminfo: memFree=25568012/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1518384 CPUtime=1766.58 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 189526 0 0 0 176590 68 0 0 20 0 1 0 385222747 1554825216 347924 33554432000 4194304 5208918 140737205260096 140737205257768 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 379596 347924 104 248 0 379345 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2655732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 28700
/proc/meminfo: memFree=25565332/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1518384 CPUtime=1784.68 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 189529 0 0 0 178400 68 0 0 20 0 1 0 385222747 1554825216 348539 33554432000 4194304 5208918 140737205260096 140737205257768 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 379596 348539 104 248 0 379345 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2655732
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 28700
/proc/meminfo: memFree=25565332/32873844 swapFree=7384/7384
[pid=28574] ppid=28572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28574/stat : 28574 (npSolver-wbo.sh) S 28572 28574 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385221205 9367552 275 33554432000 4194304 5064252 140735801104896 140735801103808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28574/statm: 2287 275 233 213 0 72 0
[pid=28575] ppid=28574 vsize=1119052 CPUtime=15.4 cores=0,2,4,6
/proc/28575/stat : 28575 (npSolver-wbo) S 28574 28574 26138 0 -1 4202496 32771 31532 0 0 947 153 428 12 20 0 1 0 385221205 1145909248 176628 33554432000 4194304 6006132 140735071602144 140735071593552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28575/statm: 279763 176628 180 443 0 279316 0
[pid=28587] ppid=28575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28587/stat : 28587 (satsolver.sh) S 28575 28574 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385222746 9367552 267 33554432000 4194304 5064252 140735454889744 140735454888656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28587/statm: 2287 267 226 213 0 72 0
[pid=28588] ppid=28587 vsize=1518384 CPUtime=1784.68 cores=0,2,4,6
/proc/28588/stat : 28588 (glucose) R 28587 28574 26138 0 -1 4202496 189529 0 0 0 178400 68 0 0 20 0 1 0 385222747 1554825216 348539 33554432000 4194304 5208918 140737205260096 140737205257768 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28588/statm: 379596 348539 104 248 0 379345 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2655732
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28574 and gives
# childrusage.ru_utime.tv_sec=13
# childrusage.ru_utime.tv_usec=761907
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=661747
# CPU time returned by wait4() is 15.4237
# 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.42
CPU time (s): 1800.08
CPU user time (s): 1797.75
CPU system time (s): 2.33
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 3173488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.7619
system time used= 1.66175
maximum resident set size= 1343408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65280
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1304200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 344
involuntary context switches= 36
runsolver used 7.36788 second user time and 14.7248 second system time
The end