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-3454759-1307186784/watcher-3454759-1307186784 -o /tmp/evaluation-result-3454759-1307186784/solver-3454759-1307186784 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454759-1307186784.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: 2.75 1.78 1.83 5/421 10920
/proc/meminfo: memFree=29999252/32950904 swapFree=56615552/67111528
[pid=10920] ppid=10918 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/10920/stat : 10920 (java) S 10918 10920 8078 0 -1 4202496 2621 0 1 0 0 0 0 0 25 0 2 0 830278119 10681323520 2323 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/10920/statm: 2607745 2336 906 9 0 2598901 0
[pid=10920/tid=10921] ppid=10918 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10921/stat : 10921 (java) R 10918 10920 8078 0 -1 4202560 4986 0 1 0 0 0 0 0 25 0 2 0 830278120 10694979584 5803 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.114935 s]
/proc/loadavg: 2.75 1.78 1.83 5/421 10920
/proc/meminfo: memFree=29999252/32950904 swapFree=56615552/67111528
[pid=10920] ppid=10918 vsize=10540276 CPUtime=0.12 cores=1,3,5,7
/proc/10920/stat : 10920 (java) S 10918 10920 8078 0 -1 4202496 13392 0 1 0 11 1 0 0 25 0 18 0 830278119 10793242624 13058 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10920/statm: 2635069 13058 2134 9 0 2625803 0
[pid=10920/tid=10921] ppid=10918 vsize=10540276 CPUtime=0.1 cores=1,3,5,7
/proc/10920/task/10921/stat : 10921 (java) R 10918 10920 8078 0 -1 4202560 11355 0 1 0 9 1 0 0 25 0 18 0 830278120 10793242624 13058 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 46912505188330 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540276
[startup+0.20092 s]
/proc/loadavg: 2.75 1.78 1.83 5/421 10920
/proc/meminfo: memFree=29999252/32950904 swapFree=56615552/67111528
[pid=10920] ppid=10918 vsize=10546508 CPUtime=0.3 cores=1,3,5,7
/proc/10920/stat : 10920 (java) S 10918 10920 8078 0 -1 4202496 15042 0 1 0 28 2 0 0 25 0 22 0 830278119 10799624192 14436 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10920/statm: 2636627 14437 2194 9 0 2627361 0
[pid=10920/tid=10921] ppid=10918 vsize=10546508 CPUtime=0.15 cores=1,3,5,7
/proc/10920/task/10921/stat : 10921 (java) S 10918 10920 8078 0 -1 4202560 11777 0 1 0 14 1 0 0 25 0 22 0 830278120 10799624192 14437 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290696192 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10546508
[startup+0.300904 s]
/proc/loadavg: 2.75 1.78 1.83 5/421 10920
/proc/meminfo: memFree=29999252/32950904 swapFree=56615552/67111528
[pid=10920] ppid=10918 vsize=10549848 CPUtime=0.7 cores=1,3,5,7
/proc/10920/stat : 10920 (java) S 10918 10920 8078 0 -1 4202496 18438 0 1 0 68 2 0 0 25 0 22 0 830278119 10803044352 16440 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10920/statm: 2637462 16440 2212 9 0 2628196 0
[pid=10920/tid=10921] ppid=10918 vsize=10549848 CPUtime=0.15 cores=1,3,5,7
/proc/10920/task/10921/stat : 10921 (java) S 10918 10920 8078 0 -1 4202560 11777 0 1 0 14 1 0 0 25 0 22 0 830278120 10803044352 16440 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290696192 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10549848
[startup+0.700833 s]
/proc/loadavg: 2.75 1.78 1.83 5/421 10920
/proc/meminfo: memFree=29999252/32950904 swapFree=56615552/67111528
[pid=10920] ppid=10918 vsize=10553012 CPUtime=2.24 cores=1,3,5,7
/proc/10920/stat : 10920 (java) S 10918 10920 8078 0 -1 4202496 44833 0 1 0 219 5 0 0 25 0 22 0 830278119 10806284288 38491 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10920/statm: 2638253 38512 2252 9 0 2628987 0
[pid=10920/tid=10921] ppid=10918 vsize=10553012 CPUtime=0.15 cores=1,3,5,7
/proc/10920/task/10921/stat : 10921 (java) S 10918 10920 8078 0 -1 4202560 11777 0 1 0 14 1 0 0 20 0 22 0 830278120 10806284288 38532 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290696192 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10553012
Solver just ended. Dumping a history of the last processes samples
[startup+0.800817 s]
/proc/loadavg: 2.75 1.78 1.83 5/421 10920
/proc/meminfo: memFree=29999252/32950904 swapFree=56615552/67111528
[pid=10920] ppid=10918 vsize=10553012 CPUtime=2.64 cores=1,3,5,7
/proc/10920/stat : 10920 (java) S 10918 10920 8078 0 -1 4202496 56700 0 1 0 257 7 0 0 25 0 22 0 830278119 10806284288 49212 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10920/statm: 2638253 49212 2252 9 0 2628987 0
[pid=10920/tid=10921] ppid=10918 vsize=10553012 CPUtime=0.15 cores=1,3,5,7
/proc/10920/task/10921/stat : 10921 (java) S 10918 10920 8078 0 -1 4202560 11777 0 1 0 14 1 0 0 20 0 22 0 830278120 10806284288 49212 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290696192 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10553012
[startup+1.00078 s]
/proc/loadavg: 2.75 1.78 1.83 5/421 10920
/proc/meminfo: memFree=29999252/32950904 swapFree=56615552/67111528
[pid=10920] ppid=10918 vsize=10553012 CPUtime=3.24 cores=1,3,5,7
/proc/10920/stat : 10920 (java) S 10918 10920 8078 0 -1 4202496 57421 0 1 0 317 7 0 0 25 0 22 0 830278119 10806284288 46714 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10920/statm: 2638253 46714 2256 9 0 2628987 0
[pid=10920/tid=10921] ppid=10918 vsize=10553012 CPUtime=0.15 cores=1,3,5,7
/proc/10920/task/10921/stat : 10921 (java) S 10918 10920 8078 0 -1 4202560 11777 0 1 0 14 1 0 0 20 0 22 0 830278120 10806284288 46714 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290696192 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 10553012
[startup+1.10085 s]
/proc/loadavg: 2.75 1.78 1.83 3/440 10942
/proc/meminfo: memFree=29663380/32950904 swapFree=56615552/67111528
[pid=10920] ppid=10918 vsize=10553012 CPUtime=3.33 cores=1,3,5,7
/proc/10920/stat : 10920 (java) S 10918 10920 8078 0 -1 4202496 57428 0 1 0 326 7 0 0 25 0 19 0 830278119 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10920/statm: 2638253 46720 2257 9 0 2628987 0
[pid=10920/tid=10921] ppid=10918 vsize=10553012 CPUtime=0.15 cores=1,3,5,7
/proc/10920/task/10921/stat : 10921 (java) S 10918 10920 8078 0 -1 4202560 11777 0 1 0 14 1 0 0 20 0 19 0 830278120 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290696192 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
[pid=10920/tid=10923] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10923/stat : 10923 (java) S 10918 10920 8078 0 -1 4202560 185 0 0 0 0 0 0 0 17 0 19 0 830278121 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
[pid=10920/tid=10924] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10924/stat : 10924 (java) S 10918 10920 8078 0 -1 4202560 207 0 0 0 0 0 0 0 17 0 19 0 830278121 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
[pid=10920/tid=10925] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10925/stat : 10925 (java) S 10918 10920 8078 0 -1 4202560 109 0 0 0 0 0 0 0 17 0 19 0 830278121 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
[pid=10920/tid=10926] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10926/stat : 10926 (java) S 10918 10920 8078 0 -1 4202560 152 0 0 0 0 0 0 0 17 0 19 0 830278121 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 7 0 0 0
[pid=10920/tid=10927] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10927/stat : 10927 (java) S 10918 10920 8078 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 19 0 830278121 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
[pid=10920/tid=10928] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10928/stat : 10928 (java) S 10918 10920 8078 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 19 0 830278121 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 7 0 0 0
[pid=10920/tid=10929] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10929/stat : 10929 (java) S 10918 10920 8078 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830278121 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
[pid=10920/tid=10930] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10930/stat : 10930 (java) S 10918 10920 8078 0 -1 4202560 179 0 0 0 0 0 0 0 17 0 19 0 830278121 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 5 0 0 0
[pid=10920/tid=10931] ppid=10918 vsize=10553012 CPUtime=0.03 cores=1,3,5,7
/proc/10920/task/10931/stat : 10931 (java) S 10918 10920 8078 0 -1 4202560 791 0 0 0 3 0 0 0 17 0 19 0 830278122 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290696192 0 0 0 16800975 18446604470306131008 0 0 -1 5 0 0 0
[pid=10920/tid=10932] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10932/stat : 10932 (java) S 10918 10920 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 830278123 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 5 0 0 0
[pid=10920/tid=10933] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10933/stat : 10933 (java) S 10918 10920 8078 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 830278123 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 1 0 0 0
[pid=10920/tid=10934] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10934/stat : 10934 (java) S 10918 10920 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830278125 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290703281 0 4 0 16800975 18446604470306131008 0 0 -1 5 0 0 0
[pid=10920/tid=10935] ppid=10918 vsize=10553012 CPUtime=0.71 cores=1,3,5,7
/proc/10920/task/10935/stat : 10935 (java) S 10918 10920 8078 0 -1 4202560 11736 0 0 0 70 1 0 0 24 0 19 0 830278125 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 3 0 0 0
[pid=10920/tid=10936] ppid=10918 vsize=10553012 CPUtime=0.75 cores=1,3,5,7
/proc/10920/task/10936/stat : 10936 (java) S 10918 10920 8078 0 -1 4202560 4081 0 0 0 75 0 0 0 25 0 19 0 830278125 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 7 0 0 0
[pid=10920/tid=10937] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10937/stat : 10937 (java) S 10918 10920 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830278125 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290695577 0 4 0 16800975 18446604470306131008 0 0 -1 5 0 0 0
[pid=10920/tid=10938] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10938/stat : 10938 (java) S 10918 10920 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830278125 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290696192 0 4 0 16800975 18446604470306131008 0 0 -1 3 0 0 0
[pid=10920/tid=10942] ppid=10918 vsize=10553012 CPUtime=0 cores=1,3,5,7
/proc/10920/task/10942/stat : 10942 (java) S 10918 10920 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830278137 10806284288 46720 33554432000 1073741824 1073778376 140736774356240 18446744073709551615 237290696192 0 4 0 16800975 18446604470306131008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 10553012
Child status: 20
Real time (s): 1.1871
CPU time (s): 3.34949
CPU user time (s): 3.2685
CPU system time (s): 0.080987
CPU usage (%): 282.157
Max. virtual memory (cumulated for all children) (KiB): 10556216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2685
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57438
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= 357
involuntary context switches= 70
runsolver used 0.006998 second user time and 0.023996 second system time
The end