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-3456125-1307663456/watcher-3456125-1307663456 -o /tmp/evaluation-result-3456125-1307663456/solver-3456125-1307663456 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456125-1307663456.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: 1.97 2.04 2.01 2/195 13370
/proc/meminfo: memFree=28164400/32951124 swapFree=67057920/67111528
[pid=13370] ppid=13368 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13370/stat : 13370 (java) R 13368 13370 11688 0 -1 4202496 937 0 0 0 0 0 0 0 25 0 1 0 858760935 23580672 680 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254256654101 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13370/statm: 5757 689 505 9 0 124 0
[startup+0.057856 s]
/proc/loadavg: 1.97 2.04 2.01 2/195 13370
/proc/meminfo: memFree=28164400/32951124 swapFree=67057920/67111528
[pid=13370] ppid=13368 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/13370/stat : 13370 (java) S 13368 13370 11688 0 -1 4202496 11493 0 1 0 3 1 0 0 25 0 13 0 858760935 10718838784 11189 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273419237 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/13370/statm: 2616904 11190 1685 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100849 s]
/proc/loadavg: 1.97 2.04 2.01 2/195 13370
/proc/meminfo: memFree=28164400/32951124 swapFree=67057920/67111528
[pid=13370] ppid=13368 vsize=10540224 CPUtime=0.09 cores=1,3,5,7
/proc/13370/stat : 13370 (java) S 13368 13370 11688 0 -1 4202496 13060 0 1 0 8 1 0 0 25 0 18 0 858760935 10793189376 12718 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13370/statm: 2635056 12720 2093 9 0 2625790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540224
[startup+0.300813 s]
/proc/loadavg: 1.97 2.04 2.01 2/195 13370
/proc/meminfo: memFree=28164400/32951124 swapFree=67057920/67111528
[pid=13370] ppid=13368 vsize=10542932 CPUtime=0.44 cores=1,3,5,7
/proc/13370/stat : 13370 (java) S 13368 13370 11688 0 -1 4202496 15273 0 1 0 43 1 0 0 25 0 19 0 858760935 10795962368 14731 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13370/statm: 2635733 14731 2202 9 0 2626467 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10542932
[startup+0.70071 s]
/proc/loadavg: 1.97 2.04 2.01 2/195 13370
/proc/meminfo: memFree=28164400/32951124 swapFree=67057920/67111528
[pid=13370] ppid=13368 vsize=10554956 CPUtime=1.64 cores=1,3,5,7
/proc/13370/stat : 13370 (java) S 13368 13370 11688 0 -1 4202496 34378 0 1 0 160 4 0 0 25 0 19 0 858760935 10808274944 29513 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13370/statm: 2638739 29516 2220 9 0 2629473 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10554956
Solver just ended. Dumping a history of the last processes samples
[startup+1.10767 s]
/proc/loadavg: 1.97 2.04 2.01 3/214 13389
/proc/meminfo: memFree=27985900/32951124 swapFree=67057920/67111528
[pid=13370] ppid=13368 vsize=10554956 CPUtime=2.27 cores=1,3,5,7
/proc/13370/stat : 13370 (java) S 13368 13370 11688 0 -1 4202496 58687 0 1 0 220 7 0 0 25 0 19 0 858760935 10808274944 52976 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13370/statm: 2638739 52979 2224 9 0 2629473 0
[pid=13370/tid=13372] ppid=13368 vsize=10554956 CPUtime=1.08 cores=1,3,5,7
/proc/13370/task/13372/stat : 13372 (java) R 13368 13370 11688 0 -1 4202560 44539 0 1 0 103 5 0 0 20 0 19 0 858760936 10808274944 52981 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 46912505630583 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13370/tid=13373] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13373/stat : 13373 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 52982 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13374] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13374/stat : 13374 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 52984 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13375] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13375/stat : 13375 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 52985 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13376] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13376/stat : 13376 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 52986 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13377] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13377/stat : 13377 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 52987 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13378] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13378/stat : 13378 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 52988 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13379] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13379/stat : 13379 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 52989 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13380] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13380/stat : 13380 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 52991 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13381] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13381/stat : 13381 (java) S 13368 13370 11688 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858760938 10808274944 52992 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273433088 0 0 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13382] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13382/stat : 13382 (java) S 13368 13370 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858760939 10808274944 52993 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13383] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13383/stat : 13383 (java) S 13368 13370 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858760939 10808274944 52994 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13384] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13384/stat : 13384 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760941 10808274944 52995 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273440177 0 4 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13385] ppid=13368 vsize=10554956 CPUtime=0.59 cores=1,3,5,7
/proc/13370/task/13385/stat : 13385 (java) S 13368 13370 11688 0 -1 4202560 7591 0 0 0 59 0 0 0 24 0 19 0 858760941 10808274944 52996 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 7 0 0 0
[pid=13370/tid=13386] ppid=13368 vsize=10554956 CPUtime=0.57 cores=1,3,5,7
/proc/13370/task/13386/stat : 13386 (java) S 13368 13370 11688 0 -1 4202560 5401 0 0 0 57 0 0 0 24 0 19 0 858760941 10808274944 52997 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 5 0 0 0
[pid=13370/tid=13387] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13387/stat : 13387 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760941 10808274944 52999 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13388] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13388/stat : 13388 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858760941 10808274944 53000 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273433088 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13389] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13389/stat : 13389 (java) S 13368 13370 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858760962 10808274944 53002 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273433088 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10554956
[startup+1.3016 s]
/proc/loadavg: 1.97 2.04 2.01 3/214 13389
/proc/meminfo: memFree=27985900/32951124 swapFree=67057920/67111528
[pid=13370] ppid=13368 vsize=10554956 CPUtime=2.54 cores=1,3,5,7
/proc/13370/stat : 13370 (java) S 13368 13370 11688 0 -1 4202496 68862 0 1 0 246 8 0 0 25 0 19 0 858760935 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13370/statm: 2638739 63151 2226 9 0 2629473 0
[pid=13370/tid=13372] ppid=13368 vsize=10554956 CPUtime=1.28 cores=1,3,5,7
/proc/13370/task/13372/stat : 13372 (java) R 13368 13370 11688 0 -1 4202560 54698 0 1 0 122 6 0 0 20 0 19 0 858760936 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 46912505194936 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13370/tid=13373] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13373/stat : 13373 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13374] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13374/stat : 13374 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13375] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13375/stat : 13375 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13376] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13376/stat : 13376 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13377] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13377/stat : 13377 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13378] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13378/stat : 13378 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13379] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13379/stat : 13379 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13380] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13380/stat : 13380 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760937 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13381] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13381/stat : 13381 (java) S 13368 13370 11688 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858760938 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273433088 0 0 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13382] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13382/stat : 13382 (java) S 13368 13370 11688 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858760939 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13383] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13383/stat : 13383 (java) S 13368 13370 11688 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858760939 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13384] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13384/stat : 13384 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760941 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273440177 0 4 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13385] ppid=13368 vsize=10554956 CPUtime=0.65 cores=1,3,5,7
/proc/13370/task/13385/stat : 13385 (java) R 13368 13370 11688 0 -1 4202560 7600 0 0 0 65 0 0 0 22 0 19 0 858760941 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 47994740679851 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13370/tid=13386] ppid=13368 vsize=10554956 CPUtime=0.58 cores=1,3,5,7
/proc/13370/task/13386/stat : 13386 (java) S 13368 13370 11688 0 -1 4202560 5403 0 0 0 58 0 0 0 23 0 19 0 858760941 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 5 0 0 0
[pid=13370/tid=13387] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13387/stat : 13387 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858760941 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273432473 0 4 0 16800975 18446604454222669952 0 0 -1 1 0 0 0
[pid=13370/tid=13388] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13388/stat : 13388 (java) S 13368 13370 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858760941 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273433088 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
[pid=13370/tid=13389] ppid=13368 vsize=10554956 CPUtime=0 cores=1,3,5,7
/proc/13370/task/13389/stat : 13389 (java) S 13368 13370 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858760962 10808274944 63151 33554432000 1073741824 1073778376 140736449335376 18446744073709551615 254273433088 0 4 0 16800975 18446604454222669952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 10554956
Child status: 30
Real time (s): 1.31579
CPU time (s): 2.56661
CPU user time (s): 2.46862
CPU system time (s): 0.097985
CPU usage (%): 195.061
Max. virtual memory (cumulated for all children) (KiB): 10554956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.46862
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68889
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= 269
involuntary context switches= 27
runsolver used 0.004999 second user time and 0.008998 second system time
The end