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-3457380-1307658419/watcher-3457380-1307658419 -o /tmp/evaluation-result-3457380-1307658419/solver-3457380-1307658419 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457380-1307658419.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.84 1.97 2.59 2/174 19198
/proc/meminfo: memFree=32222704/32950928 swapFree=67055156/67111528
[pid=19198] ppid=19196 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/19198/stat : 19198 (java) R 19196 19198 16958 0 -1 4202496 958 0 0 0 0 0 0 0 22 0 1 0 877441737 23580672 702 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248084735889 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19198/statm: 5757 702 519 9 0 124 0
[startup+0.031619 s]
/proc/loadavg: 1.84 1.97 2.59 2/174 19198
/proc/meminfo: memFree=32222704/32950928 swapFree=67055156/67111528
[pid=19198] ppid=19196 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/19198/stat : 19198 (java) S 19196 19198 16958 0 -1 4202496 10633 0 1 0 1 1 0 0 22 0 10 0 877441737 10705932288 10332 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/19198/statm: 2613753 10337 1508 9 0 2604501 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.100608 s]
/proc/loadavg: 1.84 1.97 2.59 2/174 19198
/proc/meminfo: memFree=32222704/32950928 swapFree=67055156/67111528
[pid=19198] ppid=19196 vsize=10539924 CPUtime=0.1 cores=1,3,5,7
/proc/19198/stat : 19198 (java) S 19196 19198 16958 0 -1 4202496 13018 0 1 0 8 2 0 0 22 0 18 0 877441737 10792882176 12683 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/19198/statm: 2634981 12683 2093 9 0 2625715 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539924
[startup+0.300573 s]
/proc/loadavg: 1.84 1.97 2.59 2/174 19198
/proc/meminfo: memFree=32222704/32950928 swapFree=67055156/67111528
[pid=19198] ppid=19196 vsize=10541772 CPUtime=0.46 cores=1,3,5,7
/proc/19198/stat : 19198 (java) S 19196 19198 16958 0 -1 4202496 20254 0 1 0 43 3 0 0 22 0 18 0 877441737 10794774528 19409 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/19198/statm: 2635443 19411 2200 9 0 2626177 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541772
[startup+0.700502 s]
/proc/loadavg: 1.84 1.97 2.59 2/174 19198
/proc/meminfo: memFree=32222704/32950928 swapFree=67055156/67111528
[pid=19198] ppid=19196 vsize=10542228 CPUtime=1.03 cores=1,3,5,7
/proc/19198/stat : 19198 (java) S 19196 19198 16958 0 -1 4202496 46738 0 1 0 97 6 0 0 22 0 18 0 877441737 10795241472 45342 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/19198/statm: 2635557 45346 2205 9 0 2626291 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10542228
[startup+1.50136 s]
/proc/loadavg: 1.84 1.97 2.59 4/212 19243
/proc/meminfo: memFree=31873268/32950928 swapFree=67055156/67111528
[pid=19198] ppid=19196 vsize=10542228 CPUtime=1.83 cores=1,3,5,7
/proc/19198/stat : 19198 (java) S 19196 19198 16958 0 -1 4202496 113440 0 1 0 170 13 0 0 22 0 18 0 877441737 10795241472 112044 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/19198/statm: 2635557 112044 2205 9 0 2626291 0
[pid=19198/tid=19200] ppid=19196 vsize=10542228 CPUtime=1.48 cores=1,3,5,7
/proc/19198/task/19200/stat : 19200 (java) R 19196 19198 16958 0 -1 4202560 109338 0 1 0 136 12 0 0 25 0 18 0 877441737 10795241472 112044 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 46912505632074 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19198/tid=19201] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19201/stat : 19201 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 877441739 10795241472 112044 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19202] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19202/stat : 19202 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 112044 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19203] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19203/stat : 19203 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 112044 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19204] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19204/stat : 19204 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 112044 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19205] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19205/stat : 19205 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 112045 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19206] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19206/stat : 19206 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 112048 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19207] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19207/stat : 19207 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 112051 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19208] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19208/stat : 19208 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 112053 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19209] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19209/stat : 19209 (java) S 19196 19198 16958 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877441740 10795241472 112056 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514752 0 0 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19210] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19210/stat : 19210 (java) S 19196 19198 16958 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877441741 10795241472 112059 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19211] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19211/stat : 19211 (java) S 19196 19198 16958 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 877441741 10795241472 112061 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 7 0 0 0
[pid=19198/tid=19212] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19212/stat : 19212 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441743 10795241472 112064 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101521841 0 4 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19213] ppid=19196 vsize=10542228 CPUtime=0.21 cores=1,3,5,7
/proc/19198/task/19213/stat : 19213 (java) S 19196 19198 16958 0 -1 4202560 2085 0 0 0 21 0 0 0 23 0 18 0 877441743 10795241472 112067 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 7 0 0 0
[pid=19198/tid=19214] ppid=19196 vsize=10542228 CPUtime=0.13 cores=1,3,5,7
/proc/19198/task/19214/stat : 19214 (java) S 19196 19198 16958 0 -1 4202560 866 0 0 0 13 0 0 0 21 0 18 0 877441743 10795241472 112069 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19215] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19215/stat : 19215 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441743 10795241472 112070 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19216] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19216/stat : 19216 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877441743 10795241472 112072 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514752 0 4 0 16800975 18446604454223940480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10542228
Solver just ended. Dumping a history of the last processes samples
[startup+1.70133 s]
/proc/loadavg: 1.84 1.97 2.59 4/212 19243
/proc/meminfo: memFree=31873268/32950928 swapFree=67055156/67111528
[pid=19198] ppid=19196 vsize=10542228 CPUtime=2.17 cores=1,3,5,7
/proc/19198/stat : 19198 (java) S 19196 19198 16958 0 -1 4202496 117523 0 1 0 203 14 0 0 22 0 18 0 877441737 10795241472 115897 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/19198/statm: 2635557 115898 2218 9 0 2626291 0
[pid=19198/tid=19200] ppid=19196 vsize=10542228 CPUtime=1.68 cores=1,3,5,7
/proc/19198/task/19200/stat : 19200 (java) R 19196 19198 16958 0 -1 4202560 113126 0 1 0 155 13 0 0 25 0 18 0 877441737 10795241472 115899 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 46912505663089 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19198/tid=19201] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19201/stat : 19201 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 877441739 10795241472 115899 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19202] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19202/stat : 19202 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 115900 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19203] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19203/stat : 19203 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 115901 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19204] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19204/stat : 19204 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 115901 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19205] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19205/stat : 19205 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 115902 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19206] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19206/stat : 19206 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 115902 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19207] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19207/stat : 19207 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 115903 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19208] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19208/stat : 19208 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441739 10795241472 115903 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19209] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19209/stat : 19209 (java) S 19196 19198 16958 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877441740 10795241472 115903 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514752 0 0 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19210] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19210/stat : 19210 (java) S 19196 19198 16958 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877441741 10795241472 115904 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19211] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19211/stat : 19211 (java) S 19196 19198 16958 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 877441741 10795241472 115905 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 7 0 0 0
[pid=19198/tid=19212] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19212/stat : 19212 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441743 10795241472 115906 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101521841 0 4 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19213] ppid=19196 vsize=10542228 CPUtime=0.24 cores=1,3,5,7
/proc/19198/task/19213/stat : 19213 (java) S 19196 19198 16958 0 -1 4202560 2091 0 0 0 24 0 0 0 17 0 18 0 877441743 10795241472 115906 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 7 0 0 0
[pid=19198/tid=19214] ppid=19196 vsize=10542228 CPUtime=0.23 cores=1,3,5,7
/proc/19198/task/19214/stat : 19214 (java) S 19196 19198 16958 0 -1 4202560 1156 0 0 0 23 0 0 0 17 0 18 0 877441743 10795241472 115907 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 5 0 0 0
[pid=19198/tid=19215] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19215/stat : 19215 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877441743 10795241472 115907 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514137 0 4 0 16800975 18446604454223940480 0 0 -1 1 0 0 0
[pid=19198/tid=19216] ppid=19196 vsize=10542228 CPUtime=0 cores=1,3,5,7
/proc/19198/task/19216/stat : 19216 (java) S 19196 19198 16958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877441743 10795241472 115908 33554432000 1073741824 1073778376 140734719158400 18446744073709551615 248101514752 0 4 0 16800975 18446604454223940480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 10542228
Child status: 20
Real time (s): 1.75193
CPU time (s): 2.21366
CPU user time (s): 2.05369
CPU system time (s): 0.159975
CPU usage (%): 126.355
Max. virtual memory (cumulated for all children) (KiB): 10542228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.05369
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117958
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= 277
involuntary context switches= 15
runsolver used 0.003999 second user time and 0.010998 second system time
The end