runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458189-1307158332/watcher-3458189-1307158332 -o /tmp/evaluation-result-3458189-1307158332/solver-3458189-1307158332 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458189-1307158332.opb
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.98 1.99 1.99 2/345 26203
/proc/meminfo: memFree=24060088/32951124 swapFree=67056304/67111528
[pid=26203] ppid=26201 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (java) S 26201 26203 22016 0 -1 4202496 3996 0 1 0 0 0 0 0 24 0 2 0 906063733 13850947584 3698 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26203/statm: 3381579 3710 917 9 0 3372735 0
[pid=26203/tid=26204] ppid=26201 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26204/stat : 26204 (java) R 26201 26203 22016 0 -1 4202560 2954 0 1 0 0 0 0 0 25 0 2 0 906063734 13850947584 3770 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.072524 s]
/proc/loadavg: 1.98 1.99 1.99 2/345 26203
/proc/meminfo: memFree=24060088/32951124 swapFree=67056304/67111528
[pid=26203] ppid=26201 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/26203/stat : 26203 (java) S 26201 26203 22016 0 -1 4202496 14365 0 1 0 5 1 0 0 24 0 18 0 906063733 13880410112 14062 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26203/statm: 3388772 14062 1754 9 0 3379506 0
[pid=26203/tid=26204] ppid=26201 vsize=13555088 CPUtime=0.05 cores=1,3,5,7
/proc/26203/task/26204/stat : 26204 (java) R 26201 26203 22016 0 -1 4202560 13191 0 1 0 4 1 0 0 25 0 18 0 906063734 13880410112 14062 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.100497 s]
/proc/loadavg: 1.98 1.99 1.99 2/345 26203
/proc/meminfo: memFree=24060088/32951124 swapFree=67056304/67111528
[pid=26203] ppid=26201 vsize=13622312 CPUtime=0.11 cores=1,3,5,7
/proc/26203/stat : 26203 (java) S 26201 26203 22016 0 -1 4202496 15589 0 1 0 9 2 0 0 24 0 18 0 906063733 13949247488 15265 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26203/statm: 3405578 15266 2093 9 0 3396312 0
[pid=26203/tid=26204] ppid=26201 vsize=13622312 CPUtime=0.08 cores=1,3,5,7
/proc/26203/task/26204/stat : 26204 (java) R 26201 26203 22016 0 -1 4202560 13646 0 1 0 7 1 0 0 25 0 18 0 906063734 13949247488 15266 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 47819504495443 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622312
[startup+0.300482 s]
/proc/loadavg: 1.98 1.99 1.99 2/345 26203
/proc/meminfo: memFree=24060088/32951124 swapFree=67056304/67111528
[pid=26203] ppid=26201 vsize=13626008 CPUtime=0.5 cores=1,3,5,7
/proc/26203/stat : 26203 (java) S 26201 26203 22016 0 -1 4202496 18312 0 1 0 48 2 0 0 24 0 19 0 906063733 13953032192 17228 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26203/statm: 3406502 17228 2195 9 0 3397236 0
[pid=26203/tid=26204] ppid=26201 vsize=13626008 CPUtime=0.28 cores=1,3,5,7
/proc/26203/task/26204/stat : 26204 (java) R 26201 26203 22016 0 -1 4202560 14270 0 1 0 27 1 0 0 25 0 19 0 906063734 13953032192 17228 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 46912505538989 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13626008
[startup+0.700408 s]
/proc/loadavg: 1.98 1.99 1.99 2/345 26203
/proc/meminfo: memFree=24060088/32951124 swapFree=67056304/67111528
[pid=26203] ppid=26201 vsize=13631540 CPUtime=1.11 cores=1,3,5,7
/proc/26203/stat : 26203 (java) S 26201 26203 22016 0 -1 4202496 21362 0 1 0 108 3 0 0 24 0 19 0 906063733 13958696960 19526 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26203/statm: 3407885 19526 2236 9 0 3398619 0
[pid=26203/tid=26204] ppid=26201 vsize=13631540 CPUtime=0.66 cores=1,3,5,7
/proc/26203/task/26204/stat : 26204 (java) R 26201 26203 22016 0 -1 4202560 14510 0 1 0 65 1 0 0 25 0 19 0 906063734 13958696960 19526 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 46912505507902 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 13631540
Solver just ended. Dumping a history of the last processes samples
[startup+1.11234 s]
/proc/loadavg: 1.98 1.99 1.99 4/364 26222
/proc/meminfo: memFree=23982832/32951124 swapFree=67056304/67111528
[pid=26203] ppid=26201 vsize=13631540 CPUtime=1.57 cores=1,3,5,7
/proc/26203/stat : 26203 (java) S 26201 26203 22016 0 -1 4202496 21941 0 1 0 154 3 0 0 24 0 19 0 906063733 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26203/statm: 3407885 20103 2238 9 0 3398619 0
[pid=26203/tid=26204] ppid=26201 vsize=13631540 CPUtime=1.05 cores=1,3,5,7
/proc/26203/task/26204/stat : 26204 (java) R 26201 26203 22016 0 -1 4202560 14520 0 1 0 104 1 0 0 25 0 19 0 906063734 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 46912505575137 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26203/tid=26206] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26206/stat : 26206 (java) S 26201 26203 22016 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 906063736 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 7 0 0 0
[pid=26203/tid=26207] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26207/stat : 26207 (java) S 26201 26203 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906063736 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 7 0 0 0
[pid=26203/tid=26208] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26208/stat : 26208 (java) S 26201 26203 22016 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 906063736 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 3 0 0 0
[pid=26203/tid=26209] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26209/stat : 26209 (java) S 26201 26203 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906063736 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 7 0 0 0
[pid=26203/tid=26210] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26210/stat : 26210 (java) S 26201 26203 22016 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906063736 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 3 0 0 0
[pid=26203/tid=26211] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26211/stat : 26211 (java) S 26201 26203 22016 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 906063736 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 5 0 0 0
[pid=26203/tid=26212] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26212/stat : 26212 (java) S 26201 26203 22016 0 -1 4202560 158 0 0 0 0 0 0 0 16 0 19 0 906063736 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 1 0 0 0
[pid=26203/tid=26213] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26213/stat : 26213 (java) S 26201 26203 22016 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 906063736 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 1 0 0 0
[pid=26203/tid=26214] ppid=26201 vsize=13631540 CPUtime=0.03 cores=1,3,5,7
/proc/26203/task/26214/stat : 26214 (java) S 26201 26203 22016 0 -1 4202560 592 0 0 0 3 0 0 0 16 0 19 0 906063737 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032212480 0 0 0 16800975 18446604468298483904 0 0 -1 5 0 0 0
[pid=26203/tid=26215] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26215/stat : 26215 (java) S 26201 26203 22016 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906063737 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 5 0 0 0
[pid=26203/tid=26216] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26216/stat : 26216 (java) S 26201 26203 22016 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 906063737 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 5 0 0 0
[pid=26203/tid=26217] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26217/stat : 26217 (java) S 26201 26203 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906063739 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032219569 0 4 0 16800975 18446604468298483904 0 0 -1 5 0 0 0
[pid=26203/tid=26218] ppid=26201 vsize=13631540 CPUtime=0.3 cores=1,3,5,7
/proc/26203/task/26218/stat : 26218 (java) S 26201 26203 22016 0 -1 4202560 3234 0 0 0 30 0 0 0 21 0 19 0 906063739 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 3 0 0 0
[pid=26203/tid=26219] ppid=26201 vsize=13631540 CPUtime=0.15 cores=1,3,5,7
/proc/26203/task/26219/stat : 26219 (java) S 26201 26203 22016 0 -1 4202560 1879 0 0 0 15 0 0 0 15 0 19 0 906063739 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 1 0 0 0
[pid=26203/tid=26220] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26220/stat : 26220 (java) S 26201 26203 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906063739 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032211865 0 4 0 16800975 18446604468298483904 0 0 -1 5 0 0 0
[pid=26203/tid=26221] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26221/stat : 26221 (java) S 26201 26203 22016 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906063739 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032212480 0 4 0 16800975 18446604468298483904 0 0 -1 3 0 0 0
[pid=26203/tid=26222] ppid=26201 vsize=13631540 CPUtime=0 cores=1,3,5,7
/proc/26203/task/26222/stat : 26222 (java) S 26201 26203 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906063749 13958696960 20103 33554432000 1073741824 1073778376 140737471300768 18446744073709551615 260032212480 0 4 0 16800975 18446604468298483904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 13631540
Child status: 30
Real time (s): 1.19859
CPU time (s): 1.66874
CPU user time (s): 1.63175
CPU system time (s): 0.036994
CPU usage (%): 139.226
Max. virtual memory (cumulated for all children) (KiB): 13631540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.63175
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21960
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 258
involuntary context switches= 71
runsolver used 0.006998 second user time and 0.018997 second system time
The end