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-3753604-1339190270/watcher-3753604-1339190270 -o /tmp/evaluation-result-3753604-1339190270/solver-3753604-1339190270 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753604-1339190270.wbo 2010105649 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 2.00 3/179 31078
/proc/meminfo: memFree=29130724/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[startup+0.08269 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31078
/proc/meminfo: memFree=29130724/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31078
/proc/meminfo: memFree=29130724/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300248 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31078
/proc/meminfo: memFree=29130724/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700245 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31078
/proc/meminfo: memFree=29130724/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31092
/proc/meminfo: memFree=29045360/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=38220 CPUtime=0.33 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 3948 6176 0 0 21 4 7 1 20 0 1 0 385152448 39137280 8198 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 9555 8198 179 443 0 9108 0
[pid=31091] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31091/stat : 31091 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385152483 9367552 267 33554432000 4194304 5064252 140735361131744 140735361130656 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31091/statm: 2287 267 226 213 0 72 0
[pid=31092] ppid=31091 vsize=42216 CPUtime=1.14 cores=1,3,5,7
/proc/31092/stat : 31092 (glucose) R 31091 31078 27509 0 -1 4202496 9904 0 0 0 112 2 0 0 20 0 1 0 385152483 43229184 9356 33554432000 4194304 5208918 140736975445696 140736975443656 4211038 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31092/statm: 10554 9356 104 248 0 10303 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 98732
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31092
/proc/meminfo: memFree=29042916/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=38220 CPUtime=3.04 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 5041 29840 0 0 39 6 248 11 20 0 1 0 385152448 39137280 8676 33554432000 4194304 6006132 140733339540048 140733339530928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 9555 8676 179 443 0 9108 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 47368
[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31116
/proc/meminfo: memFree=29123720/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=5.44 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 7825 42550 0 0 45 7 467 25 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 21388
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31120
/proc/meminfo: memFree=29103200/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=5.44 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 7825 42550 0 0 45 7 467 25 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=31119] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31119/stat : 31119 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385152994 9367552 267 33554432000 4194304 5064252 140735587657648 140735587656560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31119/statm: 2287 267 226 213 0 72 0
[pid=31120] ppid=31119 vsize=22664 CPUtime=7.23 cores=1,3,5,7
/proc/31120/stat : 31120 (glucose) R 31119 31078 27509 0 -1 4202496 4476 0 0 0 722 1 0 0 20 0 1 0 385152995 23207936 4824 33554432000 4194304 5208918 140734785051056 140734785048904 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31120/statm: 5666 4824 95 248 0 5415 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 53200
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31127
/proc/meminfo: memFree=29110952/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=5.44 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 7825 42550 0 0 45 7 467 25 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=31119] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31119/stat : 31119 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385152994 9367552 267 33554432000 4194304 5064252 140735587657648 140735587656560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31119/statm: 2287 267 226 213 0 72 0
[pid=31120] ppid=31119 vsize=23032 CPUtime=20.02 cores=1,3,5,7
/proc/31120/stat : 31120 (glucose) R 31119 31078 27509 0 -1 4202496 6791 0 0 0 2001 1 0 0 20 0 1 0 385152995 23584768 4797 33554432000 4194304 5208918 140734785051056 140734785049144 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31120/statm: 5758 4797 96 248 0 5507 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 53568
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31200
/proc/meminfo: memFree=29080828/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=5.44 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 7825 42550 0 0 45 7 467 25 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=31119] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31119/stat : 31119 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385152994 9367552 267 33554432000 4194304 5064252 140735587657648 140735587656560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31119/statm: 2287 267 226 213 0 72 0
[pid=31120] ppid=31119 vsize=34544 CPUtime=45.61 cores=1,3,5,7
/proc/31120/stat : 31120 (glucose) R 31119 31078 27509 0 -1 4202496 8302 0 0 0 4560 1 0 0 20 0 1 0 385152995 35373056 7949 33554432000 4194304 5208918 140734785051056 140734785048920 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31120/statm: 8636 7949 96 248 0 8385 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 65080
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 31347
/proc/meminfo: memFree=29078200/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=5.44 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 7825 42550 0 0 45 7 467 25 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=31119] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31119/stat : 31119 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385152994 9367552 267 33554432000 4194304 5064252 140735587657648 140735587656560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31119/statm: 2287 267 226 213 0 72 0
[pid=31120] ppid=31119 vsize=38964 CPUtime=96.81 cores=1,3,5,7
/proc/31120/stat : 31120 (glucose) R 31119 31078 27509 0 -1 4202496 8371 0 0 0 9680 1 0 0 20 0 1 0 385152995 39899136 9039 33554432000 4194304 5208918 140734785051056 140734785048920 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31120/statm: 9741 9039 96 248 0 9490 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 69500
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 31498
/proc/meminfo: memFree=29070496/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=5.44 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 7825 42550 0 0 45 7 467 25 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=31119] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31119/stat : 31119 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385152994 9367552 267 33554432000 4194304 5064252 140735587657648 140735587656560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31119/statm: 2287 267 226 213 0 72 0
[pid=31120] ppid=31119 vsize=53284 CPUtime=156.8 cores=1,3,5,7
/proc/31120/stat : 31120 (glucose) R 31119 31078 27509 0 -1 4202496 10136 0 0 0 15678 2 0 0 20 0 1 0 385152995 54562816 11572 33554432000 4194304 5208918 140734785051056 140734785049000 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31120/statm: 13321 11572 96 248 0 13070 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 83820
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 31575
/proc/meminfo: memFree=29065568/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 32576
/proc/meminfo: memFree=29007224/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=1217.58 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 14396 111386 0 0 59 9 121627 63 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=32571] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32571/stat : 32571 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385274228 9367552 266 33554432000 4194304 5064252 140733954597408 140733954596320 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32571/statm: 2287 266 226 213 0 72 0
[pid=32572] ppid=32571 vsize=41168 CPUtime=144.46 cores=1,3,5,7
/proc/32572/stat : 32572 (glucose) R 32571 31078 27509 0 -1 4202496 7415 0 0 0 14445 1 0 0 20 0 1 0 385274228 42156032 9787 33554432000 4194304 5208918 140736057045552 140736057043416 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32572/statm: 10292 9787 96 248 0 10041 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 71704
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32576
/proc/meminfo: memFree=29002144/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=1217.58 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 14396 111386 0 0 59 9 121627 63 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=32571] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32571/stat : 32571 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385274228 9367552 266 33554432000 4194304 5064252 140733954597408 140733954596320 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32571/statm: 2287 266 226 213 0 72 0
[pid=32572] ppid=32571 vsize=44208 CPUtime=204.46 cores=1,3,5,7
/proc/32572/stat : 32572 (glucose) R 32571 31078 27509 0 -1 4202496 7664 0 0 0 20445 1 0 0 20 0 1 0 385274228 45268992 10547 33554432000 4194304 5208918 140736057045552 140736057043416 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32572/statm: 11052 10547 96 248 0 10801 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 74744
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32583
/proc/meminfo: memFree=29030140/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=1476.32 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 15395 122846 0 0 61 9 147494 68 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=32582] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32582/stat : 32582 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385300107 9367552 267 33554432000 4194304 5064252 140735582654896 140735582653808 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32582/statm: 2287 267 226 213 0 72 0
[pid=32583] ppid=32582 vsize=15656 CPUtime=5.7 cores=1,3,5,7
/proc/32583/stat : 32583 (glucose) R 32582 31078 27509 0 -1 4202496 3649 0 0 0 570 0 0 0 20 0 1 0 385300107 16031744 3257 33554432000 4194304 5208918 140735405392864 140735405390952 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32583/statm: 3914 3257 96 248 0 3663 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 46192
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32583
/proc/meminfo: memFree=29014076/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=1476.32 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 15395 122846 0 0 61 9 147494 68 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=32582] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32582/stat : 32582 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385300107 9367552 267 33554432000 4194304 5064252 140735582654896 140735582653808 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32582/statm: 2287 267 226 213 0 72 0
[pid=32583] ppid=32582 vsize=31860 CPUtime=65.69 cores=1,3,5,7
/proc/32583/stat : 32583 (glucose) R 32582 31078 27509 0 -1 4202496 6205 0 0 0 6568 1 0 0 20 0 1 0 385300107 32624640 7213 33554432000 4194304 5208918 140735405392864 140735405390728 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32583/statm: 7965 7213 96 248 0 7714 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 62396
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32583
/proc/meminfo: memFree=29003520/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=1476.32 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 15395 122846 0 0 61 9 147494 68 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=32582] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32582/stat : 32582 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385300107 9367552 267 33554432000 4194304 5064252 140735582654896 140735582653808 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32582/statm: 2287 267 226 213 0 72 0
[pid=32583] ppid=32582 vsize=46256 CPUtime=125.68 cores=1,3,5,7
/proc/32583/stat : 32583 (glucose) R 32582 31078 27509 0 -1 4202496 7940 0 0 0 12566 2 0 0 20 0 1 0 385300107 47366144 9721 33554432000 4194304 5208918 140735405392864 140735405390808 4211580 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32583/statm: 11564 9721 96 248 0 11313 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 76792
[startup+1662.3 s]
/proc/loadavg: 2.18 2.05 2.01 3/184 301
/proc/meminfo: memFree=28133092/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=1476.32 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 15395 122846 0 0 61 9 147494 68 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=32582] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32582/stat : 32582 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385300107 9367552 267 33554432000 4194304 5064252 140735582654896 140735582653808 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32582/statm: 2287 267 226 213 0 72 0
[pid=32583] ppid=32582 vsize=46256 CPUtime=185.67 cores=1,3,5,7
/proc/32583/stat : 32583 (glucose) R 32582 31078 27509 0 -1 4202496 7942 0 0 0 18565 2 0 0 20 0 1 0 385300107 47366144 10237 33554432000 4194304 5208918 140735405392864 140735405390808 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32583/statm: 11564 10237 96 248 0 11313 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 76792
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/183 308
/proc/meminfo: memFree=28161588/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=1718.28 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 16374 134029 0 0 63 9 171681 75 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=307] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/307/stat : 307 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385324307 9367552 267 33554432000 4194304 5064252 140735749801040 140735749799952 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/307/statm: 2287 267 226 213 0 72 0
[pid=308] ppid=307 vsize=16964 CPUtime=3.7 cores=1,3,5,7
/proc/308/stat : 308 (glucose) R 307 31078 27509 0 -1 4202496 2943 0 0 0 370 0 0 0 20 0 1 0 385324307 17371136 3317 33554432000 4194304 5208918 140734407884368 140734407882216 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/308/statm: 4241 3317 95 248 0 3990 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 47500
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 308
/proc/meminfo: memFree=28147268/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=1718.28 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 16374 134029 0 0 63 9 171681 75 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=307] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/307/stat : 307 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385324307 9367552 267 33554432000 4194304 5064252 140735749801040 140735749799952 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/307/statm: 2287 267 226 213 0 72 0
[pid=308] ppid=307 vsize=31508 CPUtime=63.7 cores=1,3,5,7
/proc/308/stat : 308 (glucose) R 307 31078 27509 0 -1 4202496 6423 0 0 0 6369 1 0 0 20 0 1 0 385324307 32264192 6889 33554432000 4194304 5208918 140734407884368 140734407882232 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/308/statm: 7877 6889 96 248 0 7626 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 62044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 308
/proc/meminfo: memFree=28147024/32873648 swapFree=7376/7376
[pid=31078] ppid=31076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31078/stat : 31078 (npSolver-wbo-It) S 31076 31078 27509 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385152448 9367552 274 33554432000 4194304 5064252 140736300969200 140736300968112 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2287 274 233 213 0 72 0
[pid=31079] ppid=31078 vsize=12240 CPUtime=1718.28 cores=1,3,5,7
/proc/31079/stat : 31079 (npSolver-wbo) S 31078 31078 27509 0 -1 4202496 16374 134029 0 0 63 9 171681 75 20 0 1 0 385152448 12533760 2535 33554432000 4194304 6006132 140733339540048 140733339531440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31079/statm: 3060 2535 181 443 0 2613 0
[pid=307] ppid=31079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/307/stat : 307 (satsolver.sh) S 31079 31078 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385324307 9367552 267 33554432000 4194304 5064252 140735749801040 140735749799952 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/307/statm: 2287 267 226 213 0 72 0
[pid=308] ppid=307 vsize=31508 CPUtime=81.8 cores=1,3,5,7
/proc/308/stat : 308 (glucose) R 307 31078 27509 0 -1 4202496 6468 0 0 0 8179 1 0 0 20 0 1 0 385324307 32264192 6934 33554432000 4194304 5208918 140734407884368 140734407882232 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/308/statm: 7877 6934 96 248 0 7626 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 62044
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.24
CPU system time (s): 0.863868
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 114668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.863868
maximum resident set size= 72952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 91792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1149
involuntary context switches= 1998
runsolver used 3.18651 second user time and 8.62569 second system time
The end