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-3715589-1338178339/watcher-3715589-1338178339 -o /tmp/evaluation-result-3715589-1338178339/solver-3715589-1338178339 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715589-1338178339.wbo 237289718 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.81 1.90 1.91 3/179 18997
/proc/meminfo: memFree=28930088/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0

[startup+0.0824081 s]
/proc/loadavg: 1.81 1.90 1.91 3/179 18997
/proc/meminfo: memFree=28930088/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100318 s]
/proc/loadavg: 1.81 1.90 1.91 3/179 18997
/proc/meminfo: memFree=28930088/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300238 s]
/proc/loadavg: 1.81 1.90 1.91 3/179 18997
/proc/meminfo: memFree=28930088/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70029 s]
/proc/loadavg: 1.81 1.90 1.91 3/179 18997
/proc/meminfo: memFree=28930088/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 1.81 1.90 1.91 3/183 19057
/proc/meminfo: memFree=28845340/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=10600 CPUtime=0.31 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 4460 0 0 0 30 1 0 0 20 0 1 0 283959013 10854400 2246 33554432000 4194304 5990268 140736621643552 140736621636704 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18998/statm: 2650 2246 156 439 0 2207 0
[pid=19021] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19021/stat : 19021 (cp2_pre.sh) S 18998 18997 18846 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 283959045 9367552 277 33554432000 4194304 5064252 140736493074496 140736493073200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19021/statm: 2287 277 234 213 0 72 0
[pid=19022] ppid=19021 vsize=75056 CPUtime=1.17 cores=0,2,4,6
/proc/19022/stat : 19022 (coprocessor) R 19021 18997 18846 0 -1 4202496 13418 0 0 0 115 2 0 0 20 0 1 0 283959045 76857344 18091 33554432000 4194304 6586260 140734445009776 140734445006040 5599287 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/19022/statm: 18764 18091 191 584 0 18176 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 103952

[startup+3.10032 s]
/proc/loadavg: 1.81 1.90 1.91 3/183 19120
/proc/meminfo: memFree=28831880/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=24460 CPUtime=2.91 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 7550 27541 0 0 42 14 205 30 20 0 1 0 283959013 25047040 5148 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18998/statm: 6115 5148 180 439 0 5672 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 33608

[startup+6.30037 s]
/proc/loadavg: 1.74 1.88 1.90 3/183 19312
/proc/meminfo: memFree=28845676/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=24460 CPUtime=2.91 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 7550 27541 0 0 42 14 205 30 20 0 1 0 283959013 25047040 5148 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18998/statm: 6115 5148 180 439 0 5672 0
[pid=19171] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19171/stat : 19171 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283959306 9367552 267 33554432000 4194304 5064252 140737475802976 140737475801888 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19171/statm: 2287 267 226 213 0 72 0
[pid=19172] ppid=19171 vsize=64680 CPUtime=3.35 cores=0,2,4,6
/proc/19172/stat : 19172 (glucose) R 19171 18997 18846 0 -1 4202496 12977 0 0 0 333 2 0 0 20 0 1 0 283959306 66232320 13489 33554432000 4194304 5208918 140736237430496 140736237428344 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19172/statm: 16170 13489 104 248 0 15919 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 107436

[startup+12.7004 s]
/proc/loadavg: 1.76 1.88 1.90 3/181 19688
/proc/meminfo: memFree=28842908/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=10.82 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 10184 49220 0 0 49 16 972 45 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=19624] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19624/stat : 19624 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283960097 9367552 267 33554432000 4194304 5064252 140734620741904 140734620740816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19624/statm: 2287 267 226 213 0 72 0
[pid=19626] ppid=19624 vsize=59456 CPUtime=1.84 cores=0,2,4,6
/proc/19626/stat : 19626 (glucose) R 19624 18997 18846 0 -1 4202496 12363 0 0 0 181 3 0 0 20 0 1 0 283960097 60882944 12910 33554432000 4194304 5208918 140734597434240 140734597432088 4228965 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19626/statm: 14864 12910 104 248 0 14613 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 106308

[startup+25.5004 s]
/proc/loadavg: 1.82 1.89 1.90 3/183 20432
/proc/meminfo: memFree=28833996/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=18.73 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 12816 69934 0 0 57 16 1739 61 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=20072] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20072/stat : 20072 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283960888 9367552 266 33554432000 4194304 5064252 140737047757376 140737047756288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20072/statm: 2287 266 226 213 0 72 0
[pid=20073] ppid=20072 vsize=72008 CPUtime=6.72 cores=0,2,4,6
/proc/20073/stat : 20073 (glucose) R 20072 18997 18846 0 -1 4202496 15308 0 0 0 669 3 0 0 20 0 1 0 283960888 73736192 14614 33554432000 4194304 5208918 140735584400592 140735584398536 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20073/statm: 18002 14614 104 248 0 17751 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 118860

[startup+51.1004 s]
/proc/loadavg: 1.81 1.88 1.90 3/182 21866
/proc/meminfo: memFree=28843240/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=49.73 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 23344 157945 0 0 88 20 4746 119 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=21824] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21824/stat : 21824 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283963990 9367552 267 33554432000 4194304 5064252 140736912201312 140736912200224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21824/statm: 2287 267 226 213 0 72 0
[pid=21825] ppid=21824 vsize=59032 CPUtime=1.31 cores=0,2,4,6
/proc/21825/stat : 21825 (glucose) R 21824 18997 18846 0 -1 4202496 13103 0 0 0 128 3 0 0 20 0 1 0 283963990 60448768 13095 33554432000 4194304 5208918 140737151858336 140737151856184 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21825/statm: 14758 13095 104 248 0 14507 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 105884

[startup+102.307 s]
/proc/loadavg: 1.75 1.85 1.89 3/183 24786
/proc/meminfo: memFree=28833068/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=96.3 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 39136 283559 0 0 135 26 9265 204 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=24463] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24463/stat : 24463 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283968648 9367552 267 33554432000 4194304 5064252 140737288852464 140737288851376 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24463/statm: 2287 267 226 213 0 72 0
[pid=24464] ppid=24463 vsize=72004 CPUtime=5.94 cores=0,2,4,6
/proc/24464/stat : 24464 (glucose) R 24463 18997 18846 0 -1 4202496 14623 0 0 0 590 4 0 0 20 0 1 0 283968648 73732096 14798 33554432000 4194304 5208918 140736651556288 140736651554232 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24464/statm: 18001 14798 104 248 0 17750 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 118856

[startup+162.3 s]
/proc/loadavg: 1.81 1.83 1.88 3/183 28157
/proc/meminfo: memFree=28839116/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=158.44 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 60192 456833 0 0 197 35 15292 320 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=27980] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27980/stat : 27980 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283974861 9367552 267 33554432000 4194304 5064252 140733874599984 140733874598896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27980/statm: 2287 267 226 213 0 72 0
[pid=27981] ppid=27980 vsize=64676 CPUtime=3.8 cores=0,2,4,6
/proc/27981/stat : 27981 (glucose) R 27980 18997 18846 0 -1 4202496 13596 0 0 0 377 3 0 0 20 0 1 0 283974861 66228224 14093 33554432000 4194304 5208918 140735953113680 140735953111528 4228975 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27981/statm: 16169 14093 104 248 0 15918 0
Current children cumulated CPU time (s) 162.24

################
# More data... #
################

############
# WARNING:
# current cumulated CPU time (1480.73 s) is less than in the last sample (1480.73 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00012207 s) to the 'lost time'.

[startup+1481.3 s]
/proc/loadavg: 1.73 1.71 1.72 3/183 5714
/proc/meminfo: memFree=28820400/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=1473.53 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 505000 4112196 0 0 1477 199 142927 2750 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=5358] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5358/stat : 5358 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284106421 9367552 266 33554432000 4194304 5064252 140736304721568 140736304720480 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5358/statm: 2287 266 226 213 0 72 0
[pid=5360] ppid=5358 vsize=0 CPUtime=7.2 cores=0,2,4,6
/proc/5360/stat : 5360 (glucose) R 5358 18997 18846 0 -1 4202500 15182 0 0 0 717 3 0 0 20 0 1 0 284106421 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5360/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1480.73
Current children cumulated vsize (KiB) 46852

[startup+1481.4 s]
/proc/loadavg: 1.73 1.71 1.72 3/183 5714
/proc/meminfo: memFree=28820400/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=1480.73 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 505008 4127982 0 0 1477 199 143644 2753 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634448 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
Current children cumulated CPU time (s) 1480.73
Current children cumulated vsize (KiB) 37704
#
############


[startup+1482.3 s]
/proc/loadavg: 1.73 1.71 1.72 3/183 5777
/proc/meminfo: memFree=28860728/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=1481.16 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 507632 4134165 0 0 1484 200 143667 2765 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
Current children cumulated CPU time (s) 1481.16
Current children cumulated vsize (KiB) 37704

[startup+1542.3 s]
/proc/loadavg: 2.25 1.86 1.77 3/183 9204
/proc/meminfo: memFree=28822964/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=1535.49 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 526056 4284586 0 0 1532 206 148938 2873 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=8867] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8867/stat : 8867 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284112621 9367552 266 33554432000 4194304 5064252 140733246320224 140733246319136 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8867/statm: 2287 266 226 213 0 72 0
[pid=8868] ppid=8867 vsize=72000 CPUtime=6.2 cores=0,2,4,6
/proc/8868/stat : 8868 (glucose) R 8867 18997 18846 0 -1 4202496 15345 0 0 0 617 3 0 0 20 0 1 0 284112622 73728000 15170 33554432000 4194304 5208918 140733886194384 140733886192328 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8868/statm: 18000 15170 104 248 0 17749 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 118852

[startup+1602.3 s]
/proc/loadavg: 1.98 1.85 1.77 3/183 12573
/proc/meminfo: memFree=28826432/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=1597.56 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 547112 4459828 0 0 1587 213 154965 2991 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=12388] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12388/stat : 12388 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284118831 9367552 267 33554432000 4194304 5064252 140736211231968 140736211230880 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12388/statm: 2287 267 226 213 0 72 0
[pid=12389] ppid=12388 vsize=64936 CPUtime=4.1 cores=0,2,4,6
/proc/12389/stat : 12389 (glucose) R 12388 18997 18846 0 -1 4202496 14407 0 0 0 406 4 0 0 20 0 1 0 284118831 66494464 14314 33554432000 4194304 5208918 140733206234880 140733206232728 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12389/statm: 16234 14314 104 248 0 15983 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 111788

[startup+1662.3 s]
/proc/loadavg: 1.82 1.83 1.77 3/184 16005
/proc/meminfo: memFree=28829704/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=1659.76 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 568168 4633908 0 0 1641 221 161001 3113 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=15910] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15910/stat : 15910 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284125054 9367552 266 33554432000 4194304 5064252 140734028268160 140734028267072 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15910/statm: 2287 266 226 213 0 72 0
[pid=15911] ppid=15910 vsize=63872 CPUtime=1.87 cores=0,2,4,6
/proc/15911/stat : 15911 (glucose) R 15910 18997 18846 0 -1 4202496 13358 0 0 0 184 3 0 0 20 0 1 0 284125054 65404928 13353 33554432000 4194304 5208918 140734472421120 140734472419064 4213212 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15911/statm: 15968 13353 104 248 0 15717 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 110724

[startup+1722.3 s]
/proc/loadavg: 2.01 1.87 1.78 3/183 19383
/proc/meminfo: memFree=28824004/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=1714.79 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 586592 4788296 0 0 1689 228 166341 3221 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=19046] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19046/stat : 19046 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284130557 9367552 267 33554432000 4194304 5064252 140733435036240 140733435035152 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19046/statm: 2287 267 226 213 0 72 0
[pid=19047] ppid=19046 vsize=72000 CPUtime=6.84 cores=0,2,4,6
/proc/19047/stat : 19047 (glucose) R 19046 18997 18846 0 -1 4202496 14106 0 0 0 681 3 0 0 20 0 1 0 284130557 73728000 14964 33554432000 4194304 5208918 140736439992048 140736439989992 4229316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19047/statm: 18000 14964 104 248 0 17749 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 118852

[startup+1782.3 s]
/proc/loadavg: 1.87 1.85 1.78 3/183 21676
/proc/meminfo: memFree=28755336/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=1777.02 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) S 18997 18997 18846 0 -1 4202496 607648 4963191 0 0 1744 235 172389 3334 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621634960 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
[pid=21654] ppid=18998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21654/stat : 21654 (satsolver.sh) S 18998 18997 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284136784 9367552 267 33554432000 4194304 5064252 140736425531760 140736425530672 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21654/statm: 2287 267 226 213 0 72 0
[pid=21655] ppid=21654 vsize=72004 CPUtime=4.56 cores=0,2,4,6
/proc/21655/stat : 21655 (glucose) R 21654 18997 18846 0 -1 4202496 14256 0 0 0 453 3 0 0 20 0 1 0 284136784 73732096 14008 33554432000 4194304 5208918 140734954958736 140734954956584 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21655/statm: 18001 14008 104 248 0 17750 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 118856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.90 1.86 1.78 3/181 21779
/proc/meminfo: memFree=28813240/32873844 swapFree=7116/7116
[pid=18997] ppid=18995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18997/stat : 18997 (npSolver-wbo-It) S 18995 18997 18846 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283959012 9367552 275 33554432000 4194304 5064252 140737324872384 140737324871296 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18997/statm: 2287 275 233 213 0 72 0
[pid=18998] ppid=18997 vsize=28556 CPUtime=1800.1 cores=0,2,4,6
/proc/18998/stat : 18998 (npSolver-wbo) R 18997 18997 18846 0 -1 4202496 615119 5027420 0 0 1762 238 174631 3379 20 0 1 0 283959013 29241344 6313 33554432000 4194304 5990268 140736621643552 140736621635536 5042513 0 0 4096 0 0 0 0 17 2 0 0 12 0 0
/proc/18998/statm: 7139 6313 181 439 0 6696 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 37704

Sending SIGTERM to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.00012207
#  lost CPU user time (s): 0.00012207
#  lost CPU system time (s): 0

Real time (s): 1800.81
CPU time (s): 1800.12
CPU user time (s): 1763.94
CPU system time (s): 36.1765
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 121268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.94
system time used= 36.1765
maximum resident set size= 88844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5642923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4262120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98518
involuntary context switches= 4625

runsolver used 2.6376 second user time and 7.2249 second system time

The end