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-3453780-1307194210/watcher-3453780-1307194210 -o /tmp/evaluation-result-3453780-1307194210/solver-3453780-1307194210 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453780-1307194210.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.33 3.71 3.64 4/526 14561
/proc/meminfo: memFree=29621924/32951124 swapFree=51712236/67111528
[pid=14561] ppid=14559 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/14561/stat : 14561 (java) S 14559 14561 9506 0 -1 4202496 2973 0 1 0 0 0 0 0 25 0 2 0 831023655 10681323520 2675 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/14561/statm: 2607745 2689 906 9 0 2598901 0
[pid=14561/tid=14562] ppid=14559 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14562/stat : 14562 (java) R 14559 14561 9506 0 -1 4202560 5467 0 1 0 0 0 0 0 25 0 2 0 831023655 10694979584 6283 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.117282 s]
/proc/loadavg: 3.33 3.71 3.64 4/526 14561
/proc/meminfo: memFree=29621924/32951124 swapFree=51712236/67111528
[pid=14561] ppid=14559 vsize=10539852 CPUtime=0.12 cores=0,2,4,6
/proc/14561/stat : 14561 (java) S 14559 14561 9506 0 -1 4202496 13347 0 1 0 11 1 0 0 25 0 18 0 831023655 10792808448 12981 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14561/statm: 2634963 12982 2133 9 0 2625697 0
[pid=14561/tid=14562] ppid=14559 vsize=10539852 CPUtime=0.1 cores=0,2,4,6
/proc/14561/task/14562/stat : 14562 (java) R 14559 14561 9506 0 -1 4202560 11297 0 1 0 9 1 0 0 18 0 18 0 831023655 10792808448 12982 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 47970639346515 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539852
[startup+0.201308 s]
/proc/loadavg: 3.33 3.71 3.64 4/526 14561
/proc/meminfo: memFree=29621924/32951124 swapFree=51712236/67111528
[pid=14561] ppid=14559 vsize=10543964 CPUtime=0.18 cores=0,2,4,6
/proc/14561/stat : 14561 (java) S 14559 14561 9506 0 -1 4202496 13707 0 1 0 16 2 0 0 25 0 19 0 831023655 10797019136 13341 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14561/statm: 2635991 13341 2140 9 0 2626725 0
[pid=14561/tid=14562] ppid=14559 vsize=10543964 CPUtime=0.12 cores=0,2,4,6
/proc/14561/task/14562/stat : 14562 (java) S 14559 14561 9506 0 -1 4202560 11521 0 1 0 11 1 0 0 19 0 19 0 831023655 10797019136 13341 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10543964
[startup+0.301289 s]
/proc/loadavg: 3.33 3.71 3.64 4/526 14561
/proc/meminfo: memFree=29621924/32951124 swapFree=51712236/67111528
[pid=14561] ppid=14559 vsize=10543964 CPUtime=0.18 cores=0,2,4,6
/proc/14561/stat : 14561 (java) S 14559 14561 9506 0 -1 4202496 13707 0 1 0 16 2 0 0 25 0 19 0 831023655 10797019136 13341 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14561/statm: 2635991 13341 2140 9 0 2626725 0
[pid=14561/tid=14562] ppid=14559 vsize=10543964 CPUtime=0.12 cores=0,2,4,6
/proc/14561/task/14562/stat : 14562 (java) S 14559 14561 9506 0 -1 4202560 11521 0 1 0 11 1 0 0 19 0 19 0 831023655 10797019136 13341 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10543964
[startup+0.7012 s]
/proc/loadavg: 3.33 3.71 3.64 4/526 14561
/proc/meminfo: memFree=29621924/32951124 swapFree=51712236/67111528
[pid=14561] ppid=14559 vsize=10543964 CPUtime=0.22 cores=0,2,4,6
/proc/14561/stat : 14561 (java) S 14559 14561 9506 0 -1 4202496 13906 0 1 0 20 2 0 0 25 0 20 0 831023655 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14561/statm: 2635991 13494 2164 9 0 2626725 0
[pid=14561/tid=14562] ppid=14559 vsize=10543964 CPUtime=0.12 cores=0,2,4,6
/proc/14561/task/14562/stat : 14562 (java) S 14559 14561 9506 0 -1 4202560 11524 0 1 0 11 1 0 0 16 0 20 0 831023655 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10543964
Solver just ended. Dumping a history of the last processes samples
[startup+0.801198 s]
/proc/loadavg: 3.33 3.71 3.64 4/526 14561
/proc/meminfo: memFree=29621924/32951124 swapFree=51712236/67111528
[pid=14561] ppid=14559 vsize=10543964 CPUtime=0.22 cores=0,2,4,6
/proc/14561/stat : 14561 (java) S 14559 14561 9506 0 -1 4202496 13906 0 1 0 20 2 0 0 25 0 20 0 831023655 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14561/statm: 2635991 13494 2164 9 0 2626725 0
[pid=14561/tid=14562] ppid=14559 vsize=10543964 CPUtime=0.12 cores=0,2,4,6
/proc/14561/task/14562/stat : 14562 (java) S 14559 14561 9506 0 -1 4202560 11524 0 1 0 11 1 0 0 16 0 20 0 831023655 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10543964
[startup+1.00116 s]
/proc/loadavg: 3.33 3.71 3.64 4/526 14561
/proc/meminfo: memFree=29621924/32951124 swapFree=51712236/67111528
[pid=14561] ppid=14559 vsize=10543964 CPUtime=0.22 cores=0,2,4,6
/proc/14561/stat : 14561 (java) S 14559 14561 9506 0 -1 4202496 13906 0 1 0 20 2 0 0 25 0 20 0 831023655 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14561/statm: 2635991 13494 2164 9 0 2626725 0
[pid=14561/tid=14562] ppid=14559 vsize=10543964 CPUtime=0.12 cores=0,2,4,6
/proc/14561/task/14562/stat : 14562 (java) S 14559 14561 9506 0 -1 4202560 11524 0 1 0 11 1 0 0 16 0 20 0 831023655 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10543964
[startup+1.10115 s]
/proc/loadavg: 3.33 3.71 3.64 3/546 14592
/proc/meminfo: memFree=29575352/32951124 swapFree=51712236/67111528
[pid=14561] ppid=14559 vsize=10543964 CPUtime=0.22 cores=0,2,4,6
/proc/14561/stat : 14561 (java) S 14559 14561 9506 0 -1 4202496 13906 0 1 0 20 2 0 0 25 0 20 0 831023655 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14561/statm: 2635991 13494 2164 9 0 2626725 0
[pid=14561/tid=14562] ppid=14559 vsize=10543964 CPUtime=0.12 cores=0,2,4,6
/proc/14561/task/14562/stat : 14562 (java) S 14559 14561 9506 0 -1 4202560 11524 0 1 0 11 1 0 0 16 0 20 0 831023655 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14564] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14564/stat : 14564 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831023657 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14565] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14565/stat : 14565 (java) S 14559 14561 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831023657 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14566] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14566/stat : 14566 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831023657 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14567] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14567/stat : 14567 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831023657 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14568] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14568/stat : 14568 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831023657 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14569] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14569/stat : 14569 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831023657 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14571] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14571/stat : 14571 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831023657 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14572] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14572/stat : 14572 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831023657 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14573] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14573/stat : 14573 (java) S 14559 14561 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831023658 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 0 0 16800975 18446604442973054976 0 0 -1 2 0 0 0
[pid=14561/tid=14574] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14574/stat : 14574 (java) S 14559 14561 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831023659 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 2 0 0 0
[pid=14561/tid=14575] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14575/stat : 14575 (java) S 14559 14561 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831023659 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 2 0 0 0
[pid=14561/tid=14576] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14576/stat : 14576 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831023661 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646338993 0 4 0 16800975 18446604442973054976 0 0 -1 2 0 0 0
[pid=14561/tid=14577] ppid=14559 vsize=10543964 CPUtime=0.03 cores=0,2,4,6
/proc/14561/task/14577/stat : 14577 (java) S 14559 14561 9506 0 -1 4202560 510 0 0 0 3 0 0 0 20 0 20 0 831023661 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
[pid=14561/tid=14580] ppid=14559 vsize=10543964 CPUtime=0.01 cores=0,2,4,6
/proc/14561/task/14580/stat : 14580 (java) S 14559 14561 9506 0 -1 4202560 511 0 0 0 1 0 0 0 15 0 20 0 831023661 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 4 0 0 0
[pid=14561/tid=14581] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14581/stat : 14581 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831023661 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331289 0 4 0 16800975 18446604442973054976 0 0 -1 2 0 0 0
[pid=14561/tid=14582] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14582/stat : 14582 (java) S 14559 14561 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831023661 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 4 0 16800975 18446604442973054976 0 0 -1 0 0 0 0
[pid=14561/tid=14586] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14586/stat : 14586 (java) S 14559 14561 9506 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 831023669 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 4 0 16800975 18446604442973054976 0 0 -1 4 0 0 0
[pid=14561/tid=14592] ppid=14559 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/14561/task/14592/stat : 14592 (java) S 14559 14561 9506 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 831023720 10797019136 13494 33554432000 1073741824 1073778376 140736943266464 18446744073709551615 216646331904 0 4 0 16800975 18446604442973054976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10543964
Child status: 30
Real time (s): 1.15173
CPU time (s): 0.227964
CPU user time (s): 0.203968
CPU system time (s): 0.023996
CPU usage (%): 19.7931
Max. virtual memory (cumulated for all children) (KiB): 10543964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.203968
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13918
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= 213
involuntary context switches= 15
runsolver used 0.007998 second user time and 0.030995 second system time
The end