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-3755032-1339188497/watcher-3755032-1339188497 -o /tmp/evaluation-result-3755032-1339188497/solver-3755032-1339188497 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755032-1339188497.wbo 1839626399 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.03 1.96 3/179 27906
/proc/meminfo: memFree=29615444/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[startup+0.02006 s]
/proc/loadavg: 2.06 2.03 1.96 3/179 27906
/proc/meminfo: memFree=29615444/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10032 s]
/proc/loadavg: 2.06 2.03 1.96 3/179 27906
/proc/meminfo: memFree=29615444/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.06 2.03 1.96 3/179 27906
/proc/meminfo: memFree=29615444/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700236 s]
/proc/loadavg: 2.06 2.03 1.96 3/179 27906
/proc/meminfo: memFree=29615444/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.06 2.03 1.96 3/183 27913
/proc/meminfo: memFree=29610692/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=3096 CPUtime=0.23 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 1960 2202 0 0 2 0 21 0 20 0 1 0 384978201 3170304 380 33554432000 4194304 6006132 140737487154432 140737487148624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27907/statm: 774 380 158 443 0 327 0
[pid=27912] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27912/stat : 27912 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384978226 9367552 267 33554432000 4194304 5064252 140733923362240 140733923361152 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27912/statm: 2287 267 226 213 0 72 0
[pid=27913] ppid=27912 vsize=9428 CPUtime=1.24 cores=0,2,4,6
/proc/27913/stat : 27913 (glucose) R 27912 27906 26138 0 -1 4202496 2258 0 0 0 124 0 0 0 20 0 1 0 384978226 9654272 1397 33554432000 4194304 5208918 140734958075312 140734958073464 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27913/statm: 2357 1397 96 248 0 2106 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30820
[startup+3.10037 s]
/proc/loadavg: 2.06 2.03 1.96 3/183 27913
/proc/meminfo: memFree=29572452/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=3096 CPUtime=0.23 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 1960 2202 0 0 2 0 21 0 20 0 1 0 384978201 3170304 380 33554432000 4194304 6006132 140737487154432 140737487148624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27907/statm: 774 380 158 443 0 327 0
[pid=27912] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27912/stat : 27912 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384978226 9367552 267 33554432000 4194304 5064252 140733923362240 140733923361152 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27912/statm: 2287 267 226 213 0 72 0
[pid=27913] ppid=27912 vsize=11100 CPUtime=2.84 cores=0,2,4,6
/proc/27913/stat : 27913 (glucose) R 27912 27906 26138 0 -1 4202496 3058 0 0 0 284 0 0 0 20 0 1 0 384978226 11366400 2173 33554432000 4194304 5208918 140734958075312 140734958073176 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27913/statm: 2775 2173 96 248 0 2524 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 32492
[startup+6.30038 s]
/proc/loadavg: 2.06 2.03 1.96 3/183 27913
/proc/meminfo: memFree=29554272/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=3096 CPUtime=0.23 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 1960 2202 0 0 2 0 21 0 20 0 1 0 384978201 3170304 380 33554432000 4194304 6006132 140737487154432 140737487148624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27907/statm: 774 380 158 443 0 327 0
[pid=27912] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27912/stat : 27912 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384978226 9367552 267 33554432000 4194304 5064252 140733923362240 140733923361152 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27912/statm: 2287 267 226 213 0 72 0
[pid=27913] ppid=27912 vsize=19356 CPUtime=6.04 cores=0,2,4,6
/proc/27913/stat : 27913 (glucose) R 27912 27906 26138 0 -1 4202496 3831 0 0 0 603 1 0 0 20 0 1 0 384978226 19820544 3723 33554432000 4194304 5208918 140734958075312 140734958073400 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27913/statm: 4839 3723 96 248 0 4588 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 40748
[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 1.96 3/183 27920
/proc/meminfo: memFree=29518064/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=7.58 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 2853 9430 0 0 4 2 750 2 20 0 1 0 384978201 7237632 1134 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1134 167 443 0 1320 0
[pid=27919] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27919/stat : 27919 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384978962 9367552 267 33554432000 4194304 5064252 140737033996880 140737033995792 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27919/statm: 2287 267 226 213 0 72 0
[pid=27920] ppid=27919 vsize=25268 CPUtime=5.08 cores=0,2,4,6
/proc/27920/stat : 27920 (glucose) R 27919 27906 26138 0 -1 4202496 6134 0 0 0 507 1 0 0 20 0 1 0 384978962 25874432 5750 33554432000 4194304 5208918 140733977151184 140733977149048 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27920/statm: 6317 5750 96 248 0 6066 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 50632
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 1.96 3/183 27927
/proc/meminfo: memFree=29527640/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=17.24 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 3335 18989 0 0 4 2 1712 6 20 0 1 0 384978201 7237632 1134 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1134 167 443 0 1320 0
[pid=27926] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27926/stat : 27926 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384979930 9367552 267 33554432000 4194304 5064252 140733727739760 140733727738672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27926/statm: 2287 267 226 213 0 72 0
[pid=27927] ppid=27926 vsize=19372 CPUtime=8.2 cores=0,2,4,6
/proc/27927/stat : 27927 (glucose) R 27926 27906 26138 0 -1 4202496 4351 0 0 0 819 1 0 0 20 0 1 0 384979930 19836928 4417 33554432000 4194304 5208918 140735714025840 140735714023928 4229515 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27927/statm: 4843 4417 96 248 0 4592 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 44736
[startup+51.1004 s]
/proc/loadavg: 2.10 2.04 1.96 3/183 27941
/proc/meminfo: memFree=29544060/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=39.44 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 3646 34527 0 0 5 2 3925 12 20 0 1 0 384978201 7237632 1135 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1135 168 443 0 1320 0
[pid=27940] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27940/stat : 27940 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384982150 9367552 267 33554432000 4194304 5064252 140736522176672 140736522175584 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27940/statm: 2287 267 226 213 0 72 0
[pid=27941] ppid=27940 vsize=21060 CPUtime=11.6 cores=0,2,4,6
/proc/27941/stat : 27941 (glucose) R 27940 27906 26138 0 -1 4202496 3721 0 0 0 1159 1 0 0 20 0 1 0 384982150 21565440 4700 33554432000 4194304 5208918 140734916254688 140734916252632 4229515 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27941/statm: 5265 4700 102 248 0 5014 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 46424
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 1.96 3/183 27963
/proc/meminfo: memFree=29529212/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=87.16 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 3902 56109 0 0 5 3 8690 18 20 0 1 0 384978201 7237632 1135 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1135 168 443 0 1320 0
[pid=27962] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27962/stat : 27962 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384986923 9367552 267 33554432000 4194304 5064252 140735152578320 140735152577232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27962/statm: 2287 267 226 213 0 72 0
[pid=27963] ppid=27962 vsize=22320 CPUtime=15.07 cores=0,2,4,6
/proc/27963/stat : 27963 (glucose) R 27962 27906 26138 0 -1 4202496 4413 0 0 0 1506 1 0 0 20 0 1 0 384986923 22855680 4995 33554432000 4194304 5208918 140733875490560 140733875488504 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27963/statm: 5580 4995 104 248 0 5329 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 47684
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.03 2.03 1.96 3/184 27980
/proc/meminfo: memFree=29564732/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=126.13 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 4144 72023 0 0 5 3 12582 23 20 0 1 0 384978201 7237632 1135 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1135 168 443 0 1320 0
[pid=27979] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27979/stat : 27979 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384990821 9367552 267 33554432000 4194304 5064252 140734106780288 140734106779200 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27979/statm: 2287 267 226 213 0 72 0
[pid=27980] ppid=27979 vsize=10076 CPUtime=1.69 cores=0,2,4,6
/proc/27980/stat : 27980 (glucose) R 27979 27906 26138 0 -1 4202496 2399 0 0 0 169 0 0 0 20 0 1 0 384990822 10317824 2012 33554432000 4194304 5208918 140736954922768 140736954920712 4213154 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27980/statm: 2519 2012 96 248 0 2268 0
Current children cumulated CPU time (s) 127.82
Current children cumulated vsize (KiB) 35440
[startup+134.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/184 27980
/proc/meminfo: memFree=29536876/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=126.13 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 4144 72023 0 0 5 3 12582 23 20 0 1 0 384978201 7237632 1135 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1135 168 443 0 1320 0
[pid=27979] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27979/stat : 27979 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384990821 9367552 267 33554432000 4194304 5064252 140734106780288 140734106779200 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27979/statm: 2287 267 226 213 0 72 0
[pid=27980] ppid=27979 vsize=17924 CPUtime=8.08 cores=0,2,4,6
/proc/27980/stat : 27980 (glucose) R 27979 27906 26138 0 -1 4202496 3978 0 0 0 808 0 0 0 20 0 1 0 384990822 18354176 4057 33554432000 4194304 5208918 140736954922768 140736954920632 4229692 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27980/statm: 4481 4057 96 248 0 4230 0
Current children cumulated CPU time (s) 134.21
Current children cumulated vsize (KiB) 43288
[startup+140.7 s]
/proc/loadavg: 2.02 2.03 1.96 3/184 27980
/proc/meminfo: memFree=29513728/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=126.13 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 4144 72023 0 0 5 3 12582 23 20 0 1 0 384978201 7237632 1135 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1135 168 443 0 1320 0
[pid=27979] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27979/stat : 27979 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384990821 9367552 267 33554432000 4194304 5064252 140734106780288 140734106779200 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27979/statm: 2287 267 226 213 0 72 0
[pid=27980] ppid=27979 vsize=25000 CPUtime=14.49 cores=0,2,4,6
/proc/27980/stat : 27980 (glucose) R 27979 27906 26138 0 -1 4202496 4181 0 0 0 1449 0 0 0 20 0 1 0 384990822 25600000 5282 33554432000 4194304 5208918 140736954922768 140736954920760 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27980/statm: 6250 5282 104 248 0 5999 0
Current children cumulated CPU time (s) 140.62
Current children cumulated vsize (KiB) 50364
[startup+143.9 s]
/proc/loadavg: 2.02 2.03 1.96 3/184 27980
/proc/meminfo: memFree=29513788/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=126.13 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 4144 72023 0 0 5 3 12582 23 20 0 1 0 384978201 7237632 1135 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1135 168 443 0 1320 0
[pid=27979] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27979/stat : 27979 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384990821 9367552 267 33554432000 4194304 5064252 140734106780288 140734106779200 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27979/statm: 2287 267 226 213 0 72 0
[pid=27980] ppid=27979 vsize=24036 CPUtime=17.68 cores=0,2,4,6
/proc/27980/stat : 27980 (glucose) R 27979 27906 26138 0 -1 4202496 4193 0 0 0 1768 0 0 0 20 0 1 0 384990822 24612864 4076 33554432000 4194304 5208918 140736954922768 140736954920856 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27980/statm: 6009 4076 104 248 0 5758 0
Current children cumulated CPU time (s) 143.81
Current children cumulated vsize (KiB) 49400
[startup+144.7 s]
/proc/loadavg: 2.02 2.03 1.96 3/184 27980
/proc/meminfo: memFree=29591192/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=126.13 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 4144 72023 0 0 5 3 12582 23 20 0 1 0 384978201 7237632 1135 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1135 168 443 0 1320 0
[pid=27979] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27979/stat : 27979 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384990821 9367552 267 33554432000 4194304 5064252 140734106780288 140734106779200 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27979/statm: 2287 267 226 213 0 72 0
[pid=27980] ppid=27979 vsize=24036 CPUtime=18.48 cores=0,2,4,6
/proc/27980/stat : 27980 (glucose) R 27979 27906 26138 0 -1 4202496 4193 0 0 0 1848 0 0 0 20 0 1 0 384990822 24612864 4076 33554432000 4194304 5208918 140736954922768 140736954920712 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27980/statm: 6009 4076 104 248 0 5758 0
Current children cumulated CPU time (s) 144.61
Current children cumulated vsize (KiB) 49400
[startup+145.5 s]
/proc/loadavg: 2.02 2.03 1.96 3/184 27980
/proc/meminfo: memFree=29559728/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=126.13 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 4144 72023 0 0 5 3 12582 23 20 0 1 0 384978201 7237632 1135 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1135 168 443 0 1320 0
[pid=27979] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27979/stat : 27979 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384990821 9367552 267 33554432000 4194304 5064252 140734106780288 140734106779200 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27979/statm: 2287 267 226 213 0 72 0
[pid=27980] ppid=27979 vsize=24036 CPUtime=19.28 cores=0,2,4,6
/proc/27980/stat : 27980 (glucose) R 27979 27906 26138 0 -1 4202496 4266 0 0 0 1928 0 0 0 20 0 1 0 384990822 24612864 4147 33554432000 4194304 5208918 140736954922768 140736954920712 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27980/statm: 6009 4147 104 248 0 5758 0
Current children cumulated CPU time (s) 145.41
Current children cumulated vsize (KiB) 49400
[startup+145.9 s]
/proc/loadavg: 2.02 2.03 1.96 3/184 27980
/proc/meminfo: memFree=29559728/32873844 swapFree=7384/7384
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (npSolver-wbo.sh) S 27904 27906 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384978201 9367552 275 33554432000 4194304 5064252 140735256377600 140735256376512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27906/statm: 2287 275 233 213 0 72 0
[pid=27907] ppid=27906 vsize=7068 CPUtime=126.13 cores=0,2,4,6
/proc/27907/stat : 27907 (npSolver-wbo) S 27906 27906 26138 0 -1 4202496 4144 72023 0 0 5 3 12582 23 20 0 1 0 384978201 7237632 1135 33554432000 4194304 6006132 140737487154432 140737487145840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 1767 1135 168 443 0 1320 0
[pid=27979] ppid=27907 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27979/stat : 27979 (satsolver.sh) S 27907 27906 26138 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384990821 9367552 267 33554432000 4194304 5064252 140734106780288 140734106779200 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27979/statm: 2287 267 226 213 0 72 0
[pid=27980] ppid=27979 vsize=24036 CPUtime=19.68 cores=0,2,4,6
/proc/27980/stat : 27980 (glucose) R 27979 27906 26138 0 -1 4202496 4266 0 0 0 1968 0 0 0 20 0 1 0 384990822 24612864 4147 33554432000 4194304 5208918 140736954922768 140736954920712 4213176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27980/statm: 6009 4147 104 248 0 5758 0
Current children cumulated CPU time (s) 145.81
Current children cumulated vsize (KiB) 49400
Child status: 0
Real time (s): 145.982
CPU time (s): 145.93
CPU user time (s): 145.645
CPU system time (s): 0.284956
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 51812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.645
system time used= 0.284956
maximum resident set size= 29880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251
involuntary context switches= 276
runsolver used 0.470928 second user time and 1.53177 second system time
The end