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 (10817 MiB free)
memory of node 1: 16384 MiB (14797 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395981-1568404140/watcher-4395981-1568404140 -o /tmp/evaluation-result-4395981-1568404140/solver-4395981-1568404140 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568401436-22173 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=909342440 HOME/instance-4395981-1568404140.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=23673, runsolver pid=23670
Current StackSize limit: 8192 KiB
[startup+0.110379 s]*
/proc/loadavg: 2.49 1.95 1.65 3/219 23731
/proc/meminfo: memFree=26217592/32770624 swapFree=67020720/67108860
[pid=23673] ppid=23670 vsize=10355560 memory=21728 CPUtime=0.11 cores=0,2,4,6
/proc/23673/stat : 23673 (java) S 23670 23673 22142 0 -1 1077944320 4695 12937 0 0 2 1 5 3 20 0 9 0 416686664 10604093440 5432 33554432000 4194304 4196468 140726820107776 140726820090320 140259798527735 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
/proc/23673/statm: 2588890 5432 2102 1 0 2551431 0
[pid=23673/tid=23726] ppid=23670 vsize=10355560 memory=4351193298085119112 CPUtime=0.09 cores=0,2,4,6
/proc/23673/task/23726/stat : 23726 (java) R 23670 23673 22142 0 -1 4202560 2455 12937 0 0 1 0 5 3 20 0 9 0 416686673 10604093440 5432 33554432000 4194304 4196468 140726820107776 140259770363760 140259780986048 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23727] ppid=23670 vsize=10355560 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23727/stat : 23727 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 9 0 416686673 10604093440 5432 33554432000 4194304 4196468 140726820107776 140259802770448 140259798537941 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23728] ppid=23670 vsize=10355560 memory=140091607811712 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23728/stat : 23728 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 9 0 416686673 10604093440 5432 33554432000 4194304 4196468 140726820107776 140259691043984 140259798537941 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23729] ppid=23670 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23729/stat : 23729 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 9 0 416686673 10604093440 5432 33554432000 4194304 4196468 140726820107776 140259689990928 140259798537941 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23730] ppid=23670 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23730/stat : 23730 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 9 0 416686673 10604093440 5432 33554432000 4194304 4196468 140726820107776 140259688938384 140259798537941 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23731] ppid=23670 vsize=10355560 memory=140091607811712 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23731/stat : 23731 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 9 0 416686675 10604093440 5432 33554432000 4194304 4196468 140726820107776 140259002149104 140259798538882 0 0 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23732] ppid=23670 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23732/stat : 23732 (java) S 23670 23673 22142 0 -1 1077944384 33 12937 0 0 0 0 5 3 20 0 9 0 416686675 10604093440 5432 33554432000 4194304 4196468 140726820107776 140259001095328 140259798537941 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23733] ppid=23670 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23733/stat : 23733 (java) S 23670 23673 22142 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 9 0 416686675 10604093440 5432 33554432000 4194304 4196468 140726820107776 140258867929904 140259798537941 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21728 KiB
[startup+0.210019 s]*
/proc/loadavg: 2.49 1.95 1.65 3/227 23739
/proc/meminfo: memFree=26205000/32770624 swapFree=67020720/67108860
[pid=23673] ppid=23670 vsize=10819664 memory=39040 CPUtime=0.27 cores=0,2,4,6
/proc/23673/stat : 23673 (java) S 23670 23673 22142 0 -1 1077944320 7098 12937 0 0 17 2 5 3 20 0 15 0 416686664 11079335936 9760 33554432000 4194304 4196468 140726820107776 140726820090320 140259798527735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
/proc/23673/statm: 2704916 9760 3153 1 0 2667149 0
[pid=23673/tid=23726] ppid=23670 vsize=10819664 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/23673/task/23726/stat : 23726 (java) R 23670 23673 22142 0 -1 4202560 3565 12937 0 0 11 1 5 3 20 0 15 0 416686673 11079335936 9760 33554432000 4194304 4196468 140726820107776 140259770354064 140259782608222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23727] ppid=23670 vsize=10819664 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23727/stat : 23727 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11079335936 9760 33554432000 4194304 4196468 140726820107776 140259802770448 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23728] ppid=23670 vsize=10819664 memory=140091607811712 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23728/stat : 23728 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11079335936 9760 33554432000 4194304 4196468 140726820107776 140259691043984 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23729] ppid=23670 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23729/stat : 23729 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11079335936 9760 33554432000 4194304 4196468 140726820107776 140259689990928 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23730] ppid=23670 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23730/stat : 23730 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11079335936 9760 33554432000 4194304 4196468 140726820107776 140259688938384 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23731] ppid=23670 vsize=10819664 memory=140091607811712 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23731/stat : 23731 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686675 11079335936 9760 33554432000 4194304 4196468 140726820107776 140259002149104 140259798538882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23732] ppid=23670 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23732/stat : 23732 (java) S 23670 23673 22142 0 -1 1077944384 33 12937 0 0 0 0 5 3 20 0 15 0 416686675 11079335936 9760 33554432000 4194304 4196468 140726820107776 140259001095328 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23733] ppid=23670 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23733/stat : 23733 (java) S 23670 23673 22142 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 416686675 11079335936 9760 33554432000 4194304 4196468 140726820107776 140258867929840 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23734] ppid=23670 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23734/stat : 23734 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11079335936 9760 33554432000 4194304 4196468 140726820107776 140258359203792 140259798546331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23735] ppid=23670 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23673/task/23735/stat : 23735 (java) S 23670 23673 22142 0 -1 1077944384 454 12937 0 0 1 0 5 3 20 0 15 0 416686678 11079335936 9760 33554432000 4194304 4196468 140726820107776 140258967538416 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23736] ppid=23670 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23736/stat : 23736 (java) S 23670 23673 22142 0 -1 1077944384 206 12937 0 0 0 0 5 3 20 0 15 0 416686678 11079335936 9760 33554432000 4194304 4196468 140726820107776 140258966485872 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23737] ppid=23670 vsize=10819664 memory=140091607811712 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23737/stat : 23737 (java) R 23670 23673 22142 0 -1 4202560 633 12937 0 0 3 0 5 3 20 0 15 0 416686678 11079335936 9760 33554432000 4194304 4196468 140726820107776 140258965432816 140259790764862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23738] ppid=23670 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23738/stat : 23738 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11079335936 9760 33554432000 4194304 4196468 140726820107776 140258325646176 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23739] ppid=23670 vsize=10819664 memory=140091607811712 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23739/stat : 23739 (java) S 23670 23673 22142 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 416686678 11079335936 9760 33554432000 4194304 4196468 140726820107776 140258964380208 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39040 KiB
[startup+0.310318 s]*
/proc/loadavg: 2.49 1.95 1.65 4/227 23739
/proc/meminfo: memFree=26191984/32770624 swapFree=67020720/67108860
[pid=23673] ppid=23670 vsize=10820148 memory=48124 CPUtime=0.4 cores=0,2,4,6
/proc/23673/stat : 23673 (java) S 23670 23673 22142 0 -1 1077944320 10801 12937 0 0 29 3 5 3 20 0 15 0 416686664 11079831552 12031 33554432000 4194304 4196468 140726820107776 140726820090320 140259798527735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
/proc/23673/statm: 2705037 12031 3287 1 0 2667149 0
[pid=23673/tid=23726] ppid=23670 vsize=10820148 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/23673/task/23726/stat : 23726 (java) R 23670 23673 22142 0 -1 4202560 7218 12937 0 0 20 2 5 3 20 0 15 0 416686673 11079831552 12031 33554432000 4194304 4196468 140726820107776 140259770327648 140259798539670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23727] ppid=23670 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23727/stat : 23727 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11079831552 12031 33554432000 4194304 4196468 140726820107776 140259802770448 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23728] ppid=23670 vsize=10820148 memory=140091607818705 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23728/stat : 23728 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11079831552 12031 33554432000 4194304 4196468 140726820107776 140259691043984 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23729] ppid=23670 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23729/stat : 23729 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11079831552 12031 33554432000 4194304 4196468 140726820107776 140259689990928 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23730] ppid=23670 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23730/stat : 23730 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11079831552 12031 33554432000 4194304 4196468 140726820107776 140259688938384 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23731] ppid=23670 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23731/stat : 23731 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686675 11079831552 12031 33554432000 4194304 4196468 140726820107776 140259002149104 140259798538882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23732] ppid=23670 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23732/stat : 23732 (java) S 23670 23673 22142 0 -1 1077944384 33 12937 0 0 0 0 5 3 20 0 15 0 416686675 11079831552 12031 33554432000 4194304 4196468 140726820107776 140259001095328 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23733] ppid=23670 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23733/stat : 23733 (java) S 23670 23673 22142 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 416686675 11079831552 12031 33554432000 4194304 4196468 140726820107776 140258867929840 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23734] ppid=23670 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23734/stat : 23734 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11079831552 12031 33554432000 4194304 4196468 140726820107776 140258359203792 140259798546331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23735] ppid=23670 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23673/task/23735/stat : 23735 (java) S 23670 23673 22142 0 -1 1077944384 455 12937 0 0 1 0 5 3 20 0 15 0 416686678 11079831552 12031 33554432000 4194304 4196468 140726820107776 140258967538416 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23736] ppid=23670 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/23673/task/23736/stat : 23736 (java) S 23670 23673 22142 0 -1 1077944384 215 12937 0 0 1 0 5 3 20 0 15 0 416686678 11079831552 12031 33554432000 4194304 4196468 140726820107776 140258966485872 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23737] ppid=23670 vsize=10820148 memory=140091607811712 CPUtime=0.13 cores=0,2,4,6
/proc/23673/task/23737/stat : 23737 (java) R 23670 23673 22142 0 -1 4202560 657 12937 0 0 5 0 5 3 20 0 15 0 416686678 11079831552 12031 33554432000 4194304 4196468 140726820107776 140258965432816 140259798539670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23738] ppid=23670 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23738/stat : 23738 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11079831552 12031 33554432000 4194304 4196468 140726820107776 140258325646176 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23739] ppid=23670 vsize=10820148 memory=140091607811712 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23739/stat : 23739 (java) S 23670 23673 22142 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 416686678 11079831552 12031 33554432000 4194304 4196468 140726820107776 140258964380208 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48124 KiB
[startup+0.700679 s]
/proc/loadavg: 2.49 1.95 1.65 3/227 23739
/proc/meminfo: memFree=26177564/32770624 swapFree=67020720/67108860
[pid=23673] ppid=23670 vsize=10824360 memory=81544 CPUtime=1.12 cores=0,2,4,6
/proc/23673/stat : 23673 (java) S 23670 23673 22142 0 -1 1077944320 15160 12937 0 0 99 5 5 3 20 0 15 0 416686664 11084144640 20386 33554432000 4194304 4196468 140726820107776 140726820090320 140259798527735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
/proc/23673/statm: 2706090 20386 3507 1 0 2668173 0
[pid=23673/tid=23726] ppid=23670 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/23673/task/23726/stat : 23726 (java) R 23670 23673 22142 0 -1 4202560 10398 12937 0 0 55 4 5 3 20 0 15 0 416686673 11084144640 20386 33554432000 4194304 4196468 140726820107776 140259770354896 140259798549661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23727] ppid=23670 vsize=10824360 memory=140091501477638 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23727/stat : 23727 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11084144640 20386 33554432000 4194304 4196468 140726820107776 140259802770448 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23728] ppid=23670 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23728/stat : 23728 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11084144640 20386 33554432000 4194304 4196468 140726820107776 140259691043984 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23729] ppid=23670 vsize=10824356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23729/stat : 23729 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11084140544 20444 33554432000 4194304 4196468 140726820107776 140259689990928 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23730] ppid=23670 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23730/stat : 23730 (java) S 23670 23673 22142 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 416686673 11084144640 20444 33554432000 4194304 4196468 140726820107776 140259688938384 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23731] ppid=23670 vsize=10824360 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23731/stat : 23731 (java) S 23670 23673 22142 0 -1 1077944384 5 12937 0 0 0 0 5 3 20 0 15 0 416686675 11084144640 20444 33554432000 4194304 4196468 140726820107776 140259002149104 140259798538882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23732] ppid=23670 vsize=10824360 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23732/stat : 23732 (java) S 23670 23673 22142 0 -1 1077944384 33 12937 0 0 0 0 5 3 20 0 15 0 416686675 11084144640 20444 33554432000 4194304 4196468 140726820107776 140259001095328 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23733] ppid=23670 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23733/stat : 23733 (java) S 23670 23673 22142 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 416686675 11084144640 20444 33554432000 4194304 4196468 140726820107776 140258867929840 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23734] ppid=23670 vsize=10824360 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23734/stat : 23734 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11084144640 20444 33554432000 4194304 4196468 140726820107776 140258359203792 140259798546331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23735] ppid=23670 vsize=10824360 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/23673/task/23735/stat : 23735 (java) R 23670 23673 22142 0 -1 1077944384 1035 12937 0 0 14 0 5 3 20 0 15 0 416686678 11084144640 20444 33554432000 4194304 4196468 140726820107776 140258967538416 140259798538882 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23736] ppid=23670 vsize=10824360 memory=11076 CPUtime=0.18 cores=0,2,4,6
/proc/23673/task/23736/stat : 23736 (java) R 23670 23673 22142 0 -1 4202560 553 12937 0 0 10 0 5 3 20 0 15 0 416686678 11084144640 20444 33554432000 4194304 4196468 140726820107776 140258966485872 140259780072363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23737] ppid=23670 vsize=10824360 memory=140091498460304 CPUtime=0.25 cores=0,2,4,6
/proc/23673/task/23737/stat : 23737 (java) R 23670 23673 22142 0 -1 4202560 922 12937 0 0 17 0 5 3 20 0 15 0 416686678 11084144640 20444 33554432000 4194304 4196468 140726820107776 140258965432816 140259782608222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23738] ppid=23670 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23738/stat : 23738 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11084144640 20444 33554432000 4194304 4196468 140726820107776 140258325646176 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23739] ppid=23670 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23739/stat : 23739 (java) S 23670 23673 22142 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 416686678 11084144640 20444 33554432000 4194304 4196468 140726820107776 140258964380208 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81544 KiB
[startup+1.50067 s]
/proc/loadavg: 2.49 1.95 1.65 3/227 23739
/proc/meminfo: memFree=26133932/32770624 swapFree=67020720/67108860
[pid=23673] ppid=23670 vsize=10834676 memory=171252 CPUtime=2.43 cores=0,2,4,6
/proc/23673/stat : 23673 (java) S 23670 23673 22142 0 -1 1077944320 22220 12937 0 0 225 10 5 3 20 0 15 0 416686664 11094708224 42813 33554432000 4194304 4196468 140726820107776 140726820090320 140259798527735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
/proc/23673/statm: 2708669 42813 3577 1 0 2670733 0
[pid=23673/tid=23726] ppid=23670 vsize=10834676 memory=98208 CPUtime=1.44 cores=0,2,4,6
/proc/23673/task/23726/stat : 23726 (java) R 23670 23673 22142 0 -1 4202560 15200 12937 0 0 130 6 5 3 20 0 15 0 416686673 11094708224 42813 33554432000 4194304 4196468 140726820107776 140259770335232 140259358469703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23727] ppid=23670 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23673/task/23727/stat : 23727 (java) S 23670 23673 22142 0 -1 1077944384 57 12937 0 0 1 0 5 3 20 0 15 0 416686673 11094708224 42813 33554432000 4194304 4196468 140726820107776 140259802770448 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23728] ppid=23670 vsize=10834676 memory=7893295687695687954 CPUtime=0.09 cores=0,2,4,6
/proc/23673/task/23728/stat : 23728 (java) S 23670 23673 22142 0 -1 1077944384 34 12937 0 0 1 0 5 3 20 0 15 0 416686673 11094708224 42813 33554432000 4194304 4196468 140726820107776 140259691043984 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23729] ppid=23670 vsize=10834676 memory=6994781559841273980 CPUtime=0.09 cores=0,2,4,6
/proc/23673/task/23729/stat : 23729 (java) S 23670 23673 22142 0 -1 1077944384 392 12937 0 0 1 0 5 3 20 0 15 0 416686673 11094708224 42813 33554432000 4194304 4196468 140726820107776 140259689990928 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23730] ppid=23670 vsize=10834676 memory=4498404016631593314 CPUtime=0.09 cores=0,2,4,6
/proc/23673/task/23730/stat : 23730 (java) S 23670 23673 22142 0 -1 1077944384 76 12937 0 0 1 0 5 3 20 0 15 0 416686673 11094708224 42813 33554432000 4194304 4196468 140726820107776 140259688938384 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23731] ppid=23670 vsize=10834676 memory=11496518230 CPUtime=0.09 cores=0,2,4,6
/proc/23673/task/23731/stat : 23731 (java) S 23670 23673 22142 0 -1 1077944384 143 12937 0 0 1 0 5 3 20 0 15 0 416686675 11094708224 42813 33554432000 4194304 4196468 140726820107776 140259002149104 140259798538882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23732] ppid=23670 vsize=10834676 memory=280182996896280 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23732/stat : 23732 (java) S 23670 23673 22142 0 -1 1077944384 34 12937 0 0 0 0 5 3 20 0 15 0 416686675 11094708224 42813 33554432000 4194304 4196468 140726820107776 140259001095392 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23733] ppid=23670 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23733/stat : 23733 (java) S 23670 23673 22142 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 416686675 11094708224 42813 33554432000 4194304 4196468 140726820107776 140258867929856 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23734] ppid=23670 vsize=10834676 memory=288230583166042426 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23734/stat : 23734 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11094708224 42813 33554432000 4194304 4196468 140726820107776 140258359203792 140259798546331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23735] ppid=23670 vsize=10834676 memory=15816698942982814 CPUtime=0.33 cores=0,2,4,6
/proc/23673/task/23735/stat : 23735 (java) S 23670 23673 22142 0 -1 1077944384 1308 12937 0 0 25 0 5 3 20 0 15 0 416686678 11094708224 42813 33554432000 4194304 4196468 140726820107776 140258967538416 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23736] ppid=23670 vsize=10834676 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/23673/task/23736/stat : 23736 (java) S 23670 23673 22142 0 -1 1077944384 953 12937 0 0 21 0 5 3 20 0 15 0 416686678 11094708224 42813 33554432000 4194304 4196468 140726820107776 140258966485872 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23737] ppid=23670 vsize=10834676 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/23673/task/23737/stat : 23737 (java) R 23670 23673 22142 0 -1 4202560 1810 12937 0 0 41 0 5 3 20 0 15 0 416686678 11094708224 42813 33554432000 4194304 4196468 140726820107776 140258965432816 140259777017760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
################
# More data... #
################
[startup+5.05466 s]
# the end of solver process 23673 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.2815 s, system=0.25506 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20084 s]
/proc/loadavg: 2.29 1.92 1.64 5/227 23739
/proc/meminfo: memFree=25996724/32770624 swapFree=67020720/67108860
[pid=23673] ppid=23670 vsize=10847548 memory=256116 CPUtime=7.16 cores=0,2,4,6
/proc/23673/stat : 23673 (java) S 23670 23673 22142 0 -1 1077944320 44346 12937 0 0 691 17 5 3 20 0 15 0 416686664 11107889152 64029 33554432000 4194304 4196468 140726820107776 140726820090320 140259798527735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
/proc/23673/statm: 2711887 64029 3608 1 0 2673946 0
[pid=23673/tid=23726] ppid=23670 vsize=10847548 memory=4964 CPUtime=3.09 cores=0,2,4,6
/proc/23673/task/23726/stat : 23726 (java) R 23670 23673 22142 0 -1 4202560 20719 12937 0 0 292 9 5 3 20 0 15 0 416686673 11107889152 64029 33554432000 4194304 4196468 140726820107776 140259770359152 140259364820857 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23727] ppid=23670 vsize=10847548 memory=10092 CPUtime=0.1 cores=0,2,4,6
/proc/23673/task/23727/stat : 23727 (java) S 23670 23673 22142 0 -1 1077944384 67 12937 0 0 2 0 5 3 20 0 15 0 416686673 11107889152 64029 33554432000 4194304 4196468 140726820107776 140259802770448 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23728] ppid=23670 vsize=10847548 memory=1908 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23728/stat : 23728 (java) S 23670 23673 22142 0 -1 1077944384 46 12937 0 0 3 0 5 3 20 0 15 0 416686673 11107889152 64029 33554432000 4194304 4196468 140726820107776 140259691043984 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23729] ppid=23670 vsize=10847548 memory=1360 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23729/stat : 23729 (java) S 23670 23673 22142 0 -1 1077944384 423 12937 0 0 3 0 5 3 20 0 15 0 416686673 11107889152 64029 33554432000 4194304 4196468 140726820107776 140259689990928 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23730] ppid=23670 vsize=10847548 memory=7420 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23730/stat : 23730 (java) S 23670 23673 22142 0 -1 1077944384 87 12937 0 0 3 0 5 3 20 0 15 0 416686673 11107889152 64029 33554432000 4194304 4196468 140726820107776 140259688938384 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23731] ppid=23670 vsize=10847548 memory=860 CPUtime=0.1 cores=0,2,4,6
/proc/23673/task/23731/stat : 23731 (java) S 23670 23673 22142 0 -1 1077944384 2586 12937 0 0 2 0 5 3 20 0 15 0 416686675 11107889152 64029 33554432000 4194304 4196468 140726820107776 140259002149104 140259798538882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23732] ppid=23670 vsize=10847548 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23732/stat : 23732 (java) S 23670 23673 22142 0 -1 1077944384 37 12937 0 0 0 0 5 3 20 0 15 0 416686675 11107889152 64029 33554432000 4194304 4196468 140726820107776 140259001095392 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23733] ppid=23670 vsize=10847548 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23733/stat : 23733 (java) S 23670 23673 22142 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 416686675 11107889152 64029 33554432000 4194304 4196468 140726820107776 140258867929856 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23734] ppid=23670 vsize=10847548 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23734/stat : 23734 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11107889152 64029 33554432000 4194304 4196468 140726820107776 140258359203792 140259798546331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23735] ppid=23670 vsize=10847548 memory=6655300316396806240 CPUtime=1.34 cores=0,2,4,6
/proc/23673/task/23735/stat : 23735 (java) R 23670 23673 22142 0 -1 4202560 4290 12937 0 0 125 1 5 3 20 0 15 0 416686678 11107889152 64029 33554432000 4194304 4196468 140726820107776 140258967529248 140259783405816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23736] ppid=23670 vsize=10847548 memory=0 CPUtime=1.5 cores=0,2,4,6
/proc/23673/task/23736/stat : 23736 (java) R 23670 23673 22142 0 -1 4202560 7390 12937 0 0 141 1 5 3 20 0 15 0 416686678 11107889152 64029 33554432000 4194304 4196468 140726820107776 140258966471888 140259783644892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23737] ppid=23670 vsize=10847548 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/23673/task/23737/stat : 23737 (java) S 23670 23673 22142 0 -1 1077944384 6542 12937 0 0 115 1 5 3 20 0 15 0 416686678 11107889152 64029 33554432000 4194304 4196468 140726820107776 140258965432816 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23738] ppid=23670 vsize=10847548 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23738/stat : 23738 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11107889152 64029 33554432000 4194304 4196468 140726820107776 140258325646176 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23739] ppid=23670 vsize=10847548 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23739/stat : 23739 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11107889152 64029 33554432000 4194304 4196468 140726820107776 140258964380208 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 10847548 KiB
Current children cumulated memory: 256116 KiB
[startup+4.00069 s]*
/proc/loadavg: 2.29 1.92 1.64 3/227 23739
/proc/meminfo: memFree=25924808/32770624 swapFree=67020720/67108860
[pid=23673] ppid=23670 vsize=10844936 memory=320544 CPUtime=8.92 cores=0,2,4,6
/proc/23673/stat : 23673 (java) S 23670 23673 22142 0 -1 1077944320 49297 12937 0 0 865 19 5 3 20 0 15 0 416686664 11105214464 80136 33554432000 4194304 4196468 140726820107776 140726820090320 140259798527735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
/proc/23673/statm: 2711234 80136 3613 1 0 2673293 0
[pid=23673/tid=23726] ppid=23670 vsize=10844936 memory=7228928657774891088 CPUtime=3.89 cores=0,2,4,6
/proc/23673/task/23726/stat : 23726 (java) R 23670 23673 22142 0 -1 4202560 21100 12937 0 0 372 9 5 3 20 0 15 0 416686673 11105214464 80136 33554432000 4194304 4196468 140726820107776 140259770363104 140259365142321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23727] ppid=23670 vsize=10844936 memory=2319389199166349359 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23727/stat : 23727 (java) S 23670 23673 22142 0 -1 1077944384 120 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 80136 33554432000 4194304 4196468 140726820107776 140259802770448 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23728] ppid=23670 vsize=10844936 memory=4786094546317878944 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23728/stat : 23728 (java) S 23670 23673 22142 0 -1 1077944384 49 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 80136 33554432000 4194304 4196468 140726820107776 140259691043984 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23729] ppid=23670 vsize=10844936 memory=4206468019014099040 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23729/stat : 23729 (java) S 23670 23673 22142 0 -1 1077944384 757 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 80136 33554432000 4194304 4196468 140726820107776 140259689990928 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23730] ppid=23670 vsize=10844936 memory=3834033537023162159 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23730/stat : 23730 (java) S 23670 23673 22142 0 -1 1077944384 91 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 80136 33554432000 4194304 4196468 140726820107776 140259688938384 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23731] ppid=23670 vsize=10844936 memory=142267411402113 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23731/stat : 23731 (java) S 23670 23673 22142 0 -1 1077944384 2732 12937 0 0 3 0 5 3 20 0 15 0 416686675 11105214464 80136 33554432000 4194304 4196468 140726820107776 140259002149104 140259798538882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23732] ppid=23670 vsize=10844936 memory=11105214463 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23732/stat : 23732 (java) S 23670 23673 22142 0 -1 1077944384 42 12937 0 0 0 0 5 3 20 0 15 0 416686675 11105214464 80136 33554432000 4194304 4196468 140726820107776 140259001095456 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23733] ppid=23670 vsize=10844936 memory=7379521159499311447 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23733/stat : 23733 (java) S 23670 23673 22142 0 -1 1077944384 12 12937 0 0 0 0 5 3 20 0 15 0 416686675 11105214464 80136 33554432000 4194304 4196468 140726820107776 140258867929856 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23734] ppid=23670 vsize=10844936 memory=5939805258139067745 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23734/stat : 23734 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11105214464 80136 33554432000 4194304 4196468 140726820107776 140258359203792 140259798546331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23735] ppid=23670 vsize=10844936 memory=0 CPUtime=1.76 cores=0,2,4,6
/proc/23673/task/23735/stat : 23735 (java) S 23670 23673 22142 0 -1 1077944384 5243 12937 0 0 167 1 5 3 20 0 15 0 416686678 11105214464 80136 33554432000 4194304 4196468 140726820107776 140258967538416 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23736] ppid=23670 vsize=10844936 memory=-1 CPUtime=1.93 cores=0,2,4,6
/proc/23673/task/23736/stat : 23736 (java) S 23670 23673 22142 0 -1 1077944384 9529 12937 0 0 184 1 5 3 20 0 15 0 416686678 11105214464 80136 33554432000 4194304 4196468 140726820107776 140258966485872 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23737] ppid=23670 vsize=10844936 memory=140091607811712 CPUtime=1.32 cores=0,2,4,6
/proc/23673/task/23737/stat : 23737 (java) S 23670 23673 22142 0 -1 1077944384 7402 12937 0 0 123 1 5 3 20 0 15 0 416686678 11105214464 80136 33554432000 4194304 4196468 140726820107776 140258965432816 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23738] ppid=23670 vsize=10844936 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23738/stat : 23738 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11105214464 80136 33554432000 4194304 4196468 140726820107776 140258325646176 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23739] ppid=23670 vsize=10844936 memory=301741403590099308 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23739/stat : 23739 (java) S 23670 23673 22142 0 -1 1077944384 9 12937 0 0 0 0 5 3 20 0 15 0 416686678 11105214464 80136 33554432000 4194304 4196468 140726820107776 140258964380208 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
Current children cumulated CPU time: 8.92 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 320544 KiB
[startup+4.80067 s]
/proc/loadavg: 2.29 1.92 1.64 3/227 23739
/proc/meminfo: memFree=25924808/32770624 swapFree=67020720/67108860
[pid=23673] ppid=23670 vsize=10844936 memory=330068 CPUtime=10.18 cores=0,2,4,6
/proc/23673/stat : 23673 (java) S 23670 23673 22142 0 -1 1077944320 49705 12937 0 0 990 20 5 3 20 0 15 0 416686664 11105214464 82517 33554432000 4194304 4196468 140726820107776 140726820090320 140259798527735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
/proc/23673/statm: 2711234 82517 3614 1 0 2673293 0
[pid=23673/tid=23726] ppid=23670 vsize=10844936 memory=6943526294502006880 CPUtime=4.68 cores=0,2,4,6
/proc/23673/task/23726/stat : 23726 (java) R 23670 23673 22142 0 -1 4202560 21122 12937 0 0 450 10 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259770362976 140259365711122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23727] ppid=23670 vsize=10844936 memory=6655300316396806240 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23727/stat : 23727 (java) S 23670 23673 22142 0 -1 1077944384 122 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259802770448 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23728] ppid=23670 vsize=10844936 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23728/stat : 23728 (java) S 23670 23673 22142 0 -1 1077944384 49 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259691043984 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23729] ppid=23670 vsize=10844936 memory=6655300316396806240 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23729/stat : 23729 (java) S 23670 23673 22142 0 -1 1077944384 758 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259689990928 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23730] ppid=23670 vsize=10844936 memory=6944652177228980320 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23730/stat : 23730 (java) S 23670 23673 22142 0 -1 1077944384 91 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259688938384 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23731] ppid=23670 vsize=10844936 memory=6944656575208382560 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23731/stat : 23731 (java) S 23670 23673 22142 0 -1 1077944384 2749 12937 0 0 3 0 5 3 20 0 15 0 416686675 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259002149104 140259798538882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23732] ppid=23670 vsize=10844936 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23732/stat : 23732 (java) S 23670 23673 22142 0 -1 1077944384 42 12937 0 0 0 0 5 3 20 0 15 0 416686675 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259001095456 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23733] ppid=23670 vsize=10844936 memory=6944656592385698452 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23733/stat : 23733 (java) S 23670 23673 22142 0 -1 1077944384 12 12937 0 0 0 0 5 3 20 0 15 0 416686675 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258867929856 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23734] ppid=23670 vsize=10844936 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23734/stat : 23734 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258359203792 140259798546331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23735] ppid=23670 vsize=10844936 memory=6655300316396806240 CPUtime=1.97 cores=0,2,4,6
/proc/23673/task/23735/stat : 23735 (java) S 23670 23673 22142 0 -1 1077944384 5500 12937 0 0 188 1 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258967538416 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23736] ppid=23670 vsize=10844936 memory=6944656592455097440 CPUtime=2.17 cores=0,2,4,6
/proc/23673/task/23736/stat : 23736 (java) S 23670 23673 22142 0 -1 1077944384 9590 12937 0 0 207 2 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258966485872 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23737] ppid=23670 vsize=10844936 memory=6944656592387989600 CPUtime=1.35 cores=0,2,4,6
/proc/23673/task/23737/stat : 23737 (java) S 23670 23673 22142 0 -1 1077944384 7447 12937 0 0 125 2 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258965432816 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23738] ppid=23670 vsize=10844936 memory=4139517845888136746 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23738/stat : 23738 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258325646176 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23739] ppid=23670 vsize=10844936 memory=-8412656567705961331 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23739/stat : 23739 (java) S 23670 23673 22142 0 -1 1077944384 12 12937 0 0 0 0 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258964380208 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
Current children cumulated CPU time: 10.18 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 330068 KiB
[startup+5.00067 s]*
/proc/loadavg: 2.29 1.92 1.64 3/227 23739
/proc/meminfo: memFree=25914584/32770624 swapFree=67020720/67108860
[pid=23673] ppid=23670 vsize=10844936 memory=330068 CPUtime=10.43 cores=0,2,4,6
/proc/23673/stat : 23673 (java) S 23670 23673 22142 0 -1 1077944320 49721 12937 0 0 1015 20 5 3 20 0 15 0 416686664 11105214464 82517 33554432000 4194304 4196468 140726820107776 140726820090320 140259798527735 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
/proc/23673/statm: 2711234 82517 3614 1 0 2673293 0
[pid=23673/tid=23726] ppid=23670 vsize=10844936 memory=288355116380323867 CPUtime=4.88 cores=0,2,4,6
/proc/23673/task/23726/stat : 23726 (java) R 23670 23673 22142 0 -1 4202560 21122 12937 0 0 470 10 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259770361288 140259366716907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23727] ppid=23670 vsize=10844936 memory=321163172637835287 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23727/stat : 23727 (java) S 23670 23673 22142 0 -1 1077944384 122 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259802770448 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23728] ppid=23670 vsize=10844936 memory=140091610860875 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23728/stat : 23728 (java) S 23670 23673 22142 0 -1 1077944384 49 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259691043984 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23729] ppid=23670 vsize=10844936 memory=-7522837583129502606 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23729/stat : 23729 (java) S 23670 23673 22142 0 -1 1077944384 758 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259689990928 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23730] ppid=23670 vsize=10844936 memory=3683997517402878768 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23730/stat : 23730 (java) S 23670 23673 22142 0 -1 1077944384 91 12937 0 0 3 0 5 3 20 0 15 0 416686673 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259688938384 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23731] ppid=23670 vsize=10844936 memory=3472468387835492016 CPUtime=0.11 cores=0,2,4,6
/proc/23673/task/23731/stat : 23731 (java) S 23670 23673 22142 0 -1 1077944384 2749 12937 0 0 3 0 5 3 20 0 15 0 416686675 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259002149104 140259798538882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23732] ppid=23670 vsize=10844936 memory=8028911401163779428 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23732/stat : 23732 (java) S 23670 23673 22142 0 -1 1077944384 42 12937 0 0 0 0 5 3 20 0 15 0 416686675 11105214464 82517 33554432000 4194304 4196468 140726820107776 140259001095456 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23733] ppid=23670 vsize=10844936 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23733/stat : 23733 (java) S 23670 23673 22142 0 -1 1077944384 12 12937 0 0 0 0 5 3 20 0 15 0 416686675 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258867929856 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23734] ppid=23670 vsize=10844936 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23734/stat : 23734 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258359203792 140259798546331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23735] ppid=23670 vsize=10844936 memory=0 CPUtime=1.99 cores=0,2,4,6
/proc/23673/task/23735/stat : 23735 (java) S 23670 23673 22142 0 -1 1077944384 5503 12937 0 0 190 1 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258967538416 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23736] ppid=23670 vsize=10844936 memory=3472328296227680299 CPUtime=2.19 cores=0,2,4,6
/proc/23673/task/23736/stat : 23736 (java) S 23670 23673 22142 0 -1 1077944384 9597 12937 0 0 209 2 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258966485872 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23737] ppid=23670 vsize=10844936 memory=3471342487928649392 CPUtime=1.35 cores=0,2,4,6
/proc/23673/task/23737/stat : 23737 (java) S 23670 23673 22142 0 -1 1077944384 7453 12937 0 0 125 2 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258965432816 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23738] ppid=23670 vsize=10844936 memory=3184097920075968559 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23738/stat : 23738 (java) S 23670 23673 22142 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258325646176 140259798537941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
[pid=23673/tid=23739] ppid=23670 vsize=10844936 memory=3472468387835229872 CPUtime=0.08 cores=0,2,4,6
/proc/23673/task/23739/stat : 23739 (java) S 23670 23673 22142 0 -1 1077944384 12 12937 0 0 0 0 5 3 20 0 15 0 416686678 11105214464 82517 33554432000 4194304 4196468 140726820107776 140258964380208 140259798538882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28831744 140726820109040 140726820111557 140726820111557 140726820114383 0
Current children cumulated CPU time: 10.43 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 330068 KiB
Child status: 0
Real time (s): 5.05472
CPU time (s): 10.5366
CPU user time (s): 10.2815
CPU system time (s): 0.25506
CPU usage (%): 208.45
Max. virtual memory (cumulated for all children) (KiB): 10847548
Max. memory (cumulated for all children) (KiB): 330068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2815
system time used= 0.25506
maximum resident set size= 332444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63770
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= 6108
involuntary context switches= 44
# summary of solver processes directly reported to runsolver:
# pid: 23673
# total CPU time (s): 10.5366
# total CPU user time (s): 10.2815
# total CPU system time (s): 0.25506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056902 second user time and 0.088708 second system time
The end