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-3457385-1307658560/watcher-3457385-1307658560 -o /tmp/evaluation-result-3457385-1307658560/solver-3457385-1307658560 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457385-1307658560.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: 4.30 6.79 7.14 3/174 13210
/proc/meminfo: memFree=32265184/32951124 swapFree=67055520/67111528
[pid=13210] ppid=13208 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13210/stat : 13210 (java) R 13208 13210 12306 0 -1 4202496 779 0 0 0 0 0 0 0 22 0 1 0 858271650 23580672 522 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270333421333 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13210/statm: 5757 535 401 9 0 124 0
[startup+0.075621 s]
/proc/loadavg: 4.30 6.79 7.14 3/174 13210
/proc/meminfo: memFree=32265184/32951124 swapFree=67055520/67111528
[pid=13210] ppid=13208 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/13210/stat : 13210 (java) S 13208 13210 12306 0 -1 4202496 11744 0 1 0 4 1 0 0 22 0 18 0 858271650 10724302848 11440 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13210/statm: 2618238 11440 1741 9 0 2608972 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.100613 s]
/proc/loadavg: 4.30 6.79 7.14 3/174 13210
/proc/meminfo: memFree=32265184/32951124 swapFree=67055520/67111528
[pid=13210] ppid=13208 vsize=10540008 CPUtime=0.1 cores=0,2,4,6
/proc/13210/stat : 13210 (java) S 13208 13210 12306 0 -1 4202496 12889 0 1 0 8 2 0 0 22 0 18 0 858271650 10792968192 12585 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13210/statm: 2635002 12585 2090 9 0 2625736 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540008
[startup+0.300582 s]
/proc/loadavg: 4.30 6.79 7.14 3/174 13210
/proc/meminfo: memFree=32265184/32951124 swapFree=67055520/67111528
[pid=13210] ppid=13208 vsize=10541876 CPUtime=0.46 cores=0,2,4,6
/proc/13210/stat : 13210 (java) S 13208 13210 12306 0 -1 4202496 18700 0 1 0 44 2 0 0 22 0 18 0 858271650 10794881024 17819 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13210/statm: 2635469 17822 2200 9 0 2626203 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541876
[startup+0.7005 s]
/proc/loadavg: 4.30 6.79 7.14 3/174 13210
/proc/meminfo: memFree=32265184/32951124 swapFree=67055520/67111528
[pid=13210] ppid=13208 vsize=10558156 CPUtime=1.3 cores=0,2,4,6
/proc/13210/stat : 13210 (java) S 13208 13210 12306 0 -1 4202496 45737 0 1 0 124 6 0 0 22 0 18 0 858271650 10811551744 42389 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13210/statm: 2639539 42396 2205 9 0 2630273 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 10558156
Solver just ended. Dumping a history of the last processes samples
[startup+1.1074 s]
/proc/loadavg: 4.30 6.79 7.14 5/212 13255
/proc/meminfo: memFree=31880520/32951124 swapFree=67055520/67111528
[pid=13210] ppid=13208 vsize=10558156 CPUtime=1.77 cores=0,2,4,6
/proc/13210/stat : 13210 (java) S 13208 13210 12306 0 -1 4202496 78304 0 1 0 167 10 0 0 22 0 18 0 858271650 10811551744 74955 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13210/statm: 2639539 74955 2213 9 0 2630273 0
[pid=13210/tid=13212] ppid=13208 vsize=10558156 CPUtime=1.07 cores=0,2,4,6
/proc/13210/task/13212/stat : 13212 (java) R 13208 13210 12306 0 -1 4202560 66523 0 1 0 98 9 0 0 18 0 18 0 858271651 10811551744 74955 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 46912505217341 0 4 0 16800975 0 0 0 -1 2 0 0 1
[pid=13210/tid=13213] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13213/stat : 13213 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 858271653 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 4 0 0 0
[pid=13210/tid=13214] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13214/stat : 13214 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858271653 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 0 0 0 0
[pid=13210/tid=13215] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13215/stat : 13215 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858271653 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 0 0 0 0
[pid=13210/tid=13216] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13216/stat : 13216 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858271653 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 0 0 0 0
[pid=13210/tid=13217] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13217/stat : 13217 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858271653 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 0 0 0 0
[pid=13210/tid=13218] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13218/stat : 13218 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858271653 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 0 0 0 0
[pid=13210/tid=13219] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13219/stat : 13219 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858271653 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 0 0 0 0
[pid=13210/tid=13220] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13220/stat : 13220 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858271653 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 0 0 0 0
[pid=13210/tid=13221] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13221/stat : 13221 (java) S 13208 13210 12306 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 858271654 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350200320 0 0 0 16800975 18446604453967478976 0 0 -1 4 0 0 0
[pid=13210/tid=13222] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13222/stat : 13222 (java) S 13208 13210 12306 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 858271654 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 4 0 0 0
[pid=13210/tid=13223] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13223/stat : 13223 (java) S 13208 13210 12306 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 858271654 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 4 0 0 0
[pid=13210/tid=13224] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13224/stat : 13224 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858271657 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350207409 0 4 0 16800975 18446604453967478976 0 0 -1 4 0 0 0
[pid=13210/tid=13225] ppid=13208 vsize=10558156 CPUtime=0.25 cores=0,2,4,6
/proc/13210/task/13225/stat : 13225 (java) R 13208 13210 12306 0 -1 4202560 3271 0 0 0 25 0 0 0 15 0 18 0 858271657 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 47152099406065 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13210/tid=13226] ppid=13208 vsize=10558156 CPUtime=0.43 cores=0,2,4,6
/proc/13210/task/13226/stat : 13226 (java) R 13208 13210 12306 0 -1 4202560 7362 0 0 0 42 1 0 0 15 0 18 0 858271657 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 47152098895458 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13210/tid=13227] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13227/stat : 13227 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 858271657 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350199705 0 4 0 16800975 18446604453967478976 0 0 -1 4 0 0 0
[pid=13210/tid=13228] ppid=13208 vsize=10558156 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13228/stat : 13228 (java) S 13208 13210 12306 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 858271657 10811551744 74958 33554432000 1073741824 1073778376 140737090563200 18446744073709551615 270350200320 0 4 0 16800975 18446604453967478976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 10558156
[startup+1.20141 s]
/proc/loadavg: 4.30 6.79 7.14 5/212 13255
/proc/meminfo: memFree=31880520/32951124 swapFree=67055520/67111528
[pid=13210] ppid=13208 vsize=0 CPUtime=1.93 cores=0,2,4,6
/proc/13210/stat : 13210 (java) Z 13208 13210 12306 0 -1 4203548 78977 0 1 0 182 11 0 0 18 0 2 0 858271650 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13210/statm: 0 0 0 0 0 0 0
[pid=13210/tid=13214] ppid=13208 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/13210/task/13214/stat : 13214 (java) R 13208 13210 12306 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 858271653 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1.21138
CPU time (s): 1.9437
CPU user time (s): 1.82072
CPU system time (s): 0.122981
CPU usage (%): 160.454
Max. virtual memory (cumulated for all children) (KiB): 10558156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.82072
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78977
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= 286
involuntary context switches= 28
runsolver used 0.000999 second user time and 0.013997 second system time
The end