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-3456976-1307213126/watcher-3456976-1307213126 -o /tmp/evaluation-result-3456976-1307213126/solver-3456976-1307213126 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456976-1307213126.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: 1.04 1.05 1.00 1/475 21206
/proc/meminfo: memFree=27388160/32950928 swapFree=39617324/67111528
[pid=21206] ppid=21204 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21206/stat : 21206 (java) S 21204 21206 20277 0 -1 4202496 4227 0 1 0 0 0 0 0 25 0 2 0 832912229 10694979584 3928 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/21206/statm: 2611079 3942 917 9 0 2602235 0
[pid=21206/tid=21207] ppid=21204 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21207/stat : 21207 (java) R 21204 21206 20277 0 -1 4202560 5088 0 1 0 0 0 0 0 25 0 2 0 832912230 10694979584 5904 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0845831 s]
/proc/loadavg: 1.04 1.05 1.00 1/475 21206
/proc/meminfo: memFree=27388160/32950928 swapFree=39617324/67111528
[pid=21206] ppid=21204 vsize=10539056 CPUtime=0.07 cores=0,2,4,6
/proc/21206/stat : 21206 (java) S 21204 21206 20277 0 -1 4202496 12294 0 1 0 6 1 0 0 25 0 18 0 832912229 10791993344 11990 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21206/statm: 2634764 11990 1914 9 0 2625498 0
[pid=21206/tid=21207] ppid=21204 vsize=10539056 CPUtime=0.07 cores=0,2,4,6
/proc/21206/task/21207/stat : 21207 (java) R 21204 21206 20277 0 -1 4202560 10898 0 1 0 6 1 0 0 25 0 18 0 832912230 10791993344 11990 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208080275639 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539056
[startup+0.100333 s]
/proc/loadavg: 1.04 1.05 1.00 1/475 21206
/proc/meminfo: memFree=27388160/32950928 swapFree=39617324/67111528
[pid=21206] ppid=21204 vsize=10539476 CPUtime=0.09 cores=0,2,4,6
/proc/21206/stat : 21206 (java) S 21204 21206 20277 0 -1 4202496 12875 0 1 0 8 1 0 0 25 0 18 0 832912229 10792423424 12571 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21206/statm: 2634869 12571 2092 9 0 2625603 0
[pid=21206/tid=21207] ppid=21204 vsize=10539476 CPUtime=0.08 cores=0,2,4,6
/proc/21206/task/21207/stat : 21207 (java) R 21204 21206 20277 0 -1 4202560 11123 0 1 0 7 1 0 0 25 0 18 0 832912230 10792423424 12572 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208079893537 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539476
[startup+0.363274 s]
/proc/loadavg: 1.04 1.05 1.00 1/475 21206
/proc/meminfo: memFree=27388160/32950928 swapFree=39617324/67111528
[pid=21206] ppid=21204 vsize=10554772 CPUtime=1.48 cores=0,2,4,6
/proc/21206/stat : 21206 (java) S 21204 21206 20277 0 -1 4202496 48193 0 1 0 143 5 0 0 25 0 19 0 832912229 10808086528 42946 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21206/statm: 2638693 42948 2218 9 0 2629427 0
[pid=21206/tid=21207] ppid=21204 vsize=10554772 CPUtime=0.6 cores=0,2,4,6
/proc/21206/task/21207/stat : 21207 (java) R 21204 21206 20277 0 -1 4202560 36460 0 1 0 56 4 0 0 25 0 19 0 832912230 10808086528 42951 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 46912505900600 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10554772
[startup+0.700226 s]
/proc/loadavg: 1.04 1.05 1.00 1/475 21206
/proc/meminfo: memFree=27388160/32950928 swapFree=39617324/67111528
[pid=21206] ppid=21204 vsize=10554772 CPUtime=1.62 cores=0,2,4,6
/proc/21206/stat : 21206 (java) S 21204 21206 20277 0 -1 4202496 56223 0 1 0 156 6 0 0 25 0 19 0 832912229 10808086528 50501 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21206/statm: 2638693 50506 2221 9 0 2629427 0
[pid=21206/tid=21207] ppid=21204 vsize=10554772 CPUtime=0.68 cores=0,2,4,6
/proc/21206/task/21207/stat : 21207 (java) R 21204 21206 20277 0 -1 4202560 44012 0 1 0 63 5 0 0 25 0 19 0 832912230 10808086528 50508 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 46912505552575 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10554772
[startup+1.50113 s]
/proc/loadavg: 1.04 1.05 1.00 2/494 21225
/proc/meminfo: memFree=26962388/32950928 swapFree=39617324/67111528
[pid=21206] ppid=21204 vsize=10554772 CPUtime=2.6 cores=0,2,4,6
/proc/21206/stat : 21206 (java) S 21204 21206 20277 0 -1 4202496 145783 0 1 0 242 18 0 0 25 0 19 0 832912229 10808086528 140060 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21206/statm: 2638693 140065 2224 9 0 2629427 0
[pid=21206/tid=21207] ppid=21204 vsize=10554772 CPUtime=1.48 cores=0,2,4,6
/proc/21206/task/21207/stat : 21207 (java) R 21204 21206 20277 0 -1 4202560 133552 0 1 0 132 16 0 0 18 0 19 0 832912230 10808086528 140067 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 46912505552618 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21206/tid=21209] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21209/stat : 21209 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 140069 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21210] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21210/stat : 21210 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 140071 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21211] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21211/stat : 21211 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 140073 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21212] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21212/stat : 21212 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 140075 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21213] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21213/stat : 21213 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 140077 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21214] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21214/stat : 21214 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 140080 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21215] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21215/stat : 21215 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 140082 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21216] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21216/stat : 21216 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 140085 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21217] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21217/stat : 21217 (java) S 21204 21206 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832912233 10808086528 140089 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 0 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21218] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21218/stat : 21218 (java) S 21204 21206 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832912233 10808086528 140094 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21219] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21219/stat : 21219 (java) S 21204 21206 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912233 10808086528 140096 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21220] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21220/stat : 21220 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912235 10808086528 140099 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092055985 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21221] ppid=21204 vsize=10554772 CPUtime=0.55 cores=0,2,4,6
/proc/21206/task/21221/stat : 21221 (java) S 21204 21206 20277 0 -1 4202560 6144 0 0 0 54 1 0 0 21 0 19 0 832912235 10808086528 140102 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21222] ppid=21204 vsize=10554772 CPUtime=0.55 cores=0,2,4,6
/proc/21206/task/21222/stat : 21222 (java) S 21204 21206 20277 0 -1 4202560 4934 0 0 0 55 0 0 0 15 0 19 0 832912235 10808086528 140104 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 4 0 0 0
[pid=21206/tid=21223] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21223/stat : 21223 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912235 10808086528 140106 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21224] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21224/stat : 21224 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832912235 10808086528 140108 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 4 0 16800975 18446604444242205632 0 0 -1 4 0 0 0
[pid=21206/tid=21225] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21225/stat : 21225 (java) S 21204 21206 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912246 10808086528 140110 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 10554772
Solver just ended. Dumping a history of the last processes samples
[startup+1.70109 s]
/proc/loadavg: 1.04 1.05 1.00 2/494 21225
/proc/meminfo: memFree=26962388/32950928 swapFree=39617324/67111528
[pid=21206] ppid=21204 vsize=10554772 CPUtime=2.8 cores=0,2,4,6
/proc/21206/stat : 21206 (java) S 21204 21206 20277 0 -1 4202496 165542 0 1 0 260 20 0 0 25 0 19 0 832912229 10808086528 159818 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21206/statm: 2638693 159820 2224 9 0 2629427 0
[pid=21206/tid=21207] ppid=21204 vsize=10554772 CPUtime=1.68 cores=0,2,4,6
/proc/21206/task/21207/stat : 21207 (java) R 21204 21206 20277 0 -1 4202560 153306 0 1 0 150 18 0 0 18 0 19 0 832912230 10808086528 159821 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 46912505862052 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21206/tid=21209] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21209/stat : 21209 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 159821 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21210] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21210/stat : 21210 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 159822 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21211] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21211/stat : 21211 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 159823 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21212] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21212/stat : 21212 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 159823 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21213] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21213/stat : 21213 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 159824 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21214] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21214/stat : 21214 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 159825 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21215] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21215/stat : 21215 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 159825 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21216] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21216/stat : 21216 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 159826 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21217] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21217/stat : 21217 (java) S 21204 21206 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832912233 10808086528 159827 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 0 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21218] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21218/stat : 21218 (java) S 21204 21206 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832912233 10808086528 159827 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21219] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21219/stat : 21219 (java) S 21204 21206 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912233 10808086528 159828 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21220] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21220/stat : 21220 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912235 10808086528 159829 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092055985 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21221] ppid=21204 vsize=10554772 CPUtime=0.55 cores=0,2,4,6
/proc/21206/task/21221/stat : 21221 (java) S 21204 21206 20277 0 -1 4202560 6144 0 0 0 54 1 0 0 21 0 19 0 832912235 10808086528 159829 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21222] ppid=21204 vsize=10554772 CPUtime=0.55 cores=0,2,4,6
/proc/21206/task/21222/stat : 21222 (java) S 21204 21206 20277 0 -1 4202560 4934 0 0 0 55 0 0 0 15 0 19 0 832912235 10808086528 159830 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 4 0 0 0
[pid=21206/tid=21223] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21223/stat : 21223 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912235 10808086528 159831 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21224] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21224/stat : 21224 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832912235 10808086528 159831 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 4 0 16800975 18446604444242205632 0 0 -1 4 0 0 0
[pid=21206/tid=21225] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21225/stat : 21225 (java) S 21204 21206 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912246 10808086528 159833 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 10554772
[startup+2.50082 s]
/proc/loadavg: 1.04 1.05 1.00 2/494 21225
/proc/meminfo: memFree=26604400/32950928 swapFree=39617324/67111528
[pid=21206] ppid=21204 vsize=10554772 CPUtime=3.61 cores=0,2,4,6
/proc/21206/stat : 21206 (java) S 21204 21206 20277 0 -1 4202496 220253 0 1 0 335 26 0 0 25 0 19 0 832912229 10808086528 214528 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21206/statm: 2638693 214529 2224 9 0 2629427 0
[pid=21206/tid=21207] ppid=21204 vsize=10554772 CPUtime=2.48 cores=0,2,4,6
/proc/21206/task/21207/stat : 21207 (java) R 21204 21206 20277 0 -1 4202560 208017 0 1 0 224 24 0 0 19 0 19 0 832912230 10808086528 214531 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 46912505604048 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21206/tid=21209] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21209/stat : 21209 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 214531 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21210] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21210/stat : 21210 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 214531 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21211] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21211/stat : 21211 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 214531 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21212] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21212/stat : 21212 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 214532 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21213] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21213/stat : 21213 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 214534 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21214] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21214/stat : 21214 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 214534 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21215] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21215/stat : 21215 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 214534 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21216] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21216/stat : 21216 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 214534 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21217] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21217/stat : 21217 (java) S 21204 21206 20277 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 832912233 10808086528 214536 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 0 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21218] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21218/stat : 21218 (java) S 21204 21206 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832912233 10808086528 214536 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21219] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21219/stat : 21219 (java) S 21204 21206 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912233 10808086528 214536 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21220] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21220/stat : 21220 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912235 10808086528 214536 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092055985 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21221] ppid=21204 vsize=10554772 CPUtime=0.55 cores=0,2,4,6
/proc/21206/task/21221/stat : 21221 (java) S 21204 21206 20277 0 -1 4202560 6144 0 0 0 54 1 0 0 21 0 19 0 832912235 10808086528 214537 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21222] ppid=21204 vsize=10554772 CPUtime=0.55 cores=0,2,4,6
/proc/21206/task/21222/stat : 21222 (java) S 21204 21206 20277 0 -1 4202560 4934 0 0 0 55 0 0 0 15 0 19 0 832912235 10808086528 214539 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 4 0 0 0
[pid=21206/tid=21223] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21223/stat : 21223 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912235 10808086528 214539 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21224] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21224/stat : 21224 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832912235 10808086528 214539 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 4 0 16800975 18446604444242205632 0 0 -1 4 0 0 0
[pid=21206/tid=21225] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21225/stat : 21225 (java) S 21204 21206 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912246 10808086528 214539 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 10554772
[startup+2.70082 s]
/proc/loadavg: 1.04 1.05 1.00 2/494 21225
/proc/meminfo: memFree=26604400/32950928 swapFree=39617324/67111528
[pid=21206] ppid=21204 vsize=10554772 CPUtime=3.81 cores=0,2,4,6
/proc/21206/stat : 21206 (java) S 21204 21206 20277 0 -1 4202496 233272 0 1 0 353 28 0 0 25 0 19 0 832912229 10808086528 227547 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21206/statm: 2638693 227550 2224 9 0 2629427 0
[pid=21206/tid=21207] ppid=21204 vsize=10554772 CPUtime=2.68 cores=0,2,4,6
/proc/21206/task/21207/stat : 21207 (java) R 21204 21206 20277 0 -1 4202560 221041 0 1 0 242 26 0 0 20 0 19 0 832912230 10808086528 227556 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 46912505552618 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21206/tid=21209] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21209/stat : 21209 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 227563 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21210] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21210/stat : 21210 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 227567 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21211] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21211/stat : 21211 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 227568 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21212] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21212/stat : 21212 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 227572 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21213] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21213/stat : 21213 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 227579 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21214] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21214/stat : 21214 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 227586 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21215] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21215/stat : 21215 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 227588 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21216] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21216/stat : 21216 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912232 10808086528 227588 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21217] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21217/stat : 21217 (java) S 21204 21206 20277 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 832912233 10808086528 227594 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 0 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21218] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21218/stat : 21218 (java) S 21204 21206 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832912233 10808086528 227601 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21219] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21219/stat : 21219 (java) S 21204 21206 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912233 10808086528 227607 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21220] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21220/stat : 21220 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912235 10808086528 227608 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092055985 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21221] ppid=21204 vsize=10554772 CPUtime=0.55 cores=0,2,4,6
/proc/21206/task/21221/stat : 21221 (java) S 21204 21206 20277 0 -1 4202560 6144 0 0 0 54 1 0 0 18 0 19 0 832912235 10808086528 227610 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21222] ppid=21204 vsize=10554772 CPUtime=0.56 cores=0,2,4,6
/proc/21206/task/21222/stat : 21222 (java) S 21204 21206 20277 0 -1 4202560 4935 0 0 0 56 0 0 0 15 0 19 0 832912235 10808086528 227617 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 4 0 0 0
[pid=21206/tid=21223] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21223/stat : 21223 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912235 10808086528 227624 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048281 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
[pid=21206/tid=21224] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21224/stat : 21224 (java) S 21204 21206 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832912235 10808086528 227627 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 4 0 16800975 18446604444242205632 0 0 -1 4 0 0 0
[pid=21206/tid=21225] ppid=21204 vsize=10554772 CPUtime=0 cores=0,2,4,6
/proc/21206/task/21225/stat : 21225 (java) S 21204 21206 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912246 10808086528 227627 33554432000 1073741824 1073778376 140733849009312 18446744073709551615 208092048896 0 4 0 16800975 18446604444242205632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 10554772
Child status: 20
Real time (s): 2.78261
CPU time (s): 3.89841
CPU user time (s): 3.56746
CPU system time (s): 0.330949
CPU usage (%): 140.099
Max. virtual memory (cumulated for all children) (KiB): 10554772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.56746
system time used= 0.330949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238478
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= 295
involuntary context switches= 40
runsolver used 0.020996 second user time and 0.033994 second system time
The end