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 (2938 MiB free)
memory of node 1: 16384 MiB (2623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402825-1568973548/watcher-4402825-1568973548 -o /tmp/evaluation-result-4402825-1568973548/solver-4402825-1568973548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568967594-23612 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=828317043 HOME/instance-4402825-1568973548.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=25694, runsolver pid=25691
[startup+0.109836 s]*
/proc/loadavg: 2.22 1.59 1.50 3/219 25752
/proc/meminfo: memFree=5678412/32770624 swapFree=66935368/67108860
[pid=25694] ppid=25691 vsize=10355560 memory=21712 CPUtime=0.09 cores=1,3,5,7
/proc/25694/stat : 25694 (java) S 25691 25694 23580 0 -1 1077944320 4679 12992 0 0 2 0 4 3 20 0 9 0 473292626 10604093440 5428 33554432000 4194304 4196468 140728207690496 140728207673040 140478826086135 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
/proc/25694/statm: 2588890 5428 2103 1 0 2551431 0
[pid=25694/tid=25747] ppid=25691 vsize=10355560 memory=-8439527450518781933 CPUtime=0.09 cores=1,3,5,7
/proc/25694/task/25747/stat : 25747 (java) R 25691 25694 23580 0 -1 4202560 2438 12992 0 0 2 0 4 3 20 0 9 0 473292634 10604093440 5428 33554432000 4194304 4196468 140728207690496 140478797922160 140478811768661 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25748] ppid=25691 vsize=10355560 memory=4211974091627629962 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25748/stat : 25748 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 9 0 473292635 10604093440 5428 33554432000 4194304 4196468 140728207690496 140478830328208 140478826096341 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25749] ppid=25691 vsize=10355560 memory=140365422839424 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25749/stat : 25749 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 9 0 473292635 10604093440 5428 33554432000 4194304 4196468 140728207690496 140478718601488 140478826096341 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25750] ppid=25691 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25750/stat : 25750 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 9 0 473292635 10604093440 5428 33554432000 4194304 4196468 140728207690496 140478397803152 140478826096341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25751] ppid=25691 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25751/stat : 25751 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 9 0 473292635 10604093440 5428 33554432000 4194304 4196468 140728207690496 140478396750352 140478826096341 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25752] ppid=25691 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25752/stat : 25752 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 9 0 473292637 10604093440 5428 33554432000 4194304 4196468 140728207690496 140477829229168 140478826097282 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25753] ppid=25691 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25753/stat : 25753 (java) S 25691 25694 23580 0 -1 1077944384 33 12992 0 0 0 0 4 3 20 0 9 0 473292637 10604093440 5428 33554432000 4194304 4196468 140728207690496 140477828175136 140478826096341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25754] ppid=25691 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25754/stat : 25754 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 9 0 473292637 10604093440 5428 33554432000 4194304 4196468 140728207690496 140477709936304 140478826096341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21712 KiB
[startup+0.210212 s]*
/proc/loadavg: 2.21 1.60 1.51 4/227 25760
/proc/meminfo: memFree=5659388/32770624 swapFree=66935368/67108860
[pid=25694] ppid=25691 vsize=10820196 memory=43700 CPUtime=0.26 cores=1,3,5,7
/proc/25694/stat : 25694 (java) S 25691 25694 23580 0 -1 1077944320 7267 12992 0 0 18 1 4 3 20 0 15 0 473292626 11079880704 10925 33554432000 4194304 4196468 140728207690496 140728207673040 140478826086135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
/proc/25694/statm: 2705049 10925 3305 1 0 2667149 0
[pid=25694/tid=25747] ppid=25691 vsize=10820196 memory=7900017517374083699 CPUtime=0.19 cores=1,3,5,7
/proc/25694/task/25747/stat : 25747 (java) R 25691 25694 23580 0 -1 4202560 3726 12992 0 0 11 1 4 3 20 0 15 0 473292634 11079880704 10925 33554432000 4194304 4196468 140728207690496 140478797900320 140478810166622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25748] ppid=25691 vsize=10820196 memory=4211974091627629962 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25748/stat : 25748 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292635 11079880704 10925 33554432000 4194304 4196468 140728207690496 140478830328208 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25749] ppid=25691 vsize=10820196 memory=140365422839424 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25749/stat : 25749 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292635 11079880704 10925 33554432000 4194304 4196468 140728207690496 140478718601488 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25750] ppid=25691 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25750/stat : 25750 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292635 11079880704 10925 33554432000 4194304 4196468 140728207690496 140478397803152 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25751] ppid=25691 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25751/stat : 25751 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292635 11079880704 10925 33554432000 4194304 4196468 140728207690496 140478396750352 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25752] ppid=25691 vsize=10820196 memory=140365422839424 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25752/stat : 25752 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292637 11079880704 10925 33554432000 4194304 4196468 140728207690496 140477829229168 140478826097282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25753] ppid=25691 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25753/stat : 25753 (java) S 25691 25694 23580 0 -1 1077944384 33 12992 0 0 0 0 4 3 20 0 15 0 473292637 11079880704 10925 33554432000 4194304 4196468 140728207690496 140477828175136 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25754] ppid=25691 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25754/stat : 25754 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292637 11079880704 10925 33554432000 4194304 4196468 140728207690496 140477709936240 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25755] ppid=25691 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25755/stat : 25755 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292640 11079880704 10925 33554432000 4194304 4196468 140728207690496 140477374392912 140478826104731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25756] ppid=25691 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25694/task/25756/stat : 25756 (java) S 25691 25694 23580 0 -1 1077944384 94 12992 0 0 1 0 4 3 20 0 15 0 473292640 11079880704 10925 33554432000 4194304 4196468 140728207690496 140477794617456 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25757] ppid=25691 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25694/task/25757/stat : 25757 (java) S 25691 25694 23580 0 -1 1077944384 559 12992 0 0 1 0 4 3 20 0 15 0 473292640 11079880704 10925 33554432000 4194304 4196468 140728207690496 140477793564656 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25758] ppid=25691 vsize=10820196 memory=140365422839424 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25758/stat : 25758 (java) S 25691 25694 23580 0 -1 1077944384 640 12992 0 0 3 0 4 3 20 0 15 0 473292640 11079880704 10925 33554432000 4194304 4196468 140728207690496 140477792512368 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25759] ppid=25691 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25759/stat : 25759 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292640 11079880704 10925 33554432000 4194304 4196468 140728207690496 140477105957344 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25760] ppid=25691 vsize=10820196 memory=140365422839424 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25760/stat : 25760 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292640 11079880704 10925 33554432000 4194304 4196468 140728207690496 140477791460272 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 43700 KiB
[startup+0.310164 s]*
/proc/loadavg: 2.21 1.60 1.51 4/227 25760
/proc/meminfo: memFree=5646456/32770624 swapFree=66935368/67108860
[pid=25694] ppid=25691 vsize=10820196 memory=52196 CPUtime=0.4 cores=1,3,5,7
/proc/25694/stat : 25694 (java) S 25691 25694 23580 0 -1 1077944320 10773 12992 0 0 30 3 4 3 20 0 15 0 473292626 11079880704 13049 33554432000 4194304 4196468 140728207690496 140728207673040 140478826086135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
/proc/25694/statm: 2705049 13049 3316 1 0 2667149 0
[pid=25694/tid=25747] ppid=25691 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/25694/task/25747/stat : 25747 (java) R 25691 25694 23580 0 -1 4202560 7209 12992 0 0 19 2 4 3 20 0 15 0 473292634 11079880704 13049 33554432000 4194304 4196468 140728207690496 140478797895056 140478810166622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25748] ppid=25691 vsize=10820196 memory=-7003737579269690708 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25748/stat : 25748 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292635 11079880704 13049 33554432000 4194304 4196468 140728207690496 140478830328208 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25749] ppid=25691 vsize=10820196 memory=-7737643479190322274 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25749/stat : 25749 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292635 11079880704 13049 33554432000 4194304 4196468 140728207690496 140478718601488 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25750] ppid=25691 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25750/stat : 25750 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292635 11079880704 13049 33554432000 4194304 4196468 140728207690496 140478397803152 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25751] ppid=25691 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25751/stat : 25751 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292635 11079880704 13049 33554432000 4194304 4196468 140728207690496 140478396750352 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25752] ppid=25691 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25752/stat : 25752 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292637 11079880704 13049 33554432000 4194304 4196468 140728207690496 140477829229168 140478826097282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25753] ppid=25691 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25753/stat : 25753 (java) S 25691 25694 23580 0 -1 1077944384 33 12992 0 0 0 0 4 3 20 0 15 0 473292637 11079880704 13049 33554432000 4194304 4196468 140728207690496 140477828175136 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25754] ppid=25691 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25754/stat : 25754 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292637 11079880704 13049 33554432000 4194304 4196468 140728207690496 140477709936240 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25755] ppid=25691 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25755/stat : 25755 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292640 11079880704 13049 33554432000 4194304 4196468 140728207690496 140477374392912 140478826104731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25756] ppid=25691 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25694/task/25756/stat : 25756 (java) S 25691 25694 23580 0 -1 1077944384 95 12992 0 0 2 0 4 3 20 0 15 0 473292640 11079880704 13049 33554432000 4194304 4196468 140728207690496 140477794617456 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25757] ppid=25691 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25694/task/25757/stat : 25757 (java) S 25691 25694 23580 0 -1 1077944384 559 12992 0 0 1 0 4 3 20 0 15 0 473292640 11079880704 13049 33554432000 4194304 4196468 140728207690496 140477793564656 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25758] ppid=25691 vsize=10820196 memory=140365422839424 CPUtime=0.12 cores=1,3,5,7
/proc/25694/task/25758/stat : 25758 (java) S 25691 25694 23580 0 -1 1077944384 659 12992 0 0 5 0 4 3 20 0 15 0 473292640 11079880704 13049 33554432000 4194304 4196468 140728207690496 140477792512368 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25759] ppid=25691 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25759/stat : 25759 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292640 11079880704 13049 33554432000 4194304 4196468 140728207690496 140477105957344 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25760] ppid=25691 vsize=10820196 memory=140365422839424 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25760/stat : 25760 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292640 11079880704 13049 33554432000 4194304 4196468 140728207690496 140477791460272 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52196 KiB
[startup+0.702701 s]
/proc/loadavg: 2.21 1.60 1.51 3/227 25760
/proc/meminfo: memFree=5630824/32770624 swapFree=66935368/67108860
[pid=25694] ppid=25691 vsize=10824364 memory=85976 CPUtime=1.15 cores=1,3,5,7
/proc/25694/stat : 25694 (java) S 25691 25694 23580 0 -1 1077944320 15173 12992 0 0 103 5 4 3 20 0 15 0 473292626 11084148736 21494 33554432000 4194304 4196468 140728207690496 140728207673040 140478826086135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
/proc/25694/statm: 2706091 21494 3515 1 0 2668173 0
[pid=25694/tid=25747] ppid=25691 vsize=10825388 memory=2110715910040676 CPUtime=0.67 cores=1,3,5,7
/proc/25694/task/25747/stat : 25747 (java) R 25691 25694 23580 0 -1 4202560 10472 12992 0 0 56 4 4 3 20 0 15 0 473292634 11085197312 21494 33554432000 4194304 4196468 140728207690496 140478797904064 140478818765853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25748] ppid=25691 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25748/stat : 25748 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292635 11085197312 21494 33554432000 4194304 4196468 140728207690496 140478830328208 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25749] ppid=25691 vsize=10825388 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25749/stat : 25749 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292635 11085197312 21494 33554432000 4194304 4196468 140728207690496 140478718601488 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25750] ppid=25691 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25750/stat : 25750 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292635 11085197312 21559 33554432000 4194304 4196468 140728207690496 140478397803152 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25751] ppid=25691 vsize=10825388 memory=288370741454314512 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25751/stat : 25751 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292635 11085197312 21534 33554432000 4194304 4196468 140728207690496 140478396750352 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25752] ppid=25691 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25752/stat : 25752 (java) S 25691 25694 23580 0 -1 1077944384 5 12992 0 0 0 0 4 3 20 0 15 0 473292637 11084148736 21534 33554432000 4194304 4196468 140728207690496 140477829229168 140478826097282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25753] ppid=25691 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25753/stat : 25753 (java) S 25691 25694 23580 0 -1 1077944384 33 12992 0 0 0 0 4 3 20 0 15 0 473292637 11084148736 21534 33554432000 4194304 4196468 140728207690496 140477828175136 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25754] ppid=25691 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25754/stat : 25754 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292637 11084148736 21534 33554432000 4194304 4196468 140728207690496 140477709936240 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25755] ppid=25691 vsize=10825388 memory=7809523229951467576 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25755/stat : 25755 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292640 11085197312 21534 33554432000 4194304 4196468 140728207690496 140477374392912 140478826104731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25756] ppid=25691 vsize=10825388 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/25694/task/25756/stat : 25756 (java) S 25691 25694 23580 0 -1 1077944384 541 12992 0 0 13 0 4 3 20 0 15 0 473292640 11085197312 21534 33554432000 4194304 4196468 140728207690496 140477794617456 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25757] ppid=25691 vsize=10825388 memory=-7017008817040740910 CPUtime=0.22 cores=1,3,5,7
/proc/25694/task/25757/stat : 25757 (java) S 25691 25694 23580 0 -1 1077944384 1043 12992 0 0 15 0 4 3 20 0 15 0 473292640 11085197312 21534 33554432000 4194304 4196468 140728207690496 140477793564656 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25758] ppid=25691 vsize=10825388 memory=6944656575208382560 CPUtime=0.24 cores=1,3,5,7
/proc/25694/task/25758/stat : 25758 (java) S 25691 25694 23580 0 -1 1077944384 864 12992 0 0 17 0 4 3 20 0 15 0 473292640 11085197312 21534 33554432000 4194304 4196468 140728207690496 140477792512368 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25759] ppid=25691 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25759/stat : 25759 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292640 11084148736 21534 33554432000 4194304 4196468 140728207690496 140477105957344 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25760] ppid=25691 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25760/stat : 25760 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292640 11084148736 21534 33554432000 4194304 4196468 140728207690496 140477791460272 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85976 KiB
[startup+1.50075 s]
/proc/loadavg: 2.21 1.60 1.51 3/227 25760
/proc/meminfo: memFree=5578588/32770624 swapFree=66935368/67108860
[pid=25694] ppid=25691 vsize=10834680 memory=184644 CPUtime=2.69 cores=1,3,5,7
/proc/25694/stat : 25694 (java) S 25691 25694 23580 0 -1 1077944320 25616 12992 0 0 252 10 4 3 20 0 15 0 473292626 11094712320 46161 33554432000 4194304 4196468 140728207690496 140728207673040 140478826086135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
/proc/25694/statm: 2708670 46161 3586 1 0 2670733 0
[pid=25694/tid=25747] ppid=25691 vsize=10834680 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/25694/task/25747/stat : 25747 (java) R 25691 25694 23580 0 -1 4202560 15982 12992 0 0 130 5 4 3 20 0 15 0 473292634 11094712320 46161 33554432000 4194304 4196468 140728207690496 140478797909552 140478810166622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25748] ppid=25691 vsize=10834680 memory=103388 CPUtime=0.08 cores=1,3,5,7
/proc/25694/task/25748/stat : 25748 (java) S 25691 25694 23580 0 -1 1077944384 76 12992 0 0 1 0 4 3 20 0 15 0 473292635 11094712320 46161 33554432000 4194304 4196468 140728207690496 140478830328208 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25749] ppid=25691 vsize=10834680 memory=2110715910040676 CPUtime=0.08 cores=1,3,5,7
/proc/25694/task/25749/stat : 25749 (java) S 25691 25694 23580 0 -1 1077944384 37 12992 0 0 1 0 4 3 20 0 15 0 473292635 11094712320 46161 33554432000 4194304 4196468 140728207690496 140478718601488 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25750] ppid=25691 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25694/task/25750/stat : 25750 (java) S 25691 25694 23580 0 -1 1077944384 306 12992 0 0 1 0 4 3 20 0 15 0 473292635 11094712320 46161 33554432000 4194304 4196468 140728207690496 140478397803152 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25751] ppid=25691 vsize=10834680 memory=280730605502368 CPUtime=0.08 cores=1,3,5,7
/proc/25694/task/25751/stat : 25751 (java) S 25691 25694 23580 0 -1 1077944384 103 12992 0 0 1 0 4 3 20 0 15 0 473292635 11094712320 46161 33554432000 4194304 4196468 140728207690496 140478396750352 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25752] ppid=25691 vsize=10834680 memory=288230583166042426 CPUtime=0.08 cores=1,3,5,7
/proc/25694/task/25752/stat : 25752 (java) S 25691 25694 23580 0 -1 1077944384 1191 12992 0 0 1 0 4 3 20 0 15 0 473292637 11094712320 46161 33554432000 4194304 4196468 140728207690496 140477829229168 140478826097282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25753] ppid=25691 vsize=10834680 memory=14136632290838955 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25753/stat : 25753 (java) S 25691 25694 23580 0 -1 1077944384 34 12992 0 0 0 0 4 3 20 0 15 0 473292637 11094712320 46161 33554432000 4194304 4196468 140728207690496 140477828175200 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25754] ppid=25691 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25754/stat : 25754 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292637 11094712320 46161 33554432000 4194304 4196468 140728207690496 140477709936256 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25755] ppid=25691 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25755/stat : 25755 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292640 11094712320 46161 33554432000 4194304 4196468 140728207690496 140477374392912 140478826104731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25756] ppid=25691 vsize=10834680 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/25694/task/25756/stat : 25756 (java) S 25691 25694 23580 0 -1 1077944384 1498 12992 0 0 33 0 4 3 20 0 15 0 473292640 11094712320 46161 33554432000 4194304 4196468 140728207690496 140477794617456 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25757] ppid=25691 vsize=10834680 memory=8976414709404591081 CPUtime=0.43 cores=1,3,5,7
/proc/25694/task/25757/stat : 25757 (java) S 25691 25694 23580 0 -1 1077944384 2120 12992 0 0 36 0 4 3 20 0 15 0 473292640 11094712320 46161 33554432000 4194304 4196468 140728207690496 140477793564656 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25758] ppid=25691 vsize=10834680 memory=6944656575208382560 CPUtime=0.5 cores=1,3,5,7
/proc/25694/task/25758/stat : 25758 (java) S 25691 25694 23580 0 -1 1077944384 2057 12992 0 0 43 0 4 3 20 0 15 0 473292640 11094712320 46161 33554432000 4194304 4196468 140728207690496 140477792512368 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
################
# More data... #
################
[startup+4.67017 s]
# the end of solver process 25694 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.2615 s, system=0.272318 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20092 s]
/proc/loadavg: 2.21 1.60 1.51 4/227 25760
/proc/meminfo: memFree=5406324/32770624 swapFree=66935368/67108860
[pid=25694] ppid=25691 vsize=10846988 memory=278044 CPUtime=6.86 cores=1,3,5,7
/proc/25694/stat : 25694 (java) S 25691 25694 23580 0 -1 1077944320 40335 12992 0 0 662 17 4 3 20 0 15 0 473292626 11107315712 69511 33554432000 4194304 4196468 140728207690496 140728207673040 140478826086135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
/proc/25694/statm: 2711747 69511 3604 1 0 2673805 0
[pid=25694/tid=25747] ppid=25691 vsize=10846988 memory=6656426216303648864 CPUtime=3.07 cores=1,3,5,7
/proc/25694/task/25747/stat : 25747 (java) R 25691 25694 23580 0 -1 4202560 22387 12992 0 0 292 8 4 3 20 0 15 0 473292634 11107315712 69511 33554432000 4194304 4196468 140728207690496 140478797920064 140478810129765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25748] ppid=25691 vsize=10846988 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/25694/task/25748/stat : 25748 (java) S 25691 25694 23580 0 -1 1077944384 85 12992 0 0 2 0 4 3 20 0 15 0 473292635 11107315712 69511 33554432000 4194304 4196468 140728207690496 140478830328208 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25749] ppid=25691 vsize=10846988 memory=1700 CPUtime=0.09 cores=1,3,5,7
/proc/25694/task/25749/stat : 25749 (java) S 25691 25694 23580 0 -1 1077944384 51 12992 0 0 2 0 4 3 20 0 15 0 473292635 11107315712 69511 33554432000 4194304 4196468 140728207690496 140478718601488 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25750] ppid=25691 vsize=10846988 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25750/stat : 25750 (java) S 25691 25694 23580 0 -1 1077944384 323 12992 0 0 3 0 4 3 20 0 15 0 473292635 11107315712 69511 33554432000 4194304 4196468 140728207690496 140478397803152 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25751] ppid=25691 vsize=10846988 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25694/task/25751/stat : 25751 (java) S 25691 25694 23580 0 -1 1077944384 116 12992 0 0 2 0 4 3 20 0 15 0 473292635 11107315712 69511 33554432000 4194304 4196468 140728207690496 140478396750352 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25752] ppid=25691 vsize=10846988 memory=140365302883328 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25752/stat : 25752 (java) S 25691 25694 23580 0 -1 1077944384 1662 12992 0 0 3 0 4 3 20 0 15 0 473292637 11107315712 69511 33554432000 4194304 4196468 140728207690496 140477829229168 140478826097282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25753] ppid=25691 vsize=10846988 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25753/stat : 25753 (java) S 25691 25694 23580 0 -1 1077944384 37 12992 0 0 0 0 4 3 20 0 15 0 473292637 11107315712 69511 33554432000 4194304 4196468 140728207690496 140477828175200 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25754] ppid=25691 vsize=10846988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25754/stat : 25754 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292637 11107315712 69511 33554432000 4194304 4196468 140728207690496 140477709936256 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25755] ppid=25691 vsize=10846988 memory=280730605779744 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25755/stat : 25755 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292640 11107315712 69513 33554432000 4194304 4196468 140728207690496 140477374392912 140478826104731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25756] ppid=25691 vsize=10846988 memory=280730605191408 CPUtime=1.18 cores=1,3,5,7
/proc/25694/task/25756/stat : 25756 (java) R 25691 25694 23580 0 -1 4202560 4459 12992 0 0 110 1 4 3 20 0 15 0 473292640 11107315712 69513 33554432000 4194304 4196468 140728207690496 140477794597784 140478809582923 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25757] ppid=25691 vsize=10846988 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/25694/task/25757/stat : 25757 (java) S 25691 25694 23580 0 -1 1077944384 4141 12992 0 0 112 1 4 3 20 0 15 0 473292640 11107315712 69513 33554432000 4194304 4196468 140728207690496 140477793564656 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25758] ppid=25691 vsize=10846988 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/25694/task/25758/stat : 25758 (java) S 25691 25694 23580 0 -1 1077944384 4867 12992 0 0 130 2 4 3 20 0 15 0 473292640 11107315712 69513 33554432000 4194304 4196468 140728207690496 140477792512368 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25759] ppid=25691 vsize=10846988 memory=187868 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25759/stat : 25759 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292640 11107315712 69513 33554432000 4194304 4196468 140728207690496 140477105957344 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25760] ppid=25691 vsize=10846988 memory=303711698211307546 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25760/stat : 25760 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292640 11107315712 69513 33554432000 4194304 4196468 140728207690496 140477791460272 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
Current children cumulated CPU time: 6.86 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 278044 KiB
[startup+4.00067 s]*
/proc/loadavg: 2.21 1.60 1.51 6/227 25760
/proc/meminfo: memFree=5364356/32770624 swapFree=66935368/67108860
[pid=25694] ppid=25691 vsize=10851096 memory=302176 CPUtime=9.54 cores=1,3,5,7
/proc/25694/stat : 25694 (java) S 25691 25694 23580 0 -1 1077944320 53395 12992 0 0 926 21 4 3 20 0 15 0 473292626 11111522304 75544 33554432000 4194304 4196468 140728207690496 140728207673040 140478826086135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
/proc/25694/statm: 2712774 75544 3610 1 0 2674829 0
[pid=25694/tid=25747] ppid=25691 vsize=10851096 memory=7900017517374083699 CPUtime=3.88 cores=1,3,5,7
/proc/25694/task/25747/stat : 25747 (java) R 25691 25694 23580 0 -1 4202560 26553 12992 0 0 371 10 4 3 20 0 15 0 473292634 11111522304 75544 33554432000 4194304 4196468 140728207690496 140478797918752 140478413074304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25748] ppid=25691 vsize=10851096 memory=4211974091627629962 CPUtime=0.09 cores=1,3,5,7
/proc/25694/task/25748/stat : 25748 (java) S 25691 25694 23580 0 -1 1077944384 85 12992 0 0 2 0 4 3 20 0 15 0 473292635 11111522304 75544 33554432000 4194304 4196468 140728207690496 140478830328208 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25749] ppid=25691 vsize=10851096 memory=3472468661650257584 CPUtime=0.09 cores=1,3,5,7
/proc/25694/task/25749/stat : 25749 (java) S 25691 25694 23580 0 -1 1077944384 51 12992 0 0 2 0 4 3 20 0 15 0 473292635 11111522304 75544 33554432000 4194304 4196468 140728207690496 140478718601488 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25750] ppid=25691 vsize=10851096 memory=6655300316396806240 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25750/stat : 25750 (java) S 25691 25694 23580 0 -1 1077944384 323 12992 0 0 3 0 4 3 20 0 15 0 473292635 11111522304 75544 33554432000 4194304 4196468 140728207690496 140478397803152 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25751] ppid=25691 vsize=10851096 memory=3472328279047811119 CPUtime=0.09 cores=1,3,5,7
/proc/25694/task/25751/stat : 25751 (java) S 25691 25694 23580 0 -1 1077944384 116 12992 0 0 2 0 4 3 20 0 15 0 473292635 11111522304 75544 33554432000 4194304 4196468 140728207690496 140478396750352 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25752] ppid=25691 vsize=10851096 memory=3472468661650519728 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25752/stat : 25752 (java) S 25691 25694 23580 0 -1 1077944384 2472 12992 0 0 3 0 4 3 20 0 15 0 473292637 11111522304 75544 33554432000 4194304 4196468 140728207690496 140477829229168 140478826097282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25753] ppid=25691 vsize=10851096 memory=3472328296160571439 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25753/stat : 25753 (java) S 25691 25694 23580 0 -1 1077944384 37 12992 0 0 0 0 4 3 20 0 15 0 473292637 11111522304 75544 33554432000 4194304 4196468 140728207690496 140477828175200 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25754] ppid=25691 vsize=10851096 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25754/stat : 25754 (java) S 25691 25694 23580 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473292637 11111522304 75544 33554432000 4194304 4196468 140728207690496 140477709936256 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25755] ppid=25691 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25755/stat : 25755 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292640 11111522304 75544 33554432000 4194304 4196468 140728207690496 140477374392912 140478826104731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25756] ppid=25691 vsize=10851096 memory=0 CPUtime=1.98 cores=1,3,5,7
/proc/25694/task/25756/stat : 25756 (java) R 25691 25694 23580 0 -1 4202560 8941 12992 0 0 189 2 4 3 20 0 15 0 473292640 11111522304 75544 33554432000 4194304 4196468 140728207690496 140477794608784 140478809299569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25757] ppid=25691 vsize=10851096 memory=-1 CPUtime=1.92 cores=1,3,5,7
/proc/25694/task/25757/stat : 25757 (java) R 25691 25694 23580 0 -1 4202560 5957 12992 0 0 184 1 4 3 20 0 15 0 473292640 11111522304 75544 33554432000 4194304 4196468 140728207690496 140477793551504 140478805332025 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25758] ppid=25691 vsize=10851096 memory=140365422839424 CPUtime=1.74 cores=1,3,5,7
/proc/25694/task/25758/stat : 25758 (java) R 25691 25694 23580 0 -1 1077944384 6642 12992 0 0 165 2 4 3 20 0 15 0 473292640 11111522304 75544 33554432000 4194304 4196468 140728207690496 140477792508128 140478826096341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25759] ppid=25691 vsize=10851096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25759/stat : 25759 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292640 11111522304 75544 33554432000 4194304 4196468 140728207690496 140477105957344 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25760] ppid=25691 vsize=10851096 memory=140365422839424 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25760/stat : 25760 (java) S 25691 25694 23580 0 -1 1077944384 7 12992 0 0 0 0 4 3 20 0 15 0 473292640 11111522304 75544 33554432000 4194304 4196468 140728207690496 140477791460272 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 302176 KiB
[startup+4.40122 s]
/proc/loadavg: 2.21 1.60 1.51 6/227 25760
/proc/meminfo: memFree=5364356/32770624 swapFree=66935368/67108860
[pid=25694] ppid=25691 vsize=10851096 memory=329592 CPUtime=10.75 cores=1,3,5,7
/proc/25694/stat : 25694 (java) S 25691 25694 23580 0 -1 1077944320 54673 12992 0 0 1046 22 4 3 20 0 15 0 473292626 11111522304 82398 33554432000 4194304 4196468 140728207690496 140728207673040 140478826086135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
/proc/25694/statm: 2712774 82398 3619 1 0 2674829 0
[pid=25694/tid=25747] ppid=25691 vsize=10851096 memory=6944656575208382560 CPUtime=4.26 cores=1,3,5,7
/proc/25694/task/25747/stat : 25747 (java) R 25691 25694 23580 0 -1 4202560 26603 12992 0 0 408 11 4 3 20 0 15 0 473292634 11111522304 82398 33554432000 4194304 4196468 140728207690496 140478797921520 140478413296832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25748] ppid=25691 vsize=10851096 memory=6943526294502006880 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25748/stat : 25748 (java) S 25691 25694 23580 0 -1 1077944384 117 12992 0 0 3 0 4 3 20 0 15 0 473292635 11111522304 82398 33554432000 4194304 4196468 140728207690496 140478830328208 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25749] ppid=25691 vsize=10851096 memory=6944656575208382560 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25749/stat : 25749 (java) S 25691 25694 23580 0 -1 1077944384 64 12992 0 0 3 0 4 3 20 0 15 0 473292635 11111522304 82398 33554432000 4194304 4196468 140728207690496 140478718601488 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25750] ppid=25691 vsize=10851096 memory=6656426216303648864 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25750/stat : 25750 (java) S 25691 25694 23580 0 -1 1077944384 330 12992 0 0 3 0 4 3 20 0 15 0 473292635 11111522304 82398 33554432000 4194304 4196468 140728207690496 140478397803152 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25751] ppid=25691 vsize=10851096 memory=6944656592455359580 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25751/stat : 25751 (java) S 25691 25694 23580 0 -1 1077944384 253 12992 0 0 3 0 4 3 20 0 15 0 473292635 11111522304 82398 33554432000 4194304 4196468 140728207690496 140478396750352 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25752] ppid=25691 vsize=10851096 memory=6944656575208382560 CPUtime=0.11 cores=1,3,5,7
/proc/25694/task/25752/stat : 25752 (java) S 25691 25694 23580 0 -1 1077944384 2485 12992 0 0 4 0 4 3 20 0 15 0 473292637 11111522304 82398 33554432000 4194304 4196468 140728207690496 140477829229168 140478826097282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25753] ppid=25691 vsize=10851096 memory=-5587106306044206369 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25753/stat : 25753 (java) S 25691 25694 23580 0 -1 1077944384 39 12992 0 0 0 0 4 3 20 0 15 0 473292637 11111522304 82398 33554432000 4194304 4196468 140728207690496 140477828175200 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25754] ppid=25691 vsize=10851096 memory=-7595718148655178334 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25754/stat : 25754 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292637 11111522304 82398 33554432000 4194304 4196468 140728207690496 140477709936256 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25755] ppid=25691 vsize=10851096 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25755/stat : 25755 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292640 11111522304 82398 33554432000 4194304 4196468 140728207690496 140477374392912 140478826104731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25756] ppid=25691 vsize=10851096 memory=-8412658770403813517 CPUtime=2.28 cores=1,3,5,7
/proc/25694/task/25756/stat : 25756 (java) R 25691 25694 23580 0 -1 4202560 9086 12992 0 0 219 2 4 3 20 0 15 0 473292640 11111522304 82398 33554432000 4194304 4196468 140728207690496 140477794604000 140478804498927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25757] ppid=25691 vsize=10851096 memory=-6159056734402671808 CPUtime=2.25 cores=1,3,5,7
/proc/25694/task/25757/stat : 25757 (java) R 25691 25694 23580 0 -1 4202560 6201 12992 0 0 217 1 4 3 20 0 15 0 473292640 11111522304 82398 33554432000 4194304 4196468 140728207690496 140477793564656 140478826100017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25758] ppid=25691 vsize=10851096 memory=8253254727969942091 CPUtime=1.9 cores=1,3,5,7
/proc/25694/task/25758/stat : 25758 (java) S 25691 25694 23580 0 -1 1077944384 7274 12992 0 0 181 2 4 3 20 0 15 0 473292640 11111522304 82398 33554432000 4194304 4196468 140728207690496 140477792512368 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25759] ppid=25691 vsize=10851096 memory=-5738297875903048278 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25759/stat : 25759 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292640 11111522304 82398 33554432000 4194304 4196468 140728207690496 140477105957344 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25760] ppid=25691 vsize=10851096 memory=8113124161358831511 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25760/stat : 25760 (java) S 25691 25694 23580 0 -1 1077944384 8 12992 0 0 0 0 4 3 20 0 15 0 473292640 11111522304 82398 33554432000 4194304 4196468 140728207690496 140477791460272 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 329592 KiB
[startup+4.60074 s]
/proc/loadavg: 2.21 1.60 1.51 6/227 25760
/proc/meminfo: memFree=5364356/32770624 swapFree=66935368/67108860
[pid=25694] ppid=25691 vsize=10851096 memory=330284 CPUtime=11.35 cores=1,3,5,7
/proc/25694/stat : 25694 (java) S 25691 25694 23580 0 -1 1077944320 54890 12992 0 0 1106 22 4 3 20 0 15 0 473292626 11111522304 82571 33554432000 4194304 4196468 140728207690496 140728207673040 140478826086135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
/proc/25694/statm: 2712774 82571 3619 1 0 2674829 0
[pid=25694/tid=25747] ppid=25691 vsize=10851096 memory=15825516494063851 CPUtime=4.46 cores=1,3,5,7
/proc/25694/task/25747/stat : 25747 (java) R 25691 25694 23580 0 -1 4202560 26604 12992 0 0 428 11 4 3 20 0 15 0 473292634 11111522304 82571 33554432000 4194304 4196468 140728207690496 140478797918208 140478412616325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25748] ppid=25691 vsize=10851096 memory=140365303004284 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25748/stat : 25748 (java) S 25691 25694 23580 0 -1 1077944384 117 12992 0 0 3 0 4 3 20 0 15 0 473292635 11111522304 82571 33554432000 4194304 4196468 140728207690496 140478830328208 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25749] ppid=25691 vsize=10851096 memory=280730605965776 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25749/stat : 25749 (java) S 25691 25694 23580 0 -1 1077944384 64 12992 0 0 3 0 4 3 20 0 15 0 473292635 11111522304 82571 33554432000 4194304 4196468 140728207690496 140478718601488 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25750] ppid=25691 vsize=10851096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25750/stat : 25750 (java) S 25691 25694 23580 0 -1 1077944384 330 12992 0 0 3 0 4 3 20 0 15 0 473292635 11111522304 82571 33554432000 4194304 4196468 140728207690496 140478397803152 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25751] ppid=25691 vsize=10851096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25694/task/25751/stat : 25751 (java) S 25691 25694 23580 0 -1 1077944384 253 12992 0 0 3 0 4 3 20 0 15 0 473292635 11111522304 82571 33554432000 4194304 4196468 140728207690496 140478396750352 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25752] ppid=25691 vsize=10851096 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/25694/task/25752/stat : 25752 (java) S 25691 25694 23580 0 -1 1077944384 2485 12992 0 0 4 0 4 3 20 0 15 0 473292637 11111522304 82571 33554432000 4194304 4196468 140728207690496 140477829229168 140478826097282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25753] ppid=25691 vsize=10851096 memory=-7452431979323206951 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25753/stat : 25753 (java) S 25691 25694 23580 0 -1 1077944384 39 12992 0 0 0 0 4 3 20 0 15 0 473292637 11111522304 82571 33554432000 4194304 4196468 140728207690496 140477828175200 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25754] ppid=25691 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25754/stat : 25754 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292637 11111522304 82571 33554432000 4194304 4196468 140728207690496 140477709936256 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25755] ppid=25691 vsize=10851096 memory=-3253322038155611931 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25755/stat : 25755 (java) S 25691 25694 23580 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473292640 11111522304 82571 33554432000 4194304 4196468 140728207690496 140477374392912 140478826104731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25756] ppid=25691 vsize=10851096 memory=6944656592455359580 CPUtime=2.47 cores=1,3,5,7
/proc/25694/task/25756/stat : 25756 (java) R 25691 25694 23580 0 -1 4202560 9120 12992 0 0 238 2 4 3 20 0 15 0 473292640 11111522304 82571 33554432000 4194304 4196468 140728207690496 140477794596336 140478811209705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25757] ppid=25691 vsize=10851096 memory=6656426216303648864 CPUtime=2.45 cores=1,3,5,7
/proc/25694/task/25757/stat : 25757 (java) R 25691 25694 23580 0 -1 4202560 6356 12992 0 0 237 1 4 3 20 0 15 0 473292640 11111522304 82571 33554432000 4194304 4196468 140728207690496 140477793564656 140478809582923 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25758] ppid=25691 vsize=10851096 memory=-6513752426982809385 CPUtime=1.91 cores=1,3,5,7
/proc/25694/task/25758/stat : 25758 (java) S 25691 25694 23580 0 -1 1077944384 7301 12992 0 0 182 2 4 3 20 0 15 0 473292640 11111522304 82571 33554432000 4194304 4196468 140728207690496 140477792512368 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25759] ppid=25691 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25759/stat : 25759 (java) S 25691 25694 23580 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473292640 11111522304 82571 33554432000 4194304 4196468 140728207690496 140477105957344 140478826096341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
[pid=25694/tid=25760] ppid=25691 vsize=10851096 memory=5450916470483027498 CPUtime=0.07 cores=1,3,5,7
/proc/25694/task/25760/stat : 25760 (java) S 25691 25694 23580 0 -1 1077944384 8 12992 0 0 0 0 4 3 20 0 15 0 473292640 11111522304 82571 33554432000 4194304 4196468 140728207690496 140477791460272 140478826097282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7376896 140728207694576 140728207697093 140728207697093 140728207699919 0
Current children cumulated CPU time: 11.35 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 330284 KiB
Child status: 0
Real time (s): 4.67023
CPU time (s): 11.5339
CPU user time (s): 11.2615
CPU system time (s): 0.272318
CPU usage (%): 246.965
Max. virtual memory (cumulated for all children) (KiB): 10851716
Max. memory (cumulated for all children) (KiB): 330284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2615
system time used= 0.272318
maximum resident set size= 340640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7223
involuntary context switches= 56
# summary of solver processes directly reported to runsolver:
# pid: 25694
# total CPU time (s): 11.5339
# total CPU user time (s): 11.2615
# total CPU system time (s): 0.272318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052373 second user time and 0.082588 second system time
The end