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-3457403-1307659154/watcher-3457403-1307659154 -o /tmp/evaluation-result-3457403-1307659154/solver-3457403-1307659154 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457403-1307659154.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.04 2.03 1.99 2/195 26063
/proc/meminfo: memFree=28174568/32951124 swapFree=67050916/67111528
[pid=26063] ppid=26061 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/26063/stat : 26063 (java) R 26061 26063 25204 0 -1 4202496 951 0 0 0 0 0 0 0 24 0 1 0 858331777 23580672 694 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212034688121 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26063/statm: 5757 694 510 9 0 124 0
[startup+0.0798399 s]
/proc/loadavg: 2.04 2.03 1.99 2/195 26063
/proc/meminfo: memFree=28174568/32951124 swapFree=67050916/67111528
[pid=26063] ppid=26061 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/26063/stat : 26063 (java) S 26061 26063 25204 0 -1 4202496 11960 0 1 0 5 1 0 0 24 0 18 0 858331777 10724442112 11656 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26063/statm: 2618272 11656 1755 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100838 s]
/proc/loadavg: 2.04 2.03 1.99 2/195 26063
/proc/meminfo: memFree=28174568/32951124 swapFree=67050916/67111528
[pid=26063] ppid=26061 vsize=10540364 CPUtime=0.1 cores=1,3,5,7
/proc/26063/stat : 26063 (java) S 26061 26063 25204 0 -1 4202496 13096 0 1 0 9 1 0 0 24 0 18 0 858331777 10793332736 12751 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26063/statm: 2635091 12751 2093 9 0 2625825 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540364
[startup+0.317825 s]
/proc/loadavg: 2.04 2.03 1.99 2/195 26063
/proc/meminfo: memFree=28174568/32951124 swapFree=67050916/67111528
[pid=26063] ppid=26061 vsize=10543792 CPUtime=0.6 cores=1,3,5,7
/proc/26063/stat : 26063 (java) S 26061 26063 25204 0 -1 4202496 20667 0 1 0 58 2 0 0 24 0 18 0 858331777 10796843008 19288 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26063/statm: 2635948 19290 2204 9 0 2626682 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10543792
[startup+0.70073 s]
/proc/loadavg: 2.04 2.03 1.99 2/195 26063
/proc/meminfo: memFree=28174568/32951124 swapFree=67050916/67111528
[pid=26063] ppid=26061 vsize=10551480 CPUtime=1.23 cores=1,3,5,7
/proc/26063/stat : 26063 (java) S 26061 26063 25204 0 -1 4202496 49409 0 1 0 118 5 0 0 24 0 18 0 858331777 10804715520 45014 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26063/statm: 2637870 45017 2211 9 0 2628604 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10551480
Solver just ended. Dumping a history of the last processes samples
[startup+0.900695 s]
/proc/loadavg: 2.04 2.03 1.99 2/195 26063
/proc/meminfo: memFree=28174568/32951124 swapFree=67050916/67111528
[pid=26063] ppid=26061 vsize=10551480 CPUtime=1.44 cores=1,3,5,7
/proc/26063/stat : 26063 (java) S 26061 26063 25204 0 -1 4202496 63806 0 1 0 137 7 0 0 24 0 18 0 858331777 10804715520 59410 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26063/statm: 2637870 59416 2211 9 0 2628604 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10551480
[startup+1.00068 s]
/proc/loadavg: 2.04 2.03 1.99 3/213 26081
/proc/meminfo: memFree=27915536/32951124 swapFree=67050916/67111528
[pid=26063] ppid=26061 vsize=10551480 CPUtime=1.54 cores=1,3,5,7
/proc/26063/stat : 26063 (java) S 26061 26063 25204 0 -1 4202496 71314 0 1 0 146 8 0 0 24 0 18 0 858331777 10804715520 66918 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26063/statm: 2637870 66922 2211 9 0 2628604 0
[pid=26063/tid=26065] ppid=26061 vsize=10551480 CPUtime=0.98 cores=1,3,5,7
/proc/26063/task/26065/stat : 26065 (java) R 26061 26063 25204 0 -1 4202560 61395 0 1 0 92 6 0 0 18 0 18 0 858331778 10804715520 66926 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 46912505572900 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26063/tid=26066] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26066/stat : 26066 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331780 10804715520 66926 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26067] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26067/stat : 26067 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331780 10804715520 66928 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26068] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26068/stat : 26068 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331780 10804715520 66931 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26069] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26069/stat : 26069 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331780 10804715520 66933 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26070] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26070/stat : 26070 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331780 10804715520 66935 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26071] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26071/stat : 26071 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331780 10804715520 66939 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26072] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26072/stat : 26072 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331780 10804715520 66941 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26073] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26073/stat : 26073 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331780 10804715520 66943 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26074] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26074/stat : 26074 (java) S 26061 26063 25204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 858331781 10804715520 66944 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471872 0 0 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26075] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26075/stat : 26075 (java) S 26061 26063 25204 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 858331781 10804715520 66946 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26076] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26076/stat : 26076 (java) S 26061 26063 25204 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 858331781 10804715520 66948 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26077] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26077/stat : 26077 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331784 10804715520 66950 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051478961 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26078] ppid=26061 vsize=10551480 CPUtime=0.21 cores=1,3,5,7
/proc/26063/task/26078/stat : 26078 (java) S 26061 26063 25204 0 -1 4202560 3284 0 0 0 21 0 0 0 22 0 18 0 858331784 10804715520 66952 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 1 0 0 0
[pid=26063/tid=26079] ppid=26061 vsize=10551480 CPUtime=0.32 cores=1,3,5,7
/proc/26063/task/26079/stat : 26079 (java) S 26061 26063 25204 0 -1 4202560 5492 0 0 0 32 0 0 0 15 0 18 0 858331784 10804715520 66957 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 5 0 0 0
[pid=26063/tid=26080] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26080/stat : 26080 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858331784 10804715520 66959 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471257 0 4 0 16800975 18446604471160826752 0 0 -1 3 0 0 0
[pid=26063/tid=26081] ppid=26061 vsize=10551480 CPUtime=0 cores=1,3,5,7
/proc/26063/task/26081/stat : 26081 (java) S 26061 26063 25204 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 858331784 10804715520 66961 33554432000 1073741824 1073778376 140737406866864 18446744073709551615 212051471872 0 4 0 16800975 18446604471160826752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10551480
Child status: 20
Real time (s): 1.09554
CPU time (s): 1.63975
CPU user time (s): 1.54477
CPU system time (s): 0.094985
CPU usage (%): 149.675
Max. virtual memory (cumulated for all children) (KiB): 10553716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.54476
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76845
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= 233
involuntary context switches= 15
runsolver used 0.002999 second user time and 0.010998 second system time
The end