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-3455472-1307196927/watcher-3455472-1307196927 -o /tmp/evaluation-result-3455472-1307196927/solver-3455472-1307196927 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455472-1307196927.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: 4.03 3.82 3.62 4/494 6116
/proc/meminfo: memFree=18591100/32950928 swapFree=61858088/67111528
[pid=6116] ppid=6114 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/6116/stat : 6116 (java) S 6114 6116 5363 0 -1 4202496 2010 0 1 0 0 0 0 0 25 0 2 0 831292384 10681323520 1711 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/6116/statm: 2607745 1724 906 9 0 2598901 0
[pid=6116/tid=6117] ppid=6114 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6117/stat : 6117 (java) R 6114 6116 5363 0 -1 4202560 7185 0 1 0 0 0 0 0 25 0 2 0 831292385 10694979584 8000 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0781961 s]
/proc/loadavg: 4.03 3.82 3.62 4/494 6116
/proc/meminfo: memFree=18591100/32950928 swapFree=61858088/67111528
[pid=6116] ppid=6114 vsize=10539792 CPUtime=0.07 cores=0,2,4,6
/proc/6116/stat : 6116 (java) S 6114 6116 5363 0 -1 4202496 12444 0 1 0 6 1 0 0 25 0 18 0 831292384 10792747008 12125 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6116/statm: 2634948 12128 1975 9 0 2625682 0
[pid=6116/tid=6117] ppid=6114 vsize=10539792 CPUtime=0.08 cores=0,2,4,6
/proc/6116/task/6117/stat : 6117 (java) R 6114 6116 5363 0 -1 4202560 11044 0 1 0 7 1 0 0 18 0 18 0 831292385 10792747008 12642 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539792
[startup+0.113019 s]
/proc/loadavg: 4.03 3.82 3.62 4/494 6116
/proc/meminfo: memFree=18591100/32950928 swapFree=61858088/67111528
[pid=6116] ppid=6114 vsize=10540816 CPUtime=0.12 cores=0,2,4,6
/proc/6116/stat : 6116 (java) S 6114 6116 5363 0 -1 4202496 13295 0 1 0 11 1 0 0 25 0 18 0 831292384 10793795584 12974 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6116/statm: 2635204 12975 2133 9 0 2625938 0
[pid=6116/tid=6117] ppid=6114 vsize=10540816 CPUtime=0.1 cores=0,2,4,6
/proc/6116/task/6117/stat : 6117 (java) R 6114 6116 5363 0 -1 4202560 11293 0 1 0 9 1 0 0 18 0 18 0 831292385 10793795584 12975 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 47870601801635 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540816
[startup+0.300988 s]
/proc/loadavg: 4.03 3.82 3.62 4/494 6116
/proc/meminfo: memFree=18591100/32950928 swapFree=61858088/67111528
[pid=6116] ppid=6114 vsize=10542864 CPUtime=0.48 cores=0,2,4,6
/proc/6116/stat : 6116 (java) S 6114 6116 5363 0 -1 4202496 16088 0 1 0 46 2 0 0 25 0 18 0 831292384 10795892736 15608 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6116/statm: 2635716 15609 2200 9 0 2626450 0
[pid=6116/tid=6117] ppid=6114 vsize=10542864 CPUtime=0.28 cores=0,2,4,6
/proc/6116/task/6117/stat : 6117 (java) R 6114 6116 5363 0 -1 4202560 12931 0 1 0 27 1 0 0 18 0 18 0 831292385 10795892736 15609 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542864
[startup+0.716867 s]
/proc/loadavg: 4.03 3.82 3.62 4/494 6116
/proc/meminfo: memFree=18591100/32950928 swapFree=61858088/67111528
[pid=6116] ppid=6114 vsize=10552096 CPUtime=1.72 cores=0,2,4,6
/proc/6116/stat : 6116 (java) S 6114 6116 5363 0 -1 4202496 31811 0 1 0 167 5 0 0 25 0 22 0 831292384 10805346304 28391 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6116/statm: 2638024 28391 2236 9 0 2628758 0
[pid=6116/tid=6117] ppid=6114 vsize=10552096 CPUtime=0.53 cores=0,2,4,6
/proc/6116/task/6117/stat : 6117 (java) S 6114 6116 5363 0 -1 4202560 21780 0 1 0 50 3 0 0 19 0 22 0 831292385 10805346304 28391 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485784064 0 4 0 16800975 18446604443288614016 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10552096
Solver just ended. Dumping a history of the last processes samples
[startup+0.900821 s]
/proc/loadavg: 4.03 3.82 3.62 4/494 6116
/proc/meminfo: memFree=18591100/32950928 swapFree=61858088/67111528
[pid=6116] ppid=6114 vsize=10553120 CPUtime=2 cores=0,2,4,6
/proc/6116/stat : 6116 (java) S 6114 6116 5363 0 -1 4202496 32595 0 1 0 195 5 0 0 25 0 19 0 831292384 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6116/statm: 2638280 28864 2239 9 0 2629014 0
[pid=6116/tid=6117] ppid=6114 vsize=10553120 CPUtime=0.53 cores=0,2,4,6
/proc/6116/task/6117/stat : 6117 (java) S 6114 6116 5363 0 -1 4202560 21780 0 1 0 50 3 0 0 19 0 19 0 831292385 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485784064 0 4 0 16800975 18446604443288614016 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10553120
[startup+1.00089 s]
/proc/loadavg: 4.03 3.82 3.62 3/513 6138
/proc/meminfo: memFree=18482892/32950928 swapFree=61858088/67111528
[pid=6116] ppid=6114 vsize=10553120 CPUtime=2 cores=0,2,4,6
/proc/6116/stat : 6116 (java) S 6114 6116 5363 0 -1 4202496 32595 0 1 0 195 5 0 0 25 0 19 0 831292384 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6116/statm: 2638280 28864 2239 9 0 2629014 0
[pid=6116/tid=6117] ppid=6114 vsize=10553120 CPUtime=0.53 cores=0,2,4,6
/proc/6116/task/6117/stat : 6117 (java) S 6114 6116 5363 0 -1 4202560 21780 0 1 0 50 3 0 0 19 0 19 0 831292385 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485784064 0 4 0 16800975 18446604443288614016 0 0 -1 4 0 0 0
[pid=6116/tid=6119] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6119/stat : 6119 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831292386 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6120] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6120/stat : 6120 (java) S 6114 6116 5363 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831292386 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6121] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6121/stat : 6121 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831292386 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6122] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6122/stat : 6122 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831292386 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6123] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6123/stat : 6123 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831292386 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6124] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6124/stat : 6124 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831292386 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6125] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6125/stat : 6125 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831292386 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6126] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6126/stat : 6126 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831292386 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6127] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6127/stat : 6127 (java) S 6114 6116 5363 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 831292387 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485784064 0 0 0 16800975 18446604443288614016 0 0 -1 0 0 0 0
[pid=6116/tid=6128] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6128/stat : 6128 (java) S 6114 6116 5363 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831292388 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6129] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6129/stat : 6129 (java) S 6114 6116 5363 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831292388 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6130] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6130/stat : 6130 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831292390 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485791153 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6131] ppid=6114 vsize=10553120 CPUtime=0.58 cores=0,2,4,6
/proc/6116/task/6131/stat : 6131 (java) S 6114 6116 5363 0 -1 4202560 3003 0 0 0 58 0 0 0 17 0 19 0 831292390 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 4 0 0 0
[pid=6116/tid=6132] ppid=6114 vsize=10553120 CPUtime=0.49 cores=0,2,4,6
/proc/6116/task/6132/stat : 6132 (java) S 6114 6116 5363 0 -1 4202560 5102 0 0 0 49 0 0 0 25 0 19 0 831292390 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 2 0 0 0
[pid=6116/tid=6133] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6133/stat : 6133 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831292390 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485783449 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6134] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6134/stat : 6134 (java) S 6114 6116 5363 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 831292390 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485784064 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
[pid=6116/tid=6137] ppid=6114 vsize=10553120 CPUtime=0 cores=0,2,4,6
/proc/6116/task/6137/stat : 6137 (java) S 6114 6116 5363 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831292441 10806394880 28864 33554432000 1073741824 1073778376 140733290475312 18446744073709551615 274485784064 0 4 0 16800975 18446604443288614016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10553120
Child status: 20
Real time (s): 1.06255
CPU time (s): 2.01669
CPU user time (s): 1.9557
CPU system time (s): 0.06099
CPU usage (%): 189.797
Max. virtual memory (cumulated for all children) (KiB): 10553120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9557
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32610
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= 221
involuntary context switches= 29
runsolver used 0.013997 second user time and 0.022996 second system time
The end