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-3687211-1337871885/watcher-3687211-1337871885 -o /tmp/evaluation-result-3687211-1337871885/solver-3687211-1337871885 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687211-1337871885.opb
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: 0.00 0.00 0.00 2/171 21382
/proc/meminfo: memFree=27743472/32873844 swapFree=6080/6080
[pid=21382] ppid=21380 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/21382/stat : 21382 (java) D 21380 21382 21352 0 -1 4202496 80 0 1 0 0 0 0 0 20 0 1 0 253317091 278528 33 33554432000 1073741824 1073778376 140735965356160 140735965353336 240417598759 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/21382/statm: 68 33 25 9 0 25 0
[startup+0.0858251 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 21382
/proc/meminfo: memFree=27743472/32873844 swapFree=6080/6080
[pid=21382] ppid=21380 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/21382/stat : 21382 (java) D 21380 21382 21352 0 -1 4202496 1017 0 10 0 0 0 0 0 20 0 1 0 253317091 23793664 754 33554432000 1073741824 1073778376 140736726469280 140736726459272 140184319839024 0 0 4096 0 18446744071579943789 0 0 17 6 0 0 5 0 0
/proc/21382/statm: 5809 754 553 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.100328 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 21382
/proc/meminfo: memFree=27743472/32873844 swapFree=6080/6080
[pid=21382] ppid=21380 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/21382/stat : 21382 (java) D 21380 21382 21352 0 -1 4202496 1036 0 14 0 0 0 0 0 20 0 1 0 253317091 23793664 777 33554432000 1073741824 1073778376 140736726469280 140736726459272 140184319543776 0 0 4096 0 18446744071579943789 0 0 17 6 0 0 7 0 0
/proc/21382/statm: 5809 777 574 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.300268 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 21382
/proc/meminfo: memFree=27743472/32873844 swapFree=6080/6080
[pid=21382] ppid=21380 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/21382/stat : 21382 (java) S 21380 21382 21352 0 -1 4202496 2989 0 30 0 1 1 0 0 20 0 13 0 253317091 9446973440 3715 33554432000 1073741824 1073778376 140736726469280 140736726460416 240430121021 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 10 0 0
/proc/21382/statm: 2306390 3715 1680 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.700225 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 21382
/proc/meminfo: memFree=27743472/32873844 swapFree=6080/6080
[pid=21382] ppid=21380 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/21382/stat : 21382 (java) S 21380 21382 21352 0 -1 4202496 4668 0 32 0 21 1 0 0 20 0 19 0 253317091 9855975424 6329 33554432000 1073741824 1073778376 140736726469280 140736726460416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 10 0 0
/proc/21382/statm: 2406244 6329 2198 9 0 2396937 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9624976
[startup+1.50069 s]
/proc/loadavg: 0.08 0.02 0.01 4/205 21425
/proc/meminfo: memFree=27688540/32873844 swapFree=6080/6080
[pid=21382] ppid=21380 vsize=9624976 CPUtime=1.85 cores=0,2,4,6
/proc/21382/stat : 21382 (java) S 21380 21382 21352 0 -1 4202496 17276 0 32 0 181 4 0 0 20 0 19 0 253317091 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140736726460416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 10 0 0
/proc/21382/statm: 2406244 15555 2270 9 0 2396937 0
[pid=21382/tid=21384] ppid=21380 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/21382/task/21384/stat : 21384 (java) R 21380 21382 21352 0 -1 4202560 2463 0 7 0 92 2 0 0 20 0 19 0 253317105 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184316305816 140184188380622 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0
[pid=21382/tid=21385] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21385/stat : 21385 (java) S 21380 21382 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184159893800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21382/tid=21386] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21386/stat : 21386 (java) S 21380 21382 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184158841000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21387] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21387/stat : 21387 (java) S 21380 21382 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184157788712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21382/tid=21388] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21388/stat : 21388 (java) S 21380 21382 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184156735912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21389] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21389/stat : 21389 (java) S 21380 21382 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184155683624 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21390] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21390/stat : 21390 (java) S 21380 21382 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184154630824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21382/tid=21391] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21391/stat : 21391 (java) S 21380 21382 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184153578536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21382/tid=21392] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21392/stat : 21392 (java) S 21380 21382 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184152525736 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21393] ppid=21380 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/21382/task/21393/stat : 21393 (java) S 21380 21382 21352 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 253317117 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184140327144 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21382/tid=21394] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21394/stat : 21394 (java) S 21380 21382 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253317120 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184139273208 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21382/tid=21395] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21395/stat : 21395 (java) S 21380 21382 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253317120 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184138220808 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21382/tid=21396] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21396/stat : 21396 (java) S 21380 21382 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317132 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184137169296 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21382/tid=21397] ppid=21380 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/21382/task/21397/stat : 21397 (java) R 21380 21382 21352 0 -1 4202560 3275 0 1 0 28 0 0 0 20 0 19 0 253317132 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184136116920 140184320395290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21398] ppid=21380 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/21382/task/21398/stat : 21398 (java) R 21380 21382 21352 0 -1 4202560 10316 0 1 0 54 2 0 0 20 0 19 0 253317132 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184135051400 140184323121691 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21382/tid=21399] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21399/stat : 21399 (java) S 21380 21382 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317133 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184134012024 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21382/tid=21400] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21400/stat : 21400 (java) S 21380 21382 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317133 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184132959432 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21401] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21401/stat : 21401 (java) S 21380 21382 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253317159 9855975424 15555 33554432000 1073741824 1073778376 140736726469280 140184131904424 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+1.70072 s]
/proc/loadavg: 0.08 0.02 0.01 4/205 21425
/proc/meminfo: memFree=27688540/32873844 swapFree=6080/6080
[pid=21382] ppid=21380 vsize=9624976 CPUtime=2.1 cores=0,2,4,6
/proc/21382/stat : 21382 (java) S 21380 21382 21352 0 -1 4202496 17433 0 32 0 206 4 0 0 20 0 19 0 253317091 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140736726460416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 10 0 0
/proc/21382/statm: 2406244 15178 2270 9 0 2396937 0
[pid=21382/tid=21384] ppid=21380 vsize=9624976 CPUtime=1.13 cores=0,2,4,6
/proc/21382/task/21384/stat : 21384 (java) R 21380 21382 21352 0 -1 4202560 2464 0 7 0 111 2 0 0 20 0 19 0 253317105 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184316305816 140184188751474 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0
[pid=21382/tid=21385] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21385/stat : 21385 (java) S 21380 21382 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184159893800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21382/tid=21386] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21386/stat : 21386 (java) S 21380 21382 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184158841000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21387] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21387/stat : 21387 (java) S 21380 21382 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184157788712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21382/tid=21388] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21388/stat : 21388 (java) S 21380 21382 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184156735912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21389] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21389/stat : 21389 (java) S 21380 21382 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184155683624 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21390] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21390/stat : 21390 (java) S 21380 21382 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184154630824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21391] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21391/stat : 21391 (java) S 21380 21382 21352 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184153578536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21382/tid=21392] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21392/stat : 21392 (java) S 21380 21382 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253317113 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184152525736 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21393] ppid=21380 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/21382/task/21393/stat : 21393 (java) S 21380 21382 21352 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 19 0 253317117 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184140327144 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21382/tid=21394] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21394/stat : 21394 (java) S 21380 21382 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253317120 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184139273208 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21382/tid=21395] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21395/stat : 21395 (java) S 21380 21382 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253317120 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184138220808 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21382/tid=21396] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21396/stat : 21396 (java) S 21380 21382 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317132 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184137169296 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21382/tid=21397] ppid=21380 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/21382/task/21397/stat : 21397 (java) S 21380 21382 21352 0 -1 4202560 3428 0 1 0 30 0 0 0 20 0 19 0 253317132 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184136116920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21398] ppid=21380 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/21382/task/21398/stat : 21398 (java) S 21380 21382 21352 0 -1 4202560 10316 0 1 0 56 2 0 0 20 0 19 0 253317132 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184135064120 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21382/tid=21399] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21399/stat : 21399 (java) S 21380 21382 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317133 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184134012024 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21382/tid=21400] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21400/stat : 21400 (java) S 21380 21382 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253317133 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184132959432 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21382/tid=21401] ppid=21380 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21382/task/21401/stat : 21401 (java) S 21380 21382 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253317159 9855975424 15178 33554432000 1073741824 1073778376 140736726469280 140184131904424 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9624976
Child status: 20
Real time (s): 1.72572
CPU time (s): 2.13767
CPU user time (s): 2.04169
CPU system time (s): 0.095985
CPU usage (%): 123.871
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.04169
system time used= 0.095985
maximum resident set size= 62348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17453
page faults= 32
swaps= 0
block input operations= 28240
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 730
involuntary context switches= 79
runsolver used 0.008998 second user time and 0.010998 second system time
The end