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-4084610-1465287988/watcher-4084610-1465287988 -o /tmp/evaluation-result-4084610-1465287988/solver-4084610-1465287988 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465256472-5401 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084610-1465287988.opb
pid=10036
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.04 2.00 3/194 10039
/proc/meminfo: memFree=31074828/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/10039/stat : 10039 (java) R 10036 10039 5384 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 110734276 9379840 122 33554432000 1073741824 1073778376 140736031803840 140736031800968 247067611616 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2290 122 94 9 0 38 0
[startup+0.100159 s]
/proc/loadavg: 2.03 2.04 2.00 3/194 10039
/proc/meminfo: memFree=31074828/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 4464 0 1 0 7 2 0 0 20 0 18 0 110734276 9787879424 5580 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2389619 5580 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200228 s]
/proc/loadavg: 2.03 2.04 2.00 3/194 10039
/proc/meminfo: memFree=31074828/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 5324 0 1 0 27 2 0 0 20 0 18 0 110734276 9787879424 6683 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2389619 6690 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.30024 s]
/proc/loadavg: 2.03 2.04 2.00 3/194 10039
/proc/meminfo: memFree=31074828/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 7396 0 1 0 53 2 0 0 20 0 18 0 110734276 9787879424 11010 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2389619 11010 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476
[startup+0.700189 s]
/proc/loadavg: 2.03 2.04 2.00 3/194 10039
/proc/meminfo: memFree=31074828/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 8243 0 1 0 133 4 0 0 20 0 19 0 110734276 9856040960 32124 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2406260 32124 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625040
[startup+1.50083 s]
/proc/loadavg: 2.03 2.04 2.00 3/213 10058
/proc/meminfo: memFree=30952292/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 8901 0 1 0 225 4 0 0 20 0 19 0 110734276 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2406260 32663 2264 9 0 2396937 0
[pid=10039/tid=10041] ppid=10036 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/10039/task/10041/stat : 10041 (java) R 10036 10039 5384 0 -1 4202560 2512 0 1 0 144 3 0 0 20 0 19 0 110734277 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679914529112 139679854902232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10042] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10042/stat : 10042 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734278 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679757973672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10043] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10043/stat : 10043 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679756921128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10044] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10044/stat : 10044 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679755868584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10045] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10045/stat : 10045 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679754816040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10046] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10046/stat : 10046 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679753763496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10047] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10047/stat : 10047 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679752710952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10048] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10048/stat : 10048 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679751658408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10049] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10049/stat : 10049 (java) S 10036 10039 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679750605864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10050] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10050/stat : 10050 (java) S 10036 10039 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679738407016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10051] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10051/stat : 10051 (java) S 10036 10039 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679737353336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10052] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10052/stat : 10052 (java) S 10036 10039 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679736300680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10053] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10053/stat : 10053 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679735249424 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10054] ppid=10036 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/10039/task/10054/stat : 10054 (java) S 10036 10039 5384 0 -1 4202560 2263 0 0 0 42 0 0 0 20 0 19 0 110734282 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679734196792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10055] ppid=10036 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/10039/task/10055/stat : 10055 (java) S 10036 10039 5384 0 -1 4202560 2848 0 0 0 36 0 0 0 20 0 19 0 110734282 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679733144248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10056] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10056/stat : 10056 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679732091896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10057] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10057/stat : 10057 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734283 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679731039560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10058] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10058/stat : 10058 (java) S 10036 10039 5384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110734333 9856040960 32663 33554432000 1073741824 1073778376 140736031803840 139679729984296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9625040
[startup+3.10085 s]
/proc/loadavg: 2.03 2.04 2.00 3/213 10058
/proc/meminfo: memFree=30949872/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 8926 0 1 0 393 4 0 0 20 0 19 0 110734276 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2406260 33708 2271 9 0 2396937 0
[pid=10039/tid=10041] ppid=10036 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/10039/task/10041/stat : 10041 (java) R 10036 10039 5384 0 -1 4202560 2515 0 1 0 304 3 0 0 20 0 19 0 110734277 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679914529112 139679854922848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10042] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10042/stat : 10042 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734278 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679757973672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10043] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10043/stat : 10043 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679756921128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10044] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10044/stat : 10044 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679755868584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10045] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10045/stat : 10045 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679754816040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10046] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10046/stat : 10046 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679753763496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10047] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10047/stat : 10047 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679752710952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10048] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10048/stat : 10048 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679751658408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10049] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10049/stat : 10049 (java) S 10036 10039 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679750605864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10050] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10050/stat : 10050 (java) S 10036 10039 5384 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679738407016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10051] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10051/stat : 10051 (java) S 10036 10039 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679737353336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10052] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10052/stat : 10052 (java) S 10036 10039 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679736300680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10053] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10053/stat : 10053 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679735249424 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10054] ppid=10036 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/10039/task/10054/stat : 10054 (java) S 10036 10039 5384 0 -1 4202560 2275 0 0 0 47 0 0 0 20 0 19 0 110734282 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679734196792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10055] ppid=10036 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/10039/task/10055/stat : 10055 (java) S 10036 10039 5384 0 -1 4202560 2857 0 0 0 39 0 0 0 20 0 19 0 110734282 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679733144248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10056] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10056/stat : 10056 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679732091896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10057] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10057/stat : 10057 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734283 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679731039560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10058] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10058/stat : 10058 (java) S 10036 10039 5384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110734333 9856040960 33708 33554432000 1073741824 1073778376 140736031803840 139679729984296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9625040
[startup+6.30088 s]
/proc/loadavg: 2.03 2.04 2.00 4/213 10058
/proc/meminfo: memFree=30944136/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9625040 CPUtime=7.21 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 8937 0 1 0 717 4 0 0 20 0 19 0 110734276 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2406260 35132 2271 9 0 2396937 0
[pid=10039/tid=10041] ppid=10036 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/10039/task/10041/stat : 10041 (java) R 10036 10039 5384 0 -1 4202560 2521 0 1 0 622 3 0 0 20 0 19 0 110734277 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679914529016 139679855056224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10042] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10042/stat : 10042 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734278 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679757973672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10043] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10043/stat : 10043 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679756921128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10044] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10044/stat : 10044 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679755868584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10045] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10045/stat : 10045 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679754816040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10046] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10046/stat : 10046 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679753763496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10047] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10047/stat : 10047 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679752710952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10048] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10048/stat : 10048 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679751658408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10049] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10049/stat : 10049 (java) S 10036 10039 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110734279 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679750605864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10050] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10050/stat : 10050 (java) S 10036 10039 5384 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679738407016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10051] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10051/stat : 10051 (java) S 10036 10039 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679737353336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10052] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10052/stat : 10052 (java) S 10036 10039 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679736300680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10053] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10053/stat : 10053 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679735249424 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10054] ppid=10036 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/10039/task/10054/stat : 10054 (java) S 10036 10039 5384 0 -1 4202560 2277 0 0 0 49 0 0 0 20 0 19 0 110734282 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679734196792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10055] ppid=10036 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/10039/task/10055/stat : 10055 (java) S 10036 10039 5384 0 -1 4202560 2860 0 0 0 41 0 0 0 20 0 19 0 110734282 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679733144248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10056] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10056/stat : 10056 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679732091896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10057] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10057/stat : 10057 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734283 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679731039560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10058] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10058/stat : 10058 (java) S 10036 10039 5384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110734333 9856040960 35132 33554432000 1073741824 1073778376 140736031803840 139679729984296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=10039/tid=10058] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10058/stat : 10058 (java) S 10036 10039 5384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110734333 9856040960 100089 33554432000 1073741824 1073778376 140736031803840 139679729984296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1667.88
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/213 10167
/proc/meminfo: memFree=30656804/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9625040 CPUtime=1728.1 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 12014 0 1 0 172707 103 0 0 20 0 19 0 110734276 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2406260 98236 2293 9 0 2396937 0
[pid=10039/tid=10041] ppid=10036 vsize=9625040 CPUtime=1714.43 cores=1,3,5,7
/proc/10039/task/10041/stat : 10041 (java) R 10036 10039 5384 0 -1 4202560 2583 0 1 0 171413 30 0 0 20 0 19 0 110734277 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679914528080 139679854922868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10042] ppid=10036 vsize=9625040 CPUtime=0.9 cores=1,3,5,7
/proc/10039/task/10042/stat : 10042 (java) S 10036 10039 5384 0 -1 4202560 449 0 0 0 78 12 0 0 20 0 19 0 110734278 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679757973672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10043] ppid=10036 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/10039/task/10043/stat : 10043 (java) S 10036 10039 5384 0 -1 4202560 423 0 0 0 72 12 0 0 20 0 19 0 110734279 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679756921128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10044] ppid=10036 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/10039/task/10044/stat : 10044 (java) S 10036 10039 5384 0 -1 4202560 228 0 0 0 74 7 0 0 20 0 19 0 110734279 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679755868584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10045] ppid=10036 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/10039/task/10045/stat : 10045 (java) S 10036 10039 5384 0 -1 4202560 243 0 0 0 73 11 0 0 20 0 19 0 110734279 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679754816040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10046] ppid=10036 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/10039/task/10046/stat : 10046 (java) S 10036 10039 5384 0 -1 4202560 224 0 0 0 76 8 0 0 20 0 19 0 110734279 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679753763496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10047] ppid=10036 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/10039/task/10047/stat : 10047 (java) S 10036 10039 5384 0 -1 4202560 236 0 0 0 59 9 0 0 20 0 19 0 110734279 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679752710952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10048] ppid=10036 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/10039/task/10048/stat : 10048 (java) S 10036 10039 5384 0 -1 4202560 286 0 0 0 67 10 0 0 20 0 19 0 110734279 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679751658408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10049] ppid=10036 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/10039/task/10049/stat : 10049 (java) S 10036 10039 5384 0 -1 4202560 343 0 0 0 73 10 0 0 20 0 19 0 110734279 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679750605864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10050] ppid=10036 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/10039/task/10050/stat : 10050 (java) S 10036 10039 5384 0 -1 4202560 369 0 0 0 147 2 0 0 20 0 19 0 110734280 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679738407016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10051] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10051/stat : 10051 (java) S 10036 10039 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679737353336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10052] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10052/stat : 10052 (java) S 10036 10039 5384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679736300680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10053] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10053/stat : 10053 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679735249424 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10054] ppid=10036 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/10039/task/10054/stat : 10054 (java) S 10036 10039 5384 0 -1 4202560 2280 0 0 0 51 0 0 0 20 0 19 0 110734282 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679734196792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10055] ppid=10036 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/10039/task/10055/stat : 10055 (java) S 10036 10039 5384 0 -1 4202560 2987 0 0 0 45 0 0 0 20 0 19 0 110734282 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679733144248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10056] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10056/stat : 10056 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679732091896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10057] ppid=10036 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/10039/task/10057/stat : 10057 (java) S 10036 10039 5384 0 -1 4202560 99 0 0 0 33 33 0 0 20 0 19 0 110734283 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679731039560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10058] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10058/stat : 10058 (java) S 10036 10039 5384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110734333 9856040960 98236 33554432000 1073741824 1073778376 140736031803840 139679729984296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1728.1
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 10168
/proc/meminfo: memFree=30683852/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9625040 CPUtime=1788.22 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 12024 0 1 0 178717 105 0 0 20 0 19 0 110734276 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2406260 96539 2293 9 0 2396937 0
[pid=10039/tid=10041] ppid=10036 vsize=9625040 CPUtime=1774.2 cores=1,3,5,7
/proc/10039/task/10041/stat : 10041 (java) R 10036 10039 5384 0 -1 4202560 2585 0 1 0 177389 31 0 0 20 0 19 0 110734277 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679914528080 139679854921482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10042] ppid=10036 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/10039/task/10042/stat : 10042 (java) S 10036 10039 5384 0 -1 4202560 450 0 0 0 82 12 0 0 20 0 19 0 110734278 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679757973672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10043] ppid=10036 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/10039/task/10043/stat : 10043 (java) S 10036 10039 5384 0 -1 4202560 424 0 0 0 74 12 0 0 20 0 19 0 110734279 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679756921128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10044] ppid=10036 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/10039/task/10044/stat : 10044 (java) S 10036 10039 5384 0 -1 4202560 228 0 0 0 75 7 0 0 20 0 19 0 110734279 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679755868584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10045] ppid=10036 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/10039/task/10045/stat : 10045 (java) S 10036 10039 5384 0 -1 4202560 243 0 0 0 76 11 0 0 20 0 19 0 110734279 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679754816040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10046] ppid=10036 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/10039/task/10046/stat : 10046 (java) S 10036 10039 5384 0 -1 4202560 224 0 0 0 77 8 0 0 20 0 19 0 110734279 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679753763496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10047] ppid=10036 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/10039/task/10047/stat : 10047 (java) S 10036 10039 5384 0 -1 4202560 236 0 0 0 61 9 0 0 20 0 19 0 110734279 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679752710952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10048] ppid=10036 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/10039/task/10048/stat : 10048 (java) S 10036 10039 5384 0 -1 4202560 286 0 0 0 69 10 0 0 20 0 19 0 110734279 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679751658408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10049] ppid=10036 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/10039/task/10049/stat : 10049 (java) S 10036 10039 5384 0 -1 4202560 343 0 0 0 76 10 0 0 20 0 19 0 110734279 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679750605864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10050] ppid=10036 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/10039/task/10050/stat : 10050 (java) S 10036 10039 5384 0 -1 4202560 371 0 0 0 147 2 0 0 20 0 19 0 110734280 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679738407016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10051] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10051/stat : 10051 (java) S 10036 10039 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679737353336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10052] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10052/stat : 10052 (java) S 10036 10039 5384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679736300680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10053] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10053/stat : 10053 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679735249424 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10054] ppid=10036 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/10039/task/10054/stat : 10054 (java) S 10036 10039 5384 0 -1 4202560 2280 0 0 0 51 0 0 0 20 0 19 0 110734282 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679734196792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10055] ppid=10036 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/10039/task/10055/stat : 10055 (java) S 10036 10039 5384 0 -1 4202560 2987 0 0 0 45 0 0 0 20 0 19 0 110734282 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679733144248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10056] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10056/stat : 10056 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679732091896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10057] ppid=10036 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/10039/task/10057/stat : 10057 (java) S 10036 10039 5384 0 -1 4202560 103 0 0 0 34 34 0 0 20 0 19 0 110734283 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679731039560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10058] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10058/stat : 10058 (java) S 10036 10039 5384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110734333 9856040960 96539 33554432000 1073741824 1073778376 140736031803840 139679729984296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1788.22
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 10168
/proc/meminfo: memFree=30683732/32872528 swapFree=10676/249824
[pid=10039] ppid=10036 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/10039/stat : 10039 (java) S 10036 10039 5384 0 -1 4202496 12038 0 1 0 179896 105 0 0 20 0 19 0 110734276 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 140736031794976 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10039/statm: 2406260 96550 2293 9 0 2396937 0
[pid=10039/tid=10041] ppid=10036 vsize=9625040 CPUtime=1785.83 cores=1,3,5,7
/proc/10039/task/10041/stat : 10041 (java) R 10036 10039 5384 0 -1 4202560 2586 0 1 0 178551 32 0 0 20 0 19 0 110734277 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679914528080 139679854921613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10042] ppid=10036 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/10039/task/10042/stat : 10042 (java) S 10036 10039 5384 0 -1 4202560 451 0 0 0 84 12 0 0 20 0 19 0 110734278 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679757973672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10043] ppid=10036 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/10039/task/10043/stat : 10043 (java) S 10036 10039 5384 0 -1 4202560 434 0 0 0 75 12 0 0 20 0 19 0 110734279 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679756921128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10044] ppid=10036 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/10039/task/10044/stat : 10044 (java) S 10036 10039 5384 0 -1 4202560 228 0 0 0 77 7 0 0 20 0 19 0 110734279 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679755868584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10045] ppid=10036 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/10039/task/10045/stat : 10045 (java) S 10036 10039 5384 0 -1 4202560 243 0 0 0 78 11 0 0 20 0 19 0 110734279 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679754816040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10046] ppid=10036 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/10039/task/10046/stat : 10046 (java) S 10036 10039 5384 0 -1 4202560 224 0 0 0 78 8 0 0 20 0 19 0 110734279 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679753763496 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10047] ppid=10036 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/10039/task/10047/stat : 10047 (java) S 10036 10039 5384 0 -1 4202560 236 0 0 0 62 9 0 0 20 0 19 0 110734279 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679752710952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10048] ppid=10036 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/10039/task/10048/stat : 10048 (java) S 10036 10039 5384 0 -1 4202560 286 0 0 0 70 10 0 0 20 0 19 0 110734279 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679751658408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10049] ppid=10036 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/10039/task/10049/stat : 10049 (java) S 10036 10039 5384 0 -1 4202560 343 0 0 0 77 10 0 0 20 0 19 0 110734279 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679750605864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10050] ppid=10036 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/10039/task/10050/stat : 10050 (java) S 10036 10039 5384 0 -1 4202560 373 0 0 0 147 2 0 0 20 0 19 0 110734280 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679738407016 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10039/tid=10051] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10051/stat : 10051 (java) S 10036 10039 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679737353336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10052] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10052/stat : 10052 (java) S 10036 10039 5384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110734280 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679736300680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10053] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10053/stat : 10053 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679735249424 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10054] ppid=10036 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/10039/task/10054/stat : 10054 (java) S 10036 10039 5384 0 -1 4202560 2280 0 0 0 51 0 0 0 20 0 19 0 110734282 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679734196792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10055] ppid=10036 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/10039/task/10055/stat : 10055 (java) S 10036 10039 5384 0 -1 4202560 2987 0 0 0 45 0 0 0 20 0 19 0 110734282 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679733144248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10039/tid=10056] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10056/stat : 10056 (java) S 10036 10039 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110734282 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679732091896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10039/tid=10057] ppid=10036 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/10039/task/10057/stat : 10057 (java) S 10036 10039 5384 0 -1 4202560 103 0 0 0 34 35 0 0 20 0 19 0 110734283 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679731039560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10039/tid=10058] ppid=10036 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10039/task/10058/stat : 10058 (java) S 10036 10039 5384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110734333 9856040960 96550 33554432000 1073741824 1073778376 140736031803840 139679729984296 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
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 10039 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10039 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=519191
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=622753
# CPU time returned by wait4() is 1796.14
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.08
CPU time (s): 1800.01
CPU user time (s): 1798.96
CPU system time (s): 1.05
CPU usage (%): 100.331
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.52
system time used= 1.62275
maximum resident set size= 804636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12080
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39434
involuntary context switches= 20775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.821 second user time and 16.4305 second system time
The end