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-3749723-1339171983/watcher-3749723-1339171983 -o /tmp/evaluation-result-3749723-1339171983/solver-3749723-1339171983 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749723-1339171983.opb 247106323 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.04 2.01 2.00 3/179 7704
/proc/meminfo: memFree=31156008/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[startup+0.077532 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 7704
/proc/meminfo: memFree=31156008/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100378 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 7704
/proc/meminfo: memFree=31156008/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300193 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 7704
/proc/meminfo: memFree=31156008/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700302 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 7704
/proc/meminfo: memFree=31156008/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 7711
/proc/meminfo: memFree=31127184/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=13344 CPUtime=0.99 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 3104 0 0 0 99 0 0 0 20 0 1 0 383325284 13664256 2863 33554432000 4194304 5208918 140735552900176 140735552898008 4211615 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 3336 2863 104 248 0 3085 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 47244
[startup+3.10046 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 7711
/proc/meminfo: memFree=31123708/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=18520 CPUtime=2.59 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 5147 0 0 0 258 1 0 0 20 0 1 0 383325284 18964480 3881 33554432000 4194304 5208918 140735552900176 140735552898024 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 4630 3881 105 248 0 4379 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 52420
[startup+6.30048 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 7711
/proc/meminfo: memFree=31106652/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=25592 CPUtime=5.79 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 5699 0 0 0 578 1 0 0 20 0 1 0 383325284 26206208 5963 33554432000 4194304 5208918 140735552900176 140735552898120 4211740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 6398 5963 105 248 0 6147 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 59492
[startup+12.7005 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 7711
/proc/meminfo: memFree=31082296/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=44816 CPUtime=12.19 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 6383 0 0 0 1217 2 0 0 20 0 1 0 383325284 45891584 9912 33554432000 4194304 5208918 140735552900176 140735552898120 4211904 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 11204 9912 105 248 0 10953 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 78716
[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7711
/proc/meminfo: memFree=31058032/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=44816 CPUtime=24.99 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 6899 0 0 0 2497 2 0 0 20 0 1 0 383325284 45891584 10769 33554432000 4194304 5208918 140735552900176 140735552896552 4211738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 11204 10769 105 248 0 10953 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 78716
[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7711
/proc/meminfo: memFree=31184416/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=124488 CPUtime=50.59 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 7943 0 0 0 5055 4 0 0 20 0 1 0 383325284 127475712 26836 33554432000 4194304 5208918 140735552900176 140735552898168 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 31122 26836 105 248 0 30871 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 158388
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7711
/proc/meminfo: memFree=31051848/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=136428 CPUtime=101.78 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 9707 0 0 0 10170 8 0 0 20 0 1 0 383325284 139702272 32893 33554432000 4194304 5208918 140735552900176 140735552896552 4229704 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 34107 32893 105 248 0 33856 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 170328
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7711
/proc/meminfo: memFree=31005288/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 42528 0 0 0 136066 87 0 0 20 0 1 0 383325284 322183168 58044 33554432000 4194304 5208918 140735552900176 140735552896552 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 78658 58044 105 248 0 78407 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 348532
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 7917
/proc/meminfo: memFree=30042276/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=446892 CPUtime=1421.52 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 43220 0 0 0 142063 89 0 0 20 0 1 0 383325284 457617408 79175 33554432000 4194304 5208918 140735552900176 140735552898328 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 111723 79175 105 248 0 111472 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 480792
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7918
/proc/meminfo: memFree=30125332/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=233244 CPUtime=1481.49 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 44499 0 0 0 148054 95 0 0 20 0 1 0 383325284 238841856 55158 33554432000 4194304 5208918 140735552900176 140735552895944 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 58311 55158 105 248 0 58060 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 267144
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7918
/proc/meminfo: memFree=30027156/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=446892 CPUtime=1541.47 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 45477 0 0 0 154050 97 0 0 20 0 1 0 383325284 457617408 78618 33554432000 4194304 5208918 140735552900176 140735552898328 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 111723 78618 105 248 0 111472 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 480792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7918
/proc/meminfo: memFree=30187004/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=233244 CPUtime=1601.46 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 46770 0 0 0 160044 102 0 0 20 0 1 0 383325284 238841856 47478 33554432000 4194304 5208918 140735552900176 140735552898328 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 58311 47478 105 248 0 58060 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 267144
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7921
/proc/meminfo: memFree=30081000/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=314632 CPUtime=1661.46 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 47329 0 0 0 166042 104 0 0 20 0 1 0 383325284 322183168 72054 33554432000 4194304 5208918 140735552900176 140735552896552 4212450 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 78658 72054 105 248 0 78407 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 348532
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7921
/proc/meminfo: memFree=29997788/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=446892 CPUtime=1721.45 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 47832 0 0 0 172038 107 0 0 20 0 1 0 383325284 457617408 91975 33554432000 4194304 5208918 140735552900176 140735552895944 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 111723 91975 105 248 0 111472 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 480792
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 7922
/proc/meminfo: memFree=30108428/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=314632 CPUtime=1781.44 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 49592 0 0 0 178032 112 0 0 20 0 1 0 383325284 322183168 63350 33554432000 4194304 5208918 140735552900176 140735552896552 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 78658 63350 105 248 0 78407 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 348532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 7922
/proc/meminfo: memFree=30077708/32873844 swapFree=7116/7116
[pid=7704] ppid=7702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7704/stat : 7704 (npSolver-pbo.sh) S 7702 7704 7523 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383325235 9367552 275 33554432000 4194304 5064252 140733509907904 140733509906816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7704/statm: 2287 275 233 213 0 72 0
[pid=7705] ppid=7704 vsize=15604 CPUtime=0.47 cores=1,3,5,7
/proc/7705/stat : 7705 (npSolver-pbo) S 7704 7704 7523 0 -1 4202496 5578 6387 0 0 13 1 32 1 20 0 1 0 383325235 15978496 3391 33554432000 4194304 6004724 140737396580704 140737396575840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7705/statm: 3901 3391 148 442 0 3455 0
[pid=7710] ppid=7705 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7710/stat : 7710 (satsolver.sh) S 7705 7704 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 383325284 9367552 267 33554432000 4194304 5064252 140736021361920 140736021360832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7710/statm: 2287 267 226 213 0 72 0
[pid=7711] ppid=7710 vsize=314632 CPUtime=1799.54 cores=1,3,5,7
/proc/7711/stat : 7711 (glucose) R 7710 7704 7523 0 -1 4202496 49606 0 0 0 179841 113 0 0 20 0 1 0 383325284 322183168 70518 33554432000 4194304 5208918 140735552900176 140735552896488 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7711/statm: 78658 70518 105 248 0 78407 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 348532
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7704 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=458930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=38994
# CPU time returned by wait4() is 0.497924
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.01
CPU user time (s): 1798.86
CPU system time (s): 1.15
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 530112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45893
system time used= 0.038994
maximum resident set size= 40876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 14
runsolver used 7.00593 second user time and 19.1871 second system time
The end