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-3455219-1307191244/watcher-3455219-1307191244 -o /tmp/evaluation-result-3455219-1307191244/solver-3455219-1307191244 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455219-1307191244.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: 3.57 3.73 3.63 4/519 26575
/proc/meminfo: memFree=28657184/32951124 swapFree=53876548/67111528
[pid=26575] ppid=26573 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26575/stat : 26575 (java) S 26573 26575 21775 0 -1 4202496 5993 0 1 0 0 0 0 0 25 0 2 0 830725394 10694979584 5695 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/26575/statm: 2611079 5709 917 9 0 2602235 0
[pid=26575/tid=26576] ppid=26573 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26576/stat : 26576 (java) R 26573 26575 21775 0 -1 4202560 4945 0 1 0 0 0 0 0 25 0 2 0 830725395 10694979584 5761 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0865569 s]
/proc/loadavg: 3.57 3.73 3.63 4/519 26575
/proc/meminfo: memFree=28657184/32951124 swapFree=53876548/67111528
[pid=26575] ppid=26573 vsize=10539188 CPUtime=0.07 cores=0,2,4,6
/proc/26575/stat : 26575 (java) S 26573 26575 21775 0 -1 4202496 12494 0 1 0 6 1 0 0 25 0 18 0 830725394 10792128512 12190 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26575/statm: 2635038 12671 2092 9 0 2625772 0
[pid=26575/tid=26576] ppid=26573 vsize=10540152 CPUtime=0.07 cores=0,2,4,6
/proc/26575/task/26576/stat : 26576 (java) R 26573 26575 21775 0 -1 4202560 11071 0 1 0 6 1 0 0 18 0 18 0 830725395 10793115648 12671 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539188
[startup+0.111248 s]
/proc/loadavg: 3.57 3.73 3.63 4/519 26575
/proc/meminfo: memFree=28657184/32951124 swapFree=53876548/67111528
[pid=26575] ppid=26573 vsize=10540152 CPUtime=0.11 cores=0,2,4,6
/proc/26575/stat : 26575 (java) S 26573 26575 21775 0 -1 4202496 13196 0 1 0 10 1 0 0 25 0 18 0 830725394 10793115648 12892 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26575/statm: 2635038 12892 2107 9 0 2625772 0
[pid=26575/tid=26576] ppid=26573 vsize=10540152 CPUtime=0.09 cores=0,2,4,6
/proc/26575/task/26576/stat : 26576 (java) R 26573 26575 21775 0 -1 4202560 11268 0 1 0 8 1 0 0 18 0 18 0 830725395 10793115648 12892 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 47438478264868 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540152
[startup+0.300194 s]
/proc/loadavg: 3.57 3.73 3.63 4/519 26575
/proc/meminfo: memFree=28657184/32951124 swapFree=53876548/67111528
[pid=26575] ppid=26573 vsize=10549640 CPUtime=0.57 cores=0,2,4,6
/proc/26575/stat : 26575 (java) S 26573 26575 21775 0 -1 4202496 21492 0 1 0 54 3 0 0 25 0 18 0 830725394 10802831360 18924 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26575/statm: 2637689 18943 2201 9 0 2628423 0
[pid=26575/tid=26576] ppid=26573 vsize=10550756 CPUtime=0.27 cores=0,2,4,6
/proc/26575/task/26576/stat : 26576 (java) R 26573 26575 21775 0 -1 4202560 13689 0 1 0 26 1 0 0 18 0 18 0 830725395 10803974144 18959 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 46912505205069 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10549640
[startup+0.701106 s]
/proc/loadavg: 3.57 3.73 3.63 4/519 26575
/proc/meminfo: memFree=28657184/32951124 swapFree=53876548/67111528
[pid=26575] ppid=26573 vsize=10551696 CPUtime=1.47 cores=0,2,4,6
/proc/26575/stat : 26575 (java) S 26573 26575 21775 0 -1 4202496 47261 0 1 0 141 6 0 0 25 0 20 0 830725394 10804936704 42576 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26575/statm: 2637924 42576 2217 9 0 2628658 0
[pid=26575/tid=26576] ppid=26573 vsize=10551696 CPUtime=0.66 cores=0,2,4,6
/proc/26575/task/26576/stat : 26576 (java) S 26573 26575 21775 0 -1 4202560 35067 0 1 0 62 4 0 0 19 0 20 0 830725395 10804936704 42576 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624927232 0 4 0 16800975 18446604448911902656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10551696
Solver just ended. Dumping a history of the last processes samples
[startup+1.11909 s]
/proc/loadavg: 3.57 3.73 3.63 3/537 26595
/proc/meminfo: memFree=28491384/32951124 swapFree=53876548/67111528
[pid=26575] ppid=26573 vsize=10551696 CPUtime=1.68 cores=0,2,4,6
/proc/26575/stat : 26575 (java) S 26573 26575 21775 0 -1 4202496 48076 0 1 0 162 6 0 0 25 0 18 0 830725394 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26575/statm: 2637924 43391 2221 9 0 2628658 0
[pid=26575/tid=26576] ppid=26573 vsize=10551696 CPUtime=0.66 cores=0,2,4,6
/proc/26575/task/26576/stat : 26576 (java) S 26573 26575 21775 0 -1 4202560 35067 0 1 0 62 4 0 0 19 0 18 0 830725395 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624927232 0 4 0 16800975 18446604448911902656 0 0 -1 0 0 0 0
[pid=26575/tid=26578] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26578/stat : 26578 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830725397 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26579] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26579/stat : 26579 (java) S 26573 26575 21775 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830725397 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26580] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26580/stat : 26580 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830725397 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26581] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26581/stat : 26581 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830725397 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26582] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26582/stat : 26582 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830725397 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26583] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26583/stat : 26583 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830725397 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26584] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26584/stat : 26584 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830725397 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26585] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26585/stat : 26585 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830725397 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26586] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26586/stat : 26586 (java) S 26573 26575 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830725398 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624927232 0 0 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26587] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26587/stat : 26587 (java) S 26573 26575 21775 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830725398 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26588] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26588/stat : 26588 (java) S 26573 26575 21775 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 830725398 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 6 0 0 0
[pid=26575/tid=26589] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26589/stat : 26589 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830725401 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624934321 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26590] ppid=26573 vsize=10551696 CPUtime=0.42 cores=0,2,4,6
/proc/26575/task/26590/stat : 26590 (java) S 26573 26575 21775 0 -1 4202560 3804 0 0 0 42 0 0 0 19 0 18 0 830725401 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 0 0 0 0
[pid=26575/tid=26591] ppid=26573 vsize=10551696 CPUtime=0.44 cores=0,2,4,6
/proc/26575/task/26591/stat : 26591 (java) S 26573 26575 21775 0 -1 4202560 6906 0 0 0 43 1 0 0 16 0 18 0 830725401 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 4 0 0 0
[pid=26575/tid=26592] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26592/stat : 26592 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830725401 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624926617 0 4 0 16800975 18446604448911902656 0 0 -1 2 0 0 0
[pid=26575/tid=26593] ppid=26573 vsize=10551696 CPUtime=0 cores=0,2,4,6
/proc/26575/task/26593/stat : 26593 (java) S 26573 26575 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830725401 10804936704 43391 33554432000 1073741824 1073778376 140733932853696 18446744073709551615 270624927232 0 4 0 16800975 18446604448911902656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10551696
Child status: 20
Real time (s): 1.1934
CPU time (s): 1.69474
CPU user time (s): 1.62575
CPU system time (s): 0.068989
CPU usage (%): 142.01
Max. virtual memory (cumulated for all children) (KiB): 10551696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.62575
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48085
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= 269
involuntary context switches= 30
runsolver used 0.014997 second user time and 0.021996 second system time
The end