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-3453761-1307194189/watcher-3453761-1307194189 -o /tmp/evaluation-result-3453761-1307194189/solver-3453761-1307194189 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453761-1307194189.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.60 3.26 3.45 4/445 3857
/proc/meminfo: memFree=25016268/32951124 swapFree=44043516/67111528
[pid=3857] ppid=3855 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/3857/stat : 3857 (java) S 3855 3857 31765 0 -1 4202496 1127 0 0 0 0 0 0 0 25 0 2 0 831017079 24580096 864 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528636901 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/3857/statm: 6001 864 652 9 0 381 0
[pid=3857/tid=3858] ppid=3855 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3858/stat : 3858 (java) R 3855 3857 31765 0 -1 4202560 3273 0 1 0 0 0 0 0 25 0 2 0 831017080 10694979584 4089 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0968011 s]
/proc/loadavg: 3.60 3.26 3.45 4/445 3857
/proc/meminfo: memFree=25016268/32951124 swapFree=44043516/67111528
[pid=3857] ppid=3855 vsize=10539932 CPUtime=0.09 cores=0,2,4,6
/proc/3857/stat : 3857 (java) S 3855 3857 31765 0 -1 4202496 12984 0 1 0 8 1 0 0 25 0 18 0 831017079 10792890368 12647 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3857/statm: 2634983 12647 2093 9 0 2625717 0
[pid=3857/tid=3858] ppid=3855 vsize=10539932 CPUtime=0.08 cores=0,2,4,6
/proc/3857/task/3858/stat : 3858 (java) R 3855 3857 31765 0 -1 4202560 11012 0 1 0 7 1 0 0 25 0 18 0 831017080 10792890368 12647 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528660939 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539932
[startup+0.100794 s]
/proc/loadavg: 3.60 3.26 3.45 4/445 3857
/proc/meminfo: memFree=25016268/32951124 swapFree=44043516/67111528
[pid=3857] ppid=3855 vsize=10539932 CPUtime=0.1 cores=0,2,4,6
/proc/3857/stat : 3857 (java) S 3855 3857 31765 0 -1 4202496 13016 0 1 0 9 1 0 0 25 0 18 0 831017079 10792890368 12679 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3857/statm: 2634983 12679 2093 9 0 2625717 0
[pid=3857/tid=3858] ppid=3855 vsize=10539932 CPUtime=0.08 cores=0,2,4,6
/proc/3857/task/3858/stat : 3858 (java) R 3855 3857 31765 0 -1 4202560 11044 0 1 0 7 1 0 0 25 0 18 0 831017080 10792890368 12679 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 46912496218225 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539932
[startup+0.300762 s]
/proc/loadavg: 3.60 3.26 3.45 4/445 3857
/proc/meminfo: memFree=25016268/32951124 swapFree=44043516/67111528
[pid=3857] ppid=3855 vsize=10544248 CPUtime=0.17 cores=0,2,4,6
/proc/3857/stat : 3857 (java) S 3855 3857 31765 0 -1 4202496 13696 0 1 0 16 1 0 0 25 0 19 0 831017079 10797309952 13330 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3857/statm: 2636062 13330 2141 9 0 2626796 0
[pid=3857/tid=3858] ppid=3855 vsize=10544248 CPUtime=0.12 cores=0,2,4,6
/proc/3857/task/3858/stat : 3858 (java) S 3855 3857 31765 0 -1 4202560 11516 0 1 0 11 1 0 0 25 0 19 0 831017080 10797309952 13330 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650752 0 4 0 16800975 18446604445662921984 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544248
[startup+0.700685 s]
/proc/loadavg: 3.60 3.26 3.45 4/445 3857
/proc/meminfo: memFree=25016268/32951124 swapFree=44043516/67111528
[pid=3857] ppid=3855 vsize=10544904 CPUtime=0.21 cores=0,2,4,6
/proc/3857/stat : 3857 (java) S 3855 3857 31765 0 -1 4202496 14062 0 1 0 20 1 0 0 25 0 20 0 831017079 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3857/statm: 2636226 13657 2161 9 0 2626960 0
[pid=3857/tid=3858] ppid=3855 vsize=10544904 CPUtime=0.12 cores=0,2,4,6
/proc/3857/task/3858/stat : 3858 (java) S 3855 3857 31765 0 -1 4202560 11519 0 1 0 11 1 0 0 21 0 20 0 831017080 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650752 0 4 0 16800975 18446604445662921984 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10544904
Solver just ended. Dumping a history of the last processes samples
[startup+1.11665 s]
/proc/loadavg: 3.60 3.26 3.45 2/465 3882
/proc/meminfo: memFree=24968516/32951124 swapFree=44043516/67111528
[pid=3857] ppid=3855 vsize=10544904 CPUtime=0.21 cores=0,2,4,6
/proc/3857/stat : 3857 (java) S 3855 3857 31765 0 -1 4202496 14062 0 1 0 20 1 0 0 25 0 20 0 831017079 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3857/statm: 2636226 13657 2161 9 0 2626960 0
[pid=3857/tid=3858] ppid=3855 vsize=10544904 CPUtime=0.12 cores=0,2,4,6
/proc/3857/task/3858/stat : 3858 (java) S 3855 3857 31765 0 -1 4202560 11519 0 1 0 11 1 0 0 21 0 20 0 831017080 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650752 0 4 0 16800975 18446604445662921984 0 0 -1 6 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3860/stat : 3860 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017081 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3861/stat : 3861 (java) S 3855 3857 31765 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831017081 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3862/stat : 3862 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017081 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3863/stat : 3863 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017081 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3864/stat : 3864 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017081 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3865] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3865/stat : 3865 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017081 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3866] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3866/stat : 3866 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017081 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3867] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3867/stat : 3867 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017081 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3868] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3868/stat : 3868 (java) S 3855 3857 31765 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831017082 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650752 0 0 0 16800975 18446604445662921984 0 0 -1 2 0 0 0
[pid=3857/tid=3869] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3869/stat : 3869 (java) S 3855 3857 31765 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831017083 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 2 0 0 0
[pid=3857/tid=3870] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3870/stat : 3870 (java) S 3855 3857 31765 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831017083 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 2 0 0 0
[pid=3857/tid=3871] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3871/stat : 3871 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017085 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528657841 0 4 0 16800975 18446604445662921984 0 0 -1 2 0 0 0
[pid=3857/tid=3872] ppid=3855 vsize=10544904 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3872/stat : 3872 (java) S 3855 3857 31765 0 -1 4202560 419 0 0 0 2 0 0 0 15 0 20 0 831017085 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 2 0 0 0
[pid=3857/tid=3873] ppid=3855 vsize=10544904 CPUtime=0.02 cores=0,2,4,6
/proc/3857/task/3873/stat : 3873 (java) S 3855 3857 31765 0 -1 4202560 718 0 0 0 2 0 0 0 15 0 20 0 831017085 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 6 0 0 0
[pid=3857/tid=3874] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3874/stat : 3874 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017085 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650137 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3875] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3875/stat : 3875 (java) S 3855 3857 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831017085 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650752 0 4 0 16800975 18446604445662921984 0 0 -1 2 0 0 0
[pid=3857/tid=3879] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3879/stat : 3879 (java) S 3855 3857 31765 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831017094 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650752 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
[pid=3857/tid=3882] ppid=3855 vsize=10544904 CPUtime=0 cores=0,2,4,6
/proc/3857/task/3882/stat : 3882 (java) S 3855 3857 31765 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 831017144 10797981696 13657 33554432000 1073741824 1073778376 140736695747456 18446744073709551615 246528650752 0 4 0 16800975 18446604445662921984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10544904
Child status: 30
Real time (s): 1.15528
CPU time (s): 0.229964
CPU user time (s): 0.207968
CPU system time (s): 0.021996
CPU usage (%): 19.9055
Max. virtual memory (cumulated for all children) (KiB): 10544904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.207968
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14073
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= 215
involuntary context switches= 37
runsolver used 0.013997 second user time and 0.016997 second system time
The end