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-3753015-1339204598/watcher-3753015-1339204598 -o /tmp/evaluation-result-3753015-1339204598/solver-3753015-1339204598 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753015-1339204598.wbo 1152343992 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: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[startup+0.038404 s]
/proc/loadavg: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100278 s]
/proc/loadavg: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700151 s]
/proc/loadavg: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 1.13 2.37 2.36 3/184 783
/proc/meminfo: memFree=30044324/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=33436 CPUtime=1.47 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) R 764 764 718 0 -1 4202496 8599 19366 0 0 54 17 66 10 20 0 1 0 386584150 34238464 7527 33554432000 4194304 6006132 140736196958288 140736196951968 5192048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/765/statm: 8359 7527 161 443 0 7912 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42584
[startup+3.10031 s]
/proc/loadavg: 1.04 2.33 2.35 3/184 804
/proc/meminfo: memFree=29962940/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=1.46 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14004 0 0 0 144 2 0 0 20 0 1 0 386584312 69689344 15000 33554432000 4194304 5208918 140734236687072 140734236684744 4211732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15000 95 248 0 16763 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 135920
[startup+6.30033 s]
/proc/loadavg: 1.04 2.33 2.35 3/184 839
/proc/meminfo: memFree=29963348/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=4.66 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14004 0 0 0 464 2 0 0 20 0 1 0 386584312 69689344 15000 33554432000 4194304 5208918 140734236687072 140734236684744 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15000 95 248 0 16763 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 135920
[startup+12.7003 s]
/proc/loadavg: 1.18 2.32 2.35 3/184 916
/proc/meminfo: memFree=29964340/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=11.06 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14005 0 0 0 1104 2 0 0 20 0 1 0 386584312 69689344 15001 33554432000 4194304 5208918 140734236687072 140734236684744 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15001 95 248 0 16763 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 135920
[startup+25.5003 s]
/proc/loadavg: 1.31 2.31 2.34 3/184 1070
/proc/meminfo: memFree=30000684/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=23.86 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14005 0 0 0 2384 2 0 0 20 0 1 0 386584312 69689344 15001 33554432000 4194304 5208918 140734236687072 140734236684744 4211740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15001 95 248 0 16763 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 135920
[startup+51.1003 s]
/proc/loadavg: 1.54 2.29 2.33 3/182 1363
/proc/meminfo: memFree=30013996/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=49.45 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14005 0 0 0 4943 2 0 0 20 0 1 0 386584312 69689344 15001 33554432000 4194304 5208918 140734236687072 140734236684744 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15001 95 248 0 16763 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 135920
[startup+102.3 s]
/proc/loadavg: 1.75 2.22 2.31 3/185 1990
/proc/meminfo: memFree=30000444/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=79.92 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 14877 39972 0 0 74 20 7873 25 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=1734] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (satsolver.sh) S 765 764 718 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386592147 9367552 266 33554432000 4194304 5064252 140733971159808 140733971158720 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1734/statm: 2287 266 226 213 0 72 0
[pid=1735] ppid=1734 vsize=68056 CPUtime=22.3 cores=0,2,4,6
/proc/1735/stat : 1735 (glucose) R 1734 764 718 0 -1 4202496 13835 0 0 0 2228 2 0 0 20 0 1 0 386592147 69689344 15346 33554432000 4194304 5208918 140736623596432 140736623594104 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1735/statm: 17014 15346 95 248 0 16763 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 135920
[startup+162.3 s]
/proc/loadavg: 1.84 2.15 2.27 3/185 2683
/proc/meminfo: memFree=30001604/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=158.54 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 18254 60478 0 0 84 21 15707 42 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=2644] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2644/stat : 2644 (satsolver.sh) S 765 764 718 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386600011 9367552 266 33554432000 4194304 5064252 140733204778416 140733204777328 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2644/statm: 2287 266 226 213 0 72 0
[pid=2645] ppid=2644 vsize=68056 CPUtime=3.66 cores=0,2,4,6
/proc/2645/stat : 2645 (glucose) R 2644 764 718 0 -1 4202496 13682 0 0 0 364 2 0 0 20 0 1 0 386600011 69689344 14700 33554432000 4194304 5208918 140737453805216 140737453802888 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2645/statm: 17014 14700 95 248 0 16763 0
Current children cumulated CPU time (s) 162.2
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.09 2.95 2.67 3/184 17264
/proc/meminfo: memFree=29948688/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1344.47 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 68909 364878 0 0 230 42 133879 296 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=16392] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16392/stat : 16392 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386718733 9367552 267 33554432000 4194304 5064252 140736078589184 140736078588096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16392/statm: 2287 267 226 213 0 72 0
[pid=16393] ppid=16392 vsize=68056 CPUtime=76.45 cores=0,2,4,6
/proc/16393/stat : 16393 (glucose) R 16392 764 718 0 -1 4202496 14067 0 0 0 7643 2 0 0 20 0 1 0 386718734 69689344 15071 33554432000 4194304 5208918 140737481125872 140737481123544 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 17014 15071 95 248 0 16763 0
Current children cumulated CPU time (s) 1420.92
Current children cumulated vsize (KiB) 135920
[startup+1482.3 s]
/proc/loadavg: 2.04 2.79 2.62 3/183 17943
/proc/meminfo: memFree=29949656/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1422.68 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 72286 385781 0 0 240 43 141673 312 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=17293] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17293/stat : 17293 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386726580 9367552 267 33554432000 4194304 5064252 140734458046544 140734458045456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17293/statm: 2287 267 226 213 0 72 0
[pid=17295] ppid=17293 vsize=68060 CPUtime=57.98 cores=0,2,4,6
/proc/17295/stat : 17295 (glucose) R 17293 764 718 0 -1 4202496 12833 0 0 0 5796 2 0 0 20 0 1 0 386726580 69693440 14793 33554432000 4194304 5208918 140736999491472 140736999489144 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17295/statm: 17015 14793 95 248 0 16764 0
Current children cumulated CPU time (s) 1480.66
Current children cumulated vsize (KiB) 135924
[startup+1542.3 s]
/proc/loadavg: 2.01 2.63 2.58 3/183 18630
/proc/meminfo: memFree=29949700/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1500.76 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 75663 405229 0 0 250 45 149452 329 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=18183] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18183/stat : 18183 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386734388 9367552 267 33554432000 4194304 5064252 140734517288848 140734517287760 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18183/statm: 2287 267 226 213 0 72 0
[pid=18184] ppid=18183 vsize=68056 CPUtime=39.89 cores=0,2,4,6
/proc/18184/stat : 18184 (glucose) R 18183 764 718 0 -1 4202496 13951 0 0 0 3987 2 0 0 20 0 1 0 386734388 69689344 14658 33554432000 4194304 5208918 140736787977456 140736787975128 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18184/statm: 17014 14658 95 248 0 16763 0
Current children cumulated CPU time (s) 1540.65
Current children cumulated vsize (KiB) 135920
[startup+1602.3 s]
/proc/loadavg: 2.00 2.52 2.54 3/183 19313
/proc/meminfo: memFree=29927844/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1578.78 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 79040 425872 0 0 259 46 157229 344 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=19074] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19074/stat : 19074 (satsolver.sh) S 765 764 718 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386742193 9367552 267 33554432000 4194304 5064252 140734435152560 140734435151472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19074/statm: 2287 267 226 213 0 72 0
[pid=19075] ppid=19074 vsize=68052 CPUtime=21.85 cores=0,2,4,6
/proc/19075/stat : 19075 (glucose) R 19074 764 718 0 -1 4202496 12724 0 0 0 2183 2 0 0 20 0 1 0 386742193 69685248 14512 33554432000 4194304 5208918 140736757848112 140736757845784 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19075/statm: 17013 14512 95 248 0 16762 0
Current children cumulated CPU time (s) 1600.63
Current children cumulated vsize (KiB) 135916
[startup+1662.3 s]
/proc/loadavg: 1.99 2.42 2.50 3/183 20009
/proc/meminfo: memFree=29951744/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1657.14 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 82417 445336 0 0 269 48 165036 361 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=19970] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19970/stat : 19970 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386750029 9367552 267 33554432000 4194304 5064252 140735851251936 140735851250848 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19970/statm: 2287 267 226 213 0 72 0
[pid=19971] ppid=19970 vsize=68056 CPUtime=3.5 cores=0,2,4,6
/proc/19971/stat : 19971 (glucose) R 19970 764 718 0 -1 4202496 13469 0 0 0 347 3 0 0 20 0 1 0 386750029 69689344 14056 33554432000 4194304 5208918 140733753611376 140733753609048 4211521 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19971/statm: 17014 14056 95 248 0 16763 0
Current children cumulated CPU time (s) 1660.64
Current children cumulated vsize (KiB) 135920
[startup+1722.3 s]
/proc/loadavg: 2.06 2.36 2.48 4/184 20688
/proc/meminfo: memFree=29952628/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1657.14 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 82417 445336 0 0 269 48 165036 361 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=19970] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19970/stat : 19970 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386750029 9367552 267 33554432000 4194304 5064252 140735851251936 140735851250848 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19970/statm: 2287 267 226 213 0 72 0
[pid=19971] ppid=19970 vsize=68056 CPUtime=63.49 cores=0,2,4,6
/proc/19971/stat : 19971 (glucose) R 19970 764 718 0 -1 4202496 13560 0 0 0 6346 3 0 0 20 0 1 0 386750029 69689344 14835 33554432000 4194304 5208918 140733753611376 140733753609048 4211652 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19971/statm: 17014 14835 95 248 0 16763 0
Current children cumulated CPU time (s) 1720.63
Current children cumulated vsize (KiB) 135920
[startup+1782.3 s]
/proc/loadavg: 2.02 2.29 2.44 3/183 21381
/proc/meminfo: memFree=29949524/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1735.16 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 85794 465707 0 0 279 49 172810 378 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=20869] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20869/stat : 20869 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386757832 9367552 267 33554432000 4194304 5064252 140735543640272 140735543639184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 2287 267 226 213 0 72 0
[pid=20870] ppid=20869 vsize=68056 CPUtime=45.46 cores=0,2,4,6
/proc/20870/stat : 20870 (glucose) R 20869 764 718 0 -1 4202496 13586 0 0 0 4544 2 0 0 20 0 1 0 386757833 69689344 14542 33554432000 4194304 5208918 140734249130576 140734249128248 4211561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20870/statm: 17014 14542 95 248 0 16763 0
Current children cumulated CPU time (s) 1780.62
Current children cumulated vsize (KiB) 135920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.7 s]
/proc/loadavg: 1.93 2.25 2.43 3/183 21606
/proc/meminfo: memFree=29947480/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1735.16 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 85794 465707 0 0 279 49 172810 378 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=20869] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20869/stat : 20869 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386757832 9367552 267 33554432000 4194304 5064252 140735543640272 140735543639184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 2287 267 226 213 0 72 0
[pid=20870] ppid=20869 vsize=68056 CPUtime=64.86 cores=0,2,4,6
/proc/20870/stat : 20870 (glucose) R 20869 764 718 0 -1 4202496 13605 0 0 0 6484 2 0 0 20 0 1 0 386757833 69689344 15072 33554432000 4194304 5208918 140734249130576 140734249128248 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20870/statm: 17014 15072 95 248 0 16763 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 135920
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.7 s]
/proc/loadavg: 1.93 2.25 2.43 3/183 21606
/proc/meminfo: memFree=29947480/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1735.16 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 85794 465707 0 0 279 49 172810 378 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=20869] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20869/stat : 20869 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386757832 9367552 267 33554432000 4194304 5064252 140735543640272 140735543639184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 2287 267 226 213 0 72 0
[pid=20870] ppid=20869 vsize=68056 CPUtime=64.86 cores=0,2,4,6
/proc/20870/stat : 20870 (glucose) R 20869 764 718 0 -1 4202496 13605 0 0 0 6484 2 0 0 20 0 1 0 386757833 69689344 15072 33554432000 4194304 5208918 140734249130576 140734249128248 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20870/statm: 17014 15072 95 248 0 16763 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 135920
Child status: 0
Real time (s): 1801.72
CPU time (s): 1800.06
CPU user time (s): 1795.75
CPU system time (s): 4.30835
CPU usage (%): 99.9079
Max. virtual memory (cumulated for all children) (KiB): 139452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.75
system time used= 4.30835
maximum resident set size= 65024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9177
involuntary context switches= 4558
runsolver used 2.57361 second user time and 6.86596 second system time
The end