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-3755003-1339188955/watcher-3755003-1339188955 -o /tmp/evaluation-result-3755003-1339188955/solver-3755003-1339188955 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755003-1339188955.wbo 1185444265 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: 1.95 1.99 1.96 3/179 31934
/proc/meminfo: memFree=31271416/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[startup+0.09148 s]
/proc/loadavg: 1.95 1.99 1.96 3/179 31934
/proc/meminfo: memFree=31271416/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100186 s]
/proc/loadavg: 1.95 1.99 1.96 3/179 31934
/proc/meminfo: memFree=31271416/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300259 s]
/proc/loadavg: 1.95 1.99 1.96 3/179 31934
/proc/meminfo: memFree=31271416/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700181 s]
/proc/loadavg: 1.95 1.99 1.96 3/179 31934
/proc/meminfo: memFree=31271416/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 1.95 1.99 1.96 3/183 31948
/proc/meminfo: memFree=31193744/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=38140 CPUtime=0.33 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 5071 6142 0 0 21 4 7 1 20 0 1 0 385021467 39055360 8298 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 9535 8298 178 443 0 9088 0
[pid=31947] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385021501 9367552 266 33554432000 4194304 5064252 140733395435744 140733395434656 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31947/statm: 2287 266 226 213 0 72 0
[pid=31948] ppid=31947 vsize=41548 CPUtime=1.14 cores=1,3,5,7
/proc/31948/stat : 31948 (glucose) R 31947 31934 28786 0 -1 4202496 8144 0 0 0 112 2 0 0 20 0 1 0 385021502 42545152 8463 33554432000 4194304 5208918 140737316916320 140737316914280 4229565 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31948/statm: 10387 8463 104 248 0 10136 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 97984
[startup+3.10036 s]
/proc/loadavg: 1.95 1.99 1.96 3/183 31948
/proc/meminfo: memFree=31192504/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=38140 CPUtime=0.33 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 5071 6142 0 0 21 4 7 1 20 0 1 0 385021467 39055360 8298 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 9535 8298 178 443 0 9088 0
[pid=31947] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385021501 9367552 266 33554432000 4194304 5064252 140733395435744 140733395434656 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31947/statm: 2287 266 226 213 0 72 0
[pid=31948] ppid=31947 vsize=41680 CPUtime=2.74 cores=1,3,5,7
/proc/31948/stat : 31948 (glucose) R 31947 31934 28786 0 -1 4202496 8297 0 0 0 272 2 0 0 20 0 1 0 385021502 42680320 8607 33554432000 4194304 5208918 140737316916320 140737316914168 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31948/statm: 10420 8607 104 248 0 10169 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 98116
[startup+6.30031 s]
/proc/loadavg: 1.96 1.99 1.96 3/183 31948
/proc/meminfo: memFree=31189728/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=38140 CPUtime=0.33 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 5071 6142 0 0 21 4 7 1 20 0 1 0 385021467 39055360 8298 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 9535 8298 178 443 0 9088 0
[pid=31947] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385021501 9367552 266 33554432000 4194304 5064252 140733395435744 140733395434656 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31947/statm: 2287 266 226 213 0 72 0
[pid=31948] ppid=31947 vsize=42208 CPUtime=5.94 cores=1,3,5,7
/proc/31948/stat : 31948 (glucose) R 31947 31934 28786 0 -1 4202496 8651 0 0 0 592 2 0 0 20 0 1 0 385021502 43220992 8955 33554432000 4194304 5208918 140737316916320 140737316914072 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31948/statm: 10552 8955 104 248 0 10301 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 98644
[startup+12.7003 s]
/proc/loadavg: 1.96 1.99 1.96 3/183 31955
/proc/meminfo: memFree=31196692/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=37920 CPUtime=7.74 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 8095 18452 0 0 36 6 724 8 20 0 1 0 385021467 38830080 7545 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 9480 7545 179 443 0 9033 0
[pid=31954] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31954/stat : 31954 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385022245 9367552 267 33554432000 4194304 5064252 140736896783632 140736896782544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31954/statm: 2287 267 226 213 0 72 0
[pid=31955] ppid=31954 vsize=39812 CPUtime=4.91 cores=1,3,5,7
/proc/31955/stat : 31955 (glucose) R 31954 31934 28786 0 -1 4202496 8948 0 0 0 490 1 0 0 20 0 1 0 385022245 40767488 7930 33554432000 4194304 5208918 140733656451440 140733656449592 4212649 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31955/statm: 9953 7930 104 248 0 9702 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 96028
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 1.96 3/183 31969
/proc/meminfo: memFree=31207668/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=19.21 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13115 42808 0 0 58 9 1833 21 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31968] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31968/stat : 31968 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385023391 9367552 266 33554432000 4194304 5064252 140737251282368 140737251281280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31968/statm: 2287 266 226 213 0 72 0
[pid=31969] ppid=31968 vsize=45472 CPUtime=6.25 cores=1,3,5,7
/proc/31969/stat : 31969 (glucose) R 31968 31934 28786 0 -1 4202496 9369 0 0 0 624 1 0 0 20 0 1 0 385023391 46563328 10065 33554432000 4194304 5208918 140736633662240 140736633660088 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31969/statm: 11368 10065 95 248 0 11117 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 84512
[startup+51.1002 s]
/proc/loadavg: 2.03 2.01 1.96 3/183 31969
/proc/meminfo: memFree=31191180/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=19.21 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13115 42808 0 0 58 9 1833 21 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31968] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31968/stat : 31968 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385023391 9367552 266 33554432000 4194304 5064252 140737251282368 140737251281280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31968/statm: 2287 266 226 213 0 72 0
[pid=31969] ppid=31968 vsize=50300 CPUtime=31.83 cores=1,3,5,7
/proc/31969/stat : 31969 (glucose) R 31968 31934 28786 0 -1 4202496 10945 0 0 0 3182 1 0 0 20 0 1 0 385023391 51507200 10789 33554432000 4194304 5208918 140736633662240 140736633660088 4211851 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31969/statm: 12575 10789 96 248 0 12324 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 89340
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/183 31969
/proc/meminfo: memFree=31164316/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=19.21 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13115 42808 0 0 58 9 1833 21 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31968] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31968/stat : 31968 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385023391 9367552 266 33554432000 4194304 5064252 140737251282368 140737251281280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31968/statm: 2287 266 226 213 0 72 0
[pid=31969] ppid=31968 vsize=62304 CPUtime=83.03 cores=1,3,5,7
/proc/31969/stat : 31969 (glucose) R 31968 31934 28786 0 -1 4202496 12590 0 0 0 8300 3 0 0 20 0 1 0 385023391 63799296 14033 33554432000 4194304 5208918 140736633662240 140736633660184 4211518 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31969/statm: 15576 14033 96 248 0 15325 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 101344
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 31976
/proc/meminfo: memFree=31211532/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=154.08 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13260 60313 0 0 58 9 15307 34 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31975] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31975/stat : 31975 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385036882 9367552 267 33554432000 4194304 5064252 140734554994944 140734554993856 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31975/statm: 2287 267 226 213 0 72 0
[pid=31976] ppid=31975 vsize=13504 CPUtime=8.13 cores=1,3,5,7
/proc/31976/stat : 31976 (glucose) R 31975 31934 28786 0 -1 4202496 3577 0 0 0 813 0 0 0 20 0 1 0 385036882 13828096 2913 33554432000 4194304 5208918 140733990127200 140733990125048 4229517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31976/statm: 3376 2913 103 248 0 3125 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 52544
Solver just ended. Dumping a history of the last processes samples
[startup+163.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 31976
/proc/meminfo: memFree=31211036/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=154.08 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13260 60313 0 0 58 9 15307 34 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31975] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31975/stat : 31975 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385036882 9367552 267 33554432000 4194304 5064252 140734554994944 140734554993856 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31975/statm: 2287 267 226 213 0 72 0
[pid=31976] ppid=31975 vsize=19572 CPUtime=9.03 cores=1,3,5,7
/proc/31976/stat : 31976 (glucose) R 31975 31934 28786 0 -1 4202496 3993 0 0 0 903 0 0 0 20 0 1 0 385036882 20041728 3815 33554432000 4194304 5208918 140733990127200 140733990125144 4211916 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31976/statm: 4893 3815 103 248 0 4642 0
Current children cumulated CPU time (s) 163.11
Current children cumulated vsize (KiB) 58612
[startup+164.8 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 31976
/proc/meminfo: memFree=31213144/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=154.08 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13260 60313 0 0 58 9 15307 34 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31975] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31975/stat : 31975 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385036882 9367552 267 33554432000 4194304 5064252 140734554994944 140734554993856 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31975/statm: 2287 267 226 213 0 72 0
[pid=31976] ppid=31975 vsize=13548 CPUtime=10.63 cores=1,3,5,7
/proc/31976/stat : 31976 (glucose) R 31975 31934 28786 0 -1 4202496 4209 0 0 0 1063 0 0 0 20 0 1 0 385036882 13873152 2908 33554432000 4194304 5208918 140733990127200 140733990125176 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31976/statm: 3387 2908 103 248 0 3136 0
Current children cumulated CPU time (s) 164.71
Current children cumulated vsize (KiB) 52588
[startup+166.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 31976
/proc/meminfo: memFree=31211224/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=154.08 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13260 60313 0 0 58 9 15307 34 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31975] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31975/stat : 31975 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385036882 9367552 267 33554432000 4194304 5064252 140734554994944 140734554993856 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31975/statm: 2287 267 226 213 0 72 0
[pid=31976] ppid=31975 vsize=15220 CPUtime=12.23 cores=1,3,5,7
/proc/31976/stat : 31976 (glucose) R 31975 31934 28786 0 -1 4202496 4229 0 0 0 1223 0 0 0 20 0 1 0 385036882 15585280 2928 33554432000 4194304 5208918 140733990127200 140733990125144 4229347 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31976/statm: 3805 2928 103 248 0 3554 0
Current children cumulated CPU time (s) 166.31
Current children cumulated vsize (KiB) 54260
[startup+167.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 31976
/proc/meminfo: memFree=31210852/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=154.08 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13260 60313 0 0 58 9 15307 34 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31975] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31975/stat : 31975 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385036882 9367552 267 33554432000 4194304 5064252 140734554994944 140734554993856 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31975/statm: 2287 267 226 213 0 72 0
[pid=31976] ppid=31975 vsize=15220 CPUtime=13.04 cores=1,3,5,7
/proc/31976/stat : 31976 (glucose) R 31975 31934 28786 0 -1 4202496 4422 0 0 0 1304 0 0 0 20 0 1 0 385036882 15585280 3111 33554432000 4194304 5208918 140733990127200 140733990125144 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31976/statm: 3805 3111 104 248 0 3554 0
Current children cumulated CPU time (s) 167.12
Current children cumulated vsize (KiB) 54260
[startup+167.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 31976
/proc/meminfo: memFree=31210852/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=154.08 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13260 60313 0 0 58 9 15307 34 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31975] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31975/stat : 31975 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385036882 9367552 267 33554432000 4194304 5064252 140734554994944 140734554993856 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31975/statm: 2287 267 226 213 0 72 0
[pid=31976] ppid=31975 vsize=15220 CPUtime=13.23 cores=1,3,5,7
/proc/31976/stat : 31976 (glucose) R 31975 31934 28786 0 -1 4202496 4468 0 0 0 1323 0 0 0 20 0 1 0 385036882 15585280 3156 33554432000 4194304 5208918 140733990127200 140733990125144 4229374 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31976/statm: 3805 3156 104 248 0 3554 0
Current children cumulated CPU time (s) 167.31
Current children cumulated vsize (KiB) 54260
[startup+167.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 31976
/proc/meminfo: memFree=31210852/32873648 swapFree=7376/7376
[pid=31934] ppid=31932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31934/stat : 31934 (npSolver-wbo.sh) S 31932 31934 28786 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385021467 9367552 275 33554432000 4194304 5064252 140733795082864 140733795081776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31934/statm: 2287 275 233 213 0 72 0
[pid=31935] ppid=31934 vsize=20744 CPUtime=154.08 cores=1,3,5,7
/proc/31935/stat : 31935 (npSolver-wbo) S 31934 31934 28786 0 -1 4202496 13260 60313 0 0 58 9 15307 34 20 0 1 0 385021467 21241856 4475 33554432000 4194304 6006132 140733244398640 140733244390048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31935/statm: 5186 4475 181 443 0 4739 0
[pid=31975] ppid=31935 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31975/stat : 31975 (satsolver.sh) S 31935 31934 28786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385036882 9367552 267 33554432000 4194304 5064252 140734554994944 140734554993856 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31975/statm: 2287 267 226 213 0 72 0
[pid=31976] ppid=31975 vsize=15220 CPUtime=13.33 cores=1,3,5,7
/proc/31976/stat : 31976 (glucose) R 31975 31934 28786 0 -1 4202496 4472 0 0 0 1333 0 0 0 20 0 1 0 385036882 15585280 3160 33554432000 4194304 5208918 140733990127200 140733990125144 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31976/statm: 3805 3160 104 248 0 3554 0
Current children cumulated CPU time (s) 167.41
Current children cumulated vsize (KiB) 54260
Child status: 0
Real time (s): 167.533
CPU time (s): 167.481
CPU user time (s): 167.018
CPU system time (s): 0.462929
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 120020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.018
system time used= 0.462929
maximum resident set size= 66412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82447
page faults= 0
swaps= 0
block input operations= 0
block output operations= 76856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 647
involuntary context switches= 451
runsolver used 0.352946 second user time and 0.963853 second system time
The end