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-3453732-1307194151/watcher-3453732-1307194151 -o /tmp/evaluation-result-3453732-1307194151/solver-3453732-1307194151 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453732-1307194151.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.55 3.36 3.53 3/510 1632
/proc/meminfo: memFree=26179740/32951124 swapFree=63649284/67111528
[pid=1632] ppid=1630 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/1632/stat : 1632 (java) S 1630 1632 28154 0 -1 4202496 1178 0 0 0 0 0 0 0 25 0 2 0 831013632 27824128 905 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/1632/statm: 6793 905 688 9 0 381 0
[pid=1632/tid=1633] ppid=1630 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1633/stat : 1633 (java) R 1630 1632 28154 0 -1 4202560 6967 0 1 0 0 0 0 0 25 0 2 0 831013633 10694979584 7782 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0575469 s]
/proc/loadavg: 2.55 3.36 3.53 3/510 1632
/proc/meminfo: memFree=26179740/32951124 swapFree=63649284/67111528
[pid=1632] ppid=1630 vsize=10472756 CPUtime=0.05 cores=0,2,4,6
/proc/1632/stat : 1632 (java) S 1630 1632 28154 0 -1 4202496 11613 0 1 0 4 1 0 0 25 0 18 0 831013632 10724102144 11309 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1632/statm: 2618189 11310 1721 9 0 2608937 0
[pid=1632/tid=1633] ppid=1630 vsize=10472756 CPUtime=0.05 cores=0,2,4,6
/proc/1632/task/1633/stat : 1633 (java) R 1630 1632 28154 0 -1 4202560 10439 0 1 0 4 1 0 0 25 0 18 0 831013633 10724102144 11310 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 46963275747235 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472756
[startup+0.100547 s]
/proc/loadavg: 2.55 3.36 3.53 3/510 1632
/proc/meminfo: memFree=26179740/32951124 swapFree=63649284/67111528
[pid=1632] ppid=1630 vsize=10540292 CPUtime=0.11 cores=0,2,4,6
/proc/1632/stat : 1632 (java) S 1630 1632 28154 0 -1 4202496 13110 0 1 0 10 1 0 0 25 0 18 0 831013632 10793259008 12797 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1632/statm: 2635073 12797 2093 9 0 2625807 0
[pid=1632/tid=1633] ppid=1630 vsize=10540292 CPUtime=0.09 cores=0,2,4,6
/proc/1632/task/1633/stat : 1633 (java) R 1630 1632 28154 0 -1 4202560 11189 0 1 0 8 1 0 0 18 0 18 0 831013633 10793259008 12797 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210204332031 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540292
[startup+0.300548 s]
/proc/loadavg: 2.55 3.36 3.53 3/510 1632
/proc/meminfo: memFree=26179740/32951124 swapFree=63649284/67111528
[pid=1632] ppid=1630 vsize=10544404 CPUtime=0.17 cores=0,2,4,6
/proc/1632/stat : 1632 (java) S 1630 1632 28154 0 -1 4202496 13685 0 1 0 16 1 0 0 25 0 19 0 831013632 10797469696 13372 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1632/statm: 2636101 13372 2141 9 0 2626835 0
[pid=1632/tid=1633] ppid=1630 vsize=10544404 CPUtime=0.12 cores=0,2,4,6
/proc/1632/task/1633/stat : 1633 (java) S 1630 1632 28154 0 -1 4202560 11544 0 1 0 11 1 0 0 19 0 19 0 831013633 10797469696 13372 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463872 0 4 0 16800975 18446604442522988736 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544404
[startup+0.700465 s]
/proc/loadavg: 2.55 3.36 3.53 3/510 1632
/proc/meminfo: memFree=26179740/32951124 swapFree=63649284/67111528
[pid=1632] ppid=1630 vsize=10548420 CPUtime=0.3 cores=0,2,4,6
/proc/1632/stat : 1632 (java) S 1630 1632 28154 0 -1 4202496 15463 0 1 0 29 1 0 0 25 0 20 0 831013632 10801582080 14713 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1632/statm: 2637105 14713 2185 9 0 2627839 0
[pid=1632/tid=1633] ppid=1630 vsize=10548420 CPUtime=0.12 cores=0,2,4,6
/proc/1632/task/1633/stat : 1633 (java) S 1630 1632 28154 0 -1 4202560 11547 0 1 0 11 1 0 0 16 0 20 0 831013633 10801582080 14713 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463872 0 4 0 16800975 18446604442522988736 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10548420
Solver just ended. Dumping a history of the last processes samples
[startup+1.11942 s]
/proc/loadavg: 2.51 3.34 3.52 3/530 1657
/proc/meminfo: memFree=26096908/32951124 swapFree=63649284/67111528
[pid=1632] ppid=1630 vsize=10547880 CPUtime=0.3 cores=0,2,4,6
/proc/1632/stat : 1632 (java) S 1630 1632 28154 0 -1 4202496 15466 0 1 0 29 1 0 0 25 0 20 0 831013632 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1632/statm: 2636970 14627 2185 9 0 2627704 0
[pid=1632/tid=1633] ppid=1630 vsize=10547880 CPUtime=0.12 cores=0,2,4,6
/proc/1632/task/1633/stat : 1633 (java) S 1630 1632 28154 0 -1 4202560 11547 0 1 0 11 1 0 0 16 0 20 0 831013633 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463872 0 4 0 16800975 18446604442522988736 0 0 -1 2 0 0 0
[pid=1632/tid=1635] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1635/stat : 1635 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013635 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
[pid=1632/tid=1636] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1636/stat : 1636 (java) S 1630 1632 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831013635 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
[pid=1632/tid=1637] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1637/stat : 1637 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013635 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
[pid=1632/tid=1638] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1638/stat : 1638 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013635 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
[pid=1632/tid=1639] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1639/stat : 1639 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013635 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
[pid=1632/tid=1640] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1640/stat : 1640 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013635 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
[pid=1632/tid=1641] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1641/stat : 1641 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013635 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
[pid=1632/tid=1642] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1642/stat : 1642 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013635 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
[pid=1632/tid=1643] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1643/stat : 1643 (java) S 1630 1632 28154 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831013636 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463872 0 0 0 16800975 18446604442522988736 0 0 -1 4 0 0 0
[pid=1632/tid=1644] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1644/stat : 1644 (java) S 1630 1632 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831013636 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 4 0 0 0
[pid=1632/tid=1645] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1645/stat : 1645 (java) S 1630 1632 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831013636 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 4 0 0 0
[pid=1632/tid=1646] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1646/stat : 1646 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013638 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216470961 0 4 0 16800975 18446604442522988736 0 0 -1 4 0 0 0
[pid=1632/tid=1647] ppid=1630 vsize=10547880 CPUtime=0.07 cores=0,2,4,6
/proc/1632/task/1647/stat : 1647 (java) S 1630 1632 28154 0 -1 4202560 1292 0 0 0 7 0 0 0 16 0 20 0 831013638 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 2 0 0 0
[pid=1632/tid=1648] ppid=1630 vsize=10547880 CPUtime=0.04 cores=0,2,4,6
/proc/1632/task/1648/stat : 1648 (java) S 1630 1632 28154 0 -1 4202560 1068 0 0 0 4 0 0 0 16 0 20 0 831013638 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 0 0 0 0
[pid=1632/tid=1649] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1649/stat : 1649 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013638 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463257 0 4 0 16800975 18446604442522988736 0 0 -1 4 0 0 0
[pid=1632/tid=1650] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1650/stat : 1650 (java) S 1630 1632 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831013638 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463872 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
[pid=1632/tid=1654] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1654/stat : 1654 (java) S 1630 1632 28154 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 831013646 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463872 0 4 0 16800975 18446604442522988736 0 0 -1 4 0 0 0
[pid=1632/tid=1657] ppid=1630 vsize=10547880 CPUtime=0 cores=0,2,4,6
/proc/1632/task/1657/stat : 1657 (java) S 1630 1632 28154 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 20 0 831013697 10801029120 14627 33554432000 1073741824 1073778376 140736351670768 18446744073709551615 210216463872 0 4 0 16800975 18446604442522988736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10547880
Child status: 30
Real time (s): 1.14633
CPU time (s): 0.312951
CPU user time (s): 0.292955
CPU system time (s): 0.019996
CPU usage (%): 27.3001
Max. virtual memory (cumulated for all children) (KiB): 10548420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.292955
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15484
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= 170
involuntary context switches= 22
runsolver used 0.009998 second user time and 0.025996 second system time
The end