runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (3672 MiB free)
memory of node 1: 16384 MiB (5216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402675-1568988284/watcher-4402675-1568988284 -o /tmp/evaluation-result-4402675-1568988284/solver-4402675-1568988284 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568967599-29764 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1554163371 HOME/instance-4402675-1568988284.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2333, runsolver pid=2330
Current StackSize limit: 8192 KiB
[startup+0.110215 s]*
/proc/loadavg: 1.64 1.48 1.50 3/221 2390
/proc/meminfo: memFree=9091676/32770624 swapFree=67002120/67108860
[pid=2333] ppid=2330 vsize=10153664 memory=21964 CPUtime=0.1 cores=0,2,4,6
/proc/2333/stat : 2333 (java) S 2330 2333 29733 0 -1 1077944320 4732 13006 0 0 2 0 5 3 20 0 8 0 474989990 10397351936 5491 33554432000 4194304 4196468 140730234570544 140730234553088 139996225920759 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
/proc/2333/statm: 2538416 5491 2064 1 0 2526854 0
[pid=2333/tid=2386] ppid=2330 vsize=10355560 memory=576460756329955604 CPUtime=0.09 cores=0,2,4,6
/proc/2333/task/2386/stat : 2386 (java) R 2330 2333 29733 0 -1 4202560 2533 13006 0 0 1 0 5 3 20 0 9 0 474989999 10604093440 6060 33554432000 4194304 4196468 140730234570544 139996197756784 139996218600381 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2387] ppid=2330 vsize=10355564 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2387/stat : 2387 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 9 0 474990000 10604097536 6060 33554432000 4194304 4196468 140730234570544 139996230162960 139996225930965 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2388] ppid=2330 vsize=10355560 memory=288230376155002391 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2388/stat : 2388 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 9 0 474990000 10604093440 6064 33554432000 4194304 4196468 140730234570544 139996144982672 139996225930965 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2389] ppid=2330 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2389/stat : 2389 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 9 0 474990000 10604093440 6064 33554432000 4194304 4196468 140730234570544 139996143929616 139996225930965 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2390] ppid=2330 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2390/stat : 2390 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 9 0 474990000 10604093440 6064 33554432000 4194304 4196468 140730234570544 139996142877072 139996225930965 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2391] ppid=2330 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2391/stat : 2391 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 9 0 474990001 10604093440 6064 33554432000 4194304 4196468 140730234570544 139995752364784 139996225931906 0 0 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2392] ppid=2330 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2392/stat : 2392 (java) S 2330 2333 29733 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 9 0 474990002 10604093440 6064 33554432000 4194304 4196468 140730234570544 139995666966176 139996225930965 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2393] ppid=2330 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2393/stat : 2393 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 9 0 474990002 10604093440 6064 33554432000 4194304 4196468 140730234570544 139995532748080 139996225930965 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10153664 KiB
Current children cumulated memory: 21964 KiB
[startup+0.210168 s]*
/proc/loadavg: 1.64 1.48 1.50 3/230 2400
/proc/meminfo: memFree=9073384/32770624 swapFree=67002120/67108860
[pid=2333] ppid=2330 vsize=10820000 memory=45500 CPUtime=0.27 cores=0,2,4,6
/proc/2333/stat : 2333 (java) S 2330 2333 29733 0 -1 1077944320 7270 13006 0 0 17 2 5 3 20 0 15 0 474989990 11079680000 11375 33554432000 4194304 4196468 140730234570544 140730234553088 139996225920759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
/proc/2333/statm: 2705041 11375 3225 1 0 2667149 0
[pid=2333/tid=2386] ppid=2330 vsize=10820188 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/2333/task/2386/stat : 2386 (java) R 2330 2333 29733 0 -1 4202560 3849 13006 0 0 10 1 5 3 20 0 15 0 474989999 11079872512 11441 33554432000 4194304 4196468 140730234570544 139996197731792 139996218157886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2387] ppid=2330 vsize=10820188 memory=4294967641 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2387/stat : 2387 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990000 11079872512 11441 33554432000 4194304 4196468 140730234570544 139996230162960 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2388] ppid=2330 vsize=10820196 memory=140291130442873 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2388/stat : 2388 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990000 11079880704 11441 33554432000 4194304 4196468 140730234570544 139996144982672 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2389] ppid=2330 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2389/stat : 2389 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990000 11079880704 11441 33554432000 4194304 4196468 140730234570544 139996143929616 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2390] ppid=2330 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2390/stat : 2390 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990000 11079880704 11441 33554432000 4194304 4196468 140730234570544 139996142877072 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2391] ppid=2330 vsize=10820196 memory=140291130422912 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2391/stat : 2391 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990001 11079880704 11441 33554432000 4194304 4196468 140730234570544 139995752364784 139996225931906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2392] ppid=2330 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2392/stat : 2392 (java) S 2330 2333 29733 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 474990002 11079880704 11441 33554432000 4194304 4196468 140730234570544 139995666966176 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2393] ppid=2330 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2393/stat : 2393 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990002 11079880704 11441 33554432000 4194304 4196468 140730234570544 139995532748016 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2394] ppid=2330 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2394/stat : 2394 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990005 11079880704 11441 33554432000 4194304 4196468 140730234570544 139994928769488 139996225939355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2395] ppid=2330 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2333/task/2395/stat : 2395 (java) S 2330 2333 29733 0 -1 1077944384 464 13006 0 0 1 0 5 3 20 0 15 0 474990005 11079880704 11441 33554432000 4194304 4196468 140730234570544 139995751311600 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2396] ppid=2330 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/2333/task/2396/stat : 2396 (java) R 2330 2333 29733 0 -1 4202560 188 13006 0 0 1 0 5 3 20 0 15 0 474990005 11079880704 11441 33554432000 4194304 4196468 140730234570544 139995750259056 139996209417711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2397] ppid=2330 vsize=10820196 memory=140291130422912 CPUtime=0.11 cores=0,2,4,6
/proc/2333/task/2397/stat : 2397 (java) S 2330 2333 29733 0 -1 1077944384 602 13006 0 0 3 0 5 3 20 0 15 0 474990005 11079880704 11441 33554432000 4194304 4196468 140730234570544 139995749206000 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2398] ppid=2330 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2398/stat : 2398 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990005 11079880704 11441 33554432000 4194304 4196468 140730234570544 139994459007328 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2400] ppid=2330 vsize=10820196 memory=140291130422912 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2400/stat : 2400 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990005 11079880704 11441 33554432000 4194304 4196468 140730234570544 139995748154416 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820000 KiB
Current children cumulated memory: 45500 KiB
[startup+0.311262 s]*
/proc/loadavg: 1.64 1.48 1.50 4/230 2400
/proc/meminfo: memFree=9059964/32770624 swapFree=67002120/67108860
[pid=2333] ppid=2330 vsize=10820196 memory=54096 CPUtime=0.4 cores=0,2,4,6
/proc/2333/stat : 2333 (java) S 2330 2333 29733 0 -1 1077944320 10745 13006 0 0 29 3 5 3 20 0 15 0 474989990 11079880704 13524 33554432000 4194304 4196468 140730234570544 140730234553088 139996225920759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
/proc/2333/statm: 2705049 13524 3302 1 0 2667149 0
[pid=2333/tid=2386] ppid=2330 vsize=10820196 memory=280582026166512 CPUtime=0.3 cores=0,2,4,6
/proc/2333/task/2386/stat : 2386 (java) R 2330 2333 29733 0 -1 4202560 7230 13006 0 0 19 3 5 3 20 0 15 0 474989999 11079880704 13524 33554432000 4194304 4196468 140730234570544 139996197724752 139996210001246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2387] ppid=2330 vsize=10820196 memory=140295308154831 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2387/stat : 2387 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990000 11079880704 13524 33554432000 4194304 4196468 140730234570544 139996230162960 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2388] ppid=2330 vsize=10820196 memory=140291130425051 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2388/stat : 2388 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990000 11079880704 13524 33554432000 4194304 4196468 140730234570544 139996144982672 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2389] ppid=2330 vsize=10820196 memory=280582026280160 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2389/stat : 2389 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990000 11079880704 13524 33554432000 4194304 4196468 140730234570544 139996143929616 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2390] ppid=2330 vsize=10820196 memory=140291013173711 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2390/stat : 2390 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990000 11079880704 13524 33554432000 4194304 4196468 140730234570544 139996142877072 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2391] ppid=2330 vsize=10820196 memory=140291130425240 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2391/stat : 2391 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990001 11079880704 13524 33554432000 4194304 4196468 140730234570544 139995752364784 139996225931906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2392] ppid=2330 vsize=10820196 memory=140291013201359 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2392/stat : 2392 (java) S 2330 2333 29733 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 474990002 11079880704 13524 33554432000 4194304 4196468 140730234570544 139995666966176 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2393] ppid=2330 vsize=10820196 memory=140291013199146 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2393/stat : 2393 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990002 11079880704 13524 33554432000 4194304 4196468 140730234570544 139995532748016 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2394] ppid=2330 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2394/stat : 2394 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990005 11079880704 13524 33554432000 4194304 4196468 140730234570544 139994928769488 139996225939355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2395] ppid=2330 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2333/task/2395/stat : 2395 (java) S 2330 2333 29733 0 -1 1077944384 464 13006 0 0 1 0 5 3 20 0 15 0 474990005 11079880704 13524 33554432000 4194304 4196468 140730234570544 139995751311600 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2396] ppid=2330 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/2333/task/2396/stat : 2396 (java) S 2330 2333 29733 0 -1 1077944384 198 13006 0 0 2 0 5 3 20 0 15 0 474990005 11079880704 13524 33554432000 4194304 4196468 140730234570544 139995750259056 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2397] ppid=2330 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2333/task/2397/stat : 2397 (java) S 2330 2333 29733 0 -1 1077944384 621 13006 0 0 5 0 5 3 20 0 15 0 474990005 11079880704 13524 33554432000 4194304 4196468 140730234570544 139995749206000 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2398] ppid=2330 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2398/stat : 2398 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990005 11079880704 13524 33554432000 4194304 4196468 140730234570544 139994459007328 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2400] ppid=2330 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2400/stat : 2400 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990005 11079880704 13524 33554432000 4194304 4196468 140730234570544 139995748154416 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54096 KiB
[startup+0.70072 s]
/proc/loadavg: 1.64 1.48 1.50 4/230 2400
/proc/meminfo: memFree=9045164/32770624 swapFree=67002120/67108860
[pid=2333] ppid=2330 vsize=10822316 memory=77748 CPUtime=0.89 cores=0,2,4,6
/proc/2333/stat : 2333 (java) S 2330 2333 29733 0 -1 1077944320 14091 13006 0 0 76 5 5 3 20 0 15 0 474989990 11082051584 19437 33554432000 4194304 4196468 140730234570544 140730234553088 139996225920759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
/proc/2333/statm: 2705579 19437 3486 1 0 2667661 0
[pid=2333/tid=2386] ppid=2330 vsize=10822316 memory=140295106724386 CPUtime=0.56 cores=0,2,4,6
/proc/2333/task/2386/stat : 2386 (java) D 2330 2333 29733 0 -1 4202560 9557 13006 0 0 44 4 5 3 20 0 15 0 474989999 11082051584 19437 33554432000 4194304 4196468 140730234570544 139996197750288 139996225942685 0 4 0 16800975 18446744072099880069 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2387] ppid=2330 vsize=10822316 memory=140295106724408 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2387/stat : 2387 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990000 11082051584 19437 33554432000 4194304 4196468 140730234570544 139996230162960 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2388] ppid=2330 vsize=10822316 memory=140295106724412 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2388/stat : 2388 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990000 11082051584 19437 33554432000 4194304 4196468 140730234570544 139996144982672 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2389] ppid=2330 vsize=10822316 memory=140295106724417 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2389/stat : 2389 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990000 11082051584 19437 33554432000 4194304 4196468 140730234570544 139996143929616 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2390] ppid=2330 vsize=10822316 memory=7548 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2390/stat : 2390 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990000 11082051584 19437 33554432000 4194304 4196468 140730234570544 139996142877072 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2391] ppid=2330 vsize=10822316 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2391/stat : 2391 (java) S 2330 2333 29733 0 -1 1077944384 5 13006 0 0 0 0 5 3 20 0 15 0 474990001 11082051584 19437 33554432000 4194304 4196468 140730234570544 139995752364784 139996225931906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2392] ppid=2330 vsize=10822316 memory=27536 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2392/stat : 2392 (java) S 2330 2333 29733 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 474990002 11082051584 19437 33554432000 4194304 4196468 140730234570544 139995666966176 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2393] ppid=2330 vsize=10822316 memory=14068 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2393/stat : 2393 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990002 11082051584 19437 33554432000 4194304 4196468 140730234570544 139995532748016 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2394] ppid=2330 vsize=10822316 memory=2120 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2394/stat : 2394 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990005 11082051584 19437 33554432000 4194304 4196468 140730234570544 139994928769488 139996225939355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2395] ppid=2330 vsize=10822316 memory=504 CPUtime=0.15 cores=0,2,4,6
/proc/2333/task/2395/stat : 2395 (java) S 2330 2333 29733 0 -1 1077944384 836 13006 0 0 7 0 5 3 20 0 15 0 474990005 11082051584 19437 33554432000 4194304 4196468 140730234570544 139995751311600 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2396] ppid=2330 vsize=10822316 memory=1560 CPUtime=0.18 cores=0,2,4,6
/proc/2333/task/2396/stat : 2396 (java) S 2330 2333 29733 0 -1 1077944384 718 13006 0 0 10 0 5 3 20 0 15 0 474990005 11082051584 19437 33554432000 4194304 4196468 140730234570544 139995750259056 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2397] ppid=2330 vsize=10822316 memory=924 CPUtime=0.21 cores=0,2,4,6
/proc/2333/task/2397/stat : 2397 (java) S 2330 2333 29733 0 -1 1077944384 737 13006 0 0 13 0 5 3 20 0 15 0 474990005 11082051584 19437 33554432000 4194304 4196468 140730234570544 139995749206000 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2398] ppid=2330 vsize=10822316 memory=1692 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2398/stat : 2398 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990005 11082051584 19437 33554432000 4194304 4196468 140730234570544 139994459007328 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2400] ppid=2330 vsize=10822316 memory=1940 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2400/stat : 2400 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990005 11082051584 19437 33554432000 4194304 4196468 140730234570544 139995748154416 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 77748 KiB
[startup+1.50392 s]
/proc/loadavg: 1.64 1.48 1.50 4/230 2400
/proc/meminfo: memFree=9045164/32770624 swapFree=67002120/67108860
[pid=2333] ppid=2330 vsize=10824440 memory=92900 CPUtime=1.32 cores=0,2,4,6
/proc/2333/stat : 2333 (java) S 2330 2333 29733 0 -1 1077944320 15970 13006 0 0 118 6 5 3 20 0 15 0 474989990 11084226560 23225 33554432000 4194304 4196468 140730234570544 140730234553088 139996225920759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
/proc/2333/statm: 2706110 23225 3534 1 0 2668173 0
[pid=2333/tid=2386] ppid=2330 vsize=10824440 memory=77748 CPUtime=0.75 cores=0,2,4,6
/proc/2333/task/2386/stat : 2386 (java) R 2330 2333 29733 0 -1 1077944384 11145 13006 0 0 63 4 5 3 20 0 15 0 474989999 11084226560 23225 33554432000 4194304 4196468 140730234570544 139996197754176 139996225930965 0 4 0 16800975 0 0 0 -1 6 0 0 71 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2387] ppid=2330 vsize=10824440 memory=140295106724386 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2387/stat : 2387 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990000 11084226560 23225 33554432000 4194304 4196468 140730234570544 139996230162960 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2388] ppid=2330 vsize=10824440 memory=140295106724408 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2388/stat : 2388 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990000 11084226560 23225 33554432000 4194304 4196468 140730234570544 139996144982672 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2389] ppid=2330 vsize=10824440 memory=140295106724412 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2389/stat : 2389 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990000 11084226560 23225 33554432000 4194304 4196468 140730234570544 139996143929616 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2390] ppid=2330 vsize=10824440 memory=6442213876373613151 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2390/stat : 2390 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990000 11084226560 23225 33554432000 4194304 4196468 140730234570544 139996142877072 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2391] ppid=2330 vsize=10824440 memory=6442213876373613151 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2391/stat : 2391 (java) S 2330 2333 29733 0 -1 1077944384 5 13006 0 0 0 0 5 3 20 0 15 0 474990001 11084226560 23225 33554432000 4194304 4196468 140730234570544 139995752364784 139996225931906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2392] ppid=2330 vsize=10824440 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2392/stat : 2392 (java) S 2330 2333 29733 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 474990002 11084226560 23225 33554432000 4194304 4196468 140730234570544 139995666966176 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2393] ppid=2330 vsize=10824440 memory=27536 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2393/stat : 2393 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990002 11084226560 23225 33554432000 4194304 4196468 140730234570544 139995532748016 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2394] ppid=2330 vsize=10824440 memory=14068 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2394/stat : 2394 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990005 11084226560 23225 33554432000 4194304 4196468 140730234570544 139994928769488 139996225939355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2395] ppid=2330 vsize=10824440 memory=2120 CPUtime=0.23 cores=0,2,4,6
/proc/2333/task/2395/stat : 2395 (java) R 2330 2333 29733 0 -1 4202560 906 13006 0 0 15 0 5 3 20 0 15 0 474990005 11084226560 23225 33554432000 4194304 4196468 140730234570544 139995751311600 139996205575968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2396] ppid=2330 vsize=10824440 memory=504 CPUtime=0.24 cores=0,2,4,6
/proc/2333/task/2396/stat : 2396 (java) R 2330 2333 29733 0 -1 4202560 733 13006 0 0 16 0 5 3 20 0 15 0 474990005 11084226560 23225 33554432000 4194304 4196468 140730234570544 139995750259056 139996207442451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2397] ppid=2330 vsize=10824440 memory=1560 CPUtime=0.29 cores=0,2,4,6
/proc/2333/task/2397/stat : 2397 (java) R 2330 2333 29733 0 -1 4202560 943 13006 0 0 21 0 5 3 20 0 15 0 474990005 11084226560 23225 33554432000 4194304 4196468 140730234570544 139995749206000 139996204595792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
################
# More data... #
################
/proc/2333/task/2386/stat : 2386 (java) R 2330 2333 29733 0 -1 4202560 60874 13006 0 0 235802 43 5 3 20 0 15 0 474989999 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996197756000 139995830060724 0 4 0 16800975 0 0 0 -1 6 0 0 71 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2387] ppid=2330 vsize=10847000 memory=791836 CPUtime=10.13 cores=0,2,4,6
/proc/2333/task/2387/stat : 2387 (java) S 2330 2333 29733 0 -1 1077944384 10720 13006 0 0 954 51 5 3 20 0 15 0 474990000 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996230162960 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2388] ppid=2330 vsize=10847000 memory=793884 CPUtime=10.17 cores=0,2,4,6
/proc/2333/task/2388/stat : 2388 (java) S 2330 2333 29733 0 -1 1077944384 10788 13006 0 0 955 54 5 3 20 0 15 0 474990000 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996144982672 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2389] ppid=2330 vsize=10847000 memory=793884 CPUtime=10.12 cores=0,2,4,6
/proc/2333/task/2389/stat : 2389 (java) S 2330 2333 29733 0 -1 1077944384 14685 13006 0 0 951 53 5 3 20 0 15 0 474990000 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996143929616 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2390] ppid=2330 vsize=10847000 memory=793884 CPUtime=10.17 cores=0,2,4,6
/proc/2333/task/2390/stat : 2390 (java) S 2330 2333 29733 0 -1 1077944384 12813 13006 0 0 955 54 5 3 20 0 15 0 474990000 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996142877072 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2391] ppid=2330 vsize=10847000 memory=793884 CPUtime=9.65 cores=0,2,4,6
/proc/2333/task/2391/stat : 2391 (java) S 2330 2333 29733 0 -1 1077944384 14856 13006 0 0 908 49 5 3 20 0 15 0 474990001 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995752364784 139996225931906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2392] ppid=2330 vsize=10847000 memory=793884 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2392/stat : 2392 (java) S 2330 2333 29733 0 -1 1077944384 15 13006 0 0 0 0 5 3 20 0 15 0 474990002 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995666966240 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2393] ppid=2330 vsize=10847000 memory=793884 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2393/stat : 2393 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990002 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995532748032 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2394] ppid=2330 vsize=10847000 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2394/stat : 2394 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139994928769488 139996225939355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2395] ppid=2330 vsize=10847000 memory=791836 CPUtime=3.87 cores=0,2,4,6
/proc/2333/task/2395/stat : 2395 (java) S 2330 2333 29733 0 -1 1077944384 21125 13006 0 0 375 4 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995751311600 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2396] ppid=2330 vsize=10847000 memory=55 CPUtime=3.3 cores=0,2,4,6
/proc/2333/task/2396/stat : 2396 (java) S 2330 2333 29733 0 -1 1077944384 18052 13006 0 0 318 4 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995750259056 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2397] ppid=2330 vsize=10847000 memory=3588 CPUtime=3.06 cores=0,2,4,6
/proc/2333/task/2397/stat : 2397 (java) S 2330 2333 29733 0 -1 1077944384 21368 13006 0 0 293 5 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995749206000 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2398] ppid=2330 vsize=10847000 memory=54116 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2398/stat : 2398 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139994459007328 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2400] ppid=2330 vsize=10847000 memory=3588 CPUtime=1.39 cores=0,2,4,6
/proc/2333/task/2400/stat : 2400 (java) S 2330 2333 29733 0 -1 1077944384 910 13006 0 0 69 62 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995748154416 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
Current children cumulated CPU time: 2419.79 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 793884 KiB
[startup+2442.3 s]
/proc/loadavg: 0.69 0.75 1.01 2/207 2682
/proc/meminfo: memFree=9241108/32770624 swapFree=67002124/67108860
[pid=2333] ppid=2330 vsize=10847000 memory=793884 CPUtime=2480.54 cores=0,2,4,6
/proc/2333/stat : 2333 (java) S 2330 2333 29733 0 -1 1077944320 189802 13006 0 0 247717 329 5 3 20 0 15 0 474989990 11107328000 198471 33554432000 4194304 4196468 140730234570544 140730234553088 139996225920759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
/proc/2333/statm: 2711750 198471 3628 1 0 2673805 0
[pid=2333/tid=2386] ppid=2330 vsize=10847000 memory=793884 CPUtime=2417.98 cores=0,2,4,6
/proc/2333/task/2386/stat : 2386 (java) R 2330 2333 29733 0 -1 4202560 61523 13006 0 0 241747 43 5 3 20 0 15 0 474989999 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996197756112 139995832495715 0 4 0 16800975 0 0 0 -1 2 0 0 71 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2387] ppid=2330 vsize=10847000 memory=793884 CPUtime=10.4 cores=0,2,4,6
/proc/2333/task/2387/stat : 2387 (java) S 2330 2333 29733 0 -1 1077944384 10849 13006 0 0 979 53 5 3 20 0 15 0 474990000 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996230162960 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2388] ppid=2330 vsize=10847000 memory=793884 CPUtime=10.43 cores=0,2,4,6
/proc/2333/task/2388/stat : 2388 (java) S 2330 2333 29733 0 -1 1077944384 10853 13006 0 0 979 56 5 3 20 0 15 0 474990000 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996144982672 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2389] ppid=2330 vsize=10847000 memory=793884 CPUtime=10.37 cores=0,2,4,6
/proc/2333/task/2389/stat : 2389 (java) S 2330 2333 29733 0 -1 1077944384 14781 13006 0 0 975 54 5 3 20 0 15 0 474990000 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996143929616 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2390] ppid=2330 vsize=10847000 memory=793884 CPUtime=10.43 cores=0,2,4,6
/proc/2333/task/2390/stat : 2390 (java) S 2330 2333 29733 0 -1 1077944384 13034 13006 0 0 980 55 5 3 20 0 15 0 474990000 11107328000 198471 33554432000 4194304 4196468 140730234570544 139996142877072 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2391] ppid=2330 vsize=10847000 memory=793884 CPUtime=9.89 cores=0,2,4,6
/proc/2333/task/2391/stat : 2391 (java) S 2330 2333 29733 0 -1 1077944384 15052 13006 0 0 930 51 5 3 20 0 15 0 474990001 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995752364784 139996225931906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2392] ppid=2330 vsize=10847000 memory=793884 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2392/stat : 2392 (java) S 2330 2333 29733 0 -1 1077944384 15 13006 0 0 0 0 5 3 20 0 15 0 474990002 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995666966240 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2393] ppid=2330 vsize=10847000 memory=793884 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2393/stat : 2393 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990002 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995532748032 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2394] ppid=2330 vsize=10847000 memory=793884 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2394/stat : 2394 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139994928769488 139996225939355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2395] ppid=2330 vsize=10847000 memory=3588 CPUtime=3.87 cores=0,2,4,6
/proc/2333/task/2395/stat : 2395 (java) S 2330 2333 29733 0 -1 1077944384 21127 13006 0 0 375 4 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995751311600 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2396] ppid=2330 vsize=10847000 memory=793884 CPUtime=3.3 cores=0,2,4,6
/proc/2333/task/2396/stat : 2396 (java) S 2330 2333 29733 0 -1 1077944384 18054 13006 0 0 318 4 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995750259056 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2397] ppid=2330 vsize=10847000 memory=3620 CPUtime=3.06 cores=0,2,4,6
/proc/2333/task/2397/stat : 2397 (java) S 2330 2333 29733 0 -1 1077944384 21370 13006 0 0 293 5 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995749206000 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2398] ppid=2330 vsize=10847000 memory=793884 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2398/stat : 2398 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139994459007328 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2400] ppid=2330 vsize=10847000 memory=793884 CPUtime=1.42 cores=0,2,4,6
/proc/2333/task/2400/stat : 2400 (java) S 2330 2333 29733 0 -1 1077944384 927 13006 0 0 71 63 5 3 20 0 15 0 474990005 11107328000 198471 33554432000 4194304 4196468 140730234570544 139995748154416 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
Current children cumulated CPU time: 2480.54 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 793884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.3 s]
/proc/loadavg: 0.65 0.73 0.99 2/206 2686
/proc/meminfo: memFree=9239104/32770624 swapFree=67002124/67108860
[pid=2333] ppid=2330 vsize=10847000 memory=795932 CPUtime=2520.05 cores=0,2,4,6
/proc/2333/stat : 2333 (java) S 2330 2333 29733 0 -1 1077944320 191039 13006 0 0 251663 334 5 3 20 0 15 0 474989990 11107328000 198983 33554432000 4194304 4196468 140730234570544 140730234553088 139996225920759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
/proc/2333/statm: 2711750 198983 3628 1 0 2673805 0
[pid=2333/tid=2386] ppid=2330 vsize=10847000 memory=795932 CPUtime=2456.62 cores=0,2,4,6
/proc/2333/task/2386/stat : 2386 (java) R 2330 2333 29733 0 -1 4202560 62010 13006 0 0 245610 44 5 3 20 0 15 0 474989999 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996197756240 139995830060697 0 4 0 16800975 0 0 0 -1 0 0 0 71 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2387] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.57 cores=0,2,4,6
/proc/2333/task/2387/stat : 2387 (java) S 2330 2333 29733 0 -1 1077944384 11028 13006 0 0 995 54 5 3 20 0 15 0 474990000 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996230162960 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2388] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.6 cores=0,2,4,6
/proc/2333/task/2388/stat : 2388 (java) S 2330 2333 29733 0 -1 1077944384 10881 13006 0 0 996 56 5 3 20 0 15 0 474990000 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996144982672 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2389] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.55 cores=0,2,4,6
/proc/2333/task/2389/stat : 2389 (java) S 2330 2333 29733 0 -1 1077944384 14963 13006 0 0 992 55 5 3 20 0 15 0 474990000 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996143929616 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2390] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.6 cores=0,2,4,6
/proc/2333/task/2390/stat : 2390 (java) S 2330 2333 29733 0 -1 1077944384 13173 13006 0 0 996 56 5 3 20 0 15 0 474990000 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996142877072 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2391] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.04 cores=0,2,4,6
/proc/2333/task/2391/stat : 2391 (java) S 2330 2333 29733 0 -1 1077944384 15254 13006 0 0 945 51 5 3 20 0 15 0 474990001 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995752364784 139996225931906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2392] ppid=2330 vsize=10847000 memory=795932 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2392/stat : 2392 (java) S 2330 2333 29733 0 -1 1077944384 15 13006 0 0 0 0 5 3 20 0 15 0 474990002 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995666966240 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2393] ppid=2330 vsize=10847000 memory=795932 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2393/stat : 2393 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990002 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995532748032 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2394] ppid=2330 vsize=10847000 memory=795932 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2394/stat : 2394 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139994928769488 139996225939355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2395] ppid=2330 vsize=10847000 memory=795932 CPUtime=3.87 cores=0,2,4,6
/proc/2333/task/2395/stat : 2395 (java) S 2330 2333 29733 0 -1 1077944384 21129 13006 0 0 375 4 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995751311600 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2396] ppid=2330 vsize=10847000 memory=1096 CPUtime=3.3 cores=0,2,4,6
/proc/2333/task/2396/stat : 2396 (java) S 2330 2333 29733 0 -1 1077944384 18056 13006 0 0 318 4 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995750259056 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2397] ppid=2330 vsize=10847000 memory=6128 CPUtime=3.06 cores=0,2,4,6
/proc/2333/task/2397/stat : 2397 (java) S 2330 2333 29733 0 -1 1077944384 21372 13006 0 0 293 5 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995749206000 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2398] ppid=2330 vsize=10847000 memory=795932 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2398/stat : 2398 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139994459007328 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2400] ppid=2330 vsize=10847000 memory=54116 CPUtime=1.44 cores=0,2,4,6
/proc/2333/task/2400/stat : 2400 (java) S 2330 2333 29733 0 -1 1077944384 941 13006 0 0 72 64 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995748154416 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 795932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.34 s]
# the end of solver process 2333 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.7 s, system=3.38232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2481.3 s]
/proc/loadavg: 0.65 0.73 0.99 2/206 2686
/proc/meminfo: memFree=9239104/32770624 swapFree=67002124/67108860
[pid=2333] ppid=2330 vsize=10847000 memory=795932 CPUtime=2520.05 cores=0,2,4,6
/proc/2333/stat : 2333 (java) S 2330 2333 29733 0 -1 1077944320 191039 13006 0 0 251663 334 5 3 20 0 15 0 474989990 11107328000 198983 33554432000 4194304 4196468 140730234570544 140730234553088 139996225920759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
/proc/2333/statm: 2711750 198983 3628 1 0 2673805 0
[pid=2333/tid=2386] ppid=2330 vsize=10847000 memory=795932 CPUtime=2456.62 cores=0,2,4,6
/proc/2333/task/2386/stat : 2386 (java) R 2330 2333 29733 0 -1 4202560 62010 13006 0 0 245610 44 5 3 20 0 15 0 474989999 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996197756240 139995830060697 0 4 0 16800975 0 0 0 -1 0 0 0 71 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2387] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.57 cores=0,2,4,6
/proc/2333/task/2387/stat : 2387 (java) S 2330 2333 29733 0 -1 1077944384 11028 13006 0 0 995 54 5 3 20 0 15 0 474990000 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996230162960 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2388] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.6 cores=0,2,4,6
/proc/2333/task/2388/stat : 2388 (java) S 2330 2333 29733 0 -1 1077944384 10881 13006 0 0 996 56 5 3 20 0 15 0 474990000 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996144982672 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2389] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.55 cores=0,2,4,6
/proc/2333/task/2389/stat : 2389 (java) S 2330 2333 29733 0 -1 1077944384 14963 13006 0 0 992 55 5 3 20 0 15 0 474990000 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996143929616 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2390] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.6 cores=0,2,4,6
/proc/2333/task/2390/stat : 2390 (java) S 2330 2333 29733 0 -1 1077944384 13173 13006 0 0 996 56 5 3 20 0 15 0 474990000 11107328000 198983 33554432000 4194304 4196468 140730234570544 139996142877072 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2391] ppid=2330 vsize=10847000 memory=795932 CPUtime=10.04 cores=0,2,4,6
/proc/2333/task/2391/stat : 2391 (java) S 2330 2333 29733 0 -1 1077944384 15254 13006 0 0 945 51 5 3 20 0 15 0 474990001 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995752364784 139996225931906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2392] ppid=2330 vsize=10847000 memory=795932 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2392/stat : 2392 (java) S 2330 2333 29733 0 -1 1077944384 15 13006 0 0 0 0 5 3 20 0 15 0 474990002 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995666966240 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2393] ppid=2330 vsize=10847000 memory=795932 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2393/stat : 2393 (java) S 2330 2333 29733 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 474990002 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995532748032 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2394] ppid=2330 vsize=10847000 memory=795932 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2394/stat : 2394 (java) S 2330 2333 29733 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139994928769488 139996225939355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2395] ppid=2330 vsize=10847000 memory=795932 CPUtime=3.87 cores=0,2,4,6
/proc/2333/task/2395/stat : 2395 (java) S 2330 2333 29733 0 -1 1077944384 21129 13006 0 0 375 4 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995751311600 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2396] ppid=2330 vsize=10847000 memory=1096 CPUtime=3.3 cores=0,2,4,6
/proc/2333/task/2396/stat : 2396 (java) S 2330 2333 29733 0 -1 1077944384 18056 13006 0 0 318 4 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995750259056 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2397] ppid=2330 vsize=10847000 memory=6128 CPUtime=3.06 cores=0,2,4,6
/proc/2333/task/2397/stat : 2397 (java) S 2330 2333 29733 0 -1 1077944384 21372 13006 0 0 293 5 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995749206000 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2398] ppid=2330 vsize=10847000 memory=795932 CPUtime=0.08 cores=0,2,4,6
/proc/2333/task/2398/stat : 2398 (java) S 2330 2333 29733 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139994459007328 139996225930965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
[pid=2333/tid=2400] ppid=2330 vsize=10847000 memory=54116 CPUtime=1.44 cores=0,2,4,6
/proc/2333/task/2400/stat : 2400 (java) S 2330 2333 29733 0 -1 1077944384 941 13006 0 0 72 64 5 3 20 0 15 0 474990005 11107328000 198983 33554432000 4194304 4196468 140730234570544 139995748154416 139996225931906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140730234575599 140730234578117 140730234578117 140730234580943 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 795932 KiB
Child status: 143
Real time (s): 2481.34
CPU time (s): 2520.09
CPU user time (s): 2516.7
CPU system time (s): 3.38232
CPU usage (%): 101.562
Max. virtual memory (cumulated for all children) (KiB): 10849664
Max. memory (cumulated for all children) (KiB): 816016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.7
system time used= 3.38232
maximum resident set size= 818064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275765
involuntary context switches= 8248
# summary of solver processes directly reported to runsolver:
# pid: 2333
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.7
# total CPU system time (s): 3.38232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2766 second user time and 22.3691 second system time
The end