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-3752733-1339211440/watcher-3752733-1339211440 -o /tmp/evaluation-result-3752733-1339211440/solver-3752733-1339211440 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752733-1339211440.wbo 547947396 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.07 2.02 2.00 3/182 19986
/proc/meminfo: memFree=31248256/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (runsolver) D 19984 19986 16397 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 31110609 12095488 50 33554432000 4194304 5436572 140735864150848 140735864147144 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/19986/statm: 2953 50 31 304 0 2645 0
[startup+0.053998 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 19986
/proc/meminfo: memFree=31248256/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100261 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 19986
/proc/meminfo: memFree=31248256/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300224 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 19986
/proc/meminfo: memFree=31248256/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 19986
/proc/meminfo: memFree=31248256/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 19988
/proc/meminfo: memFree=31172608/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=86836 CPUtime=1.49 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) R 19986 19986 16397 0 -1 4202496 13581 0 0 0 121 28 0 0 20 0 1 0 31110609 88920064 21148 33554432000 4194304 6006132 140733218629152 140733218623336 5192048 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19988/statm: 21709 21148 153 443 0 21262 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95984
[startup+3.10033 s]
/proc/loadavg: 2.07 2.02 2.00 3/186 19990
/proc/meminfo: memFree=31045084/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=86836 CPUtime=1.64 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 13584 0 0 0 123 41 0 0 20 0 1 0 31110609 88920064 21150 33554432000 4194304 6006132 140733218629152 140733218622256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19988/statm: 21709 21150 155 443 0 21262 0
[pid=19989] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19989/stat : 19989 (cp2_pre.sh) S 19988 19986 16397 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 31110775 9367552 277 33554432000 4194304 5064252 140734440495552 140734440494256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19989/statm: 2287 277 234 213 0 72 0
[pid=19990] ppid=19989 vsize=135768 CPUtime=1.42 cores=0,2,4,6
/proc/19990/stat : 19990 (coprocessor) R 19989 19986 16397 0 -1 4202496 21917 0 0 0 139 3 0 0 20 0 1 0 31110775 139026432 32896 33554432000 4194304 6586260 140735442182512 140735442178104 5599298 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/19990/statm: 33942 32896 191 584 0 33354 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 240900
[startup+6.30033 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 19995
/proc/meminfo: memFree=30862928/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=86836 CPUtime=1.64 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 13584 0 0 0 123 41 0 0 20 0 1 0 31110609 88920064 21150 33554432000 4194304 6006132 140733218629152 140733218622256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19988/statm: 21709 21150 155 443 0 21262 0
[pid=19989] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19989/stat : 19989 (cp2_pre.sh) S 19988 19986 16397 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 31110775 9367552 277 33554432000 4194304 5064252 140734440495552 140734440494256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19989/statm: 2287 277 234 213 0 72 0
[pid=19990] ppid=19989 vsize=136560 CPUtime=4.62 cores=0,2,4,6
/proc/19990/stat : 19990 (coprocessor) R 19989 19986 16397 0 -1 4202496 22119 0 0 0 459 3 0 0 20 0 1 0 31110775 139837440 33098 33554432000 4194304 6586260 140735442182512 140735442178056 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/19990/statm: 34140 33098 191 584 0 33552 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 241692
[startup+12.7002 s]
/proc/loadavg: 2.14 2.03 2.01 3/184 20005
/proc/meminfo: memFree=29376592/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=573376 CPUtime=12.67 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) R 19986 19986 16397 0 -1 4202496 68418 38448 0 0 547 79 630 11 20 0 1 0 31110609 587137024 141190 33554432000 4194304 6006132 140733218629152 140733218621496 4583751 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19988/statm: 143344 141190 189 443 0 142897 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 582524
[startup+25.5003 s]
/proc/loadavg: 2.19 2.05 2.01 3/183 20005
/proc/meminfo: memFree=28103500/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=2408384 CPUtime=25.47 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) R 19986 19986 16397 0 -1 4202496 71308 38448 0 0 1785 121 630 11 20 0 1 0 31110609 2466185216 377222 33554432000 4194304 6006132 140733218629152 140733218621496 4583839 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 602096 377222 189 443 0 601649 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2417532
[startup+51.1003 s]
/proc/loadavg: 2.27 2.07 2.02 3/185 20007
/proc/meminfo: memFree=23410232/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=1595608 CPUtime=6.77 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 153286 0 0 0 625 52 0 0 20 0 1 0 31115040 1633902592 355061 33554432000 4194304 5208918 140737159644464 140737158593864 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 398902 355062 70 248 0 398651 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 5922052
[startup+102.3 s]
/proc/loadavg: 2.48 2.18 2.06 3/185 20007
/proc/meminfo: memFree=20013436/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5539524 CPUtime=57.96 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 565560 0 0 0 5565 231 0 0 20 0 1 0 31115040 5672472576 1204069 33554432000 4194304 5208918 140737159644464 140737159642344 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1384881 1204069 103 248 0 1384630 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 9865968
[startup+162.3 s]
/proc/loadavg: 2.21 2.16 2.06 3/185 20007
/proc/meminfo: memFree=20013188/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5539524 CPUtime=117.95 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 565560 0 0 0 11564 231 0 0 20 0 1 0 31115040 5672472576 1204069 33554432000 4194304 5208918 140737159644464 140737159642344 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1384881 1204069 103 248 0 1384630 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 9865968
[startup+222.3 s]
/proc/loadavg: 2.08 2.13 2.05 3/185 20008
/proc/meminfo: memFree=20015552/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20007/statm: 1388363 1217071 103 248 0 1388112 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 9879896
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 20019
/proc/meminfo: memFree=19894984/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5553584 CPUtime=1437.75 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 569391 0 0 0 143543 232 0 0 20 0 1 0 31115040 5686870016 1217609 33554432000 4194304 5208918 140737159644464 140737159642312 4211488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1388396 1217609 103 248 0 1388145 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 9880028
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20019
/proc/meminfo: memFree=19888716/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5553716 CPUtime=1497.74 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 569419 0 0 0 149542 232 0 0 20 0 1 0 31115040 5687005184 1218659 33554432000 4194304 5208918 140737159644464 140737159642312 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1388429 1218659 103 248 0 1388178 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 9880160
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20019
/proc/meminfo: memFree=19884620/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5553904 CPUtime=1557.73 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 569447 0 0 0 155541 232 0 0 20 0 1 0 31115040 5687197696 1219198 33554432000 4194304 5208918 140737159644464 140737159642216 4212457 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1388476 1219198 103 248 0 1388225 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 9880348
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20019
/proc/meminfo: memFree=19876180/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5553904 CPUtime=1617.73 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 569468 0 0 0 161541 232 0 0 20 0 1 0 31115040 5687197696 1220241 33554432000 4194304 5208918 140737159644464 140737159642216 4211147 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1388476 1220241 103 248 0 1388225 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 9880348
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 20019
/proc/meminfo: memFree=19872208/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5554300 CPUtime=1677.71 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 569561 0 0 0 167539 232 0 0 20 0 1 0 31115040 5687603200 1220845 33554432000 4194304 5208918 140737159644464 140737159642312 4341557 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1388575 1220845 103 248 0 1388324 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 9880744
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/186 20023
/proc/meminfo: memFree=19869284/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5554608 CPUtime=1737.71 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 569630 0 0 0 173539 232 0 0 20 0 1 0 31115040 5687918592 1220914 33554432000 4194304 5208918 140737159644464 140737159642312 4229374 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1388652 1220914 103 248 0 1388401 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 9881052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/186 20075
/proc/meminfo: memFree=21576720/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5554608 CPUtime=1755.81 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 569630 0 0 0 175349 232 0 0 20 0 1 0 31115040 5687918592 1220914 33554432000 4194304 5208918 140737159644464 140737159642312 4205163 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1388652 1220914 103 248 0 1388401 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9881052
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/186 20075
/proc/meminfo: memFree=21576720/32873844 swapFree=7632/7632
[pid=19986] ppid=19984 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19986/stat : 19986 (npSolver-wbo-It) S 19984 19986 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 31110609 9367552 274 33554432000 4194304 5064252 140734156129008 140734156127920 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19986/statm: 2287 274 233 213 0 72 0
[pid=19988] ppid=19986 vsize=4308148 CPUtime=44.27 cores=0,2,4,6
/proc/19988/stat : 19988 (npSolver-wbo) S 19986 19986 16397 0 -1 4202496 74787 38448 0 0 3278 508 630 11 20 0 1 0 31110609 4411543552 608963 33554432000 4194304 6006132 140733218629152 140733218620544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19988/statm: 1077037 608963 189 443 0 1076590 0
[pid=20006] ppid=19988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (satsolver.sh) S 19988 19986 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 31115040 9367552 267 33554432000 4194304 5064252 140736319019120 140736319018032 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20006/statm: 2287 267 226 213 0 72 0
[pid=20007] ppid=20006 vsize=5554608 CPUtime=1755.81 cores=0,2,4,6
/proc/20007/stat : 20007 (glucose) R 20006 19986 16397 0 -1 4202496 569630 0 0 0 175349 232 0 0 20 0 1 0 31115040 5687918592 1220914 33554432000 4194304 5208918 140737159644464 140737159642312 4205163 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1388652 1220914 103 248 0 1388401 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9881052
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19986 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.08
CPU user time (s): 1792.57
CPU system time (s): 7.51
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 12161804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 4.34234 second user time and 10.4134 second system time
The end