runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312413-1304113953/watcher-3312413-1304113953 -o /tmp/evaluation-result-3312413-1304113953/solver-3312413-1304113953 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312413-1304113953.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.68 5.06 6.02 2/198 31038
/proc/meminfo: memFree=9670540/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/31038/stat : 31038 (java) R 31036 31038 30477 0 -1 4202496 869 0 0 0 0 0 0 0 25 0 1 0 503811180 23580672 355 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233505335061 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31038/statm: 5757 368 287 9 0 124 0
[startup+0.066121 s]
/proc/loadavg: 4.68 5.06 6.02 2/198 31038
/proc/meminfo: memFree=9670540/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=15609780 CPUtime=0.06 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 30477 0 -1 4202496 4309 0 1 0 5 1 0 0 25 0 18 0 503811180 15984414720 3748 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3902445 3749 1778 9 0 3893164 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609780
[startup+0.101137 s]
/proc/loadavg: 4.68 5.06 6.02 2/198 31038
/proc/meminfo: memFree=9670540/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=15676964 CPUtime=0.1 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 30477 0 -1 4202496 5527 0 1 0 9 1 0 0 25 0 18 0 503811180 16053211136 4966 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3919241 4966 2116 9 0 3909960 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676964
[startup+0.301115 s]
/proc/loadavg: 4.68 5.06 6.02 2/198 31038
/proc/meminfo: memFree=9670540/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=15680376 CPUtime=0.52 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 30477 0 -1 4202496 14930 0 1 0 50 2 0 0 25 0 18 0 503811180 16056705024 13384 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3920094 13391 2207 9 0 3910813 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15680376
[startup+0.701017 s]
/proc/loadavg: 4.68 5.06 6.02 2/198 31038
/proc/meminfo: memFree=9670540/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=15680376 CPUtime=0.93 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 30477 0 -1 4202496 41814 0 1 0 88 5 0 0 25 0 18 0 503811180 16056705024 40266 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3920094 40266 2223 9 0 3910813 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15680376
[startup+1.50205 s]
/proc/loadavg: 4.68 5.06 6.02 4/220 31060
/proc/meminfo: memFree=9504020/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=15684488 CPUtime=2.43 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 30477 0 -1 4202496 55923 0 1 0 235 8 0 0 25 0 22 0 503811180 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3921122 50299 2259 9 0 3911841 0
[pid=31038/tid=31040] ppid=31036 vsize=15684488 CPUtime=1.46 cores=0,2,4,6
/proc/31038/task/31040/stat : 31040 (java) R 31036 31038 30477 0 -1 4202560 35623 0 1 0 142 4 0 0 21 0 22 0 503811181 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 47135466427283 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30477 0 -1 4202560 1223 0 0 0 0 0 0 0 17 0 22 0 503811182 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30477 0 -1 4202560 25 0 0 0 0 0 0 0 17 0 22 0 503811182 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30477 0 -1 4202560 117 0 0 0 0 0 0 0 17 0 22 0 503811182 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30477 0 -1 4202560 439 0 0 0 0 0 0 0 17 0 22 0 503811182 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30477 0 -1 4202560 365 0 0 0 0 0 0 0 17 0 22 0 503811182 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30477 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 503811182 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 30477 0 -1 4202560 439 0 0 0 0 0 0 0 17 0 22 0 503811182 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 30477 0 -1 4202560 1070 0 0 0 0 0 0 0 17 0 22 0 503811182 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 30477 0 -1 4202560 72 0 0 0 0 0 0 0 17 0 22 0 503811183 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 0 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 30477 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 503811183 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 30477 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 503811183 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522121137 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=15684488 CPUtime=0.73 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) R 31036 31038 30477 0 -1 4202560 13621 0 0 0 71 2 0 0 17 0 22 0 503811185 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 47135465751119 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=15684488 CPUtime=0.18 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 30477 0 -1 4202560 1499 0 0 0 18 0 0 0 15 0 22 0 503811185 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503811186 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 30477 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 503811259 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31058] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31058/stat : 31058 (java) S 31036 31038 30477 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 503811259 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31059] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31059/stat : 31059 (java) S 31036 31038 30477 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 503811259 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31060] ppid=31036 vsize=15684488 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31060/stat : 31060 (java) S 31036 31038 30477 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 503811259 16060915712 50299 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 15684488
[startup+3.1016 s]
/proc/loadavg: 4.68 5.06 6.02 3/220 31060
/proc/meminfo: memFree=9475376/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=15687980 CPUtime=5.96 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 30477 0 -1 4202496 72236 0 1 0 586 10 0 0 25 0 22 0 503811180 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3921995 62918 2275 9 0 3912714 0
[pid=31038/tid=31040] ppid=31036 vsize=15687980 CPUtime=2.31 cores=0,2,4,6
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30477 0 -1 4202560 35681 0 1 0 227 4 0 0 18 0 22 0 503811181 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=15687980 CPUtime=0.01 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30477 0 -1 4202560 2642 0 0 0 1 0 0 0 15 0 22 0 503811182 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30477 0 -1 4202560 2623 0 0 0 0 0 0 0 16 0 22 0 503811182 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30477 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 22 0 503811182 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30477 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 22 0 503811182 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=15687980 CPUtime=0.03 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30477 0 -1 4202560 4593 0 0 0 3 0 0 0 16 0 22 0 503811182 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=15687980 CPUtime=0.02 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30477 0 -1 4202560 3487 0 0 0 2 0 0 0 15 0 22 0 503811182 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 30477 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 22 0 503811182 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 30477 0 -1 4202560 1070 0 0 0 0 0 0 0 15 0 22 0 503811182 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 30477 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 503811183 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 0 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 30477 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 503811183 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 30477 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 503811183 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522121137 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=15687980 CPUtime=1.45 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 30477 0 -1 4202560 17188 0 0 0 143 2 0 0 15 0 22 0 503811185 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=15687980 CPUtime=0.83 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 30477 0 -1 4202560 2438 0 0 0 83 0 0 0 15 0 22 0 503811185 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503811186 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=15687980 CPUtime=0.5 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) R 31036 31038 30477 0 -1 4202560 16 0 0 0 50 0 0 0 16 0 22 0 503811259 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 46912506355833 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31038/tid=31058] ppid=31036 vsize=15687980 CPUtime=0.1 cores=0,2,4,6
/proc/31038/task/31058/stat : 31058 (java) R 31036 31038 30477 0 -1 4202560 14 0 0 0 10 0 0 0 16 0 22 0 503811259 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31038/tid=31059] ppid=31036 vsize=15687980 CPUtime=0.5 cores=0,2,4,6
/proc/31038/task/31059/stat : 31059 (java) R 31036 31038 30477 0 -1 4202560 11 0 0 0 50 0 0 0 16 0 22 0 503811259 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 46912506360174 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31038/tid=31060] ppid=31036 vsize=15687980 CPUtime=0.1 cores=0,2,4,6
/proc/31038/task/31060/stat : 31060 (java) S 31036 31038 30477 0 -1 4202560 19 0 0 0 10 0 0 0 15 0 22 0 503811259 16064491520 62918 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 15687980
[startup+6.30097 s]
/proc/loadavg: 4.71 5.06 6.02 8/220 31060
/proc/meminfo: memFree=8631036/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=15687980 CPUtime=18.56 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 30477 0 -1 4202496 277427 0 1 0 1813 43 0 0 25 0 22 0 503811180 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3921995 266603 2275 9 0 3912714 0
[pid=31038/tid=31040] ppid=31036 vsize=15687980 CPUtime=2.31 cores=0,2,4,6
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30477 0 -1 4202560 35681 0 1 0 227 4 0 0 18 0 22 0 503811181 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=15687980 CPUtime=0.12 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30477 0 -1 4202560 19564 0 0 0 10 2 0 0 16 0 22 0 503811182 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=15687980 CPUtime=0.16 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30477 0 -1 4202560 23934 0 0 0 12 4 0 0 15 0 22 0 503811182 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=15687980 CPUtime=0.09 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30477 0 -1 4202560 22244 0 0 0 6 3 0 0 16 0 22 0 503811182 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=15687980 CPUtime=0.2 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30477 0 -1 4202560 34628 0 0 0 14 6 0 0 16 0 22 0 503811182 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=15687980 CPUtime=0.11 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30477 0 -1 4202560 13102 0 0 0 10 1 0 0 15 0 22 0 503811182 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=15687980 CPUtime=0.09 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30477 0 -1 4202560 14970 0 0 0 7 2 0 0 16 0 22 0 503811182 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=15687980 CPUtime=0.07 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 30477 0 -1 4202560 12543 0 0 0 5 2 0 0 16 0 22 0 503811182 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=15687980 CPUtime=0.05 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 30477 0 -1 4202560 8530 0 0 0 4 1 0 0 15 0 22 0 503811182 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 30477 0 -1 4202560 589 0 0 0 0 0 0 0 16 0 22 0 503811183 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 0 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 30477 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 503811183 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 30477 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 503811183 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522121137 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=15687980 CPUtime=1.47 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 30477 0 -1 4202560 17191 0 0 0 145 2 0 0 15 0 22 0 503811185 16064491520 266603 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30477 0 -1 4202560 422163 0 0 0 209 71 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=15687980 CPUtime=3.8 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30477 0 -1 4202560 445402 0 0 0 299 81 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=15687980 CPUtime=2.59 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30477 0 -1 4202560 260857 0 0 0 212 47 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=15687980 CPUtime=2.03 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30477 0 -1 4202560 219858 0 0 0 162 41 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=15687980 CPUtime=2.74 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 30477 0 -1 4202560 284459 0 0 0 224 50 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=15687980 CPUtime=2.98 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 30477 0 -1 4202560 397539 0 0 0 226 72 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=15687980 CPUtime=906.52 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) R 31036 31038 30477 0 -1 4202560 785439 0 0 0 90521 131 0 0 25 0 22 0 503811183 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 47135466412048 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 30477 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 503811183 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 30477 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 503811183 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522121137 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=15687980 CPUtime=1.68 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 30477 0 -1 4202560 17213 0 0 0 165 3 0 0 15 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=15687980 CPUtime=0.88 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 30477 0 -1 4202560 2443 0 0 0 88 0 0 0 16 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 30477 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 503811186 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=15687980 CPUtime=266.2 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 30477 0 -1 4202560 96300 0 0 0 26607 13 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31058] ppid=31036 vsize=15687980 CPUtime=266.98 cores=0,2,4,6
/proc/31038/task/31058/stat : 31058 (java) S 31036 31038 30477 0 -1 4202560 103648 0 0 0 26679 19 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31059] ppid=31036 vsize=15687980 CPUtime=266.84 cores=0,2,4,6
/proc/31038/task/31059/stat : 31059 (java) S 31036 31038 30477 0 -1 4202560 93871 0 0 0 26673 11 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31060] ppid=31036 vsize=15687980 CPUtime=266.68 cores=0,2,4,6
/proc/31038/task/31060/stat : 31060 (java) S 31036 31038 30477 0 -1 4202560 105389 0 0 0 26654 14 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2000.67
Current children cumulated vsize (KiB) 15687980
[startup+1242.31 s]
/proc/loadavg: 5.01 5.10 5.49 6/220 31153
/proc/meminfo: memFree=8373540/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=15687980 CPUtime=2060.97 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 30477 0 -1 4202496 3907280 0 1 0 205409 688 0 0 25 0 22 0 503811180 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3921995 3867379 2294 9 0 3912714 0
[pid=31038/tid=31040] ppid=31036 vsize=15687980 CPUtime=2.31 cores=0,2,4,6
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30477 0 -1 4202560 35681 0 1 0 227 4 0 0 18 0 22 0 503811181 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=15687980 CPUtime=2.78 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30477 0 -1 4202560 284512 0 0 0 225 53 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=15687980 CPUtime=2.69 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30477 0 -1 4202560 350539 0 0 0 204 65 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=15687980 CPUtime=2.8 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30477 0 -1 4202560 422163 0 0 0 209 71 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=15687980 CPUtime=3.8 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30477 0 -1 4202560 445402 0 0 0 299 81 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=15687980 CPUtime=2.59 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30477 0 -1 4202560 260857 0 0 0 212 47 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=15687980 CPUtime=2.03 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30477 0 -1 4202560 219858 0 0 0 162 41 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=15687980 CPUtime=2.74 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 30477 0 -1 4202560 284459 0 0 0 224 50 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=15687980 CPUtime=2.98 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 30477 0 -1 4202560 397539 0 0 0 226 72 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=15687980 CPUtime=966.39 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) R 31036 31038 30477 0 -1 4202560 785442 0 0 0 96505 134 0 0 18 0 22 0 503811183 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 47135467278685 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 30477 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 503811183 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 30477 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 503811183 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522121137 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=15687980 CPUtime=1.68 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 30477 0 -1 4202560 17213 0 0 0 165 3 0 0 15 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=15687980 CPUtime=0.88 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 30477 0 -1 4202560 2443 0 0 0 88 0 0 0 16 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 30477 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 503811186 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=15687980 CPUtime=266.31 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 30477 0 -1 4202560 96375 0 0 0 26617 14 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31058] ppid=31036 vsize=15687980 CPUtime=267.07 cores=0,2,4,6
/proc/31038/task/31058/stat : 31058 (java) S 31036 31038 30477 0 -1 4202560 103733 0 0 0 26688 19 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31059] ppid=31036 vsize=15687980 CPUtime=266.94 cores=0,2,4,6
/proc/31038/task/31059/stat : 31059 (java) S 31036 31038 30477 0 -1 4202560 94047 0 0 0 26683 11 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31060] ppid=31036 vsize=15687980 CPUtime=266.81 cores=0,2,4,6
/proc/31038/task/31060/stat : 31060 (java) S 31036 31038 30477 0 -1 4202560 105565 0 0 0 26666 15 0 0 16 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2060.97
Current children cumulated vsize (KiB) 15687980
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.68 5.01 5.43 2/194 31175
/proc/meminfo: memFree=9542148/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=15687980 CPUtime=2119.66 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 30477 0 -1 4202496 3907771 0 1 0 211271 695 0 0 25 0 22 0 503811180 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3921995 3867379 2294 9 0 3912714 0
[pid=31038/tid=31040] ppid=31036 vsize=15687980 CPUtime=2.31 cores=0,2,4,6
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30477 0 -1 4202560 35681 0 1 0 227 4 0 0 18 0 22 0 503811181 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=15687980 CPUtime=2.78 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30477 0 -1 4202560 284512 0 0 0 225 53 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=15687980 CPUtime=2.69 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30477 0 -1 4202560 350539 0 0 0 204 65 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=15687980 CPUtime=2.8 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30477 0 -1 4202560 422163 0 0 0 209 71 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=15687980 CPUtime=3.8 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30477 0 -1 4202560 445402 0 0 0 299 81 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=15687980 CPUtime=2.59 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30477 0 -1 4202560 260857 0 0 0 212 47 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=15687980 CPUtime=2.03 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30477 0 -1 4202560 219858 0 0 0 162 41 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=15687980 CPUtime=2.74 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 30477 0 -1 4202560 284459 0 0 0 224 50 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=15687980 CPUtime=2.98 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 30477 0 -1 4202560 397539 0 0 0 226 72 0 0 16 0 22 0 503811182 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=15687980 CPUtime=1023.7 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) R 31036 31038 30477 0 -1 4202560 785444 0 0 0 102231 139 0 0 18 0 22 0 503811183 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 47135467278685 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 30477 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 503811183 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 30477 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 503811183 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522121137 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=15687980 CPUtime=1.68 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 30477 0 -1 4202560 17213 0 0 0 165 3 0 0 15 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=15687980 CPUtime=0.88 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 30477 0 -1 4202560 2443 0 0 0 88 0 0 0 16 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503811185 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=15687980 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 30477 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 503811186 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522114048 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=15687980 CPUtime=266.64 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 30477 0 -1 4202560 96573 0 0 0 26650 14 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 2 0 0 0
[pid=31038/tid=31058] ppid=31036 vsize=15687980 CPUtime=267.4 cores=0,2,4,6
/proc/31038/task/31058/stat : 31058 (java) S 31036 31038 30477 0 -1 4202560 103826 0 0 0 26720 20 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 0 0 0 0
[pid=31038/tid=31059] ppid=31036 vsize=15687980 CPUtime=267.27 cores=0,2,4,6
/proc/31038/task/31059/stat : 31059 (java) S 31036 31038 30477 0 -1 4202560 94163 0 0 0 26715 12 0 0 15 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 4 0 0 0
[pid=31038/tid=31060] ppid=31036 vsize=15687980 CPUtime=267.19 cores=0,2,4,6
/proc/31038/task/31060/stat : 31060 (java) S 31036 31038 30477 0 -1 4202560 105645 0 0 0 26704 15 0 0 16 0 22 0 503811259 16064491520 3867379 33554432000 1073741824 1073778376 140735315947616 18446744073709551615 233522113433 0 4 0 16800975 18446604453925746752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2119.66
Current children cumulated vsize (KiB) 15687980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31038
[startup+1302.3 s]
/proc/loadavg: 4.68 5.01 5.43 2/195 31176
/proc/meminfo: memFree=9542088/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=0 CPUtime=2121.96 cores=0,2,4,6
/proc/31038/stat : 31038 (java) R 31036 31038 30477 0 -1 4203524 3907795 0 1 0 211472 724 0 0 18 0 1 0 503811180 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31038/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2121.96
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.6 s]
/proc/loadavg: 4.68 5.01 5.43 2/195 31176
/proc/meminfo: memFree=9542088/32951124 swapFree=67111524/67111528
[pid=31038] ppid=31036 vsize=0 CPUtime=2122.26 cores=0,2,4,6
/proc/31038/stat : 31038 (java) R 31036 31038 30477 0 -1 4203524 3907795 0 1 0 211472 754 0 0 18 0 1 0 503811180 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31038/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2122.26
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.66
CPU time (s): 2122.33
CPU user time (s): 2114.73
CPU system time (s): 7.60484
CPU usage (%): 162.923
Max. virtual memory (cumulated for all children) (KiB): 15687980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2114.73
system time used= 7.60484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3907795
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= 59938
involuntary context switches= 19840
runsolver used 2.22066 second user time and 4.93025 second system time
The end