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-3453720-1307194136/watcher-3453720-1307194136 -o /tmp/evaluation-result-3453720-1307194136/solver-3453720-1307194136 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453720-1307194136.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: 3.10 3.84 3.89 4/476 29345
/proc/meminfo: memFree=24299688/32951124 swapFree=60476376/67111528
[pid=29345] ppid=29343 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/29345/stat : 29345 (java) S 29343 29345 23562 0 -1 4202496 6217 0 1 0 0 1 0 0 25 0 2 0 811829498 10694979584 5919 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29345/statm: 2611079 5933 917 9 0 2602235 0
[pid=29345/tid=29346] ppid=29343 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29346/stat : 29346 (java) R 29343 29345 23562 0 -1 4202560 5652 0 1 0 0 0 0 0 25 0 2 0 811829498 10694979584 6468 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0738731 s]
/proc/loadavg: 3.10 3.84 3.89 4/476 29345
/proc/meminfo: memFree=24299688/32951124 swapFree=60476376/67111528
[pid=29345] ppid=29343 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/29345/stat : 29345 (java) S 29343 29345 23562 0 -1 4202496 11941 0 1 0 5 1 0 0 25 0 18 0 811829498 10724442112 11638 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29345/statm: 2618272 11638 1754 9 0 2609006 0
[pid=29345/tid=29346] ppid=29343 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/29345/task/29346/stat : 29346 (java) R 29343 29345 23562 0 -1 4202560 10766 0 1 0 5 1 0 0 25 0 18 0 811829498 10724442112 11638 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 47514875377683 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100823 s]
/proc/loadavg: 3.10 3.84 3.89 4/476 29345
/proc/meminfo: memFree=24299688/32951124 swapFree=60476376/67111528
[pid=29345] ppid=29343 vsize=10540116 CPUtime=0.1 cores=1,3,5,7
/proc/29345/stat : 29345 (java) S 29343 29345 23562 0 -1 4202496 13001 0 1 0 8 2 0 0 25 0 18 0 811829498 10793078784 12698 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29345/statm: 2635029 12699 2093 9 0 2625763 0
[pid=29345/tid=29346] ppid=29343 vsize=10540116 CPUtime=0.08 cores=1,3,5,7
/proc/29345/task/29346/stat : 29346 (java) R 29343 29345 23562 0 -1 4202560 11108 0 1 0 7 1 0 0 25 0 18 0 811829498 10793078784 12699 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 47514876234618 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540116
[startup+0.30079 s]
/proc/loadavg: 3.10 3.84 3.89 4/476 29345
/proc/meminfo: memFree=24299688/32951124 swapFree=60476376/67111528
[pid=29345] ppid=29343 vsize=10544500 CPUtime=0.18 cores=1,3,5,7
/proc/29345/stat : 29345 (java) S 29343 29345 23562 0 -1 4202496 13716 0 1 0 16 2 0 0 25 0 19 0 811829498 10797568000 13409 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29345/statm: 2636125 13409 2157 9 0 2626859 0
[pid=29345/tid=29346] ppid=29343 vsize=10544500 CPUtime=0.12 cores=1,3,5,7
/proc/29345/task/29346/stat : 29346 (java) S 29343 29345 23562 0 -1 4202560 11526 0 1 0 11 1 0 0 25 0 19 0 811829498 10797568000 13409 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052992 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10544500
[startup+0.700679 s]
/proc/loadavg: 3.10 3.84 3.89 4/476 29345
/proc/meminfo: memFree=24299688/32951124 swapFree=60476376/67111528
[pid=29345] ppid=29343 vsize=10546880 CPUtime=0.31 cores=1,3,5,7
/proc/29345/stat : 29345 (java) S 29343 29345 23562 0 -1 4202496 15491 0 1 0 29 2 0 0 25 0 21 0 811829498 10800005120 14723 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29345/statm: 2636720 14723 2182 9 0 2627454 0
[pid=29345/tid=29346] ppid=29343 vsize=10546880 CPUtime=0.12 cores=1,3,5,7
/proc/29345/task/29346/stat : 29346 (java) S 29343 29345 23562 0 -1 4202560 11528 0 1 0 11 1 0 0 21 0 21 0 811829498 10800005120 14723 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052992 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10546880
Solver just ended. Dumping a history of the last processes samples
[startup+1.11764 s]
/proc/loadavg: 3.10 3.84 3.89 3/496 29373
/proc/meminfo: memFree=24007596/32951124 swapFree=60476376/67111528
[pid=29345] ppid=29343 vsize=10547288 CPUtime=0.38 cores=1,3,5,7
/proc/29345/stat : 29345 (java) S 29343 29345 23562 0 -1 4202496 15851 0 1 0 36 2 0 0 25 0 20 0 811829498 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29345/statm: 2636822 15059 2186 9 0 2627556 0
[pid=29345/tid=29346] ppid=29343 vsize=10547288 CPUtime=0.12 cores=1,3,5,7
/proc/29345/task/29346/stat : 29346 (java) S 29343 29345 23562 0 -1 4202560 11528 0 1 0 11 1 0 0 21 0 20 0 811829498 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052992 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
[pid=29345/tid=29348] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29348/stat : 29348 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811829500 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
[pid=29345/tid=29349] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29349/stat : 29349 (java) S 29343 29345 23562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 811829500 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
[pid=29345/tid=29350] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29350/stat : 29350 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811829500 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
[pid=29345/tid=29351] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29351/stat : 29351 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811829500 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
[pid=29345/tid=29352] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29352/stat : 29352 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811829500 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
[pid=29345/tid=29353] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29353/stat : 29353 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811829500 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
[pid=29345/tid=29354] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29354/stat : 29354 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811829500 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
[pid=29345/tid=29355] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29355/stat : 29355 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811829500 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
[pid=29345/tid=29356] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29356/stat : 29356 (java) S 29343 29345 23562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 811829501 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052992 0 0 0 16800975 18446604469418469440 0 0 -1 3 0 0 0
[pid=29345/tid=29357] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29357/stat : 29357 (java) S 29343 29345 23562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 811829501 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 3 0 0 0
[pid=29345/tid=29358] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29358/stat : 29358 (java) S 29343 29345 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 811829501 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 3 0 0 0
[pid=29345/tid=29359] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29359/stat : 29359 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811829503 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828060081 0 4 0 16800975 18446604469418469440 0 0 -1 3 0 0 0
[pid=29345/tid=29360] ppid=29343 vsize=10547288 CPUtime=0.07 cores=1,3,5,7
/proc/29345/task/29360/stat : 29360 (java) S 29343 29345 23562 0 -1 4202560 861 0 0 0 7 0 0 0 20 0 20 0 811829503 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 3 0 0 0
[pid=29345/tid=29361] ppid=29343 vsize=10547288 CPUtime=0.08 cores=1,3,5,7
/proc/29345/task/29361/stat : 29361 (java) S 29343 29345 23562 0 -1 4202560 1677 0 0 0 8 0 0 0 20 0 20 0 811829504 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 1 0 0 0
[pid=29345/tid=29362] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29362/stat : 29362 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811829504 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052377 0 4 0 16800975 18446604469418469440 0 0 -1 3 0 0 0
[pid=29345/tid=29363] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29363/stat : 29363 (java) S 29343 29345 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 811829504 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052992 0 4 0 16800975 18446604469418469440 0 0 -1 1 0 0 0
[pid=29345/tid=29366] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29366/stat : 29366 (java) S 29343 29345 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 811829512 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052992 0 4 0 16800975 18446604469418469440 0 0 -1 3 0 0 0
[pid=29345/tid=29373] ppid=29343 vsize=10547288 CPUtime=0 cores=1,3,5,7
/proc/29345/task/29373/stat : 29373 (java) S 29343 29345 23562 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 20 0 811829563 10800422912 15059 33554432000 1073741824 1073778376 140734488929488 18446744073709551615 220828052992 0 4 0 16800975 18446604469418469440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10547288
Child status: 30
Real time (s): 1.15393
CPU time (s): 0.398938
CPU user time (s): 0.368943
CPU system time (s): 0.029995
CPU usage (%): 34.572
Max. virtual memory (cumulated for all children) (KiB): 10547288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.368943
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15864
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= 181
involuntary context switches= 62
runsolver used 0.012998 second user time and 0.023996 second system time
The end