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-3753645-1339189681/watcher-3753645-1339189681 -o /tmp/evaluation-result-3753645-1339189681/solver-3753645-1339189681 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753645-1339189681.wbo 1034411873 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.00 2.00 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[startup+0.0123059 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100201 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300112 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700101 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16217
/proc/meminfo: memFree=29788908/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 1442 2168 0 0 1 0 15 0 20 0 1 0 385093583 3162112 373 33554432000 4194304 6006132 140736655126624 140736655120816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 772 373 158 443 0 325 0
[pid=16211] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16211/stat : 16211 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385093602 9367552 266 33554432000 4194304 5064252 140736697682880 140736697681792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16211/statm: 2287 266 226 213 0 72 0
[pid=16212] ppid=16211 vsize=9356 CPUtime=1.3 cores=1,3,5,7
/proc/16212/stat : 16212 (glucose) R 16211 16165 14131 0 -1 4202496 2537 0 0 0 130 0 0 0 20 0 1 0 385093602 9580544 1503 33554432000 4194304 5208918 140735328507488 140735328505336 4213584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16212/statm: 2339 1503 96 248 0 2088 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30740
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16217
/proc/meminfo: memFree=29778520/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 1442 2168 0 0 1 0 15 0 20 0 1 0 385093583 3162112 373 33554432000 4194304 6006132 140736655126624 140736655120816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 772 373 158 443 0 325 0
[pid=16211] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16211/stat : 16211 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385093602 9367552 266 33554432000 4194304 5064252 140736697682880 140736697681792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16211/statm: 2287 266 226 213 0 72 0
[pid=16212] ppid=16211 vsize=18796 CPUtime=2.89 cores=1,3,5,7
/proc/16212/stat : 16212 (glucose) R 16211 16165 14131 0 -1 4202496 3813 0 0 0 289 0 0 0 20 0 1 0 385093602 19247104 3774 33554432000 4194304 5208918 140735328507488 140735328505432 4229307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16212/statm: 4699 3774 96 248 0 4448 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 40180
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16217
/proc/meminfo: memFree=29764700/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 1442 2168 0 0 1 0 15 0 20 0 1 0 385093583 3162112 373 33554432000 4194304 6006132 140736655126624 140736655120816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 772 373 158 443 0 325 0
[pid=16211] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16211/stat : 16211 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385093602 9367552 266 33554432000 4194304 5064252 140736697682880 140736697681792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16211/statm: 2287 266 226 213 0 72 0
[pid=16212] ppid=16211 vsize=18796 CPUtime=6.09 cores=1,3,5,7
/proc/16212/stat : 16212 (glucose) R 16211 16165 14131 0 -1 4202496 4061 0 0 0 609 0 0 0 20 0 1 0 385093602 19247104 4283 33554432000 4194304 5208918 140735328507488 140735328505432 4229688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16212/statm: 4699 4283 96 248 0 4448 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 40180
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16224
/proc/meminfo: memFree=29687644/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 1442 2168 0 0 1 0 15 0 20 0 1 0 385093583 3162112 373 33554432000 4194304 6006132 140736655126624 140736655120816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 772 373 158 443 0 325 0
[pid=16211] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16211/stat : 16211 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385093602 9367552 266 33554432000 4194304 5064252 140736697682880 140736697681792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16211/statm: 2287 266 226 213 0 72 0
[pid=16212] ppid=16211 vsize=21540 CPUtime=12.5 cores=1,3,5,7
/proc/16212/stat : 16212 (glucose) R 16211 16165 14131 0 -1 4202496 4771 0 0 0 1249 1 0 0 20 0 1 0 385093602 22056960 4954 33554432000 4194304 5208918 140735328507488 140735328505352 4211916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16212/statm: 5385 4954 96 248 0 5134 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42924
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16231
/proc/meminfo: memFree=29614124/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=16.03 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 3335 10308 0 0 8 2 1591 2 20 0 1 0 385093583 20148224 4145 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16166/statm: 4919 4145 167 443 0 4472 0
[pid=16230] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16230/stat : 16230 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385095189 9367552 267 33554432000 4194304 5064252 140737441146064 140737441144976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16230/statm: 2287 267 226 213 0 72 0
[pid=16231] ppid=16230 vsize=66220 CPUtime=9.43 cores=1,3,5,7
/proc/16231/stat : 16231 (glucose) R 16230 16165 14131 0 -1 4202496 12341 0 0 0 941 2 0 0 20 0 1 0 385095189 67809280 14440 33554432000 4194304 5208918 140734211492304 140734211490168 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16231/statm: 16555 14440 96 248 0 16304 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 104192
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16252
/proc/meminfo: memFree=29620312/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=43.27 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 7101 43403 0 0 22 4 4280 21 20 0 1 0 385093583 20148224 4146 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16166/statm: 4919 4146 167 443 0 4472 0
[pid=16251] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16251/stat : 16251 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385097912 9367552 267 33554432000 4194304 5064252 140736773846080 140736773844992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16251/statm: 2287 267 226 213 0 72 0
[pid=16252] ppid=16251 vsize=65824 CPUtime=7.79 cores=1,3,5,7
/proc/16252/stat : 16252 (glucose) R 16251 16165 14131 0 -1 4202496 11719 0 0 0 777 2 0 0 20 0 1 0 385097912 67403776 14534 33554432000 4194304 5208918 140737336851584 140737336849448 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16252/statm: 16456 14534 96 248 0 16205 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 103796
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16287
/proc/meminfo: memFree=29615332/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=96.63 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 14633 106501 0 0 48 7 9549 59 20 0 1 0 385093583 20148224 4147 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 4919 4147 167 443 0 4472 0
[pid=16286] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16286/stat : 16286 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385103249 9367552 266 33554432000 4194304 5064252 140737119850128 140737119849040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16286/statm: 2287 266 226 213 0 72 0
[pid=16287] ppid=16286 vsize=60568 CPUtime=5.63 cores=1,3,5,7
/proc/16287/stat : 16287 (glucose) R 16286 16165 14131 0 -1 4202496 12016 0 0 0 560 3 0 0 20 0 1 0 385103249 62021632 14392 33554432000 4194304 5208918 140736108566624 140736108564488 4211501 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16287/statm: 15142 14392 96 248 0 14891 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 98540
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 16333
/proc/meminfo: memFree=29619264/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=150.12 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 22165 169517 0 0 74 10 14834 94 20 0 1 0 385093583 20148224 4148 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 4919 4148 167 443 0 4472 0
[pid=16332] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17269
/proc/meminfo: memFree=29657156/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1412.73 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 178058 1539232 0 0 566 71 139815 821 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17268] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17268/stat : 17268 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385234905 9367552 267 33554432000 4194304 5064252 140733286680416 140733286679328 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17268/statm: 2287 267 226 213 0 72 0
[pid=17269] ppid=17268 vsize=53936 CPUtime=9.06 cores=1,3,5,7
/proc/17269/stat : 17269 (glucose) R 17268 16165 14131 0 -1 4202496 9694 0 0 0 905 1 0 0 20 0 1 0 385234906 55230464 11954 33554432000 4194304 5208918 140736425406720 140736425404664 4229717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17269/statm: 13484 11954 96 248 0 13233 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 91908
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/181 17318
/proc/meminfo: memFree=29700248/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1480.65 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 185120 1608765 0 0 586 75 146550 854 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17317] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17317/stat : 17317 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385241706 9367552 266 33554432000 4194304 5064252 140734686043648 140734686042560 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17317/statm: 2287 266 226 213 0 72 0
[pid=17318] ppid=17317 vsize=30260 CPUtime=1.05 cores=1,3,5,7
/proc/17318/stat : 17318 (glucose) R 17317 16165 14131 0 -1 4202496 6069 0 0 0 105 0 0 0 20 0 1 0 385241706 30986240 6909 33554432000 4194304 5208918 140735643985744 140735643983592 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17318/statm: 7565 6909 95 248 0 7314 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 68232
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/181 17353
/proc/meminfo: memFree=29657644/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1533.48 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 190652 1660999 0 0 601 77 151793 877 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17352] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17352/stat : 17352 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385246993 9367552 266 33554432000 4194304 5064252 140737319633248 140737319632160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17352/statm: 2287 266 226 213 0 72 0
[pid=17353] ppid=17352 vsize=46768 CPUtime=8.17 cores=1,3,5,7
/proc/17353/stat : 17353 (glucose) R 17352 16165 14131 0 -1 4202496 9311 0 0 0 816 1 0 0 20 0 1 0 385246993 47890432 10293 33554432000 4194304 5208918 140734153709072 140734153707016 4211744 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17353/statm: 11692 10293 96 248 0 11441 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 84740
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/181 17402
/proc/meminfo: memFree=29675232/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1599.24 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 197516 1723398 0 0 621 80 158316 907 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17401] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17401/stat : 17401 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385253582 9367552 267 33554432000 4194304 5064252 140735776943984 140735776942896 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17401/statm: 2287 267 226 213 0 72 0
[pid=17402] ppid=17401 vsize=30452 CPUtime=2.29 cores=1,3,5,7
/proc/17402/stat : 17402 (glucose) R 17401 16165 14131 0 -1 4202496 7184 0 0 0 228 1 0 0 20 0 1 0 385253582 31182848 6477 33554432000 4194304 5208918 140734339275888 140734339274040 4231478 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17402/statm: 7613 6477 96 248 0 7362 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 68424
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17445
/proc/meminfo: memFree=29668340/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1652.61 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 202981 1774224 0 0 637 82 163611 931 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17444] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17444/stat : 17444 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385258920 9367552 266 33554432000 4194304 5064252 140735260541296 140735260540208 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17444/statm: 2287 266 226 213 0 72 0
[pid=17445] ppid=17444 vsize=46576 CPUtime=8.91 cores=1,3,5,7
/proc/17445/stat : 17445 (glucose) R 17444 16165 14131 0 -1 4202496 7888 0 0 0 890 1 0 0 20 0 1 0 385258920 47693824 10240 33554432000 4194304 5208918 140735854529312 140735854527256 4229528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17445/statm: 11644 10240 96 248 0 11393 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 84548
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/181 17496
/proc/meminfo: memFree=29688808/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1718.32 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 209815 1835725 0 0 656 84 170131 961 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17495] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385265495 9367552 267 33554432000 4194304 5064252 140733537487072 140733537485984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17495/statm: 2287 267 226 213 0 72 0
[pid=17496] ppid=17495 vsize=27884 CPUtime=3.16 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 16165 14131 0 -1 4202496 7658 0 0 0 315 1 0 0 20 0 1 0 385265495 28553216 6209 33554432000 4194304 5208918 140734667665904 140734667663752 4205148 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17496/statm: 6971 6209 96 248 0 6720 0
Current children cumulated CPU time (s) 1721.48
Current children cumulated vsize (KiB) 65856
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/181 17538
/proc/meminfo: memFree=29689908/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1770.64 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 215287 1885697 0 0 671 86 175323 984 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17530] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17530/stat : 17530 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385270732 9367552 266 33554432000 4194304 5064252 140735332105328 140735332104240 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17530/statm: 2287 266 226 213 0 72 0
[pid=17531] ppid=17530 vsize=46368 CPUtime=10.79 cores=1,3,5,7
/proc/17531/stat : 17531 (glucose) R 17530 16165 14131 0 -1 4202496 7445 0 0 0 1078 1 0 0 20 0 1 0 385270732 47480832 10315 33554432000 4194304 5208918 140736831077056 140736831075000 4229515 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 11592 10315 96 248 0 11341 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (KiB) 84340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 1.99 3/176 17557
/proc/meminfo: memFree=29744804/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1796.83 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 218023 1910320 0 0 679 87 177920 997 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17551] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17551/stat : 17551 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385273351 9367552 267 33554432000 4194304 5064252 140735569051632 140735569050544 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17551/statm: 2287 267 226 213 0 72 0
[pid=17552] ppid=17551 vsize=34856 CPUtime=3.2 cores=1,3,5,7
/proc/17552/stat : 17552 (glucose) R 17551 16165 14131 0 -1 4202496 7608 0 0 0 320 0 0 0 20 0 1 0 385273352 35692544 7631 33554432000 4194304 5208918 140735569345504 140735569343592 4229745 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17552/statm: 8714 7631 96 248 0 8463 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 72828
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 1.99 3/176 17557
/proc/meminfo: memFree=29744804/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1796.83 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 218023 1910320 0 0 679 87 177920 997 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17551] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17551/stat : 17551 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385273351 9367552 267 33554432000 4194304 5064252 140735569051632 140735569050544 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17551/statm: 2287 267 226 213 0 72 0
[pid=17552] ppid=17551 vsize=34856 CPUtime=3.2 cores=1,3,5,7
/proc/17552/stat : 17552 (glucose) R 17551 16165 14131 0 -1 4202496 7608 0 0 0 320 0 0 0 20 0 1 0 385273352 35692544 7631 33554432000 4194304 5208918 140735569345504 140735569343592 4229745 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17552/statm: 8714 7631 96 248 0 8463 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 72828
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.07
CPU user time (s): 1789.2
CPU system time (s): 10.8683
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 105744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.2
system time used= 10.8683
maximum resident set size= 58972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2136943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1213256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23736
involuntary context switches= 4604
runsolver used 2.85757 second user time and 7.08592 second system time
The end