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 (9594 MiB free)
memory of node 1: 16384 MiB (12908 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295782-1532594793/watcher-4295782-1532594793 -o /tmp/evaluation-result-4295782-1532594793/solver-4295782-1532594793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532594793-3955 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1793397355 -superng HOME/instance-4295782-1532594793.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
solver pid=3980, runsolver pid=3976
Current StackSize limit: 8192 KiB
[startup+0.100196 s]*
/proc/loadavg: 0.93 1.19 1.39 3/212 4058
/proc/meminfo: memFree=23017996/32770624 swapFree=67108860/67108860
[pid=3980] ppid=3976 vsize=113256 memory=1612 CPUtime=0.01 cores=1,3,5,7
/proc/3980/stat : 3980 (bash) S 3976 3980 2275 0 -1 4202496 880 5672 1 0 0 0 0 1 20 0 1 0 77042473 115974144 403 33554432000 4194304 5098028 140736454066944 140736454060952 140422629170176 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 2 0 0 7196144 7232144 40562688 140736454075541 140736454075688 140736454075688 140736454078446 0
/proc/3980/statm: 28314 403 319 221 0 119 0
[pid=4038] ppid=3980 vsize=113256 memory=716 CPUtime=0 cores=1,3,5,7
/proc/4038/stat : 4038 (bash) S 3980 3980 2275 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 77042478 115974144 179 33554432000 4194304 5098028 140736454066944 140736454059624 140422628995708 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40562688 140736454075541 140736454075688 140736454075688 140736454078446 0
/proc/4038/statm: 28314 179 95 221 0 119 0
[pid=4040] ppid=4038 vsize=10526580 memory=21976 CPUtime=0.05 cores=1,3,5,7
/proc/4040/stat : 4040 (java) S 4038 3980 2275 0 -1 1077944320 4375 0 0 0 4 1 0 0 20 0 13 0 77042478 10779217920 5494 33554432000 4194304 4196468 140728081887552 140728081870096 139943439093495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
/proc/4040/statm: 2631645 5494 2417 1 0 2594186 0
[pid=4040/tid=4043] ppid=4038 vsize=10527608 memory=-8412654372658052764 CPUtime=0.04 cores=1,3,5,7
/proc/4040/task/4043/stat : 4043 (java) R 4038 3980 2275 0 -1 4202560 2732 0 0 0 3 1 0 0 20 0 14 0 77042479 10780270592 5691 33554432000 4194304 4196468 140728081887552 139943443335520 139943439115421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4045] ppid=4038 vsize=10527608 memory=664964232733811010 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4045/stat : 4045 (java) S 4038 3980 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 77042480 10780270592 5691 33554432000 4194304 4196468 140728081887552 139943391714448 139943439103701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4046] ppid=4038 vsize=10527608 memory=140445712496256 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4046/stat : 4046 (java) S 4038 3980 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 77042480 10780270592 5691 33554432000 4194304 4196468 140728081887552 139943390661648 139943439103701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4047] ppid=4038 vsize=10527608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4047/stat : 4047 (java) S 4038 3980 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 77042480 10780270592 5691 33554432000 4194304 4196468 140728081887552 139943043849104 139943439103701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4048] ppid=4038 vsize=10527608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4048/stat : 4048 (java) S 4038 3980 2275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 77042480 10780270592 5691 33554432000 4194304 4196468 140728081887552 139943042796304 139943439103701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4053] ppid=4038 vsize=10527608 memory=140445712496256 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4053/stat : 4053 (java) S 4038 3980 2275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 77042481 10780270592 5691 33554432000 4194304 4196468 140728081887552 139942998219120 139943439104642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4055] ppid=4038 vsize=10527608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4055/stat : 4055 (java) S 4038 3980 2275 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 77042481 10780270592 5691 33554432000 4194304 4196468 140728081887552 139942997165088 139943439103701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4058] ppid=4038 vsize=10527608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4058/stat : 4058 (java) S 4038 3980 2275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 77042482 10780270592 5691 33554432000 4194304 4196468 140728081887552 139942996112240 139943439103701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4063] ppid=4038 vsize=10527608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4063/stat : 4063 (java) S 4038 3980 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 77042484 10780270592 5691 33554432000 4194304 4196468 140728081887552 139942995060560 139943439112091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4064] ppid=4038 vsize=10527608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4064/stat : 4064 (java) R 4038 3980 2275 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 14 0 77042484 10780270592 5691 33554432000 4194304 4196468 140728081887552 139942993995896 139943416688272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4065] ppid=4038 vsize=10527608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4065/stat : 4065 (java) S 4038 3980 2275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 77042484 10780270592 5691 33554432000 4194304 4196468 140728081887552 139942992955840 139943439103701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4066] ppid=4038 vsize=10527608 memory=140445712496256 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4066/stat : 4066 (java) S 4038 3980 2275 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 14 0 77042484 10780270592 5691 33554432000 4194304 4196468 140728081887552 139942991903344 139943439104642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4040/tid=4068] ppid=4038 vsize=10527608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4040/task/4068/stat : 4068 (java) R 4038 3980 2275 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 14 0 77042484 10780270592 5691 33554432000 4194304 4196468 140728081887552 139942990851168 139943439103701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16781312 140728081888547 140728081888561 140728081888561 140728081891279 0
[pid=4042] ppid=4038 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/4042/stat : 4042 (awk) S 4038 3980 2275 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 77042478 116211712 243 33554432000 4194304 4609284 140722731791248 140722731790424 140412661910528 0 0 4096 1216 18446744071580971376 0 0 17 3 0 0 0 0 0 6708720 6711756 35311616 140722731799891 140722731799921 140722731799921 140722731802607 0
/proc/4042/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10866580 KiB
Current children cumulated memory: 25276 KiB
[startup+0.211248 s]*
/proc/loadavg: 0.93 1.19 1.39 8/218 4116
/proc/meminfo: memFree=23001816/32770624 swapFree=67108860/67108860
[pid=3980] ppid=3976 vsize=10818904 memory=36780 CPUtime=0.21 cores=1,3,5,7
/proc/3980/stat : 3980 (java) S 3976 3980 2275 0 -1 1077944320 6468 13017 1 0 12 1 5 3 20 0 15 0 77042473 11078557696 9195 33554432000 4194304 4196468 140734432110704 140734432093248 140026879950583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
/proc/3980/statm: 2704726 9195 2917 1 0 2667149 0
[pid=3980/tid=4090] ppid=3976 vsize=10818904 memory=7022364594140610616 CPUtime=0.15 cores=1,3,5,7
/proc/3980/task/4090/stat : 4090 (java) R 3976 3980 2275 0 -1 4202560 3152 13017 0 0 7 0 5 3 20 0 15 0 77042486 11078557696 9261 33554432000 4194304 4196468 140734432110704 140026851778280 140026879972509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4091] ppid=3976 vsize=10818904 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4091/stat : 4091 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042487 11078557696 9261 33554432000 4194304 4196468 140734432110704 140026884192912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4092] ppid=3976 vsize=10818904 memory=140445712500489 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4092/stat : 4092 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042487 11078557696 9261 33554432000 4194304 4196468 140734432110704 140026807351824 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4093] ppid=3976 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4093/stat : 4093 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042487 11078557696 9261 33554432000 4194304 4196468 140734432110704 140026451827088 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4094] ppid=3976 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4094/stat : 4094 (java) S 3976 3980 2275 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 77042487 11078557696 9261 33554432000 4194304 4196468 140734432110704 140026450774288 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4100] ppid=3976 vsize=10818904 memory=140445712496256 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4100/stat : 4100 (java) S 3976 3980 2275 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 77042488 11078557696 9261 33554432000 4194304 4196468 140734432110704 140026406521712 140026879961730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4102] ppid=3976 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4102/stat : 4102 (java) S 3976 3980 2275 0 -1 1077944384 13 13017 0 0 0 0 5 3 20 0 15 0 77042489 11078557696 9261 33554432000 4194304 4196468 140734432110704 140025865954848 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4104] ppid=3976 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4104/stat : 4104 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042489 11078557696 9261 33554432000 4194304 4196468 140734432110704 140025664628080 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4106] ppid=3976 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4106/stat : 4106 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042491 11078557696 9261 33554432000 4194304 4196468 140734432110704 140025424337232 140026879969179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4108] ppid=3976 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4108/stat : 4108 (java) S 3976 3980 2275 0 -1 1077944384 509 13017 0 0 0 0 5 3 20 0 15 0 77042491 11078557696 9261 33554432000 4194304 4196468 140734432110704 140026405468528 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4110] ppid=3976 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4110/stat : 4110 (java) S 3976 3980 2275 0 -1 1077944384 54 13017 0 0 0 0 5 3 20 0 15 0 77042491 11078557696 9261 33554432000 4194304 4196468 140734432110704 140026404415728 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4112] ppid=3976 vsize=10818904 memory=140445712496256 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4112/stat : 4112 (java) S 3976 3980 2275 0 -1 1077944384 544 13017 0 0 2 0 5 3 20 0 15 0 77042491 11078557696 9261 33554432000 4194304 4196468 140734432110704 140025946695792 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4114] ppid=3976 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4114/stat : 4114 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042492 11078557696 9261 33554432000 4194304 4196468 140734432110704 140025390778592 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4116] ppid=3976 vsize=10818904 memory=140445712496256 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4116/stat : 4116 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042492 11078557696 9261 33554432000 4194304 4196468 140734432110704 140025945644208 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 36780 KiB
[startup+0.310637 s]*
/proc/loadavg: 0.93 1.19 1.39 3/218 4116
/proc/meminfo: memFree=22971108/32770624 swapFree=67108860/67108860
[pid=3980] ppid=3976 vsize=10819352 memory=50800 CPUtime=0.35 cores=1,3,5,7
/proc/3980/stat : 3980 (java) S 3976 3980 2275 0 -1 1077944320 9661 13017 1 0 25 2 5 3 20 0 15 0 77042473 11079016448 12700 33554432000 4194304 4196468 140734432110704 140734432093248 140026879950583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
/proc/3980/statm: 2704838 12700 3043 1 0 2667149 0
[pid=3980/tid=4090] ppid=3976 vsize=10819352 memory=8112282956445269571 CPUtime=0.25 cores=1,3,5,7
/proc/3980/task/4090/stat : 4090 (java) R 3976 3980 2275 0 -1 4202560 6315 13017 0 0 16 1 5 3 20 0 15 0 77042486 11079016448 12700 33554432000 4194304 4196468 140734432110704 140026851773056 140026879972509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4091] ppid=3976 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4091/stat : 4091 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042487 11079016448 12700 33554432000 4194304 4196468 140734432110704 140026884192912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4092] ppid=3976 vsize=10819352 memory=3472464343893665456 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4092/stat : 4092 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042487 11079016448 12700 33554432000 4194304 4196468 140734432110704 140026807351824 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4093] ppid=3976 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4093/stat : 4093 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042487 11079016448 12700 33554432000 4194304 4196468 140734432110704 140026451827088 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4094] ppid=3976 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4094/stat : 4094 (java) S 3976 3980 2275 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 77042487 11079016448 12700 33554432000 4194304 4196468 140734432110704 140026450774288 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4100] ppid=3976 vsize=10819352 memory=140445712496256 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4100/stat : 4100 (java) S 3976 3980 2275 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 77042488 11079016448 12700 33554432000 4194304 4196468 140734432110704 140026406521712 140026879961730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4102] ppid=3976 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4102/stat : 4102 (java) S 3976 3980 2275 0 -1 1077944384 13 13017 0 0 0 0 5 3 20 0 15 0 77042489 11079016448 12700 33554432000 4194304 4196468 140734432110704 140025865954848 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4104] ppid=3976 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4104/stat : 4104 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042489 11079016448 12700 33554432000 4194304 4196468 140734432110704 140025664628080 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4106] ppid=3976 vsize=10819352 memory=6872598998417432672 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4106/stat : 4106 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042491 11079016448 12700 33554432000 4194304 4196468 140734432110704 140025424337232 140026879969179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4108] ppid=3976 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3980/task/4108/stat : 4108 (java) S 3976 3980 2275 0 -1 1077944384 509 13017 0 0 1 0 5 3 20 0 15 0 77042491 11079016448 12700 33554432000 4194304 4196468 140734432110704 140026405468528 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4110] ppid=3976 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/3980/task/4110/stat : 4110 (java) S 3976 3980 2275 0 -1 1077944384 58 13017 0 0 1 0 5 3 20 0 15 0 77042491 11079016448 12700 33554432000 4194304 4196468 140734432110704 140026404415728 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4112] ppid=3976 vsize=10819352 memory=280891277409088 CPUtime=0.12 cores=1,3,5,7
/proc/3980/task/4112/stat : 4112 (java) S 3976 3980 2275 0 -1 1077944384 565 13017 0 0 4 0 5 3 20 0 15 0 77042491 11079016448 12700 33554432000 4194304 4196468 140734432110704 140025946695792 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4114] ppid=3976 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4114/stat : 4114 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042492 11079016448 12700 33554432000 4194304 4196468 140734432110704 140025390778592 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4116] ppid=3976 vsize=10819352 memory=280891277330648 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4116/stat : 4116 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042492 11079016448 12700 33554432000 4194304 4196468 140734432110704 140025945644208 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 50800 KiB
[startup+0.701255 s]
/proc/loadavg: 0.93 1.19 1.39 5/218 4116
/proc/meminfo: memFree=22943624/32770624 swapFree=67108860/67108860
[pid=3980] ppid=3976 vsize=10819352 memory=88000 CPUtime=0.96 cores=1,3,5,7
/proc/3980/stat : 3980 (java) S 3976 3980 2275 0 -1 1077944320 16664 13017 1 0 84 4 5 3 20 0 15 0 77042473 11079016448 22000 33554432000 4194304 4196468 140734432110704 140734432093248 140026879950583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
/proc/3980/statm: 2704838 22000 3237 1 0 2667149 0
[pid=3980/tid=4090] ppid=3976 vsize=10819352 memory=57 CPUtime=0.64 cores=1,3,5,7
/proc/3980/task/4090/stat : 4090 (java) R 3976 3980 2275 0 -1 4202560 12251 13017 0 0 53 3 5 3 20 0 15 0 77042486 11079016448 22000 33554432000 4194304 4196468 140734432110704 140026851773584 140026863137364 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4091] ppid=3976 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4091/stat : 4091 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042487 11079016448 22000 33554432000 4194304 4196468 140734432110704 140026884192912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4092] ppid=3976 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4092/stat : 4092 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042487 11079016448 22000 33554432000 4194304 4196468 140734432110704 140026807351824 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4093] ppid=3976 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4093/stat : 4093 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042487 11079016448 22000 33554432000 4194304 4196468 140734432110704 140026451827088 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4094] ppid=3976 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4094/stat : 4094 (java) S 3976 3980 2275 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 77042487 11079016448 22000 33554432000 4194304 4196468 140734432110704 140026450774288 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4100] ppid=3976 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4100/stat : 4100 (java) S 3976 3980 2275 0 -1 1077944384 5 13017 0 0 0 0 5 3 20 0 15 0 77042488 11079016448 22000 33554432000 4194304 4196468 140734432110704 140026406521712 140026879961730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4102] ppid=3976 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4102/stat : 4102 (java) S 3976 3980 2275 0 -1 1077944384 13 13017 0 0 0 0 5 3 20 0 15 0 77042489 11079016448 22000 33554432000 4194304 4196468 140734432110704 140025865954848 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4104] ppid=3976 vsize=10819352 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4104/stat : 4104 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042489 11079016448 22000 33554432000 4194304 4196468 140734432110704 140025664628080 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4106] ppid=3976 vsize=10819352 memory=1008 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4106/stat : 4106 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042491 11079016448 22000 33554432000 4194304 4196468 140734432110704 140025424337232 140026879969179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4108] ppid=3976 vsize=10819352 memory=12040 CPUtime=0.15 cores=1,3,5,7
/proc/3980/task/4108/stat : 4108 (java) S 3976 3980 2275 0 -1 1077944384 907 13017 0 0 7 0 5 3 20 0 15 0 77042491 11079016448 22000 33554432000 4194304 4196468 140734432110704 140026405468528 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4110] ppid=3976 vsize=10819352 memory=1696 CPUtime=0.17 cores=1,3,5,7
/proc/3980/task/4110/stat : 4110 (java) S 3976 3980 2275 0 -1 1077944384 633 13017 0 0 9 0 5 3 20 0 15 0 77042491 11079016448 22000 33554432000 4194304 4196468 140734432110704 140026404415728 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4112] ppid=3976 vsize=10819352 memory=8532 CPUtime=0.21 cores=1,3,5,7
/proc/3980/task/4112/stat : 4112 (java) S 3976 3980 2275 0 -1 1077944384 651 13017 0 0 13 0 5 3 20 0 15 0 77042491 11079016448 22000 33554432000 4194304 4196468 140734432110704 140025946695792 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4114] ppid=3976 vsize=10819352 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4114/stat : 4114 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042492 11079016448 22000 33554432000 4194304 4196468 140734432110704 140025390778592 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4116] ppid=3976 vsize=10819352 memory=15868 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4116/stat : 4116 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042492 11079016448 22000 33554432000 4194304 4196468 140734432110704 140025945644208 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88000 KiB
[startup+1.50073 s]
/proc/loadavg: 0.93 1.19 1.39 7/218 4116
/proc/meminfo: memFree=22856720/32770624 swapFree=67108860/67108860
[pid=3980] ppid=3976 vsize=10834252 memory=177008 CPUtime=2.24 cores=1,3,5,7
/proc/3980/stat : 3980 (java) S 3976 3980 2275 0 -1 1077944320 23840 13017 1 0 206 10 5 3 20 0 15 0 77042473 11094274048 44252 33554432000 4194304 4196468 140734432110704 140734432093248 140026879950583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
/proc/3980/statm: 2708563 44252 3469 1 0 2670221 0
[pid=3980/tid=4090] ppid=3976 vsize=10834252 memory=7014751519667409507 CPUtime=1.39 cores=1,3,5,7
/proc/3980/task/4090/stat : 4090 (java) R 3976 3980 2275 0 -1 4202560 17827 13017 0 0 126 5 5 3 20 0 15 0 77042486 11094274048 44252 33554432000 4194304 4196468 140734432110704 140026851782000 140026864031070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4091] ppid=3976 vsize=10834252 memory=6010433504258385253 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4091/stat : 4091 (java) S 3976 3980 2275 0 -1 1077944384 55 13017 0 0 0 0 5 3 20 0 15 0 77042487 11094274048 44252 33554432000 4194304 4196468 140734432110704 140026884192912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4092] ppid=3976 vsize=10834252 memory=7451594133764264038 CPUtime=0.09 cores=1,3,5,7
################
# More data... #
################
/proc/3980/task/4104/stat : 4104 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042489 11094274048 44252 33554432000 4194304 4196468 140734432110704 140025664628096 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4106] ppid=3976 vsize=10834252 memory=7011348500760778072 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4106/stat : 4106 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042491 11094274048 44252 33554432000 4194304 4196468 140734432110704 140025424337232 140026879969179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4108] ppid=3976 vsize=10834252 memory=7810478083305464659 CPUtime=0.26 cores=1,3,5,7
/proc/3980/task/4108/stat : 4108 (java) S 3976 3980 2275 0 -1 1077944384 1144 13017 0 0 18 0 5 3 20 0 15 0 77042491 11094274048 44252 33554432000 4194304 4196468 140734432110704 140026405468528 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4110] ppid=3976 vsize=10834252 memory=3828 CPUtime=0.3 cores=1,3,5,7
/proc/3980/task/4110/stat : 4110 (java) S 3976 3980 2275 0 -1 1077944384 1082 13017 0 0 22 0 5 3 20 0 15 0 77042491 11094274048 44252 33554432000 4194304 4196468 140734432110704 140026404415728 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4112] ppid=3976 vsize=10834252 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/3980/task/4112/stat : 4112 (java) S 3976 3980 2275 0 -1 1077944384 1211 13017 0 0 31 0 5 3 20 0 15 0 77042491 11094274048 44252 33554432000 4194304 4196468 140734432110704 140025946695792 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4114] ppid=3976 vsize=10834252 memory=140445564924336 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4114/stat : 4114 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042492 11094274048 44252 33554432000 4194304 4196468 140734432110704 140025390778592 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4116] ppid=3976 vsize=10834252 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4116/stat : 4116 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042492 11094274048 44252 33554432000 4194304 4196468 140734432110704 140025945644208 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 177008 KiB
[startup+3.11598 s]
/proc/loadavg: 0.93 1.19 1.39 10/218 4116
/proc/meminfo: memFree=22570140/32770624 swapFree=67108860/67108860
[pid=3980] ppid=3976 vsize=10844512 memory=263892 CPUtime=6.01 cores=1,3,5,7
/proc/3980/stat : 3980 (java) S 3976 3980 2275 0 -1 1077944320 40394 13017 1 0 577 16 5 3 20 0 15 0 77042473 11104780288 65973 33554432000 4194304 4196468 140734432110704 140734432093248 140026879950583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
/proc/3980/statm: 2711128 65973 3493 1 0 2672781 0
[pid=3980/tid=4090] ppid=3976 vsize=10844512 memory=0 CPUtime=2.96 cores=1,3,5,7
/proc/3980/task/4090/stat : 4090 (java) R 3976 3980 2275 0 -1 4202560 27731 13017 0 0 280 8 5 3 20 0 15 0 77042486 11104780288 65973 33554432000 4194304 4196468 140734432110704 140026851780544 140026482446404 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4091] ppid=3976 vsize=10844512 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/3980/task/4091/stat : 4091 (java) S 3976 3980 2275 0 -1 1077944384 64 13017 0 0 3 0 5 3 20 0 15 0 77042487 11104780288 65973 33554432000 4194304 4196468 140734432110704 140026884192912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4092] ppid=3976 vsize=10844512 memory=187068 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4092/stat : 4092 (java) S 3976 3980 2275 0 -1 1077944384 48 13017 0 0 2 0 5 3 20 0 15 0 77042487 11104780288 65973 33554432000 4194304 4196468 140734432110704 140026807351824 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4093] ppid=3976 vsize=10844512 memory=181740 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4093/stat : 4093 (java) S 3976 3980 2275 0 -1 1077944384 42 13017 0 0 2 0 5 3 20 0 15 0 77042487 11104780288 65973 33554432000 4194304 4196468 140734432110704 140026451827088 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4094] ppid=3976 vsize=10844512 memory=11156058939 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4094/stat : 4094 (java) S 3976 3980 2275 0 -1 1077944384 220 13017 0 0 2 0 5 3 20 0 15 0 77042487 11104780288 65973 33554432000 4194304 4196468 140734432110704 140026450774288 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4100] ppid=3976 vsize=10844512 memory=280891129829808 CPUtime=0.11 cores=1,3,5,7
/proc/3980/task/4100/stat : 4100 (java) S 3976 3980 2275 0 -1 1077944384 1249 13017 0 0 3 0 5 3 20 0 15 0 77042488 11104780288 65973 33554432000 4194304 4196468 140734432110704 140026406521712 140026879961730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4102] ppid=3976 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4102/stat : 4102 (java) S 3976 3980 2275 0 -1 1077944384 14 13017 0 0 0 0 5 3 20 0 15 0 77042489 11104780288 65973 33554432000 4194304 4196468 140734432110704 140025865954912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4104] ppid=3976 vsize=10844512 memory=280891129874536 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4104/stat : 4104 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042489 11104780288 65973 33554432000 4194304 4196468 140734432110704 140025664628096 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4106] ppid=3976 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4106/stat : 4106 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042491 11104780288 65973 33554432000 4194304 4196468 140734432110704 140025424337232 140026879969179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4108] ppid=3976 vsize=10844512 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/3980/task/4108/stat : 4108 (java) R 3976 3980 2275 0 -1 4202560 1919 13017 0 0 76 0 5 3 20 0 15 0 77042491 11104780288 65973 33554432000 4194304 4196468 140734432110704 140026405448592 140026865058290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4110] ppid=3976 vsize=10844512 memory=0 CPUtime=1.09 cores=1,3,5,7
/proc/3980/task/4110/stat : 4110 (java) S 3976 3980 2275 0 -1 1077944384 3785 13017 0 0 100 1 5 3 20 0 15 0 77042491 11104780288 65973 33554432000 4194304 4196468 140734432110704 140026404415728 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4112] ppid=3976 vsize=10844512 memory=662363397872623672 CPUtime=1.12 cores=1,3,5,7
/proc/3980/task/4112/stat : 4112 (java) R 3976 3980 2275 0 -1 1077944384 3121 13017 0 0 102 2 5 3 20 0 15 0 77042491 11104780288 65973 33554432000 4194304 4196468 140734432110704 140025946689744 140026879960789 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4114] ppid=3976 vsize=10844512 memory=92088 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4114/stat : 4114 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042492 11104780288 65973 33554432000 4194304 4196468 140734432110704 140025390778592 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4116] ppid=3976 vsize=10844512 memory=14192 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4116/stat : 4116 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042492 11104780288 65973 33554432000 4194304 4196468 140734432110704 140025945644208 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 263892 KiB
[startup+4.78536 s]
# the end of solver process 3980 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.1312 s, system=0.254168 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20841 s]
/proc/loadavg: 0.93 1.19 1.39 10/218 4116
/proc/meminfo: memFree=22570140/32770624 swapFree=67108860/67108860
[pid=3980] ppid=3976 vsize=10846560 memory=265368 CPUtime=6.28 cores=1,3,5,7
/proc/3980/stat : 3980 (java) S 3976 3980 2275 0 -1 1077944320 40767 13017 1 0 604 16 5 3 20 0 15 0 77042473 11106877440 66342 33554432000 4194304 4196468 140734432110704 140734432093248 140026879950583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
/proc/3980/statm: 2711640 66342 3494 1 0 2673293 0
[pid=3980/tid=4090] ppid=3976 vsize=10846560 memory=1792 CPUtime=3.05 cores=1,3,5,7
/proc/3980/task/4090/stat : 4090 (java) R 3976 3980 2275 0 -1 4202560 27831 13017 0 0 289 8 5 3 20 0 15 0 77042486 11106877440 66342 33554432000 4194304 4196468 140734432110704 140026851783440 140026482452747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4091] ppid=3976 vsize=10846560 memory=1232 CPUtime=0.11 cores=1,3,5,7
/proc/3980/task/4091/stat : 4091 (java) S 3976 3980 2275 0 -1 1077944384 64 13017 0 0 3 0 5 3 20 0 15 0 77042487 11106877440 66342 33554432000 4194304 4196468 140734432110704 140026884192912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4092] ppid=3976 vsize=10846560 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4092/stat : 4092 (java) S 3976 3980 2275 0 -1 1077944384 48 13017 0 0 2 0 5 3 20 0 15 0 77042487 11106877440 66342 33554432000 4194304 4196468 140734432110704 140026807351824 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4093] ppid=3976 vsize=10846560 memory=240444 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4093/stat : 4093 (java) S 3976 3980 2275 0 -1 1077944384 42 13017 0 0 2 0 5 3 20 0 15 0 77042487 11106877440 66342 33554432000 4194304 4196468 140734432110704 140026451827088 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4094] ppid=3976 vsize=10846560 memory=4126316290023845779 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4094/stat : 4094 (java) S 3976 3980 2275 0 -1 1077944384 220 13017 0 0 2 0 5 3 20 0 15 0 77042487 11106877440 66342 33554432000 4194304 4196468 140734432110704 140026450774288 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4100] ppid=3976 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/3980/task/4100/stat : 4100 (java) S 3976 3980 2275 0 -1 1077944384 1249 13017 0 0 3 0 5 3 20 0 15 0 77042488 11106877440 66342 33554432000 4194304 4196468 140734432110704 140026406521712 140026879961730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4102] ppid=3976 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4102/stat : 4102 (java) S 3976 3980 2275 0 -1 1077944384 14 13017 0 0 0 0 5 3 20 0 15 0 77042489 11106877440 66342 33554432000 4194304 4196468 140734432110704 140025865954912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4104] ppid=3976 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4104/stat : 4104 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042489 11106877440 66342 33554432000 4194304 4196468 140734432110704 140025664628096 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4106] ppid=3976 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4106/stat : 4106 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042491 11106877440 66342 33554432000 4194304 4196468 140734432110704 140025424337232 140026879969179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4108] ppid=3976 vsize=10846560 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/3980/task/4108/stat : 4108 (java) R 3976 3980 2275 0 -1 4202560 2020 13017 0 0 82 0 5 3 20 0 15 0 77042491 11106877440 66342 33554432000 4194304 4196468 140734432110704 140026405461552 140026879962518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4110] ppid=3976 vsize=10846560 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/3980/task/4110/stat : 4110 (java) R 3976 3980 2275 0 -1 4202560 3817 13017 0 0 105 1 5 3 20 0 15 0 77042491 11106877440 66342 33554432000 4194304 4196468 140734432110704 140026404404464 140026864877136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4112] ppid=3976 vsize=10846560 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/3980/task/4112/stat : 4112 (java) R 3976 3980 2275 0 -1 1077944384 3261 13017 0 0 109 2 5 3 20 0 15 0 77042491 11106877440 66342 33554432000 4194304 4196468 140734432110704 140025946695920 140026879960789 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4114] ppid=3976 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4114/stat : 4114 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042492 11106877440 66342 33554432000 4194304 4196468 140734432110704 140025390778592 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4116] ppid=3976 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4116/stat : 4116 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042492 11106877440 66342 33554432000 4194304 4196468 140734432110704 140025945644208 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 265368 KiB
[startup+4.00138 s]*
/proc/loadavg: 0.93 1.19 1.39 8/218 4116
/proc/meminfo: memFree=22419952/32770624 swapFree=67108860/67108860
[pid=3980] ppid=3976 vsize=10918904 memory=315328 CPUtime=8.45 cores=1,3,5,7
/proc/3980/stat : 3980 (java) S 3976 3980 2275 0 -1 1077944320 71256 13017 1 0 818 19 5 3 20 0 15 0 77042473 11180957696 78832 33554432000 4194304 4196468 140734432110704 140734432093248 140026879950583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
/proc/3980/statm: 2729726 78832 3497 1 0 2691379 0
[pid=3980/tid=4090] ppid=3976 vsize=10918904 memory=8112282956445269571 CPUtime=3.85 cores=1,3,5,7
/proc/3980/task/4090/stat : 4090 (java) R 3976 3980 2275 0 -1 4202560 49369 13017 0 0 367 10 5 3 20 0 15 0 77042486 11180957696 78832 33554432000 4194304 4196468 140734432110704 140026851778496 140026494165307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4091] ppid=3976 vsize=10918904 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/3980/task/4091/stat : 4091 (java) S 3976 3980 2275 0 -1 1077944384 64 13017 0 0 3 0 5 3 20 0 15 0 77042487 11180957696 78832 33554432000 4194304 4196468 140734432110704 140026884192912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4092] ppid=3976 vsize=10918904 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4092/stat : 4092 (java) S 3976 3980 2275 0 -1 1077944384 48 13017 0 0 2 0 5 3 20 0 15 0 77042487 11180957696 78832 33554432000 4194304 4196468 140734432110704 140026807351824 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4093] ppid=3976 vsize=10918904 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4093/stat : 4093 (java) S 3976 3980 2275 0 -1 1077944384 42 13017 0 0 2 0 5 3 20 0 15 0 77042487 11180957696 78832 33554432000 4194304 4196468 140734432110704 140026451827088 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4094] ppid=3976 vsize=10918904 memory=3474281037552890415 CPUtime=0.1 cores=1,3,5,7
/proc/3980/task/4094/stat : 4094 (java) S 3976 3980 2275 0 -1 1077944384 220 13017 0 0 2 0 5 3 20 0 15 0 77042487 11180957696 78832 33554432000 4194304 4196468 140734432110704 140026450774288 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4100] ppid=3976 vsize=10918904 memory=3904960854615930674 CPUtime=0.11 cores=1,3,5,7
/proc/3980/task/4100/stat : 4100 (java) S 3976 3980 2275 0 -1 1077944384 1323 13017 0 0 3 0 5 3 20 0 15 0 77042488 11180957696 78832 33554432000 4194304 4196468 140734432110704 140026406521712 140026879961730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4102] ppid=3976 vsize=10918904 memory=7451579857426993518 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4102/stat : 4102 (java) S 3976 3980 2275 0 -1 1077944384 14 13017 0 0 0 0 5 3 20 0 15 0 77042489 11180957696 78832 33554432000 4194304 4196468 140734432110704 140025865954912 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4104] ppid=3976 vsize=10918904 memory=7453282923529071188 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4104/stat : 4104 (java) S 3976 3980 2275 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 77042489 11180957696 78832 33554432000 4194304 4196468 140734432110704 140025664628096 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4106] ppid=3976 vsize=10918904 memory=7595725831727968097 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4106/stat : 4106 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042491 11180957696 78832 33554432000 4194304 4196468 140734432110704 140025424337232 140026879969179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4108] ppid=3976 vsize=10918904 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/3980/task/4108/stat : 4108 (java) R 3976 3980 2275 0 -1 4202560 3109 13017 0 0 115 1 5 3 20 0 15 0 77042491 11180957696 78832 33554432000 4194304 4196468 140734432110704 140026405455072 140026864869622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4110] ppid=3976 vsize=10918904 memory=2320815291802924344 CPUtime=1.87 cores=1,3,5,7
/proc/3980/task/4110/stat : 4110 (java) R 3976 3980 2275 0 -1 4202560 10166 13017 0 0 178 1 5 3 20 0 15 0 77042491 11180957696 78832 33554432000 4194304 4196468 140734432110704 140026404401520 140026859196810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4112] ppid=3976 vsize=10918904 memory=2319529644878911152 CPUtime=1.51 cores=1,3,5,7
/proc/3980/task/4112/stat : 4112 (java) R 3976 3980 2275 0 -1 1077944384 4694 13017 0 0 141 2 5 3 20 0 15 0 77042491 11180957696 78832 33554432000 4194304 4196468 140734432110704 140025946695792 140026879961730 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4114] ppid=3976 vsize=10918904 memory=3545798801362465590 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4114/stat : 4114 (java) S 3976 3980 2275 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 77042492 11180957696 78832 33554432000 4194304 4196468 140734432110704 140025390778592 140026879960789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
[pid=3980/tid=4116] ppid=3976 vsize=10918904 memory=3467966173103908512 CPUtime=0.08 cores=1,3,5,7
/proc/3980/task/4116/stat : 4116 (java) S 3976 3980 2275 0 -1 1077944384 9 13017 0 0 0 0 5 3 20 0 15 0 77042492 11180957696 78832 33554432000 4194304 4196468 140734432110704 140025945644208 140026879961730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7680000 140734432114859 140734432118108 140734432118108 140734432120783 0
Current children cumulated CPU time: 8.45 s
Current children cumulated vsize: 10918904 KiB
Current children cumulated memory: 315328 KiB
[startup+4.40065 s]*
/proc/loadavg: 1.17 1.24 1.40 5/205 4117
/proc/meminfo: memFree=22701544/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+4.60012 s]
/proc/loadavg: 1.17 1.24 1.40 5/205 4117
/proc/meminfo: memFree=22701544/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+4.70015 s]
/proc/loadavg: 1.17 1.24 1.40 5/205 4117
/proc/meminfo: memFree=22701544/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.78549
CPU time (s): 9.38536
CPU user time (s): 9.1312
CPU system time (s): 0.254168
CPU usage (%): 196.121
Max. virtual memory (cumulated for all children) (KiB): 10981728
Max. memory (cumulated for all children) (KiB): 328756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.1312
system time used= 0.254168
maximum resident set size= 330708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85131
page faults= 1
swaps= 0
block input operations= 24
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6796
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 3980
# total CPU time (s): 9.38536
# total CPU user time (s): 9.1312
# total CPU system time (s): 0.254168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039943 second user time and 0.096011 second system time
The end