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-3458069-1307157890/watcher-3458069-1307157890 -o /tmp/evaluation-result-3458069-1307157890/solver-3458069-1307157890 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458069-1307157890.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.08 2.02 1.93 2/535 14624
/proc/meminfo: memFree=21460060/32950928 swapFree=34259960/67111528
[pid=14624] ppid=14622 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14624/stat : 14624 (java) S 14622 14624 7151 0 -1 4202496 4549 0 1 0 0 0 0 0 25 0 2 0 827385663 13850947584 4252 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14624/statm: 3381579 4266 917 9 0 3372735 0
[pid=14624/tid=14625] ppid=14622 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/14624/task/14625/stat : 14625 (java) R 14622 14624 7151 0 -1 4202560 7940 0 1 0 0 1 0 0 25 0 2 0 827385664 13850947584 8755 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.02507 s]
/proc/loadavg: 2.08 2.02 1.93 2/535 14624
/proc/meminfo: memFree=21460060/32950928 swapFree=34259960/67111528
[pid=14624] ppid=14622 vsize=13535028 CPUtime=0.01 cores=1,3,5,7
/proc/14624/stat : 14624 (java) S 14622 14624 7151 0 -1 4202496 12445 0 1 0 0 1 0 0 25 0 10 0 827385663 13859868672 12147 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14624/statm: 3383757 12148 952 9 0 3374913 0
[pid=14624/tid=14625] ppid=14622 vsize=13535028 CPUtime=0.01 cores=1,3,5,7
/proc/14624/task/14625/stat : 14625 (java) R 14622 14624 7151 0 -1 4202560 11325 0 1 0 0 1 0 0 25 0 10 0 827385664 13859868672 12148 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 46927229923874 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13535028
[startup+0.101044 s]
/proc/loadavg: 2.08 2.02 1.93 2/535 14624
/proc/meminfo: memFree=21460060/32950928 swapFree=34259960/67111528
[pid=14624] ppid=14622 vsize=13622348 CPUtime=0.11 cores=1,3,5,7
/proc/14624/stat : 14624 (java) S 14622 14624 7151 0 -1 4202496 15558 0 1 0 9 2 0 0 25 0 18 0 827385663 13949284352 15222 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14624/statm: 3405587 15223 2092 9 0 3396321 0
[pid=14624/tid=14625] ppid=14622 vsize=13622348 CPUtime=0.09 cores=1,3,5,7
/proc/14624/task/14625/stat : 14625 (java) R 14622 14624 7151 0 -1 4202560 13606 0 1 0 7 2 0 0 18 0 18 0 827385664 13949284352 15223 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622348
[startup+0.301003 s]
/proc/loadavg: 2.08 2.02 1.93 2/535 14624
/proc/meminfo: memFree=21460060/32950928 swapFree=34259960/67111528
[pid=14624] ppid=14622 vsize=13624944 CPUtime=0.49 cores=1,3,5,7
/proc/14624/stat : 14624 (java) S 14622 14624 7151 0 -1 4202496 18199 0 1 0 46 3 0 0 25 0 19 0 827385663 13951942656 17126 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14624/statm: 3406236 17126 2191 9 0 3396970 0
[pid=14624/tid=14625] ppid=14622 vsize=13624944 CPUtime=0.29 cores=1,3,5,7
/proc/14624/task/14625/stat : 14625 (java) R 14622 14624 7151 0 -1 4202560 14208 0 1 0 27 2 0 0 19 0 19 0 827385664 13951942656 17126 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 46912505556427 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13624944
[startup+0.700905 s]
/proc/loadavg: 2.08 2.02 1.93 2/535 14624
/proc/meminfo: memFree=21460060/32950928 swapFree=34259960/67111528
[pid=14624] ppid=14622 vsize=13624692 CPUtime=1.13 cores=1,3,5,7
/proc/14624/stat : 14624 (java) S 14622 14624 7151 0 -1 4202496 25204 0 1 0 109 4 0 0 25 0 19 0 827385663 13951684608 21327 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14624/statm: 3406173 21328 2236 9 0 3396907 0
[pid=14624/tid=14625] ppid=14622 vsize=13624692 CPUtime=0.67 cores=1,3,5,7
/proc/14624/task/14625/stat : 14625 (java) R 14622 14624 7151 0 -1 4202560 14514 0 1 0 65 2 0 0 19 0 19 0 827385664 13951684608 21328 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 46912505618370 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 13624692
[startup+1.50077 s]
/proc/loadavg: 2.08 2.02 1.93 4/554 14643
/proc/meminfo: memFree=21367900/32950928 swapFree=34259960/67111528
[pid=14624] ppid=14622 vsize=13641776 CPUtime=2.39 cores=1,3,5,7
/proc/14624/stat : 14624 (java) S 14622 14624 7151 0 -1 4202496 32375 0 1 0 234 5 0 0 25 0 17 0 827385663 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14624/statm: 3410444 25964 2240 9 0 3401178 0
[pid=14624/tid=14625] ppid=14622 vsize=13641776 CPUtime=1.33 cores=1,3,5,7
/proc/14624/task/14625/stat : 14625 (java) S 14622 14624 7151 0 -1 4202560 14523 0 1 0 131 2 0 0 21 0 17 0 827385664 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=14624/tid=14627] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14627/stat : 14627 (java) S 14622 14624 7151 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 17 0 827385666 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=14624/tid=14628] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14628/stat : 14628 (java) S 14622 14624 7151 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 17 0 827385666 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=14624/tid=14629] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14629/stat : 14629 (java) S 14622 14624 7151 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 17 0 827385666 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=14624/tid=14630] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14630/stat : 14630 (java) S 14622 14624 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 17 0 827385666 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=14624/tid=14631] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14631/stat : 14631 (java) S 14622 14624 7151 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 17 0 827385666 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=14624/tid=14632] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14632/stat : 14632 (java) S 14622 14624 7151 0 -1 4202560 106 0 0 0 0 0 0 0 16 0 17 0 827385666 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=14624/tid=14633] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14633/stat : 14633 (java) S 14622 14624 7151 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 17 0 827385666 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=14624/tid=14634] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14634/stat : 14634 (java) S 14622 14624 7151 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 17 0 827385666 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=14624/tid=14635] ppid=14622 vsize=13641776 CPUtime=0.03 cores=1,3,5,7
/proc/14624/task/14635/stat : 14635 (java) S 14622 14624 7151 0 -1 4202560 661 0 0 0 3 0 0 0 15 0 17 0 827385667 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=14624/tid=14636] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14636/stat : 14636 (java) S 14622 14624 7151 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 17 0 827385667 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=14624/tid=14637] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14637/stat : 14637 (java) S 14622 14624 7151 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 17 0 827385667 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=14624/tid=14639] ppid=14622 vsize=13641776 CPUtime=0.66 cores=1,3,5,7
/proc/14624/task/14639/stat : 14639 (java) S 14622 14624 7151 0 -1 4202560 7659 0 0 0 66 0 0 0 20 0 17 0 827385669 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=14624/tid=14640] ppid=14622 vsize=13641776 CPUtime=0.32 cores=1,3,5,7
/proc/14624/task/14640/stat : 14640 (java) S 14622 14624 7151 0 -1 4202560 7771 0 0 0 31 1 0 0 15 0 17 0 827385670 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=14624/tid=14641] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14641/stat : 14641 (java) S 14622 14624 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 827385670 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=14624/tid=14643] ppid=14622 vsize=13641776 CPUtime=0 cores=1,3,5,7
/proc/14624/task/14643/stat : 14643 (java) S 14622 14624 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 17 0 827385679 13969178624 25964 33554432000 1073741824 1073778376 140735357910944 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 13641776
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 1.51116
CPU time (s): 2.40363
CPU user time (s): 2.34364
CPU system time (s): 0.05999
CPU usage (%): 159.059
Max. virtual memory (cumulated for all children) (KiB): 13641776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.34364
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32375
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= 273
involuntary context switches= 53
runsolver used 0.012998 second user time and 0.026995 second system time
The end