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-3750875-1339131406/watcher-3750875-1339131406 -o /tmp/evaluation-result-3750875-1339131406/solver-3750875-1339131406 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750875-1339131406.opb 1416857028 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.00 2.00 2.00 3/181 15465
/proc/meminfo: memFree=30683548/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[startup+0.0568551 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15465
/proc/meminfo: memFree=30683548/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15465
/proc/meminfo: memFree=30683548/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300249 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15465
/proc/meminfo: memFree=30683548/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700232 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15465
/proc/meminfo: memFree=30683548/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15467
/proc/meminfo: memFree=30611932/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=1.06 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14894 0 0 0 99 7 0 0 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515213296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 83444
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15469
/proc/meminfo: memFree=30405020/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=1.06 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14894 0 0 0 99 7 0 0 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515213296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15468] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15468/stat : 15468 (cp2_pre.sh) S 15466 15465 8372 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 23107701 9367552 276 33554432000 4194304 5064252 140734161185936 140734161184640 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15468/statm: 2287 276 234 213 0 72 0
[pid=15469] ppid=15468 vsize=222344 CPUtime=2.01 cores=0,2,4,6
/proc/15469/stat : 15469 (coprocessor) R 15468 15465 8372 0 -1 4202496 36205 0 0 0 194 7 0 0 20 0 1 0 23107701 227680256 53625 33554432000 4194304 6586260 140734327167408 140734327163336 4770132 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/15469/statm: 55586 53625 182 584 0 54998 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 314936
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15472
/proc/meminfo: memFree=30497984/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=110524 CPUtime=1.47 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 20887 0 0 0 143 4 0 0 20 0 1 0 23108076 113176576 23919 33554432000 4194304 5208918 140737337157888 140737337155736 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 27631 23919 95 248 0 27380 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 203116
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15472
/proc/meminfo: memFree=30493300/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=110660 CPUtime=7.86 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 20909 0 0 0 782 4 0 0 20 0 1 0 23108076 113315840 24452 33554432000 4194304 5208918 140737337157888 140737337155848 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 27665 24452 95 248 0 27414 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 203252
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15472
/proc/meminfo: memFree=30491500/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=110660 CPUtime=20.66 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 20931 0 0 0 2062 4 0 0 20 0 1 0 23108076 113315840 24985 33554432000 4194304 5208918 140737337157888 140737337155848 4211740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 27665 24985 95 248 0 27414 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 203252
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15472
/proc/meminfo: memFree=30483308/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=110924 CPUtime=46.26 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 20967 0 0 0 4622 4 0 0 20 0 1 0 23108076 113586176 26043 33554432000 4194304 5208918 140737337157888 140737337155736 4211537 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 27731 26043 95 248 0 27480 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 203516
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15472
/proc/meminfo: memFree=30442040/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=130024 CPUtime=97.45 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 21586 0 0 0 9741 4 0 0 20 0 1 0 23108076 133144576 28198 33554432000 4194304 5208918 140737337157888 140737337155736 4211620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 32506 28198 95 248 0 32255 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 222616
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/185 15472
/proc/meminfo: memFree=30482176/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=116972 CPUtime=157.43 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 24101 0 0 0 15737 6 0 0 20 0 1 0 23108076 119779328 26099 33554432000 4194304 5208918 140737337157888 140737337155848 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 29243 26099 96 248 0 28992 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15505
/proc/meminfo: memFree=30277616/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=246696 CPUtime=1357.25 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 25927 0 0 0 135716 9 0 0 20 0 1 0 23108076 252616704 58015 33554432000 4194304 5208918 140737337157888 140737337153656 4229238 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 61674 58015 105 248 0 61423 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 339288
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/186 15508
/proc/meminfo: memFree=30308528/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=246696 CPUtime=1417.24 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 26111 0 0 0 141714 10 0 0 20 0 1 0 23108076 252616704 57461 33554432000 4194304 5208918 140737337157888 140737337153592 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 61674 57461 105 248 0 61423 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 339288
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15508
/proc/meminfo: memFree=30336400/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=246696 CPUtime=1477.23 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 26114 0 0 0 147713 10 0 0 20 0 1 0 23108076 252616704 58997 33554432000 4194304 5208918 140737337157888 140737337154264 4229125 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 61674 58997 105 248 0 61423 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 339288
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15509
/proc/meminfo: memFree=30318652/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=246696 CPUtime=1537.22 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 26354 0 0 0 153711 11 0 0 20 0 1 0 23108076 252616704 58015 33554432000 4194304 5208918 140737337157888 140737337154200 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 61674 58015 105 248 0 61423 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 339288
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15509
/proc/meminfo: memFree=30273040/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=246696 CPUtime=1597.21 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 26541 0 0 0 159709 12 0 0 20 0 1 0 23108076 252616704 57461 33554432000 4194304 5208918 140737337157888 140737337155976 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 61674 57461 105 248 0 61423 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 339288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15794
/proc/meminfo: memFree=30410248/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=246696 CPUtime=1657.2 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 26544 0 0 0 165708 12 0 0 20 0 1 0 23108076 252616704 58997 33554432000 4194304 5208918 140737337157888 140737337154264 4205203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 61674 58997 105 248 0 61423 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 339288
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/185 15842
/proc/meminfo: memFree=30393492/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=246696 CPUtime=1717.19 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 26782 0 0 0 171707 12 0 0 20 0 1 0 23108076 252616704 58527 33554432000 4194304 5208918 140737337157888 140737337154264 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 61674 58527 105 248 0 61423 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 339288
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/185 15842
/proc/meminfo: memFree=30388220/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=246696 CPUtime=1777.18 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 26962 0 0 0 177705 13 0 0 20 0 1 0 23108076 252616704 57461 33554432000 4194304 5208918 140737337157888 140737337155976 4205220 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 61674 57461 105 248 0 61423 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 339288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.02 2.00 3/185 15842
/proc/meminfo: memFree=30374072/32873844 swapFree=7120/7120
[pid=15465] ppid=15463 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15465/stat : 15465 (npSolver-pbo.sh) S 15463 15465 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23107593 9367552 275 33554432000 4194304 5064252 140735495661408 140735495660320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15465/statm: 2287 275 233 213 0 72 0
[pid=15466] ppid=15465 vsize=74296 CPUtime=4.78 cores=0,2,4,6
/proc/15466/stat : 15466 (npSolver-pbo) S 15465 15465 8372 0 -1 4202496 14902 41163 0 0 99 7 347 25 20 0 1 0 23107593 76079104 17688 33554432000 4194304 6004724 140733515219248 140733515214384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15466/statm: 18574 17688 161 442 0 18128 0
[pid=15471] ppid=15466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15471/stat : 15471 (satsolver.sh) S 15466 15465 8372 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 23108075 9367552 266 33554432000 4194304 5064252 140734349106560 140734349105472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15471/statm: 2287 266 226 213 0 72 0
[pid=15472] ppid=15471 vsize=246696 CPUtime=1795.28 cores=0,2,4,6
/proc/15472/stat : 15472 (glucose) R 15471 15465 8372 0 -1 4202496 26964 0 0 0 179515 13 0 0 20 0 1 0 23108076 252616704 58485 33554432000 4194304 5208918 140737337157888 140737337154264 4211147 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15472/statm: 61674 58485 105 248 0 61423 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 339288
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.63
CPU system time (s): 0.479927
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 388608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.479927
maximum resident set size= 275616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84019
page faults= 0
swaps= 0
block input operations= 8
block output operations= 98712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 1865
runsolver used 3.71043 second user time and 9.72152 second system time
The end