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-3456084-1307662493/watcher-3456084-1307662493 -o /tmp/evaluation-result-3456084-1307662493/solver-3456084-1307662493 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456084-1307662493.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.47 1.85 1.95 2/195 8258
/proc/meminfo: memFree=31210904/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 1244 0 0 0 0 0 0 0 25 0 2 0 956480066 31268864 963 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 7634 963 736 9 0 385 0
[pid=8258/tid=8259] ppid=8256 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 138 0 0 0 0 0 0 0 25 0 2 0 956480067 32362496 971 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 46912498560759 0 0 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0580129 s]
/proc/loadavg: 1.47 1.85 1.95 2/195 8258
/proc/meminfo: memFree=31210904/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 11658 0 1 0 3 2 0 0 25 0 18 0 956480066 10724274176 11355 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2618231 11356 1733 9 0 2608972 0
[pid=8258/tid=8259] ppid=8256 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 10485 0 1 0 3 1 0 0 25 0 18 0 956480067 10724274176 11356 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 47924740784899 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.101006 s]
/proc/loadavg: 1.47 1.85 1.95 2/195 8258
/proc/meminfo: memFree=31210904/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10540252 CPUtime=0.11 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 13152 0 1 0 9 2 0 0 25 0 18 0 956480066 10793218048 12793 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2635063 12793 2093 9 0 2625797 0
[pid=8258/tid=8259] ppid=8256 vsize=10540252 CPUtime=0.09 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 11217 0 1 0 7 2 0 0 25 0 18 0 956480067 10793218048 12793 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 47924743845400 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540252
[startup+0.305995 s]
/proc/loadavg: 1.47 1.85 1.95 2/195 8258
/proc/meminfo: memFree=31210904/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10546672 CPUtime=0.55 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 19877 0 1 0 52 3 0 0 25 0 19 0 956480066 10799792128 18476 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2636668 18487 2193 9 0 2627402 0
[pid=8258/tid=8259] ppid=8256 vsize=10546832 CPUtime=0.29 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 14111 0 1 0 27 2 0 0 25 0 19 0 956480067 10799955968 18493 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 46912505547226 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10546672
[startup+0.700903 s]
/proc/loadavg: 1.47 1.85 1.95 2/195 8258
/proc/meminfo: memFree=31210904/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10556976 CPUtime=1.72 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 48082 0 1 0 166 6 0 0 25 0 19 0 956480066 10810343424 39087 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2639244 39089 2217 9 0 2629978 0
[pid=8258/tid=8259] ppid=8256 vsize=10556976 CPUtime=0.68 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 31006 0 1 0 64 4 0 0 25 0 19 0 956480067 10810343424 39090 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 46912505801231 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10556976
[startup+1.50076 s]
/proc/loadavg: 1.47 1.85 1.95 3/214 8277
/proc/meminfo: memFree=30536168/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10556976 CPUtime=2.82 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 128814 0 1 0 267 15 0 0 25 0 19 0 956480066 10810343424 119817 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2639244 119821 2222 9 0 2629978 0
[pid=8258/tid=8259] ppid=8256 vsize=10556976 CPUtime=1.48 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 111705 0 1 0 135 13 0 0 25 0 19 0 956480067 10810343424 119823 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 46912505523786 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8258/tid=8261] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8261/stat : 8261 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 119826 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8262] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8262/stat : 8262 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 119828 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8263] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8263/stat : 8263 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 119831 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8264] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8264/stat : 8264 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 119833 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8265] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8265/stat : 8265 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 119835 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8266] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8266/stat : 8266 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 119838 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8267] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8267/stat : 8267 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 119840 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8268] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8268/stat : 8268 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 119842 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8269] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8269/stat : 8269 (java) S 8256 8258 4604 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 956480069 10810343424 119844 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 0 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8270] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8270/stat : 8270 (java) S 8256 8258 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956480070 10810343424 119847 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8271] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8271/stat : 8271 (java) S 8256 8258 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956480070 10810343424 119849 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8272] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8272/stat : 8272 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 119851 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000416177 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8273] ppid=8256 vsize=10556976 CPUtime=0.71 cores=1,3,5,7
/proc/8258/task/8273/stat : 8273 (java) R 8256 8258 4604 0 -1 4202560 10701 0 0 0 71 0 0 0 20 0 19 0 956480072 10810343424 119853 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 47924741093205 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8258/tid=8274] ppid=8256 vsize=10556976 CPUtime=0.59 cores=1,3,5,7
/proc/8258/task/8274/stat : 8274 (java) R 8256 8258 4604 0 -1 4202560 5253 0 0 0 59 0 0 0 15 0 19 0 956480072 10810343424 119856 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 47924741632499 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8258/tid=8275] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8275/stat : 8275 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 119858 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8276] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8276/stat : 8276 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956480072 10810343424 119860 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8277] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8277/stat : 8277 (java) S 8256 8258 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956480081 10810343424 119861 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10556976
[startup+3.10149 s]
/proc/loadavg: 1.47 1.85 1.95 3/214 8277
/proc/meminfo: memFree=29683544/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10556976 CPUtime=4.59 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 285900 0 1 0 425 34 0 0 25 0 19 0 956480066 10810343424 276079 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2639244 276083 2222 9 0 2629978 0
[pid=8258/tid=8259] ppid=8256 vsize=10556976 CPUtime=3.09 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 267943 0 1 0 277 32 0 0 25 0 19 0 956480067 10810343424 276084 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 46912505523775 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8258/tid=8261] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8261/stat : 8261 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 276087 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8262] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8262/stat : 8262 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 276089 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8263] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8263/stat : 8263 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 276091 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8264] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8264/stat : 8264 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 276093 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8265] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8265/stat : 8265 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 276095 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8266] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8266/stat : 8266 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 276098 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8267] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8267/stat : 8267 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 276100 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8268] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8268/stat : 8268 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 276102 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8269] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8269/stat : 8269 (java) S 8256 8258 4604 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 956480069 10810343424 276104 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 0 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8270] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8270/stat : 8270 (java) S 8256 8258 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956480070 10810343424 276106 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8271] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8271/stat : 8271 (java) S 8256 8258 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956480070 10810343424 276109 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8272] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8272/stat : 8272 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 276111 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000416177 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8273] ppid=8256 vsize=10556976 CPUtime=0.81 cores=1,3,5,7
/proc/8258/task/8273/stat : 8273 (java) S 8256 8258 4604 0 -1 4202560 11536 0 0 0 81 0 0 0 15 0 19 0 956480072 10810343424 276113 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8274] ppid=8256 vsize=10556976 CPUtime=0.67 cores=1,3,5,7
/proc/8258/task/8274/stat : 8274 (java) S 8256 8258 4604 0 -1 4202560 5265 0 0 0 67 0 0 0 15 0 19 0 956480072 10810343424 276115 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8275] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8275/stat : 8275 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 276118 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8276] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8276/stat : 8276 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956480072 10810343424 276120 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8277] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8277/stat : 8277 (java) S 8256 8258 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956480081 10810343424 276122 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 10556976
[startup+6.30092 s]
/proc/loadavg: 1.51 1.85 1.95 3/214 8278
/proc/meminfo: memFree=28033328/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10556976 CPUtime=7.8 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 576790 0 1 0 715 65 0 0 25 0 19 0 956480066 10810343424 566902 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2639244 566904 2222 9 0 2629978 0
[pid=8258/tid=8259] ppid=8256 vsize=10556976 CPUtime=6.29 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 558831 0 1 0 566 63 0 0 25 0 19 0 956480067 10810343424 566905 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 46912505565531 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8258/tid=8261] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8261/stat : 8261 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 566907 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8262] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8262/stat : 8262 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 566908 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8263] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8263/stat : 8263 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 566909 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8264] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8264/stat : 8264 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 566909 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8265] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8265/stat : 8265 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 566913 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8266] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8266/stat : 8266 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 566914 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8267] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8267/stat : 8267 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 566916 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8268] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8268/stat : 8268 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480068 10810343424 566918 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8269] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8269/stat : 8269 (java) S 8256 8258 4604 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 956480069 10810343424 566920 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 0 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8270] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8270/stat : 8270 (java) S 8256 8258 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956480070 10810343424 566922 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8271] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8271/stat : 8271 (java) S 8256 8258 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956480070 10810343424 566924 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8272] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8272/stat : 8272 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 566926 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000416177 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8273] ppid=8256 vsize=10556976 CPUtime=0.82 cores=1,3,5,7
/proc/8258/task/8273/stat : 8273 (java) S 8256 8258 4604 0 -1 4202560 11536 0 0 0 82 0 0 0 15 0 19 0 956480072 10810343424 566928 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8274] ppid=8256 vsize=10556976 CPUtime=0.67 cores=1,3,5,7
/proc/8258/task/8274/stat : 8274 (java) S 8256 8258 4604 0 -1 4202560 5265 0 0 0 67 0 0 0 15 0 19 0 956480072 10810343424 566930 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/8258/task/8270/stat : 8270 (java) S 8256 8258 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956480070 10810343424 931146 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8271] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8271/stat : 8271 (java) S 8256 8258 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956480070 10810343424 931146 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8272] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8272/stat : 8272 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 931146 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000416177 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8273] ppid=8256 vsize=10556976 CPUtime=0.98 cores=1,3,5,7
/proc/8258/task/8273/stat : 8273 (java) S 8256 8258 4604 0 -1 4202560 11562 0 0 0 98 0 0 0 15 0 19 0 956480072 10810343424 931146 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
[pid=8258/tid=8274] ppid=8256 vsize=10556976 CPUtime=0.75 cores=1,3,5,7
/proc/8258/task/8274/stat : 8274 (java) S 8256 8258 4604 0 -1 4202560 5272 0 0 0 75 0 0 0 15 0 19 0 956480072 10810343424 931146 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8275] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8275/stat : 8275 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 931146 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8276] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8276/stat : 8276 (java) S 8256 8258 4604 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 956480072 10810343424 931146 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8277] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8277/stat : 8277 (java) S 8256 8258 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956480081 10810343424 931146 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.64
Current children cumulated vsize (KiB) 10556976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/214 8335
/proc/meminfo: memFree=25192704/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10556976 CPUtime=1728.84 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 943607 0 1 0 172778 106 0 0 25 0 19 0 956480066 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2639244 932268 2258 9 0 2629978 0
[pid=8258/tid=8259] ppid=8256 vsize=10556976 CPUtime=1719.46 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 832856 0 1 0 171856 90 0 0 25 0 19 0 956480067 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 46912505796134 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8258/tid=8261] ppid=8256 vsize=10556976 CPUtime=0.8 cores=1,3,5,7
/proc/8258/task/8261/stat : 8261 (java) S 8256 8258 4604 0 -1 4202560 9151 0 0 0 79 1 0 0 15 0 19 0 956480068 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8262] ppid=8256 vsize=10556976 CPUtime=0.74 cores=1,3,5,7
/proc/8258/task/8262/stat : 8262 (java) S 8256 8258 4604 0 -1 4202560 8645 0 0 0 73 1 0 0 16 0 19 0 956480068 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8263] ppid=8256 vsize=10556976 CPUtime=0.75 cores=1,3,5,7
/proc/8258/task/8263/stat : 8263 (java) S 8256 8258 4604 0 -1 4202560 8621 0 0 0 74 1 0 0 15 0 19 0 956480068 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8264] ppid=8256 vsize=10556976 CPUtime=0.83 cores=1,3,5,7
/proc/8258/task/8264/stat : 8264 (java) S 8256 8258 4604 0 -1 4202560 11313 0 0 0 82 1 0 0 16 0 19 0 956480068 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8265] ppid=8256 vsize=10556976 CPUtime=0.87 cores=1,3,5,7
/proc/8258/task/8265/stat : 8265 (java) S 8256 8258 4604 0 -1 4202560 11759 0 0 0 86 1 0 0 16 0 19 0 956480068 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8266] ppid=8256 vsize=10556976 CPUtime=0.82 cores=1,3,5,7
/proc/8258/task/8266/stat : 8266 (java) S 8256 8258 4604 0 -1 4202560 10677 0 0 0 81 1 0 0 16 0 19 0 956480068 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
[pid=8258/tid=8267] ppid=8256 vsize=10556976 CPUtime=0.84 cores=1,3,5,7
/proc/8258/task/8267/stat : 8267 (java) S 8256 8258 4604 0 -1 4202560 10058 0 0 0 83 1 0 0 15 0 19 0 956480068 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8268] ppid=8256 vsize=10556976 CPUtime=0.76 cores=1,3,5,7
/proc/8258/task/8268/stat : 8268 (java) S 8256 8258 4604 0 -1 4202560 11670 0 0 0 75 1 0 0 15 0 19 0 956480068 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8269] ppid=8256 vsize=10556976 CPUtime=1.1 cores=1,3,5,7
/proc/8258/task/8269/stat : 8269 (java) S 8256 8258 4604 0 -1 4202560 10775 0 0 0 110 0 0 0 15 0 19 0 956480069 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 0 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8270] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8270/stat : 8270 (java) S 8256 8258 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956480070 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8271] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8271/stat : 8271 (java) S 8256 8258 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956480070 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8272] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8272/stat : 8272 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000416177 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8273] ppid=8256 vsize=10556976 CPUtime=0.98 cores=1,3,5,7
/proc/8258/task/8273/stat : 8273 (java) S 8256 8258 4604 0 -1 4202560 11562 0 0 0 98 0 0 0 15 0 19 0 956480072 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
[pid=8258/tid=8274] ppid=8256 vsize=10556976 CPUtime=0.75 cores=1,3,5,7
/proc/8258/task/8274/stat : 8274 (java) S 8256 8258 4604 0 -1 4202560 5272 0 0 0 75 0 0 0 15 0 19 0 956480072 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8275] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8275/stat : 8275 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8276] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8276/stat : 8276 (java) S 8256 8258 4604 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 956480072 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8277] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8277/stat : 8277 (java) S 8256 8258 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956480081 10810343424 932268 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.84
Current children cumulated vsize (KiB) 10556976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/214 8337
/proc/meminfo: memFree=25182112/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10556976 CPUtime=1789.08 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 945572 0 1 0 178802 106 0 0 25 0 19 0 956480066 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2639244 934201 2258 9 0 2629978 0
[pid=8258/tid=8259] ppid=8256 vsize=10556976 CPUtime=1778.97 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 832861 0 1 0 177807 90 0 0 25 0 19 0 956480067 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 46912505796134 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8258/tid=8261] ppid=8256 vsize=10556976 CPUtime=0.82 cores=1,3,5,7
/proc/8258/task/8261/stat : 8261 (java) S 8256 8258 4604 0 -1 4202560 9188 0 0 0 81 1 0 0 16 0 19 0 956480068 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8262] ppid=8256 vsize=10556976 CPUtime=0.79 cores=1,3,5,7
/proc/8258/task/8262/stat : 8262 (java) S 8256 8258 4604 0 -1 4202560 8831 0 0 0 78 1 0 0 15 0 19 0 956480068 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8263] ppid=8256 vsize=10556976 CPUtime=0.78 cores=1,3,5,7
/proc/8258/task/8263/stat : 8263 (java) S 8256 8258 4604 0 -1 4202560 8669 0 0 0 77 1 0 0 15 0 19 0 956480068 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8264] ppid=8256 vsize=10556976 CPUtime=0.88 cores=1,3,5,7
/proc/8258/task/8264/stat : 8264 (java) S 8256 8258 4604 0 -1 4202560 11506 0 0 0 87 1 0 0 16 0 19 0 956480068 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8265] ppid=8256 vsize=10556976 CPUtime=0.9 cores=1,3,5,7
/proc/8258/task/8265/stat : 8265 (java) S 8256 8258 4604 0 -1 4202560 11835 0 0 0 89 1 0 0 15 0 19 0 956480068 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
[pid=8258/tid=8266] ppid=8256 vsize=10556976 CPUtime=0.87 cores=1,3,5,7
/proc/8258/task/8266/stat : 8266 (java) S 8256 8258 4604 0 -1 4202560 10799 0 0 0 86 1 0 0 16 0 19 0 956480068 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8267] ppid=8256 vsize=10556976 CPUtime=0.89 cores=1,3,5,7
/proc/8258/task/8267/stat : 8267 (java) S 8256 8258 4604 0 -1 4202560 10209 0 0 0 88 1 0 0 15 0 19 0 956480068 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8268] ppid=8256 vsize=10556976 CPUtime=0.8 cores=1,3,5,7
/proc/8258/task/8268/stat : 8268 (java) S 8256 8258 4604 0 -1 4202560 11834 0 0 0 79 1 0 0 16 0 19 0 956480068 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
[pid=8258/tid=8269] ppid=8256 vsize=10556976 CPUtime=1.5 cores=1,3,5,7
/proc/8258/task/8269/stat : 8269 (java) S 8256 8258 4604 0 -1 4202560 11754 0 0 0 150 0 0 0 15 0 19 0 956480069 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 0 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8270] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8270/stat : 8270 (java) S 8256 8258 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956480070 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8271] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8271/stat : 8271 (java) S 8256 8258 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956480070 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8272] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8272/stat : 8272 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000416177 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8273] ppid=8256 vsize=10556976 CPUtime=0.98 cores=1,3,5,7
/proc/8258/task/8273/stat : 8273 (java) S 8256 8258 4604 0 -1 4202560 11562 0 0 0 98 0 0 0 15 0 19 0 956480072 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
[pid=8258/tid=8274] ppid=8256 vsize=10556976 CPUtime=0.75 cores=1,3,5,7
/proc/8258/task/8274/stat : 8274 (java) S 8256 8258 4604 0 -1 4202560 5272 0 0 0 75 0 0 0 15 0 19 0 956480072 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8275] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8275/stat : 8275 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8276] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8276/stat : 8276 (java) S 8256 8258 4604 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 956480072 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8277] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8277/stat : 8277 (java) S 8256 8258 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956480081 10810343424 934201 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.08
Current children cumulated vsize (KiB) 10556976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/214 8396
/proc/meminfo: memFree=28615352/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=10556976 CPUtime=1800.03 cores=1,3,5,7
/proc/8258/stat : 8258 (java) S 8256 8258 4604 0 -1 4202496 945872 0 1 0 179897 106 0 0 25 0 19 0 956480066 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 2639244 934487 2258 9 0 2629978 0
[pid=8258/tid=8259] ppid=8256 vsize=10556976 CPUtime=1789.86 cores=1,3,5,7
/proc/8258/task/8259/stat : 8259 (java) R 8256 8258 4604 0 -1 4202560 832862 0 1 0 178896 90 0 0 25 0 19 0 956480067 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 46912506046812 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8258/tid=8261] ppid=8256 vsize=10556976 CPUtime=0.84 cores=1,3,5,7
/proc/8258/task/8261/stat : 8261 (java) S 8256 8258 4604 0 -1 4202560 9314 0 0 0 83 1 0 0 16 0 19 0 956480068 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8262] ppid=8256 vsize=10556976 CPUtime=0.8 cores=1,3,5,7
/proc/8258/task/8262/stat : 8262 (java) S 8256 8258 4604 0 -1 4202560 8883 0 0 0 79 1 0 0 16 0 19 0 956480068 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8263] ppid=8256 vsize=10556976 CPUtime=0.79 cores=1,3,5,7
/proc/8258/task/8263/stat : 8263 (java) S 8256 8258 4604 0 -1 4202560 8694 0 0 0 78 1 0 0 16 0 19 0 956480068 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8264] ppid=8256 vsize=10556976 CPUtime=0.89 cores=1,3,5,7
/proc/8258/task/8264/stat : 8264 (java) S 8256 8258 4604 0 -1 4202560 11599 0 0 0 88 1 0 0 16 0 19 0 956480068 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8265] ppid=8256 vsize=10556976 CPUtime=0.92 cores=1,3,5,7
/proc/8258/task/8265/stat : 8265 (java) S 8256 8258 4604 0 -1 4202560 11836 0 0 0 91 1 0 0 16 0 19 0 956480068 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
[pid=8258/tid=8266] ppid=8256 vsize=10556976 CPUtime=0.87 cores=1,3,5,7
/proc/8258/task/8266/stat : 8266 (java) S 8256 8258 4604 0 -1 4202560 10799 0 0 0 86 1 0 0 15 0 19 0 956480068 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8267] ppid=8256 vsize=10556976 CPUtime=0.89 cores=1,3,5,7
/proc/8258/task/8267/stat : 8267 (java) S 8256 8258 4604 0 -1 4202560 10209 0 0 0 88 1 0 0 15 0 19 0 956480068 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8268] ppid=8256 vsize=10556976 CPUtime=0.8 cores=1,3,5,7
/proc/8258/task/8268/stat : 8268 (java) S 8256 8258 4604 0 -1 4202560 11834 0 0 0 79 1 0 0 15 0 19 0 956480068 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
[pid=8258/tid=8269] ppid=8256 vsize=10556976 CPUtime=1.5 cores=1,3,5,7
/proc/8258/task/8269/stat : 8269 (java) S 8256 8258 4604 0 -1 4202560 11756 0 0 0 150 0 0 0 15 0 19 0 956480069 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 0 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8270] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8270/stat : 8270 (java) S 8256 8258 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956480070 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8271] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8271/stat : 8271 (java) S 8256 8258 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956480070 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8272] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8272/stat : 8272 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000416177 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8273] ppid=8256 vsize=10556976 CPUtime=0.98 cores=1,3,5,7
/proc/8258/task/8273/stat : 8273 (java) S 8256 8258 4604 0 -1 4202560 11562 0 0 0 98 0 0 0 15 0 19 0 956480072 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
[pid=8258/tid=8274] ppid=8256 vsize=10556976 CPUtime=0.75 cores=1,3,5,7
/proc/8258/task/8274/stat : 8274 (java) S 8256 8258 4604 0 -1 4202560 5272 0 0 0 75 0 0 0 15 0 19 0 956480072 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 3 0 0 0
[pid=8258/tid=8275] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8275/stat : 8275 (java) S 8256 8258 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956480072 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000408473 0 4 0 16800975 18446604465528675072 0 0 -1 1 0 0 0
[pid=8258/tid=8276] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8276/stat : 8276 (java) S 8256 8258 4604 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 956480072 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 5 0 0 0
[pid=8258/tid=8277] ppid=8256 vsize=10556976 CPUtime=0 cores=1,3,5,7
/proc/8258/task/8277/stat : 8277 (java) S 8256 8258 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956480081 10810343424 934487 33554432000 1073741824 1073778376 140736231920832 18446744073709551615 216000409088 0 4 0 16800975 18446604465528675072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10556976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/214 8396
/proc/meminfo: memFree=28615352/32950940 swapFree=67074964/67111528
[pid=8258] ppid=8256 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/8258/stat : 8258 (java) Z 8256 8258 4604 0 -1 4203548 945912 0 1 0 179904 112 0 0 17 0 2 0 956480066 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8258/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.37
CPU time (s): 1800.23
CPU user time (s): 1799.04
CPU system time (s): 1.18682
CPU usage (%): 100.382
Max. virtual memory (cumulated for all children) (KiB): 10557820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.18682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 945912
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= 40463
involuntary context switches= 19241
runsolver used 3.05054 second user time and 6.75197 second system time
The end