runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4118103-1467220988/watcher-4118103-1467220988 -o /tmp/evaluation-result-4118103-1467220988/solver-4118103-1467220988 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5283 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118103-1467220988.opb
pid=9536
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.29 4.25 3.93 5/197 9539
/proc/meminfo: memFree=26772916/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 3050035 98570240 977 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 24065 977 743 9 0 16771 0
[pid=9539/tid=9540] ppid=9536 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) R 9536 9539 5267 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 3050036 98570240 977 33554432000 1073741824 1073778376 140734187046736 140513979711016 239873115520 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 4.29 4.25 3.93 5/197 9539
/proc/meminfo: memFree=26772916/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 4418 0 1 0 9 1 0 0 20 0 18 0 3050035 9787879424 6046 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2389619 6046 2126 9 0 2380296 0
[pid=9539/tid=9540] ppid=9536 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) R 9536 9539 5267 0 -1 4202560 2389 0 1 0 7 0 0 0 20 0 18 0 3050036 9787879424 6046 33554432000 1073741824 1073778376 140734187046736 140513979714464 239876488248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200256 s]
/proc/loadavg: 4.29 4.25 3.93 5/197 9539
/proc/meminfo: memFree=26772916/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 4671 0 1 0 23 1 0 0 20 0 18 0 3050035 9787879424 7281 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2389619 7281 2211 9 0 2380296 0
[pid=9539/tid=9540] ppid=9536 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) R 9536 9539 5267 0 -1 4202560 2410 0 1 0 17 0 0 0 20 0 18 0 3050036 9787879424 7281 33554432000 1073741824 1073778376 140734187046736 140513979706136 140513831386919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300255 s]
/proc/loadavg: 4.29 4.25 3.93 5/197 9539
/proc/meminfo: memFree=26772916/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 5594 0 1 0 46 1 0 0 20 0 18 0 3050035 9787879424 8849 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2389619 8849 2238 9 0 2380296 0
[pid=9539/tid=9540] ppid=9536 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) R 9536 9539 5267 0 -1 4202560 2415 0 1 0 26 1 0 0 20 0 18 0 3050036 9787879424 8847 33554432000 1073741824 1073778376 140734187046736 140513979706136 140513831412611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700207 s]
/proc/loadavg: 4.29 4.25 3.93 5/197 9539
/proc/meminfo: memFree=26772916/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9558476 CPUtime=1.63 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 31944 0 1 0 157 6 0 0 20 0 18 0 3050035 9787879424 34285 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2389619 34285 2254 9 0 2380296 0
[pid=9539/tid=9540] ppid=9536 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) R 9536 9539 5267 0 -1 4202560 2434 0 1 0 65 2 0 0 20 0 18 0 3050036 9787879424 34285 33554432000 1073741824 1073778376 140734187046736 140513979707168 140513987143842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476
[startup+1.50072 s]
/proc/loadavg: 4.43 4.28 3.94 7/215 9557
/proc/meminfo: memFree=26563972/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9558476 CPUtime=4.09 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 40308 0 1 0 396 13 0 0 20 0 18 0 3050035 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2389619 72503 2273 9 0 2380296 0
[pid=9539/tid=9540] ppid=9536 vsize=9558476 CPUtime=1.37 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) R 9536 9539 5267 0 -1 4202560 2486 0 1 0 134 3 0 0 20 0 18 0 3050036 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513979707120 140513831788995 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9542] ppid=9536 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9539/task/9542/stat : 9542 (java) S 9536 9539 5267 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 3050036 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513952168616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9543] ppid=9536 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/9539/task/9543/stat : 9543 (java) S 9536 9539 5267 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 3050036 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513951116072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9544] ppid=9536 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9539/task/9544/stat : 9544 (java) S 9536 9539 5267 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 3050036 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513950063528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9545] ppid=9536 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9539/task/9545/stat : 9545 (java) S 9536 9539 5267 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 3050036 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513820322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9546] ppid=9536 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9539/task/9546/stat : 9546 (java) S 9536 9539 5267 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 3050036 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513819269288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9547] ppid=9536 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/9539/task/9547/stat : 9547 (java) S 9536 9539 5267 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 3050036 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513818216744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9548] ppid=9536 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9539/task/9548/stat : 9548 (java) S 9536 9539 5267 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 3050036 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513817164200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9549] ppid=9536 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9539/task/9549/stat : 9549 (java) S 9536 9539 5267 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 3050036 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513816111656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9550] ppid=9536 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9550/stat : 9550 (java) S 9536 9539 5267 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 3050037 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513333598824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9551] ppid=9536 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9551/stat : 9551 (java) S 9536 9539 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 3050038 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513332545144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9552] ppid=9536 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9552/stat : 9552 (java) S 9536 9539 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 3050038 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513331492488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9553] ppid=9536 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9553/stat : 9553 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3050040 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513330441232 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9554] ppid=9536 vsize=9558476 CPUtime=1.21 cores=0,2,4,6
/proc/9539/task/9554/stat : 9554 (java) R 9536 9539 5267 0 -1 4202560 19698 0 0 0 118 3 0 0 20 0 18 0 3050040 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513329365688 140513986051365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9555] ppid=9536 vsize=9558476 CPUtime=1.19 cores=0,2,4,6
/proc/9539/task/9555/stat : 9555 (java) R 9536 9539 5267 0 -1 4202560 16688 0 0 0 116 3 0 0 20 0 18 0 3050040 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513328322560 140513982187552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9556] ppid=9536 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9556/stat : 9556 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3050040 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513327282680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9557] ppid=9536 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9557/stat : 9557 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3050040 9787879424 72503 33554432000 1073741824 1073778376 140734187046736 140513326230344 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9558476
[startup+3.10081 s]
/proc/loadavg: 4.43 4.28 3.94 11/217 9559
/proc/meminfo: memFree=26223548/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9824732 CPUtime=7.72 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 41565 0 1 0 731 41 0 0 20 0 19 0 3050035 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2456183 147562 2282 9 0 2446860 0
[pid=9539/tid=9540] ppid=9536 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) S 9536 9539 5267 0 -1 4202560 2542 0 1 0 204 5 0 0 20 0 19 0 3050036 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513979716472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9542] ppid=9536 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/9539/task/9542/stat : 9542 (java) S 9536 9539 5267 0 -1 4202560 91 0 0 0 8 2 0 0 20 0 19 0 3050036 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513952168616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9543] ppid=9536 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/9539/task/9543/stat : 9543 (java) S 9536 9539 5267 0 -1 4202560 185 0 0 0 14 4 0 0 20 0 19 0 3050036 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513951116072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9544] ppid=9536 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/9539/task/9544/stat : 9544 (java) S 9536 9539 5267 0 -1 4202560 94 0 0 0 19 5 0 0 20 0 19 0 3050036 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513950063528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9545] ppid=9536 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/9539/task/9545/stat : 9545 (java) S 9536 9539 5267 0 -1 4202560 79 0 0 0 16 4 0 0 20 0 19 0 3050036 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513820322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9546] ppid=9536 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/9539/task/9546/stat : 9546 (java) S 9536 9539 5267 0 -1 4202560 134 0 0 0 6 1 0 0 20 0 19 0 3050036 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513819269288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9547] ppid=9536 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/9539/task/9547/stat : 9547 (java) S 9536 9539 5267 0 -1 4202560 260 0 0 0 14 4 0 0 20 0 19 0 3050036 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513818216744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9548] ppid=9536 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/9539/task/9548/stat : 9548 (java) S 9536 9539 5267 0 -1 4202560 100 0 0 0 11 3 0 0 20 0 19 0 3050036 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513817164200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9549] ppid=9536 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/9539/task/9549/stat : 9549 (java) S 9536 9539 5267 0 -1 4202560 158 0 0 0 9 3 0 0 20 0 19 0 3050036 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513816111656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9550] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9550/stat : 9550 (java) S 9536 9539 5267 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 3050037 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513333598824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9551] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9551/stat : 9551 (java) S 9536 9539 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3050038 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513332545144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9552] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9552/stat : 9552 (java) S 9536 9539 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3050038 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513331492488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9553] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9553/stat : 9553 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3050040 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513330441232 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9554] ppid=9536 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/9539/task/9554/stat : 9554 (java) S 9536 9539 5267 0 -1 4202560 19704 0 0 0 164 4 0 0 20 0 19 0 3050040 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513329387576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9555] ppid=9536 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/9539/task/9555/stat : 9555 (java) S 9536 9539 5267 0 -1 4202560 16690 0 0 0 156 3 0 0 20 0 19 0 3050040 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513328335032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9556] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9556/stat : 9556 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3050040 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513327282680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9557] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9557/stat : 9557 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3050040 10060525568 147562 33554432000 1073741824 1073778376 140734187046736 140513326230344 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 9824732
[startup+6.30082 s]
/proc/loadavg: 4.43 4.28 3.94 3/216 9570
/proc/meminfo: memFree=26105452/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9824732 CPUtime=10.75 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 42290 0 1 0 1018 57 0 0 20 0 19 0 3050035 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2456183 190600 2292 9 0 2446860 0
[pid=9539/tid=9540] ppid=9536 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) S 9536 9539 5267 0 -1 4202560 2739 0 1 0 277 5 0 0 20 0 19 0 3050036 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513979716472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9542] ppid=9536 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/9539/task/9542/stat : 9542 (java) S 9536 9539 5267 0 -1 4202560 122 0 0 0 13 3 0 0 20 0 19 0 3050036 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513952168616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9543] ppid=9536 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/9539/task/9543/stat : 9543 (java) S 9536 9539 5267 0 -1 4202560 205 0 0 0 19 5 0 0 20 0 19 0 3050036 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513951116072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9544] ppid=9536 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/9539/task/9544/stat : 9544 (java) S 9536 9539 5267 0 -1 4202560 114 0 0 0 22 6 0 0 20 0 19 0 3050036 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513950063528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9545] ppid=9536 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/9539/task/9545/stat : 9545 (java) S 9536 9539 5267 0 -1 4202560 108 0 0 0 20 6 0 0 20 0 19 0 3050036 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513820322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9546] ppid=9536 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/9539/task/9546/stat : 9546 (java) S 9536 9539 5267 0 -1 4202560 145 0 0 0 9 2 0 0 20 0 19 0 3050036 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513819269288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9547] ppid=9536 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/9539/task/9547/stat : 9547 (java) S 9536 9539 5267 0 -1 4202560 312 0 0 0 24 5 0 0 20 0 19 0 3050036 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513818216744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9548] ppid=9536 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/9539/task/9548/stat : 9548 (java) S 9536 9539 5267 0 -1 4202560 122 0 0 0 16 4 0 0 20 0 19 0 3050036 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513817164200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9549] ppid=9536 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/9539/task/9549/stat : 9549 (java) S 9536 9539 5267 0 -1 4202560 189 0 0 0 12 4 0 0 20 0 19 0 3050036 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513816111656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9550] ppid=9536 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/9539/task/9550/stat : 9550 (java) S 9536 9539 5267 0 -1 4202560 433 0 0 0 66 0 0 0 20 0 19 0 3050037 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513333598824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9551] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9551/stat : 9551 (java) S 9536 9539 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3050038 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513332545144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9552] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9552/stat : 9552 (java) S 9536 9539 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3050038 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513331492488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9553] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9553/stat : 9553 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3050040 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513330441232 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9554] ppid=9536 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/9539/task/9554/stat : 9554 (java) S 9536 9539 5267 0 -1 4202560 19719 0 0 0 177 4 0 0 20 0 19 0 3050040 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513329387576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9555] ppid=9536 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/9539/task/9555/stat : 9555 (java) S 9536 9539 5267 0 -1 4202560 16690 0 0 0 163 3 0 0 20 0 19 0 3050040 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513328335032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9556] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9556/stat : 9556 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3050040 10060525568 190600 33554432000 1073741824 1073778376 140734187046736 140513327282680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9557] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1122.3 s]
/proc/loadavg: 3.98 3.95 3.77 5/219 9961
/proc/meminfo: memFree=25624628/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9824732 CPUtime=1606.27 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 44826 0 1 0 160458 169 0 0 20 0 22 0 3050035 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2456183 372378 2301 9 0 2446860 0
[pid=9539/tid=9540] ppid=9536 vsize=9824732 CPUtime=5.99 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) S 9536 9539 5267 0 -1 4202560 3312 0 1 0 583 16 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513979716504 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9542] ppid=9536 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/9539/task/9542/stat : 9542 (java) S 9536 9539 5267 0 -1 4202560 230 0 0 0 39 10 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513952168616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9543] ppid=9536 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/9539/task/9543/stat : 9543 (java) S 9536 9539 5267 0 -1 4202560 368 0 0 0 46 12 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513951116072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9544] ppid=9536 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/9539/task/9544/stat : 9544 (java) S 9536 9539 5267 0 -1 4202560 337 0 0 0 49 13 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513950063528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9545] ppid=9536 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/9539/task/9545/stat : 9545 (java) S 9536 9539 5267 0 -1 4202560 257 0 0 0 37 10 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513820322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9546] ppid=9536 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/9539/task/9546/stat : 9546 (java) S 9536 9539 5267 0 -1 4202560 313 0 0 0 28 7 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513819269288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9547] ppid=9536 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/9539/task/9547/stat : 9547 (java) S 9536 9539 5267 0 -1 4202560 544 0 0 0 54 13 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513818216744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9548] ppid=9536 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/9539/task/9548/stat : 9548 (java) S 9536 9539 5267 0 -1 4202560 255 0 0 0 42 12 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513817164200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9549] ppid=9536 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/9539/task/9549/stat : 9549 (java) S 9536 9539 5267 0 -1 4202560 332 0 0 0 30 7 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513816111656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9550] ppid=9536 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/9539/task/9550/stat : 9550 (java) S 9536 9539 5267 0 -1 4202560 811 0 0 0 68 5 0 0 20 0 22 0 3050037 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513333598824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9551] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9551/stat : 9551 (java) S 9536 9539 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3050038 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513332545176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9552] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9552/stat : 9552 (java) S 9536 9539 5267 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 3050038 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513331492520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9553] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9553/stat : 9553 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513330441232 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9554] ppid=9536 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/9539/task/9554/stat : 9554 (java) S 9536 9539 5267 0 -1 4202560 19738 0 0 0 239 4 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513329387576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9555] ppid=9536 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/9539/task/9555/stat : 9555 (java) S 9536 9539 5267 0 -1 4202560 16696 0 0 0 196 3 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513328335032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9556] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9556/stat : 9556 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513327282680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9557] ppid=9536 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/9539/task/9557/stat : 9557 (java) S 9536 9539 5267 0 -1 4202560 65 0 0 0 20 24 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513326230344 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9561] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9561/stat : 9561 (java) S 9536 9539 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3050267 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513322018472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9758] ppid=9536 vsize=9824732 CPUtime=473.02 cores=0,2,4,6
/proc/9539/task/9758/stat : 9758 (java) R 9536 9539 5267 0 -1 4202560 12 0 0 0 47295 7 0 0 20 0 22 0 3114938 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513324114208 140513832971144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9759] ppid=9536 vsize=9824732 CPUtime=472.98 cores=0,2,4,6
/proc/9539/task/9759/stat : 9759 (java) R 9536 9539 5267 0 -1 4202560 5 0 0 0 47291 7 0 0 20 0 22 0 3114938 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513325173576 140513831900246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9760] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9760/stat : 9760 (java) S 9536 9539 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3114939 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513323071176 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1606.27
Current children cumulated vsize (KiB) 9824732
[startup+1182.3 s]
/proc/loadavg: 4.15 4.00 3.80 4/217 9986
/proc/meminfo: memFree=24083464/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9824732 CPUtime=1726.27 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 44830 0 1 0 172456 171 0 0 20 0 22 0 3050035 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2456183 372378 2301 9 0 2446860 0
[pid=9539/tid=9540] ppid=9536 vsize=9824732 CPUtime=6 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) S 9536 9539 5267 0 -1 4202560 3312 0 1 0 584 16 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513979716504 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9542] ppid=9536 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/9539/task/9542/stat : 9542 (java) S 9536 9539 5267 0 -1 4202560 230 0 0 0 39 10 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513952168616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9543] ppid=9536 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/9539/task/9543/stat : 9543 (java) S 9536 9539 5267 0 -1 4202560 368 0 0 0 46 12 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513951116072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9544] ppid=9536 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/9539/task/9544/stat : 9544 (java) S 9536 9539 5267 0 -1 4202560 337 0 0 0 49 13 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513950063528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9545] ppid=9536 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/9539/task/9545/stat : 9545 (java) S 9536 9539 5267 0 -1 4202560 257 0 0 0 37 10 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513820322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9546] ppid=9536 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/9539/task/9546/stat : 9546 (java) S 9536 9539 5267 0 -1 4202560 313 0 0 0 28 7 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513819269288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9547] ppid=9536 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/9539/task/9547/stat : 9547 (java) S 9536 9539 5267 0 -1 4202560 544 0 0 0 54 13 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513818216744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9548] ppid=9536 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/9539/task/9548/stat : 9548 (java) S 9536 9539 5267 0 -1 4202560 255 0 0 0 42 12 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513817164200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9549] ppid=9536 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/9539/task/9549/stat : 9549 (java) S 9536 9539 5267 0 -1 4202560 332 0 0 0 30 7 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513816111656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9550] ppid=9536 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/9539/task/9550/stat : 9550 (java) S 9536 9539 5267 0 -1 4202560 811 0 0 0 68 5 0 0 20 0 22 0 3050037 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513333598824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9551] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9551/stat : 9551 (java) S 9536 9539 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3050038 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513332545176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9552] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9552/stat : 9552 (java) S 9536 9539 5267 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 3050038 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513331492520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9553] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9553/stat : 9553 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513330441232 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9554] ppid=9536 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/9539/task/9554/stat : 9554 (java) S 9536 9539 5267 0 -1 4202560 19738 0 0 0 239 4 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513329387576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9555] ppid=9536 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/9539/task/9555/stat : 9555 (java) S 9536 9539 5267 0 -1 4202560 16696 0 0 0 196 3 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513328335032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9556] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9556/stat : 9556 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513327282680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9557] ppid=9536 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/9539/task/9557/stat : 9557 (java) S 9536 9539 5267 0 -1 4202560 69 0 0 0 21 26 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513326230344 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9561] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9561/stat : 9561 (java) S 9536 9539 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3050267 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513322018472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9758] ppid=9536 vsize=9824732 CPUtime=533.02 cores=0,2,4,6
/proc/9539/task/9758/stat : 9758 (java) R 9536 9539 5267 0 -1 4202560 12 0 0 0 53294 8 0 0 20 0 22 0 3114938 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513324114208 140513832787290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9759] ppid=9536 vsize=9824732 CPUtime=532.98 cores=0,2,4,6
/proc/9539/task/9759/stat : 9759 (java) R 9536 9539 5267 0 -1 4202560 5 0 0 0 53290 8 0 0 20 0 22 0 3114938 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513325173576 140513832355613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9760] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9760/stat : 9760 (java) S 9536 9539 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3114939 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513323071176 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1726.27
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1219.2 s]
/proc/loadavg: 4.21 4.03 3.82 6/219 9993
/proc/meminfo: memFree=23896896/32872528 swapFree=1459092/1655316
[pid=9539] ppid=9536 vsize=9824732 CPUtime=1800.07 cores=0,2,4,6
/proc/9539/stat : 9539 (java) S 9536 9539 5267 0 -1 4202496 44832 0 1 0 179836 171 0 0 20 0 22 0 3050035 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140734187037872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9539/statm: 2456183 372378 2301 9 0 2446860 0
[pid=9539/tid=9540] ppid=9536 vsize=9824732 CPUtime=6 cores=0,2,4,6
/proc/9539/task/9540/stat : 9540 (java) S 9536 9539 5267 0 -1 4202560 3312 0 1 0 584 16 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513979716504 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9542] ppid=9536 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/9539/task/9542/stat : 9542 (java) S 9536 9539 5267 0 -1 4202560 230 0 0 0 39 10 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513952168616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9543] ppid=9536 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/9539/task/9543/stat : 9543 (java) S 9536 9539 5267 0 -1 4202560 368 0 0 0 46 12 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513951116072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9544] ppid=9536 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/9539/task/9544/stat : 9544 (java) S 9536 9539 5267 0 -1 4202560 337 0 0 0 49 13 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513950063528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9545] ppid=9536 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/9539/task/9545/stat : 9545 (java) S 9536 9539 5267 0 -1 4202560 257 0 0 0 37 10 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513820322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9546] ppid=9536 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/9539/task/9546/stat : 9546 (java) S 9536 9539 5267 0 -1 4202560 313 0 0 0 28 7 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513819269288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9547] ppid=9536 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/9539/task/9547/stat : 9547 (java) S 9536 9539 5267 0 -1 4202560 544 0 0 0 54 13 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513818216744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9548] ppid=9536 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/9539/task/9548/stat : 9548 (java) S 9536 9539 5267 0 -1 4202560 255 0 0 0 42 12 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513817164200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9549] ppid=9536 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/9539/task/9549/stat : 9549 (java) S 9536 9539 5267 0 -1 4202560 332 0 0 0 30 7 0 0 20 0 22 0 3050036 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513816111656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9550] ppid=9536 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/9539/task/9550/stat : 9550 (java) S 9536 9539 5267 0 -1 4202560 811 0 0 0 68 5 0 0 20 0 22 0 3050037 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513333598824 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9551] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9551/stat : 9551 (java) S 9536 9539 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3050038 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513332545176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9552] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9552/stat : 9552 (java) S 9536 9539 5267 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 3050038 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513331492520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9553] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9553/stat : 9553 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513330441232 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9554] ppid=9536 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/9539/task/9554/stat : 9554 (java) S 9536 9539 5267 0 -1 4202560 19738 0 0 0 239 4 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513329387576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9555] ppid=9536 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/9539/task/9555/stat : 9555 (java) S 9536 9539 5267 0 -1 4202560 16696 0 0 0 196 3 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513328335032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9539/tid=9556] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9556/stat : 9556 (java) S 9536 9539 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513327282680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9557] ppid=9536 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/9539/task/9557/stat : 9557 (java) S 9536 9539 5267 0 -1 4202560 71 0 0 0 22 26 0 0 20 0 22 0 3050040 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513326230344 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9561] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9561/stat : 9561 (java) S 9536 9539 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3050267 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513322018472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9539/tid=9758] ppid=9536 vsize=9824732 CPUtime=569.93 cores=0,2,4,6
/proc/9539/task/9758/stat : 9758 (java) R 9536 9539 5267 0 -1 4202560 12 0 0 0 56985 8 0 0 20 0 22 0 3114938 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513324114208 140513832958436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9539/tid=9759] ppid=9536 vsize=9824732 CPUtime=569.88 cores=0,2,4,6
/proc/9539/task/9759/stat : 9759 (java) R 9536 9539 5267 0 -1 4202560 5 0 0 0 56980 8 0 0 20 0 22 0 3114938 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513325173576 140513832355613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9539/tid=9760] ppid=9536 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9539/task/9760/stat : 9760 (java) S 9536 9539 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3114939 10060525568 372378 33554432000 1073741824 1073778376 140734187046736 140513323071176 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9539 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1219.25
CPU time (s): 1800.7
CPU user time (s): 1798.55
CPU system time (s): 2.15067
CPU usage (%): 147.689
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 2.15067
maximum resident set size= 1489624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44872
page faults= 1
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40665
involuntary context switches= 3897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.39472 second user time and 8.82166 second system time
The end