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-3458195-1307158350/watcher-3458195-1307158350 -o /tmp/evaluation-result-3458195-1307158350/solver-3458195-1307158350 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458195-1307158350.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: 2.16 2.06 1.97 2/487 12061
/proc/meminfo: memFree=24036020/32951124 swapFree=56297244/67111528
[pid=12061] ppid=12059 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/12061/stat : 12061 (java) S 12059 12061 8699 0 -1 4202496 1239 0 0 0 0 0 0 0 25 0 2 0 906065492 31272960 959 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12061/statm: 7635 959 732 9 0 386 0
[pid=12061/tid=12062] ppid=12059 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12062/stat : 12062 (java) R 12059 12061 8699 0 -1 4202560 6193 0 1 0 0 0 0 0 25 0 2 0 906065493 13850947584 7009 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.020918 s]
/proc/loadavg: 2.16 2.06 1.97 2/487 12061
/proc/meminfo: memFree=24036020/32951124 swapFree=56297244/67111528
[pid=12061] ppid=12059 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/12061/stat : 12061 (java) S 12059 12061 8699 0 -1 4202496 9980 0 1 0 0 1 0 0 25 0 2 0 906065492 13850947584 9682 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12061/statm: 3381579 9702 917 9 0 3372735 0
[pid=12061/tid=12062] ppid=12059 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12062/stat : 12062 (java) R 12059 12061 8699 0 -1 4202560 8899 0 1 0 0 0 0 0 25 0 2 0 906065493 13850947584 9715 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316
[startup+0.100866 s]
/proc/loadavg: 2.16 2.06 1.97 2/487 12061
/proc/meminfo: memFree=24036020/32951124 swapFree=56297244/67111528
[pid=12061] ppid=12059 vsize=13622384 CPUtime=0.1 cores=0,2,4,6
/proc/12061/stat : 12061 (java) S 12059 12061 8699 0 -1 4202496 15572 0 1 0 9 1 0 0 25 0 18 0 906065492 13949321216 15252 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12061/statm: 3405596 15252 2092 9 0 3396330 0
[pid=12061/tid=12062] ppid=12059 vsize=13622384 CPUtime=0.08 cores=0,2,4,6
/proc/12061/task/12062/stat : 12062 (java) R 12059 12061 8699 0 -1 4202560 13667 0 1 0 7 1 0 0 18 0 18 0 906065493 13949321216 15253 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622384
[startup+0.300876 s]
/proc/loadavg: 2.16 2.06 1.97 2/487 12061
/proc/meminfo: memFree=24036020/32951124 swapFree=56297244/67111528
[pid=12061] ppid=12059 vsize=13626128 CPUtime=0.51 cores=0,2,4,6
/proc/12061/stat : 12061 (java) S 12059 12061 8699 0 -1 4202496 18164 0 1 0 49 2 0 0 25 0 19 0 906065492 13953155072 17165 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12061/statm: 3406532 17165 2191 9 0 3397266 0
[pid=12061/tid=12062] ppid=12059 vsize=13626128 CPUtime=0.28 cores=0,2,4,6
/proc/12061/task/12062/stat : 12062 (java) R 12059 12061 8699 0 -1 4202560 14260 0 1 0 27 1 0 0 19 0 19 0 906065493 13953155072 17165 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 46912505329124 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13626128
[startup+0.707601 s]
/proc/loadavg: 2.16 2.06 1.97 2/487 12061
/proc/meminfo: memFree=24036020/32951124 swapFree=56297244/67111528
[pid=12061] ppid=12059 vsize=13625996 CPUtime=1.04 cores=0,2,4,6
/proc/12061/stat : 12061 (java) S 12059 12061 8699 0 -1 4202496 19359 0 1 0 102 2 0 0 25 0 19 0 906065492 13953019904 18200 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12061/statm: 3406499 18200 2237 9 0 3397233 0
[pid=12061/tid=12062] ppid=12059 vsize=13625996 CPUtime=0.67 cores=0,2,4,6
/proc/12061/task/12062/stat : 12062 (java) R 12059 12061 8699 0 -1 4202560 14599 0 1 0 66 1 0 0 19 0 19 0 906065493 13953019904 18200 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 46912505511656 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13625996
[startup+1.50067 s]
/proc/loadavg: 2.16 2.06 1.97 3/506 12080
/proc/meminfo: memFree=23968872/32951124 swapFree=56297244/67111528
[pid=12061] ppid=12059 vsize=13626132 CPUtime=1.89 cores=0,2,4,6
/proc/12061/stat : 12061 (java) S 12059 12061 8699 0 -1 4202496 20006 0 1 0 187 2 0 0 25 0 19 0 906065492 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12061/statm: 3406533 18844 2247 9 0 3397267 0
[pid=12061/tid=12062] ppid=12059 vsize=13626132 CPUtime=1.41 cores=0,2,4,6
/proc/12061/task/12062/stat : 12062 (java) R 12059 12061 8699 0 -1 4202560 14601 0 1 0 140 1 0 0 20 0 19 0 906065493 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 46912505552880 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12061/tid=12064] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12064/stat : 12064 (java) S 12059 12061 8699 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 906065495 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 6 0 0 0
[pid=12061/tid=12065] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12065/stat : 12065 (java) S 12059 12061 8699 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906065495 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 6 0 0 0
[pid=12061/tid=12066] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12066/stat : 12066 (java) S 12059 12061 8699 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 906065495 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 6 0 0 0
[pid=12061/tid=12067] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12067/stat : 12067 (java) S 12059 12061 8699 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 906065495 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 4 0 0 0
[pid=12061/tid=12068] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12068/stat : 12068 (java) S 12059 12061 8699 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 906065495 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 4 0 0 0
[pid=12061/tid=12069] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12069/stat : 12069 (java) S 12059 12061 8699 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 906065495 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 2 0 0 0
[pid=12061/tid=12070] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12070/stat : 12070 (java) S 12059 12061 8699 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 906065495 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 4 0 0 0
[pid=12061/tid=12071] ppid=12059 vsize=13626132 CPUtime=0.01 cores=0,2,4,6
/proc/12061/task/12071/stat : 12071 (java) S 12059 12061 8699 0 -1 4202560 251 0 0 0 1 0 0 0 15 0 19 0 906065495 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 4 0 0 0
[pid=12061/tid=12072] ppid=12059 vsize=13626132 CPUtime=0.05 cores=0,2,4,6
/proc/12061/task/12072/stat : 12072 (java) S 12059 12061 8699 0 -1 4202560 649 0 0 0 5 0 0 0 15 0 19 0 906065496 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469882368 0 0 0 16800975 18446604449670714688 0 0 -1 0 0 0 0
[pid=12061/tid=12073] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12073/stat : 12073 (java) S 12059 12061 8699 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906065496 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 0 0 0 0
[pid=12061/tid=12074] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12074/stat : 12074 (java) S 12059 12061 8699 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 906065496 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 0 0 0 0
[pid=12061/tid=12075] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12075/stat : 12075 (java) S 12059 12061 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906065498 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469889457 0 4 0 16800975 18446604449670714688 0 0 -1 4 0 0 0
[pid=12061/tid=12076] ppid=12059 vsize=13626132 CPUtime=0.21 cores=0,2,4,6
/proc/12061/task/12076/stat : 12076 (java) S 12059 12061 8699 0 -1 4202560 1080 0 0 0 21 0 0 0 16 0 19 0 906065498 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 0 0 0 0
[pid=12061/tid=12077] ppid=12059 vsize=13626132 CPUtime=0.17 cores=0,2,4,6
/proc/12061/task/12077/stat : 12077 (java) S 12059 12061 8699 0 -1 4202560 1890 0 0 0 17 0 0 0 15 0 19 0 906065498 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 6 0 0 0
[pid=12061/tid=12078] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12078/stat : 12078 (java) S 12059 12061 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906065498 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469881753 0 4 0 16800975 18446604449670714688 0 0 -1 4 0 0 0
[pid=12061/tid=12079] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12079/stat : 12079 (java) S 12059 12061 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906065498 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469882368 0 4 0 16800975 18446604449670714688 0 0 -1 0 0 0 0
[pid=12061/tid=12080] ppid=12059 vsize=13626132 CPUtime=0 cores=0,2,4,6
/proc/12061/task/12080/stat : 12080 (java) S 12059 12061 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906065508 13953159168 18844 33554432000 1073741824 1073778376 140735940745648 18446744073709551615 252469882368 0 4 0 16800975 18446604449670714688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13626132
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 1.58577
CPU time (s): 1.9907
CPU user time (s): 1.9627
CPU system time (s): 0.027995
CPU usage (%): 125.535
Max. virtual memory (cumulated for all children) (KiB): 13626132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9627
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20031
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= 286
involuntary context switches= 222
runsolver used 0.012998 second user time and 0.023996 second system time
The end