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 (13190 MiB free)
memory of node 1: 16384 MiB (15375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396156-1568399227/watcher-4396156-1568399227 -o /tmp/evaluation-result-4396156-1568399227/solver-4396156-1568399227 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568390158-11189 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2078387728 HOME/instance-4396156-1568399227.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=13751, runsolver pid=13748
[startup+0.100057 s]*
/proc/loadavg: 2.41 1.73 1.52 3/217 13808
/proc/meminfo: memFree=29243376/32770624 swapFree=66922372/67108860
[pid=13751] ppid=13748 vsize=9988792 memory=17340 CPUtime=0.08 cores=1,3,5,7
/proc/13751/stat : 13751 (java) S 13748 13751 8521 0 -1 1077944320 4609 13059 0 0 1 0 5 2 20 0 6 0 416178750 10228523008 4335 33554432000 4194304 4196468 140729467844336 140729467826880 140606617960183 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
/proc/13751/statm: 2497198 4335 1958 1 0 2485636 0
[pid=13751/tid=13804] ppid=13748 vsize=10055356 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/13751/task/13804/stat : 13804 (java) R 13748 13751 8521 0 -1 4202560 2414 13059 0 0 1 0 5 2 20 0 7 0 416178759 10296684544 4401 33554432000 4194304 4196468 140729467844336 140606589803280 140606602040670 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13805] ppid=13748 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13805/stat : 13805 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 7 0 416178759 10296684544 4401 33554432000 4194304 4196468 140729467844336 140606622202128 140606617970389 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13806] ppid=13748 vsize=10055356 memory=3835293037157783200 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13806/stat : 13806 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 7 0 416178759 10296684544 4401 33554432000 4194304 4196468 140729467844336 140606510475664 140606617970389 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13807] ppid=13748 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13807/stat : 13807 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 7 0 416178760 10296684544 4401 33554432000 4194304 4196468 140729467844336 140606509423120 140606617970389 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13808] ppid=13748 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13808/stat : 13808 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 7 0 416178760 10296684544 4401 33554432000 4194304 4196468 140729467844336 140606508370576 140606617970389 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13809] ppid=13748 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13809/stat : 13809 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 7 0 416178761 10296684544 4401 33554432000 4194304 4196468 140729467844336 140606076561904 140606617971330 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 17340 KiB
[startup+0.209929 s]*
/proc/loadavg: 2.41 1.73 1.52 3/226 13817
/proc/meminfo: memFree=29226152/32770624 swapFree=66922372/67108860
[pid=13751] ppid=13748 vsize=10819664 memory=39756 CPUtime=0.26 cores=1,3,5,7
/proc/13751/stat : 13751 (java) S 13748 13751 8521 0 -1 1077944320 7261 13059 0 0 17 2 5 2 20 0 15 0 416178750 11079335936 9939 33554432000 4194304 4196468 140729467844336 140729467826880 140606617960183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
/proc/13751/statm: 2704916 9939 3171 1 0 2667149 0
[pid=13751/tid=13804] ppid=13748 vsize=10819664 memory=729618466009055537 CPUtime=0.18 cores=1,3,5,7
/proc/13751/task/13804/stat : 13804 (java) R 13748 13751 8521 0 -1 4202560 3752 13059 0 0 10 1 5 2 20 0 15 0 416178759 11079335936 9939 33554432000 4194304 4196468 140729467844336 140606589775424 140606602040670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13805] ppid=13748 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13805/stat : 13805 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178759 11079335936 9939 33554432000 4194304 4196468 140729467844336 140606622202128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13806] ppid=13748 vsize=10819664 memory=3835293037157783200 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13806/stat : 13806 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178759 11079335936 9939 33554432000 4194304 4196468 140729467844336 140606510475664 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13807] ppid=13748 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13807/stat : 13807 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178760 11079335936 9939 33554432000 4194304 4196468 140729467844336 140606509423120 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13808] ppid=13748 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13808/stat : 13808 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178760 11079335936 9939 33554432000 4194304 4196468 140729467844336 140606508370576 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13809] ppid=13748 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13809/stat : 13809 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178761 11079335936 9939 33554432000 4194304 4196468 140729467844336 140606076561904 140606617971330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13810] ppid=13748 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13810/stat : 13810 (java) S 13748 13751 8521 0 -1 1077944384 33 13059 0 0 0 0 5 2 20 0 15 0 416178761 11079335936 9939 33554432000 4194304 4196468 140729467844336 140606075508128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13811] ppid=13748 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13811/stat : 13811 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178762 11079335936 9939 33554432000 4194304 4196468 140729467844336 140605954975216 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13812] ppid=13748 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13812/stat : 13812 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11079335936 9939 33554432000 4194304 4196468 140729467844336 140605177813712 140606617978779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13813] ppid=13748 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13751/task/13813/stat : 13813 (java) S 13748 13751 8521 0 -1 1077944384 495 13059 0 0 1 0 5 2 20 0 15 0 416178764 11079335936 9939 33554432000 4194304 4196468 140729467844336 140606041950192 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13814] ppid=13748 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13814/stat : 13814 (java) S 13748 13751 8521 0 -1 1077944384 162 13059 0 0 0 0 5 2 20 0 15 0 416178764 11079335936 9939 33554432000 4194304 4196468 140729467844336 140606040897648 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13815] ppid=13748 vsize=10819808 memory=140188811368064 CPUtime=0.1 cores=1,3,5,7
/proc/13751/task/13815/stat : 13815 (java) S 13748 13751 8521 0 -1 1077944384 618 13059 0 0 3 0 5 2 20 0 15 0 416178764 11079483392 9939 33554432000 4194304 4196468 140729467844336 140606039845104 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13816] ppid=13748 vsize=10819808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13816/stat : 13816 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11079483392 9939 33554432000 4194304 4196468 140729467844336 140605144255072 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13817] ppid=13748 vsize=10819808 memory=140188811368064 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13817/stat : 13817 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178765 11079483392 9939 33554432000 4194304 4196468 140729467844336 140606038793008 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39756 KiB
[startup+0.310429 s]*
/proc/loadavg: 2.41 1.73 1.52 3/226 13817
/proc/meminfo: memFree=29213456/32770624 swapFree=66922372/67108860
[pid=13751] ppid=13748 vsize=10820148 memory=48592 CPUtime=0.39 cores=1,3,5,7
/proc/13751/stat : 13751 (java) S 13748 13751 8521 0 -1 1077944320 10940 13059 0 0 29 3 5 2 20 0 15 0 416178750 11079831552 12148 33554432000 4194304 4196468 140729467844336 140729467826880 140606617960183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
/proc/13751/statm: 2705037 12148 3303 1 0 2667149 0
[pid=13751/tid=13804] ppid=13748 vsize=10820260 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/13751/task/13804/stat : 13804 (java) R 13748 13751 8521 0 -1 4202560 7412 13059 0 0 19 3 5 2 20 0 15 0 416178759 11079946240 12213 33554432000 4194304 4196468 140729467844336 140606589785712 140606541037123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13805] ppid=13748 vsize=10820260 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13805/stat : 13805 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178759 11079946240 12213 33554432000 4194304 4196468 140729467844336 140606622202128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13806] ppid=13748 vsize=10820260 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13806/stat : 13806 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178759 11079946240 12213 33554432000 4194304 4196468 140729467844336 140606510475664 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13807] ppid=13748 vsize=10820260 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13807/stat : 13807 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178760 11079946240 12213 33554432000 4194304 4196468 140729467844336 140606509423120 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13808] ppid=13748 vsize=10820260 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13808/stat : 13808 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178760 11079946240 12213 33554432000 4194304 4196468 140729467844336 140606508370576 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13809] ppid=13748 vsize=10820260 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13809/stat : 13809 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178761 11079946240 12213 33554432000 4194304 4196468 140729467844336 140606076561904 140606617971330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13810] ppid=13748 vsize=10820260 memory=140188811368063 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13810/stat : 13810 (java) S 13748 13751 8521 0 -1 1077944384 33 13059 0 0 0 0 5 2 20 0 15 0 416178761 11079946240 12213 33554432000 4194304 4196468 140729467844336 140606075508128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13811] ppid=13748 vsize=10820264 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13811/stat : 13811 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178762 11079950336 12213 33554432000 4194304 4196468 140729467844336 140605954975216 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13812] ppid=13748 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13812/stat : 13812 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11079950336 12213 33554432000 4194304 4196468 140729467844336 140605177813712 140606617978779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13813] ppid=13748 vsize=10820264 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13751/task/13813/stat : 13813 (java) S 13748 13751 8521 0 -1 1077944384 504 13059 0 0 2 0 5 2 20 0 15 0 416178764 11079950336 12213 33554432000 4194304 4196468 140729467844336 140606041950192 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13814] ppid=13748 vsize=10820264 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13751/task/13814/stat : 13814 (java) S 13748 13751 8521 0 -1 1077944384 163 13059 0 0 1 0 5 2 20 0 15 0 416178764 11079950336 12213 33554432000 4194304 4196468 140729467844336 140606040897648 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13815] ppid=13748 vsize=10820264 memory=140188811368064 CPUtime=0.12 cores=1,3,5,7
/proc/13751/task/13815/stat : 13815 (java) S 13748 13751 8521 0 -1 1077944384 627 13059 0 0 5 0 5 2 20 0 15 0 416178764 11079950336 12213 33554432000 4194304 4196468 140729467844336 140606039845104 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13816] ppid=13748 vsize=10820264 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13816/stat : 13816 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11079950336 12213 33554432000 4194304 4196468 140729467844336 140605144255072 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13817] ppid=13748 vsize=10820264 memory=140188811368064 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13817/stat : 13817 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178765 11079950336 12213 33554432000 4194304 4196468 140729467844336 140606038793008 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48592 KiB
[startup+0.700644 s]
/proc/loadavg: 2.41 1.73 1.52 3/226 13817
/proc/meminfo: memFree=29198796/32770624 swapFree=66922372/67108860
[pid=13751] ppid=13748 vsize=10824360 memory=82260 CPUtime=1.16 cores=1,3,5,7
/proc/13751/stat : 13751 (java) S 13748 13751 8521 0 -1 1077944320 15383 13059 0 0 103 6 5 2 20 0 15 0 416178750 11084144640 20565 33554432000 4194304 4196468 140729467844336 140729467826880 140606617960183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
/proc/13751/statm: 2706090 20565 3512 1 0 2668173 0
[pid=13751/tid=13804] ppid=13748 vsize=10824360 memory=1044 CPUtime=0.66 cores=1,3,5,7
/proc/13751/task/13804/stat : 13804 (java) R 13748 13751 8521 0 -1 4202560 10563 13059 0 0 55 4 5 2 20 0 15 0 416178759 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606589790112 140606599353917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13805] ppid=13748 vsize=10824360 memory=708 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13805/stat : 13805 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178759 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606622202128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13806] ppid=13748 vsize=10824360 memory=9364 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13806/stat : 13806 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178759 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606510475664 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13807] ppid=13748 vsize=10824360 memory=1120 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13807/stat : 13807 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178760 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606509423120 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13808] ppid=13748 vsize=10824360 memory=776 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13808/stat : 13808 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178760 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606508370576 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13809] ppid=13748 vsize=10824360 memory=140188811366945 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13809/stat : 13809 (java) S 13748 13751 8521 0 -1 1077944384 5 13059 0 0 0 0 5 2 20 0 15 0 416178761 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606076561904 140606617971330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13810] ppid=13748 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13810/stat : 13810 (java) S 13748 13751 8521 0 -1 1077944384 33 13059 0 0 0 0 5 2 20 0 15 0 416178761 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606075508128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13811] ppid=13748 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13811/stat : 13811 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178762 11084144640 20565 33554432000 4194304 4196468 140729467844336 140605954975216 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13812] ppid=13748 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13812/stat : 13812 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11084144640 20565 33554432000 4194304 4196468 140729467844336 140605177813712 140606617978779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13813] ppid=13748 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/13751/task/13813/stat : 13813 (java) S 13748 13751 8521 0 -1 1077944384 1072 13059 0 0 17 0 5 2 20 0 15 0 416178764 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606041950192 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13814] ppid=13748 vsize=10824360 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/13751/task/13814/stat : 13814 (java) S 13748 13751 8521 0 -1 1077944384 613 13059 0 0 11 0 5 2 20 0 15 0 416178764 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606040897648 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13815] ppid=13748 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/13751/task/13815/stat : 13815 (java) S 13748 13751 8521 0 -1 1077944384 876 13059 0 0 17 0 5 2 20 0 15 0 416178764 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606039845104 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13816] ppid=13748 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13816/stat : 13816 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11084144640 20565 33554432000 4194304 4196468 140729467844336 140605144255072 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13817] ppid=13748 vsize=10824360 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13817/stat : 13817 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178765 11084144640 20565 33554432000 4194304 4196468 140729467844336 140606038793008 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 82260 KiB
[startup+1.50076 s]
/proc/loadavg: 2.41 1.73 1.52 4/226 13817
/proc/meminfo: memFree=29154380/32770624 swapFree=66922372/67108860
[pid=13751] ppid=13748 vsize=10834676 memory=183476 CPUtime=2.72 cores=1,3,5,7
/proc/13751/stat : 13751 (java) S 13748 13751 8521 0 -1 1077944320 24344 13059 0 0 255 10 5 2 20 0 15 0 416178750 11094708224 45869 33554432000 4194304 4196468 140729467844336 140729467826880 140606617960183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
/proc/13751/statm: 2708669 45869 3590 1 0 2670733 0
[pid=13751/tid=13804] ppid=13748 vsize=10834676 memory=280377344164416 CPUtime=1.43 cores=1,3,5,7
/proc/13751/task/13804/stat : 13804 (java) R 13748 13751 8521 0 -1 4202560 15180 13059 0 0 130 6 5 2 20 0 15 0 416178759 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606589785248 140606603125736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13805] ppid=13748 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13751/task/13805/stat : 13805 (java) S 13748 13751 8521 0 -1 1077944384 66 13059 0 0 1 0 5 2 20 0 15 0 416178759 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606622202128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13806] ppid=13748 vsize=10834676 memory=-7522837415797432224 CPUtime=0.08 cores=1,3,5,7
/proc/13751/task/13806/stat : 13806 (java) S 13748 13751 8521 0 -1 1077944384 307 13059 0 0 1 0 5 2 20 0 15 0 416178759 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606510475664 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13807] ppid=13748 vsize=10834676 memory=-7531822216213012384 CPUtime=0.08 cores=1,3,5,7
/proc/13751/task/13807/stat : 13807 (java) S 13748 13751 8521 0 -1 1077944384 29 13059 0 0 1 0 5 2 20 0 15 0 416178760 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606509423120 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13808] ppid=13748 vsize=10834676 memory=6944656592455360608 CPUtime=0.08 cores=1,3,5,7
/proc/13751/task/13808/stat : 13808 (java) S 13748 13751 8521 0 -1 1077944384 89 13059 0 0 1 0 5 2 20 0 15 0 416178760 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606508370576 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13809] ppid=13748 vsize=10834676 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/13751/task/13809/stat : 13809 (java) S 13748 13751 8521 0 -1 1077944384 145 13059 0 0 1 0 5 2 20 0 15 0 416178761 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606076561904 140606617971330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13810] ppid=13748 vsize=10834676 memory=5941186181380609174 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13810/stat : 13810 (java) S 13748 13751 8521 0 -1 1077944384 33 13059 0 0 0 0 5 2 20 0 15 0 416178761 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606075508192 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13811] ppid=13748 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13811/stat : 13811 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178762 11094708224 45869 33554432000 4194304 4196468 140729467844336 140605954975216 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13812] ppid=13748 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13812/stat : 13812 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11094708224 45869 33554432000 4194304 4196468 140729467844336 140605177813712 140606617978779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13813] ppid=13748 vsize=10834676 memory=6852 CPUtime=0.46 cores=1,3,5,7
/proc/13751/task/13813/stat : 13813 (java) S 13748 13751 8521 0 -1 1077944384 1962 13059 0 0 39 0 5 2 20 0 15 0 416178764 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606041950192 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13814] ppid=13748 vsize=10834676 memory=2244 CPUtime=0.4 cores=1,3,5,7
/proc/13751/task/13814/stat : 13814 (java) S 13748 13751 8521 0 -1 1077944384 1995 13059 0 0 33 0 5 2 20 0 15 0 416178764 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606040897648 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13815] ppid=13748 vsize=10834676 memory=1044 CPUtime=0.51 cores=1,3,5,7
/proc/13751/task/13815/stat : 13815 (java) S 13748 13751 8521 0 -1 1077944384 2319 13059 0 0 44 0 5 2 20 0 15 0 416178764 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606039845104 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13816] ppid=13748 vsize=10834676 memory=708 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13816/stat : 13816 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11094708224 45869 33554432000 4194304 4196468 140729467844336 140605144255072 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13817] ppid=13748 vsize=10834676 memory=9364 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13817/stat : 13817 (java) S 13748 13751 8521 0 -1 1077944384 1 13059 0 0 0 0 5 2 20 0 15 0 416178765 11094708224 45869 33554432000 4194304 4196468 140729467844336 140606038793008 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
################
# More data... #
################
[startup+12.7008 s]
/proc/loadavg: 2.57 1.79 1.54 3/226 13817
/proc/meminfo: memFree=28722936/32770624 swapFree=66922372/67108860
[pid=13751] ppid=13748 vsize=10851092 memory=576580 CPUtime=23.98 cores=1,3,5,7
/proc/13751/stat : 13751 (java) S 13748 13751 8521 0 -1 1077944320 67948 13059 0 0 2356 35 5 2 20 0 15 0 416178750 11111518208 144145 33554432000 4194304 4196468 140729467844336 140729467826880 140606617960183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
/proc/13751/statm: 2712773 144145 3626 1 0 2674829 0
[pid=13751/tid=13804] ppid=13748 vsize=10851092 memory=326532 CPUtime=12.45 cores=1,3,5,7
/proc/13751/task/13804/stat : 13804 (java) R 13748 13751 8521 0 -1 4202560 26997 13059 0 0 1224 14 5 2 20 0 15 0 416178759 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606589794824 140606174860178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13805] ppid=13748 vsize=10851092 memory=164 CPUtime=0.17 cores=1,3,5,7
/proc/13751/task/13805/stat : 13805 (java) S 13748 13751 8521 0 -1 1077944384 757 13059 0 0 8 2 5 2 20 0 15 0 416178759 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606622202128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13806] ppid=13748 vsize=10851092 memory=523184 CPUtime=0.15 cores=1,3,5,7
/proc/13751/task/13806/stat : 13806 (java) S 13748 13751 8521 0 -1 1077944384 1271 13059 0 0 6 2 5 2 20 0 15 0 416178759 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606510475664 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13807] ppid=13748 vsize=10851092 memory=453848 CPUtime=0.16 cores=1,3,5,7
/proc/13751/task/13807/stat : 13807 (java) S 13748 13751 8521 0 -1 1077944384 181 13059 0 0 7 2 5 2 20 0 15 0 416178760 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606509423120 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13808] ppid=13748 vsize=10851092 memory=4100 CPUtime=0.17 cores=1,3,5,7
/proc/13751/task/13808/stat : 13808 (java) S 13748 13751 8521 0 -1 1077944384 245 13059 0 0 8 2 5 2 20 0 15 0 416178760 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606508370576 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13809] ppid=13748 vsize=10851092 memory=1044 CPUtime=0.13 cores=1,3,5,7
/proc/13751/task/13809/stat : 13809 (java) S 13748 13751 8521 0 -1 1077944384 3915 13059 0 0 6 0 5 2 20 0 15 0 416178761 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606076561904 140606617971330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13810] ppid=13748 vsize=10851092 memory=708 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13810/stat : 13810 (java) S 13748 13751 8521 0 -1 1077944384 38 13059 0 0 0 0 5 2 20 0 15 0 416178761 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606075508256 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13811] ppid=13748 vsize=10851092 memory=520992 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13811/stat : 13811 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178762 11111518208 144145 33554432000 4194304 4196468 140729467844336 140605954975232 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13812] ppid=13748 vsize=10851092 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13812/stat : 13812 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11111518208 144145 33554432000 4194304 4196468 140729467844336 140605177813712 140606617978779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13813] ppid=13748 vsize=10851092 memory=20080 CPUtime=4.09 cores=1,3,5,7
/proc/13751/task/13813/stat : 13813 (java) S 13748 13751 8521 0 -1 1077944384 8267 13059 0 0 401 1 5 2 20 0 15 0 416178764 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606041950192 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13814] ppid=13748 vsize=10851092 memory=988 CPUtime=4.43 cores=1,3,5,7
/proc/13751/task/13814/stat : 13814 (java) S 13748 13751 8521 0 -1 1077944384 10671 13059 0 0 434 2 5 2 20 0 15 0 416178764 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606040897648 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13815] ppid=13748 vsize=10851092 memory=576480 CPUtime=2.68 cores=1,3,5,7
/proc/13751/task/13815/stat : 13815 (java) S 13748 13751 8521 0 -1 1077944384 13354 13059 0 0 256 5 5 2 20 0 15 0 416178764 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606039845104 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13816] ppid=13748 vsize=10851092 memory=115 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13816/stat : 13816 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11111518208 144145 33554432000 4194304 4196468 140729467844336 140605144255072 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13817] ppid=13748 vsize=10851092 memory=557 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13817/stat : 13817 (java) S 13748 13751 8521 0 -1 1077944384 34 13059 0 0 0 0 5 2 20 0 15 0 416178765 11111518208 144145 33554432000 4194304 4196468 140729467844336 140606038793008 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
Current children cumulated CPU time: 23.98 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 576580 KiB
[startup+13.6777 s]
# the end of solver process 13751 was just reported to runsolver
# cumulated CPU time of all completed processes: user=24.7192 s, system=0.401521 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8009 s]
/proc/loadavg: 2.57 1.79 1.54 3/226 13817
/proc/meminfo: memFree=28722936/32770624 swapFree=66922372/67108860
[pid=13751] ppid=13748 vsize=10851092 memory=576700 CPUtime=24.09 cores=1,3,5,7
/proc/13751/stat : 13751 (java) S 13748 13751 8521 0 -1 1077944320 67984 13059 0 0 2367 35 5 2 20 0 15 0 416178750 11111518208 144175 33554432000 4194304 4196468 140729467844336 140729467826880 140606617960183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
/proc/13751/statm: 2712773 144175 3626 1 0 2674829 0
[pid=13751/tid=13804] ppid=13748 vsize=10851092 memory=566 CPUtime=12.55 cores=1,3,5,7
/proc/13751/task/13804/stat : 13804 (java) R 13748 13751 8521 0 -1 4202560 26997 13059 0 0 1234 14 5 2 20 0 15 0 416178759 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606589794824 140606190583762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13805] ppid=13748 vsize=10851092 memory=1235 CPUtime=0.17 cores=1,3,5,7
/proc/13751/task/13805/stat : 13805 (java) S 13748 13751 8521 0 -1 1077944384 757 13059 0 0 8 2 5 2 20 0 15 0 416178759 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606622202128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13806] ppid=13748 vsize=10851092 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/13751/task/13806/stat : 13806 (java) S 13748 13751 8521 0 -1 1077944384 1271 13059 0 0 6 2 5 2 20 0 15 0 416178759 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606510475664 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13807] ppid=13748 vsize=10851092 memory=8514726395715218844 CPUtime=0.16 cores=1,3,5,7
/proc/13751/task/13807/stat : 13807 (java) S 13748 13751 8521 0 -1 1077944384 181 13059 0 0 7 2 5 2 20 0 15 0 416178760 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606509423120 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13808] ppid=13748 vsize=10851092 memory=5450916479948256810 CPUtime=0.17 cores=1,3,5,7
/proc/13751/task/13808/stat : 13808 (java) S 13748 13751 8521 0 -1 1077944384 245 13059 0 0 8 2 5 2 20 0 15 0 416178760 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606508370576 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13809] ppid=13748 vsize=10851092 memory=7523071198212214892 CPUtime=0.13 cores=1,3,5,7
/proc/13751/task/13809/stat : 13809 (java) S 13748 13751 8521 0 -1 1077944384 3915 13059 0 0 6 0 5 2 20 0 15 0 416178761 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606076561904 140606617971330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13810] ppid=13748 vsize=10851092 memory=7811607157311039314 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13810/stat : 13810 (java) S 13748 13751 8521 0 -1 1077944384 38 13059 0 0 0 0 5 2 20 0 15 0 416178761 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606075508256 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13811] ppid=13748 vsize=10851092 memory=292060 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13811/stat : 13811 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178762 11111518208 144175 33554432000 4194304 4196468 140729467844336 140605954975232 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13812] ppid=13748 vsize=10851092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13812/stat : 13812 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11111518208 144175 33554432000 4194304 4196468 140729467844336 140605177813712 140606617978779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13813] ppid=13748 vsize=10851092 memory=6944652177228980320 CPUtime=4.09 cores=1,3,5,7
/proc/13751/task/13813/stat : 13813 (java) S 13748 13751 8521 0 -1 1077944384 8267 13059 0 0 401 1 5 2 20 0 15 0 416178764 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606041950192 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13814] ppid=13748 vsize=10851092 memory=6656426216303648864 CPUtime=4.43 cores=1,3,5,7
/proc/13751/task/13814/stat : 13814 (java) S 13748 13751 8521 0 -1 1077944384 10671 13059 0 0 434 2 5 2 20 0 15 0 416178764 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606040897648 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13815] ppid=13748 vsize=10851092 memory=6944656575208382560 CPUtime=2.69 cores=1,3,5,7
/proc/13751/task/13815/stat : 13815 (java) S 13748 13751 8521 0 -1 1077944384 13390 13059 0 0 256 6 5 2 20 0 15 0 416178764 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606039845104 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13816] ppid=13748 vsize=10851092 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13816/stat : 13816 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11111518208 144175 33554432000 4194304 4196468 140729467844336 140605144255072 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13817] ppid=13748 vsize=10851092 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13817/stat : 13817 (java) S 13748 13751 8521 0 -1 1077944384 34 13059 0 0 0 0 5 2 20 0 15 0 416178765 11111518208 144175 33554432000 4194304 4196468 140729467844336 140606038793008 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
Current children cumulated CPU time: 24.09 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 576700 KiB
[startup+13.201 s]
/proc/loadavg: 2.57 1.79 1.54 3/226 13817
/proc/meminfo: memFree=28733672/32770624 swapFree=66922372/67108860
[pid=13751] ppid=13748 vsize=10851092 memory=585308 CPUtime=24.56 cores=1,3,5,7
/proc/13751/stat : 13751 (java) S 13748 13751 8521 0 -1 1077944320 68108 13059 0 0 2413 36 5 2 20 0 15 0 416178750 11111518208 146327 33554432000 4194304 4196468 140729467844336 140729467826880 140606617960183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
/proc/13751/statm: 2712773 146327 3626 1 0 2674829 0
[pid=13751/tid=13804] ppid=13748 vsize=10851092 memory=-1818190303130955843 CPUtime=12.94 cores=1,3,5,7
/proc/13751/task/13804/stat : 13804 (java) R 13748 13751 8521 0 -1 4202560 26999 13059 0 0 1273 14 5 2 20 0 15 0 416178759 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606589795128 140606617972118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13805] ppid=13748 vsize=10851092 memory=-5852852557394711630 CPUtime=0.17 cores=1,3,5,7
/proc/13751/task/13805/stat : 13805 (java) S 13748 13751 8521 0 -1 1077944384 762 13059 0 0 8 2 5 2 20 0 15 0 416178759 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606622202128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13806] ppid=13748 vsize=10851092 memory=-4404137509843184191 CPUtime=0.16 cores=1,3,5,7
/proc/13751/task/13806/stat : 13806 (java) S 13748 13751 8521 0 -1 1077944384 1275 13059 0 0 7 2 5 2 20 0 15 0 416178759 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606510475664 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13807] ppid=13748 vsize=10851092 memory=-3250074257426230347 CPUtime=0.16 cores=1,3,5,7
/proc/13751/task/13807/stat : 13807 (java) S 13748 13751 8521 0 -1 1077944384 186 13059 0 0 7 2 5 2 20 0 15 0 416178760 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606509423120 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13808] ppid=13748 vsize=10851092 memory=-2746515524090870338 CPUtime=0.18 cores=1,3,5,7
/proc/13751/task/13808/stat : 13808 (java) S 13748 13751 8521 0 -1 1077944384 249 13059 0 0 9 2 5 2 20 0 15 0 416178760 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606508370576 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13809] ppid=13748 vsize=10851092 memory=-2247047206204759641 CPUtime=0.13 cores=1,3,5,7
/proc/13751/task/13809/stat : 13809 (java) S 13748 13751 8521 0 -1 1077944384 3915 13059 0 0 6 0 5 2 20 0 15 0 416178761 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606076561904 140606617971330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13810] ppid=13748 vsize=10851092 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13810/stat : 13810 (java) S 13748 13751 8521 0 -1 1077944384 38 13059 0 0 0 0 5 2 20 0 15 0 416178761 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606075508256 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13811] ppid=13748 vsize=10851092 memory=7091878862952751724 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13811/stat : 13811 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178762 11111518208 146327 33554432000 4194304 4196468 140729467844336 140605954975232 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13812] ppid=13748 vsize=10851092 memory=7091878862952751724 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13812/stat : 13812 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140605177813712 140606617978779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13813] ppid=13748 vsize=10851092 memory=288230574492221466 CPUtime=4.1 cores=1,3,5,7
/proc/13751/task/13813/stat : 13813 (java) S 13748 13751 8521 0 -1 1077944384 8267 13059 0 0 402 1 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606041950192 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13814] ppid=13748 vsize=10851092 memory=288230596050944315 CPUtime=4.44 cores=1,3,5,7
/proc/13751/task/13814/stat : 13814 (java) S 13748 13751 8521 0 -1 1077944384 10672 13059 0 0 435 2 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606040897648 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13815] ppid=13748 vsize=10851092 memory=14973369229511284 CPUtime=2.73 cores=1,3,5,7
/proc/13751/task/13815/stat : 13815 (java) S 13748 13751 8521 0 -1 1077944384 13493 13059 0 0 260 6 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606039845104 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13816] ppid=13748 vsize=10851092 memory=804 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13816/stat : 13816 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140605144255072 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13817] ppid=13748 vsize=10851092 memory=1808 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13817/stat : 13817 (java) S 13748 13751 8521 0 -1 1077944384 34 13059 0 0 0 0 5 2 20 0 15 0 416178765 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606038793008 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
Current children cumulated CPU time: 24.56 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 585308 KiB
[startup+13.6007 s]
/proc/loadavg: 2.57 1.79 1.54 3/226 13817
/proc/meminfo: memFree=28733672/32770624 swapFree=66922372/67108860
[pid=13751] ppid=13748 vsize=10851092 memory=585308 CPUtime=25.01 cores=1,3,5,7
/proc/13751/stat : 13751 (java) S 13748 13751 8521 0 -1 1077944320 68120 13059 0 0 2458 36 5 2 20 0 15 0 416178750 11111518208 146327 33554432000 4194304 4196468 140729467844336 140729467826880 140606617960183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
/proc/13751/statm: 2712773 146327 3626 1 0 2674829 0
[pid=13751/tid=13804] ppid=13748 vsize=10851092 memory=20080 CPUtime=13.34 cores=1,3,5,7
/proc/13751/task/13804/stat : 13804 (java) R 13748 13751 8521 0 -1 4202560 26999 13059 0 0 1313 14 5 2 20 0 15 0 416178759 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606589791952 140606187229744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13805] ppid=13748 vsize=10851092 memory=988 CPUtime=0.17 cores=1,3,5,7
/proc/13751/task/13805/stat : 13805 (java) S 13748 13751 8521 0 -1 1077944384 762 13059 0 0 8 2 5 2 20 0 15 0 416178759 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606622202128 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13806] ppid=13748 vsize=10851092 memory=2016 CPUtime=0.16 cores=1,3,5,7
/proc/13751/task/13806/stat : 13806 (java) S 13748 13751 8521 0 -1 1077944384 1275 13059 0 0 7 2 5 2 20 0 15 0 416178759 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606510475664 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13807] ppid=13748 vsize=10851092 memory=1284 CPUtime=0.16 cores=1,3,5,7
/proc/13751/task/13807/stat : 13807 (java) S 13748 13751 8521 0 -1 1077944384 186 13059 0 0 7 2 5 2 20 0 15 0 416178760 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606509423120 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13808] ppid=13748 vsize=10851092 memory=1044 CPUtime=0.18 cores=1,3,5,7
/proc/13751/task/13808/stat : 13808 (java) S 13748 13751 8521 0 -1 1077944384 249 13059 0 0 9 2 5 2 20 0 15 0 416178760 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606508370576 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13809] ppid=13748 vsize=10851092 memory=495560 CPUtime=0.13 cores=1,3,5,7
/proc/13751/task/13809/stat : 13809 (java) S 13748 13751 8521 0 -1 1077944384 3915 13059 0 0 6 0 5 2 20 0 15 0 416178761 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606076561904 140606617971330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13810] ppid=13748 vsize=10851092 memory=-7449383003082255510 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13810/stat : 13810 (java) S 13748 13751 8521 0 -1 1077944384 38 13059 0 0 0 0 5 2 20 0 15 0 416178761 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606075508256 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13811] ppid=13748 vsize=10851092 memory=4137287014106042739 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13811/stat : 13811 (java) S 13748 13751 8521 0 -1 1077944384 2 13059 0 0 0 0 5 2 20 0 15 0 416178762 11111518208 146327 33554432000 4194304 4196468 140729467844336 140605954975232 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13812] ppid=13748 vsize=10851092 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13812/stat : 13812 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140605177813712 140606617978779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13813] ppid=13748 vsize=10851092 memory=6944656425123094137 CPUtime=4.11 cores=1,3,5,7
/proc/13751/task/13813/stat : 13813 (java) S 13748 13751 8521 0 -1 1077944384 8267 13059 0 0 403 1 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606041950192 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13814] ppid=13748 vsize=10851092 memory=-7449383003082255509 CPUtime=4.45 cores=1,3,5,7
/proc/13751/task/13814/stat : 13814 (java) S 13748 13751 8521 0 -1 1077944384 10673 13059 0 0 436 2 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606040897648 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13815] ppid=13748 vsize=10851092 memory=7897290085065913154 CPUtime=2.76 cores=1,3,5,7
/proc/13751/task/13815/stat : 13815 (java) S 13748 13751 8521 0 -1 1077944384 13504 13059 0 0 263 6 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606039845104 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13816] ppid=13748 vsize=10851092 memory=585308 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13816/stat : 13816 (java) S 13748 13751 8521 0 -1 1077944384 3 13059 0 0 0 0 5 2 20 0 15 0 416178764 11111518208 146327 33554432000 4194304 4196468 140729467844336 140605144255072 140606617970389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
[pid=13751/tid=13817] ppid=13748 vsize=10851092 memory=708 CPUtime=0.07 cores=1,3,5,7
/proc/13751/task/13817/stat : 13817 (java) S 13748 13751 8521 0 -1 1077944384 34 13059 0 0 0 0 5 2 20 0 15 0 416178765 11111518208 146327 33554432000 4194304 4196468 140729467844336 140606038793008 140606617971330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9728000 140729467845359 140729467847877 140729467847877 140729467850703 0
Current children cumulated CPU time: 25.01 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 585308 KiB
Child status: 0
Real time (s): 13.6778
CPU time (s): 25.1207
CPU user time (s): 24.7192
CPU system time (s): 0.401521
CPU usage (%): 183.66
Max. virtual memory (cumulated for all children) (KiB): 10851092
Max. memory (cumulated for all children) (KiB): 585308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.7192
system time used= 0.401521
maximum resident set size= 587372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81523
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= 9550
involuntary context switches= 118
# summary of solver processes directly reported to runsolver:
# pid: 13751
# total CPU time (s): 25.1207
# total CPU user time (s): 24.7192
# total CPU system time (s): 0.401521
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099484 second user time and 0.179071 second system time
The end