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-3755347-1339193930/watcher-3755347-1339193930 -o /tmp/evaluation-result-3755347-1339193930/solver-3755347-1339193930 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755347-1339193930.wbo 840675477 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 21588
/proc/meminfo: memFree=31399344/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[startup+0.0999951 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21588
/proc/meminfo: memFree=31399344/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21588
/proc/meminfo: memFree=31399344/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300238 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21588
/proc/meminfo: memFree=31399344/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21588
/proc/meminfo: memFree=31399344/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21595
/proc/meminfo: memFree=31389304/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 1446 2195 0 0 2 0 14 0 20 0 1 0 385518597 3166208 377 33554432000 4194304 6006132 140737005216304 140737005210496 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21589/statm: 773 377 158 443 0 326 0
[pid=21594] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21594/stat : 21594 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385518616 9367552 267 33554432000 4194304 5064252 140737252357520 140737252356432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21594/statm: 2287 267 226 213 0 72 0
[pid=21595] ppid=21594 vsize=12792 CPUtime=1.3 cores=1,3,5,7
/proc/21595/stat : 21595 (glucose) R 21594 21588 17372 0 -1 4202496 2620 0 0 0 130 0 0 0 20 0 1 0 385518616 13099008 2244 33554432000 4194304 5208918 140733985266608 140733985264760 4229347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21595/statm: 3198 2244 96 248 0 2947 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34180
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21595
/proc/meminfo: memFree=31378324/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 1446 2195 0 0 2 0 14 0 20 0 1 0 385518597 3166208 377 33554432000 4194304 6006132 140737005216304 140737005210496 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21589/statm: 773 377 158 443 0 326 0
[pid=21594] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21594/stat : 21594 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385518616 9367552 267 33554432000 4194304 5064252 140737252357520 140737252356432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21594/statm: 2287 267 226 213 0 72 0
[pid=21595] ppid=21594 vsize=12792 CPUtime=2.9 cores=1,3,5,7
/proc/21595/stat : 21595 (glucose) R 21594 21588 17372 0 -1 4202496 3166 0 0 0 290 0 0 0 20 0 1 0 385518616 13099008 2777 33554432000 4194304 5208918 140733985266608 140733985264552 4229692 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21595/statm: 3198 2777 96 248 0 2947 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34180
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21595
/proc/meminfo: memFree=31364796/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 1446 2195 0 0 2 0 14 0 20 0 1 0 385518597 3166208 377 33554432000 4194304 6006132 140737005216304 140737005210496 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21589/statm: 773 377 158 443 0 326 0
[pid=21594] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21594/stat : 21594 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385518616 9367552 267 33554432000 4194304 5064252 140737252357520 140737252356432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21594/statm: 2287 267 226 213 0 72 0
[pid=21595] ppid=21594 vsize=22588 CPUtime=6.11 cores=1,3,5,7
/proc/21595/stat : 21595 (glucose) R 21594 21588 17372 0 -1 4202496 3702 0 0 0 610 1 0 0 20 0 1 0 385518616 23130112 4843 33554432000 4194304 5208918 140733985266608 140733985264472 4215319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21595/statm: 5647 4843 96 248 0 5396 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 43976
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21595
/proc/meminfo: memFree=31333844/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 1446 2195 0 0 2 0 14 0 20 0 1 0 385518597 3166208 377 33554432000 4194304 6006132 140737005216304 140737005210496 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21589/statm: 773 377 158 443 0 326 0
[pid=21594] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21594/stat : 21594 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385518616 9367552 267 33554432000 4194304 5064252 140737252357520 140737252356432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21594/statm: 2287 267 226 213 0 72 0
[pid=21595] ppid=21594 vsize=31492 CPUtime=12.5 cores=1,3,5,7
/proc/21595/stat : 21595 (glucose) R 21594 21588 17372 0 -1 4202496 5329 0 0 0 1249 1 0 0 20 0 1 0 385518616 32247808 6449 33554432000 4194304 5208918 140733985266608 140733985264552 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21595/statm: 7873 6449 96 248 0 7622 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52880
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21595
/proc/meminfo: memFree=31383880/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 1446 2195 0 0 2 0 14 0 20 0 1 0 385518597 3166208 377 33554432000 4194304 6006132 140737005216304 140737005210496 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21589/statm: 773 377 158 443 0 326 0
[pid=21594] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21594/stat : 21594 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385518616 9367552 267 33554432000 4194304 5064252 140737252357520 140737252356432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21594/statm: 2287 267 226 213 0 72 0
[pid=21595] ppid=21594 vsize=35956 CPUtime=25.3 cores=1,3,5,7
/proc/21595/stat : 21595 (glucose) R 21594 21588 17372 0 -1 4202496 5405 0 0 0 2529 1 0 0 20 0 1 0 385518616 36818944 8057 33554432000 4194304 5208918 140733985266608 140733985264552 4229731 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21595/statm: 8989 8057 96 248 0 8738 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 57344
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21602
/proc/meminfo: memFree=31364292/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=27.03 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 2888 10484 0 0 6 2 2692 3 20 0 1 0 385518597 11526144 2172 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2172 167 443 0 2367 0
[pid=21601] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21601/stat : 21601 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385521303 9367552 267 33554432000 4194304 5064252 140736362565360 140736362564272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21601/statm: 2287 267 226 213 0 72 0
[pid=21602] ppid=21601 vsize=38968 CPUtime=24.03 cores=1,3,5,7
/proc/21602/stat : 21602 (glucose) R 21601 21588 17372 0 -1 4202496 8636 0 0 0 2401 2 0 0 20 0 1 0 385521303 39903232 9063 33554432000 4194304 5208918 140736249417440 140736249415304 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21602/statm: 9742 9063 96 248 0 9491 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 68520
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21612
/proc/meminfo: memFree=31328004/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=89.13 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 2991 24424 0 0 6 2 8892 13 20 0 1 0 385518597 11526144 2172 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2172 167 443 0 2367 0
[pid=21611] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21611/stat : 21611 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385527514 9367552 266 33554432000 4194304 5064252 140736314567728 140736314566640 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21611/statm: 2287 266 226 213 0 72 0
[pid=21612] ppid=21611 vsize=19636 CPUtime=13.12 cores=1,3,5,7
/proc/21612/stat : 21612 (glucose) R 21611 21588 17372 0 -1 4202496 3550 0 0 0 1312 0 0 0 20 0 1 0 385527514 20107264 4459 33554432000 4194304 5208918 140735301634160 140735301632104 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21612/statm: 4909 4459 96 248 0 4658 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 49188
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21634
/proc/meminfo: memFree=31358552/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=135.53 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 3248 47882 0 0 6 3 13525 19 20 0 1 0 385518597 11526144 2173 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2173 168 443 0 2367 0
[pid=21633] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21633/stat : 21633 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385532155 9367552 267 33554432000 4194304 5064252 140733410690528 140733410689440 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21633/statm: 2287 267 226 213 0 72 0
[pid=21634] ppid=21633 vsize=23764 CPUtime=26.71 cores=1,3,5,7
/proc/21634/stat : 21634 (glucose) R 21633 21588 17372 0 -1 4202496 5036 0 0 0 2670 1 0 0 20 0 1 0 385532155 24334336 5530 33554432000 4194304 5208918 140736168784064 140736168782008 4229483 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21634/statm: 5941 5530 102 248 0 5690 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 53316
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21634
/proc/meminfo: memFree=31338012/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=165.99 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 3298 56874 0 0 6 3 16569 21 20 0 1 0 385518597 11526144 2173 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2173 168 443 0 2367 0
Current children cumulated CPU time (s) 165.99
Current children cumulated vsize (KiB) 20404
[startup+179.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21641
/proc/meminfo: memFree=31426804/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=165.99 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 3298 56874 0 0 6 3 16569 21 20 0 1 0 385518597 11526144 2173 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2173 168 443 0 2367 0
[pid=21640] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21640/stat : 21640 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385535202 9367552 265 33554432000 4194304 5064252 140735963657008 140735963655920 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21640/statm: 2287 265 226 213 0 72 0
[pid=21641] ppid=21640 vsize=19876 CPUtime=13.03 cores=1,3,5,7
/proc/21641/stat : 21641 (glucose) R 21640 21588 17372 0 -1 4202496 3613 0 0 0 1303 0 0 0 20 0 1 0 385535203 20353024 4582 33554432000 4194304 5208918 140735462432672 140735462430616 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21641/statm: 4969 4582 96 248 0 4718 0
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (KiB) 49428
[startup+182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21641
/proc/meminfo: memFree=31411788/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=165.99 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 3298 56874 0 0 6 3 16569 21 20 0 1 0 385518597 11526144 2173 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2173 168 443 0 2367 0
[pid=21640] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21640/stat : 21640 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385535202 9367552 265 33554432000 4194304 5064252 140735963657008 140735963655920 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21640/statm: 2287 265 226 213 0 72 0
[pid=21641] ppid=21640 vsize=19876 CPUtime=16.23 cores=1,3,5,7
/proc/21641/stat : 21641 (glucose) R 21640 21588 17372 0 -1 4202496 3619 0 0 0 1623 0 0 0 20 0 1 0 385535203 20353024 4588 33554432000 4194304 5208918 140735462432672 140735462430616 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21641/statm: 4969 4588 102 248 0 4718 0
Current children cumulated CPU time (s) 182.22
Current children cumulated vsize (KiB) 49428
[startup+183.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21641
/proc/meminfo: memFree=31403596/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=165.99 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 3298 56874 0 0 6 3 16569 21 20 0 1 0 385518597 11526144 2173 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2173 168 443 0 2367 0
[pid=21640] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21640/stat : 21640 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385535202 9367552 265 33554432000 4194304 5064252 140735963657008 140735963655920 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21640/statm: 2287 265 226 213 0 72 0
[pid=21641] ppid=21640 vsize=19876 CPUtime=17.83 cores=1,3,5,7
/proc/21641/stat : 21641 (glucose) R 21640 21588 17372 0 -1 4202496 3619 0 0 0 1783 0 0 0 20 0 1 0 385535203 20353024 4588 33554432000 4194304 5208918 140735462432672 140735462430616 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21641/statm: 4969 4588 102 248 0 4718 0
Current children cumulated CPU time (s) 183.82
Current children cumulated vsize (KiB) 49428
[startup+185.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21641
/proc/meminfo: memFree=31397452/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=165.99 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 3298 56874 0 0 6 3 16569 21 20 0 1 0 385518597 11526144 2173 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2173 168 443 0 2367 0
[pid=21640] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21640/stat : 21640 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385535202 9367552 265 33554432000 4194304 5064252 140735963657008 140735963655920 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21640/statm: 2287 265 226 213 0 72 0
[pid=21641] ppid=21640 vsize=19876 CPUtime=19.43 cores=1,3,5,7
/proc/21641/stat : 21641 (glucose) R 21640 21588 17372 0 -1 4202496 3619 0 0 0 1943 0 0 0 20 0 1 0 385535203 20353024 4588 33554432000 4194304 5208918 140735462432672 140735462430616 4228982 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21641/statm: 4969 4588 102 248 0 4718 0
Current children cumulated CPU time (s) 185.42
Current children cumulated vsize (KiB) 49428
[startup+186.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21641
/proc/meminfo: memFree=31391184/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=165.99 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 3298 56874 0 0 6 3 16569 21 20 0 1 0 385518597 11526144 2173 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2173 168 443 0 2367 0
[pid=21640] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21640/stat : 21640 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385535202 9367552 265 33554432000 4194304 5064252 140735963657008 140735963655920 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21640/statm: 2287 265 226 213 0 72 0
[pid=21641] ppid=21640 vsize=22572 CPUtime=20.23 cores=1,3,5,7
/proc/21641/stat : 21641 (glucose) R 21640 21588 17372 0 -1 4202496 3621 0 0 0 2023 0 0 0 20 0 1 0 385535203 23113728 5101 33554432000 4194304 5208918 140735462432672 140735462430616 4229374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21641/statm: 5643 5101 102 248 0 5392 0
Current children cumulated CPU time (s) 186.22
Current children cumulated vsize (KiB) 52124
[startup+186.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21641
/proc/meminfo: memFree=31391184/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=11256 CPUtime=165.99 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) S 21588 21588 17372 0 -1 4202496 3298 56874 0 0 6 3 16569 21 20 0 1 0 385518597 11526144 2173 33554432000 4194304 6006132 140737005216304 140737005207712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 2814 2173 168 443 0 2367 0
[pid=21640] ppid=21589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21640/stat : 21640 (satsolver.sh) S 21589 21588 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385535202 9367552 265 33554432000 4194304 5064252 140735963657008 140735963655920 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21640/statm: 2287 265 226 213 0 72 0
[pid=21641] ppid=21640 vsize=22572 CPUtime=20.43 cores=1,3,5,7
/proc/21641/stat : 21641 (glucose) R 21640 21588 17372 0 -1 4202496 3621 0 0 0 2043 0 0 0 20 0 1 0 385535203 23113728 5101 33554432000 4194304 5208918 140735462432672 140735462430616 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21641/statm: 5643 5101 102 248 0 5392 0
Current children cumulated CPU time (s) 186.42
Current children cumulated vsize (KiB) 52124
[startup+186.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21641
/proc/meminfo: memFree=31391184/32873844 swapFree=7632/7632
[pid=21588] ppid=21586 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21588/stat : 21588 (npSolver-wbo.sh) S 21586 21588 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385518597 9367552 275 33554432000 4194304 5064252 140736516318784 140736516317696 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21588/statm: 2287 275 233 213 0 72 0
[pid=21589] ppid=21588 vsize=0 CPUtime=186.54 cores=1,3,5,7
/proc/21589/stat : 21589 (npSolver-wbo) R 21588 21588 17372 0 -1 4202500 3405 63812 0 0 6 3 18622 23 20 0 1 0 385518597 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21589/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 186.54
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 186.601
CPU time (s): 186.56
CPU user time (s): 186.289
CPU system time (s): 0.270958
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 94748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.289
system time used= 0.270958
maximum resident set size= 62336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274
involuntary context switches= 266
runsolver used 0.542917 second user time and 1.57076 second system time
The end