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-3755298-1339194117/watcher-3755298-1339194117 -o /tmp/evaluation-result-3755298-1339194117/solver-3755298-1339194117 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755298-1339194117.wbo 513702456 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 4/179 21684
/proc/meminfo: memFree=31415276/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[startup+0.0896771 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 21684
/proc/meminfo: memFree=31415276/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100323 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 21684
/proc/meminfo: memFree=31415276/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300289 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 21684
/proc/meminfo: memFree=31415276/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700295 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 21684
/proc/meminfo: memFree=31415276/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21698
/proc/meminfo: memFree=31323068/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=38980 CPUtime=0.39 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 4907 6465 0 0 25 5 8 1 20 0 1 0 385537286 39915520 8633 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 9745 8633 179 443 0 9298 0
[pid=21697] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385537327 9367552 266 33554432000 4194304 5064252 140734678093760 140734678092672 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21697/statm: 2287 266 226 213 0 72 0
[pid=21698] ppid=21697 vsize=46132 CPUtime=1.08 cores=1,3,5,7
/proc/21698/stat : 21698 (glucose) R 21697 21684 17372 0 -1 4202496 10543 0 0 0 106 2 0 0 20 0 1 0 385537328 47239168 10233 33554432000 4194304 5208918 140734403294736 140734403292696 4229546 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21698/statm: 11533 10233 103 248 0 11282 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 103408
[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21698
/proc/meminfo: memFree=31318476/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=38980 CPUtime=0.39 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 4907 6465 0 0 25 5 8 1 20 0 1 0 385537286 39915520 8633 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 9745 8633 179 443 0 9298 0
[pid=21697] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21697/stat : 21697 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385537327 9367552 266 33554432000 4194304 5064252 140734678093760 140734678092672 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21697/statm: 2287 266 226 213 0 72 0
[pid=21698] ppid=21697 vsize=46536 CPUtime=2.68 cores=1,3,5,7
/proc/21698/stat : 21698 (glucose) R 21697 21684 17372 0 -1 4202496 10641 0 0 0 266 2 0 0 20 0 1 0 385537328 47652864 10331 33554432000 4194304 5208918 140734403294736 140734403292584 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21698/statm: 11634 10331 103 248 0 11383 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 103812
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21698
/proc/meminfo: memFree=31301972/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=38600 CPUtime=6.09 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 8143 20876 0 0 43 7 548 11 20 0 1 0 385537286 39526400 8308 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 9650 8308 179 443 0 9203 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 47748
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21705
/proc/meminfo: memFree=31292040/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=38600 CPUtime=6.09 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 8143 20876 0 0 43 7 548 11 20 0 1 0 385537286 39526400 8308 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 9650 8308 179 443 0 9203 0
[pid=21704] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21704/stat : 21704 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385537897 9367552 266 33554432000 4194304 5064252 140736299110992 140736299109904 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21704/statm: 2287 266 226 213 0 72 0
[pid=21705] ppid=21704 vsize=41464 CPUtime=6.58 cores=1,3,5,7
/proc/21705/stat : 21705 (glucose) R 21704 21684 17372 0 -1 4202496 8267 0 0 0 657 1 0 0 20 0 1 0 385537897 42459136 9041 33554432000 4194304 5208918 140736144121136 140736144118968 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21705/statm: 10366 9041 104 248 0 10115 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 98360
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21719
/proc/meminfo: memFree=31429724/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=20.68 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 11064 45350 0 0 51 9 1977 31 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21718] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21718/stat : 21718 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385539355 9367552 267 33554432000 4194304 5064252 140736464447472 140736464446384 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21718/statm: 2287 267 226 213 0 72 0
[pid=21719] ppid=21718 vsize=13412 CPUtime=4.8 cores=1,3,5,7
/proc/21719/stat : 21719 (glucose) R 21718 21684 17372 0 -1 4202496 3423 0 0 0 480 0 0 0 20 0 1 0 385539355 13733888 2852 33554432000 4194304 5208918 140736233748976 140736233747128 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21719/statm: 3353 2852 96 248 0 3102 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52664
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21719
/proc/meminfo: memFree=31320940/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=20.68 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 11064 45350 0 0 51 9 1977 31 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21718] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21718/stat : 21718 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385539355 9367552 267 33554432000 4194304 5064252 140736464447472 140736464446384 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21718/statm: 2287 267 226 213 0 72 0
[pid=21719] ppid=21718 vsize=22616 CPUtime=30.4 cores=1,3,5,7
/proc/21719/stat : 21719 (glucose) R 21718 21684 17372 0 -1 4202496 5291 0 0 0 3039 1 0 0 20 0 1 0 385539355 23158784 5040 33554432000 4194304 5208918 140736233748976 140736233746920 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21719/statm: 5654 5040 96 248 0 5403 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61868
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21733
/proc/meminfo: memFree=31416976/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=83.49 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 11646 59546 0 0 51 9 8252 37 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21732] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21732/stat : 21732 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385545639 9367552 266 33554432000 4194304 5064252 140737250053952 140737250052864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21732/statm: 2287 266 226 213 0 72 0
[pid=21733] ppid=21732 vsize=19732 CPUtime=18.77 cores=1,3,5,7
/proc/21733/stat : 21733 (glucose) R 21732 21684 17372 0 -1 4202496 4367 0 0 0 1877 0 0 0 20 0 1 0 385545639 20205568 4160 33554432000 4194304 5208918 140734997559792 140734997557736 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21733/statm: 4933 4160 104 248 0 4682 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58984
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21747
/proc/meminfo: memFree=31331332/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=124.78 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 12076 75122 0 0 52 9 12376 41 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21746] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21746/stat : 21746 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385549768 9367552 265 33554432000 4194304 5064252 140735310533424 140735310532336 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21746/statm: 2287 265 226 213 0 72 0
[pid=21747] ppid=21746 vsize=12568 CPUtime=3.07 cores=1,3,5,7
/proc/21747/stat : 21747 (glucose) R 21746 21684 17372 0 -1 4202496 2697 0 0 0 307 0 0 0 20 0 1 0 385549768 12869632 2558 33554432000 4194304 5208918 140735843169968 140735843167912 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21747/statm: 3142 2558 104 248 0 2891 0
Current children cumulated CPU time (s) 127.85
Current children cumulated vsize (KiB) 51820
[startup+140.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21754
/proc/meminfo: memFree=31415612/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=135.18 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 12291 82293 0 0 52 9 13414 43 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21753] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385550808 9367552 267 33554432000 4194304 5064252 140736892941440 140736892940352 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21753/statm: 2287 267 226 213 0 72 0
[pid=21754] ppid=21753 vsize=12844 CPUtime=5.48 cores=1,3,5,7
/proc/21754/stat : 21754 (glucose) R 21753 21684 17372 0 -1 4202496 3216 0 0 0 548 0 0 0 20 0 1 0 385550808 13152256 2759 33554432000 4194304 5208918 140734495146592 140734495144456 4211488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21754/statm: 3211 2759 104 248 0 2960 0
Current children cumulated CPU time (s) 140.66
Current children cumulated vsize (KiB) 52096
[startup+147.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21754
/proc/meminfo: memFree=31394700/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=135.18 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 12291 82293 0 0 52 9 13414 43 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21753] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385550808 9367552 267 33554432000 4194304 5064252 140736892941440 140736892940352 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21753/statm: 2287 267 226 213 0 72 0
[pid=21754] ppid=21753 vsize=18524 CPUtime=11.87 cores=1,3,5,7
/proc/21754/stat : 21754 (glucose) R 21753 21684 17372 0 -1 4202496 3865 0 0 0 1187 0 0 0 20 0 1 0 385550808 18968576 3892 33554432000 4194304 5208918 140734495146592 140734495144536 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21754/statm: 4631 3892 104 248 0 4380 0
Current children cumulated CPU time (s) 147.05
Current children cumulated vsize (KiB) 57776
[startup+150.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21754
/proc/meminfo: memFree=31384584/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=135.18 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 12291 82293 0 0 52 9 13414 43 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21753] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385550808 9367552 267 33554432000 4194304 5064252 140736892941440 140736892940352 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21753/statm: 2287 267 226 213 0 72 0
[pid=21754] ppid=21753 vsize=18524 CPUtime=15.07 cores=1,3,5,7
/proc/21754/stat : 21754 (glucose) R 21753 21684 17372 0 -1 4202496 3865 0 0 0 1507 0 0 0 20 0 1 0 385550808 18968576 3892 33554432000 4194304 5208918 140734495146592 140734495144536 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21754/statm: 4631 3892 104 248 0 4380 0
Current children cumulated CPU time (s) 150.25
Current children cumulated vsize (KiB) 57776
[startup+151.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21754
/proc/meminfo: memFree=31376268/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=135.18 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 12291 82293 0 0 52 9 13414 43 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21753] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385550808 9367552 267 33554432000 4194304 5064252 140736892941440 140736892940352 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21753/statm: 2287 267 226 213 0 72 0
[pid=21754] ppid=21753 vsize=18524 CPUtime=16.67 cores=1,3,5,7
/proc/21754/stat : 21754 (glucose) R 21753 21684 17372 0 -1 4202496 3865 0 0 0 1667 0 0 0 20 0 1 0 385550808 18968576 3892 33554432000 4194304 5208918 140734495146592 140734495144536 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21754/statm: 4631 3892 104 248 0 4380 0
Current children cumulated CPU time (s) 151.85
Current children cumulated vsize (KiB) 57776
[startup+152.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21754
/proc/meminfo: memFree=31376268/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=135.18 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 12291 82293 0 0 52 9 13414 43 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21753] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385550808 9367552 267 33554432000 4194304 5064252 140736892941440 140736892940352 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21753/statm: 2287 267 226 213 0 72 0
[pid=21754] ppid=21753 vsize=18524 CPUtime=17.47 cores=1,3,5,7
/proc/21754/stat : 21754 (glucose) R 21753 21684 17372 0 -1 4202496 3865 0 0 0 1747 0 0 0 20 0 1 0 385550808 18968576 3892 33554432000 4194304 5208918 140734495146592 140734495144536 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21754/statm: 4631 3892 104 248 0 4380 0
Current children cumulated CPU time (s) 152.65
Current children cumulated vsize (KiB) 57776
[startup+153.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21754
/proc/meminfo: memFree=31374220/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=135.18 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 12291 82293 0 0 52 9 13414 43 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21753] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385550808 9367552 267 33554432000 4194304 5064252 140736892941440 140736892940352 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21753/statm: 2287 267 226 213 0 72 0
[pid=21754] ppid=21753 vsize=21244 CPUtime=18.27 cores=1,3,5,7
/proc/21754/stat : 21754 (glucose) R 21753 21684 17372 0 -1 4202496 4569 0 0 0 1827 0 0 0 20 0 1 0 385550808 21753856 4563 33554432000 4194304 5208918 140734495146592 140734495144536 4229307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21754/statm: 5311 4563 104 248 0 5060 0
Current children cumulated CPU time (s) 153.45
Current children cumulated vsize (KiB) 60496
[startup+153.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21754
/proc/meminfo: memFree=31367272/32873844 swapFree=7632/7632
[pid=21684] ppid=21682 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21684/stat : 21684 (npSolver-wbo.sh) S 21682 21684 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385537286 9367552 275 33554432000 4194304 5064252 140733831919552 140733831918464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21684/statm: 2287 275 233 213 0 72 0
[pid=21685] ppid=21684 vsize=20956 CPUtime=135.18 cores=1,3,5,7
/proc/21685/stat : 21685 (npSolver-wbo) S 21684 21684 17372 0 -1 4202496 12291 82293 0 0 52 9 13414 43 20 0 1 0 385537286 21458944 4214 33554432000 4194304 6006132 140734661703552 140734661694960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21685/statm: 5239 4214 181 443 0 4792 0
[pid=21753] ppid=21685 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (satsolver.sh) S 21685 21684 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385550808 9367552 267 33554432000 4194304 5064252 140736892941440 140736892940352 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21753/statm: 2287 267 226 213 0 72 0
[pid=21754] ppid=21753 vsize=21244 CPUtime=18.67 cores=1,3,5,7
/proc/21754/stat : 21754 (glucose) R 21753 21684 17372 0 -1 4202496 4569 0 0 0 1867 0 0 0 20 0 1 0 385550808 21753856 4563 33554432000 4194304 5208918 140734495146592 140734495142968 4229984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21754/statm: 5311 4563 104 248 0 5060 0
Current children cumulated CPU time (s) 153.85
Current children cumulated vsize (KiB) 60496
Child status: 0
Real time (s): 153.987
CPU time (s): 153.958
CPU user time (s): 153.41
CPU system time (s): 0.547916
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 104080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.41
system time used= 0.547916
maximum resident set size= 50904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 70056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 673
involuntary context switches= 276
runsolver used 0.312952 second user time and 0.884865 second system time
The end