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 (3069 MiB free)
memory of node 1: 16384 MiB (2930 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402512-1568984102/watcher-4402512-1568984102 -o /tmp/evaluation-result-4402512-1568984102/solver-4402512-1568984102 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568967594-23612 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=77309395 HOME/instance-4402512-1568984102.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=28813, runsolver pid=28810
[startup+0.10009 s]*
/proc/loadavg: 1.22 1.32 1.39 3/218 28870
/proc/meminfo: memFree=6137300/32770624 swapFree=66935420/67108860
[pid=28813] ppid=28810 vsize=9972712 memory=18852 CPUtime=0.09 cores=1,3,5,7
/proc/28813/stat : 28813 (java) S 28810 28813 23580 0 -1 1077944320 4428 13328 0 0 1 0 5 3 20 0 6 0 474348021 10212057088 4713 33554432000 4194304 4196468 140725303664528 140725303647072 140324264320759 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
/proc/28813/statm: 2493178 4713 1935 1 0 2481616 0
[pid=28813/tid=28866] ppid=28810 vsize=9972712 memory=-8439527450518781933 CPUtime=0.09 cores=1,3,5,7
/proc/28813/task/28866/stat : 28866 (java) R 28810 28813 23580 0 -1 4202560 2229 13328 0 0 1 0 5 3 20 0 6 0 474348031 10212057088 4713 33554432000 4194304 4196468 140725303664528 140324236157520 140324248401246 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28867] ppid=28810 vsize=9972712 memory=4211973402638982538 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28867/stat : 28867 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 6 0 474348031 10212057088 4713 33554432000 4194304 4196468 140725303664528 140324268562960 140324264330965 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28868] ppid=28810 vsize=9972712 memory=139676434192000 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28868/stat : 28868 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 6 0 474348031 10212057088 4713 33554432000 4194304 4196468 140725303664528 140324167453328 140324264330965 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28869] ppid=28810 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28869/stat : 28869 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 6 0 474348031 10212057088 4713 33554432000 4194304 4196468 140725303664528 140324166400272 140324264330965 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28870] ppid=28810 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28870/stat : 28870 (java) S 28810 28813 23580 0 -1 1077944384 2 13328 0 0 0 0 5 3 20 0 6 0 474348031 10212057088 4713 33554432000 4194304 4196468 140725303664528 140323835472272 140324264330965 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18852 KiB
[startup+0.210174 s]*
/proc/loadavg: 1.22 1.32 1.39 3/227 28879
/proc/meminfo: memFree=6116176/32770624 swapFree=66935420/67108860
[pid=28813] ppid=28810 vsize=10819716 memory=43428 CPUtime=0.27 cores=1,3,5,7
/proc/28813/stat : 28813 (java) S 28810 28813 23580 0 -1 1077944320 7193 13328 0 0 18 1 5 3 20 0 15 0 474348021 11079389184 10857 33554432000 4194304 4196468 140725303664528 140725303647072 140324264320759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
/proc/28813/statm: 2704929 10857 3182 1 0 2667149 0
[pid=28813/tid=28866] ppid=28810 vsize=10819716 memory=7900017517374083699 CPUtime=0.18 cores=1,3,5,7
/proc/28813/task/28866/stat : 28866 (java) R 28810 28813 23580 0 -1 4202560 3701 13328 0 0 10 0 5 3 20 0 15 0 474348031 11079389184 10921 33554432000 4194304 4196468 140725303664528 140324236127112 140324245714493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28867] ppid=28810 vsize=10819716 memory=4211973402638982538 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28867/stat : 28867 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348031 11079389184 10921 33554432000 4194304 4196468 140725303664528 140324268562960 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28868] ppid=28810 vsize=10819716 memory=139676434192000 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28868/stat : 28868 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348031 11079389184 10921 33554432000 4194304 4196468 140725303664528 140324167453328 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28869] ppid=28810 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28869/stat : 28869 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348031 11079389184 10921 33554432000 4194304 4196468 140725303664528 140324166400272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28870] ppid=28810 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28870/stat : 28870 (java) S 28810 28813 23580 0 -1 1077944384 2 13328 0 0 0 0 5 3 20 0 15 0 474348031 11079389184 10921 33554432000 4194304 4196468 140725303664528 140323835472272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28871] ppid=28810 vsize=10819716 memory=139676434192000 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28871/stat : 28871 (java) S 28810 28813 23580 0 -1 1077944384 2 13328 0 0 0 0 5 3 20 0 15 0 474348033 11079389184 10921 33554432000 4194304 4196468 140725303664528 140323723664112 140324264331906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28872] ppid=28810 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28872/stat : 28872 (java) S 28810 28813 23580 0 -1 1077944384 13 13328 0 0 0 0 5 3 20 0 15 0 474348033 11079389184 10921 33554432000 4194304 4196468 140725303664528 140323158222496 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28873] ppid=28810 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28873/stat : 28873 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348034 11079389184 10921 33554432000 4194304 4196468 140725303664528 140323024004336 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28874] ppid=28810 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28874/stat : 28874 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11079389184 10921 33554432000 4194304 4196468 140725303664528 140322783713744 140324264339355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28875] ppid=28810 vsize=10819716 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28813/task/28875/stat : 28875 (java) S 28810 28813 23580 0 -1 1077944384 458 13328 0 0 1 0 5 3 20 0 15 0 474348036 11079389184 10921 33554432000 4194304 4196468 140725303664528 140323722610928 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28876] ppid=28810 vsize=10819716 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/28813/task/28876/stat : 28876 (java) S 28810 28813 23580 0 -1 1077944384 203 13328 0 0 1 0 5 3 20 0 15 0 474348036 11079389184 10921 33554432000 4194304 4196468 140725303664528 140323721558384 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28877] ppid=28810 vsize=10819716 memory=139676434192000 CPUtime=0.11 cores=1,3,5,7
/proc/28813/task/28877/stat : 28877 (java) S 28810 28813 23580 0 -1 1077944384 613 13328 0 0 3 0 5 3 20 0 15 0 474348036 11079389184 10921 33554432000 4194304 4196468 140725303664528 140323720505328 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28878] ppid=28810 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28878/stat : 28878 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11079389184 10921 33554432000 4194304 4196468 140725303664528 140322750155104 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28879] ppid=28810 vsize=10819716 memory=139676434192000 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28879/stat : 28879 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348037 11079389184 10921 33554432000 4194304 4196468 140725303664528 140323719453744 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 43428 KiB
[startup+0.310405 s]*
/proc/loadavg: 1.22 1.32 1.39 3/227 28879
/proc/meminfo: memFree=6103764/32770624 swapFree=66935420/67108860
[pid=28813] ppid=28810 vsize=10820196 memory=52508 CPUtime=0.41 cores=1,3,5,7
/proc/28813/stat : 28813 (java) S 28810 28813 23580 0 -1 1077944320 10846 13328 0 0 30 3 5 3 20 0 15 0 474348021 11079880704 13127 33554432000 4194304 4196468 140725303664528 140725303647072 140324264320759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
/proc/28813/statm: 2705049 13127 3312 1 0 2667149 0
[pid=28813/tid=28866] ppid=28810 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/28813/task/28866/stat : 28866 (java) R 28810 28813 23580 0 -1 4202560 7324 13328 0 0 19 2 5 3 20 0 15 0 474348031 11079880704 13127 33554432000 4194304 4196468 140725303664528 140324236132304 140324248401246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28867] ppid=28810 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28867/stat : 28867 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348031 11079880704 13127 33554432000 4194304 4196468 140725303664528 140324268562960 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28868] ppid=28810 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28868/stat : 28868 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348031 11079880704 13127 33554432000 4194304 4196468 140725303664528 140324167453328 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28869] ppid=28810 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28869/stat : 28869 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348031 11079880704 13127 33554432000 4194304 4196468 140725303664528 140324166400272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28870] ppid=28810 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28870/stat : 28870 (java) S 28810 28813 23580 0 -1 1077944384 2 13328 0 0 0 0 5 3 20 0 15 0 474348031 11079880704 13127 33554432000 4194304 4196468 140725303664528 140323835472272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28871] ppid=28810 vsize=10820196 memory=139676434191999 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28871/stat : 28871 (java) S 28810 28813 23580 0 -1 1077944384 2 13328 0 0 0 0 5 3 20 0 15 0 474348033 11079880704 13127 33554432000 4194304 4196468 140725303664528 140323723664112 140324264331906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28872] ppid=28810 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28872/stat : 28872 (java) S 28810 28813 23580 0 -1 1077944384 13 13328 0 0 0 0 5 3 20 0 15 0 474348033 11079880704 13127 33554432000 4194304 4196468 140725303664528 140323158222496 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28873] ppid=28810 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28873/stat : 28873 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348034 11079880704 13127 33554432000 4194304 4196468 140725303664528 140323024004336 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28874] ppid=28810 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28874/stat : 28874 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11079880704 13127 33554432000 4194304 4196468 140725303664528 140322783713744 140324264339355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28875] ppid=28810 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28813/task/28875/stat : 28875 (java) S 28810 28813 23580 0 -1 1077944384 459 13328 0 0 2 0 5 3 20 0 15 0 474348036 11079880704 13127 33554432000 4194304 4196468 140725303664528 140323722610928 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28876] ppid=28810 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/28813/task/28876/stat : 28876 (java) S 28810 28813 23580 0 -1 1077944384 212 13328 0 0 2 0 5 3 20 0 15 0 474348036 11079880704 13127 33554432000 4194304 4196468 140725303664528 140323721558384 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28877] ppid=28810 vsize=10820196 memory=139676434192000 CPUtime=0.13 cores=1,3,5,7
/proc/28813/task/28877/stat : 28877 (java) S 28810 28813 23580 0 -1 1077944384 621 13328 0 0 5 0 5 3 20 0 15 0 474348036 11079880704 13127 33554432000 4194304 4196468 140725303664528 140323720505328 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28878] ppid=28810 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28878/stat : 28878 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11079880704 13127 33554432000 4194304 4196468 140725303664528 140322750155104 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28879] ppid=28810 vsize=10820196 memory=139676434192000 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28879/stat : 28879 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348037 11079880704 13127 33554432000 4194304 4196468 140725303664528 140323719453744 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52508 KiB
[startup+0.701131 s]
/proc/loadavg: 1.22 1.32 1.39 3/227 28879
/proc/meminfo: memFree=6070572/32770624 swapFree=66935420/67108860
[pid=28813] ppid=28810 vsize=10824364 memory=85524 CPUtime=1.15 cores=1,3,5,7
/proc/28813/stat : 28813 (java) S 28810 28813 23580 0 -1 1077944320 15069 13328 0 0 102 5 5 3 20 0 15 0 474348021 11084148736 21381 33554432000 4194304 4196468 140725303664528 140725303647072 140324264320759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
/proc/28813/statm: 2706091 21381 3512 1 0 2668173 0
[pid=28813/tid=28866] ppid=28810 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/28813/task/28866/stat : 28866 (java) R 28810 28813 23580 0 -1 4202560 10391 13328 0 0 55 3 5 3 20 0 15 0 474348031 11084148736 21381 33554432000 4194304 4196468 140725303664528 140324236137888 140324243859239 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28867] ppid=28810 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28867/stat : 28867 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348031 11084148736 21381 33554432000 4194304 4196468 140725303664528 140324268562960 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28868] ppid=28810 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28868/stat : 28868 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348031 11084148736 21381 33554432000 4194304 4196468 140725303664528 140324167453328 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28869] ppid=28810 vsize=10824364 memory=5939243398939961408 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28869/stat : 28869 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348031 11084148736 21381 33554432000 4194304 4196468 140725303664528 140324166400272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28870] ppid=28810 vsize=10824364 memory=8320808402719879476 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28870/stat : 28870 (java) S 28810 28813 23580 0 -1 1077944384 2 13328 0 0 0 0 5 3 20 0 15 0 474348031 11084148736 21381 33554432000 4194304 4196468 140725303664528 140323835472272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28871] ppid=28810 vsize=10824364 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28871/stat : 28871 (java) S 28810 28813 23580 0 -1 1077944384 5 13328 0 0 0 0 5 3 20 0 15 0 474348033 11084148736 21381 33554432000 4194304 4196468 140725303664528 140323723664112 140324264331906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28872] ppid=28810 vsize=10824364 memory=61 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28872/stat : 28872 (java) S 28810 28813 23580 0 -1 1077944384 13 13328 0 0 0 0 5 3 20 0 15 0 474348033 11084148736 21381 33554432000 4194304 4196468 140725303664528 140323158222496 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28873] ppid=28810 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28873/stat : 28873 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348034 11084148736 21381 33554432000 4194304 4196468 140725303664528 140323024004336 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28874] ppid=28810 vsize=10824364 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28874/stat : 28874 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11084148736 21381 33554432000 4194304 4196468 140725303664528 140322783713744 140324264339355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28875] ppid=28810 vsize=10824364 memory=279352591810592 CPUtime=0.24 cores=1,3,5,7
/proc/28813/task/28875/stat : 28875 (java) R 28810 28813 23580 0 -1 4202560 942 13328 0 0 16 0 5 3 20 0 15 0 474348036 11084148736 21381 33554432000 4194304 4196468 140725303664528 140323722610928 140324247821259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28876] ppid=28810 vsize=10824364 memory=16132 CPUtime=0.19 cores=1,3,5,7
/proc/28813/task/28876/stat : 28876 (java) S 28810 28813 23580 0 -1 1077944384 685 13328 0 0 11 0 5 3 20 0 15 0 474348036 11084148736 21381 33554432000 4194304 4196468 140725303664528 140323721558384 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28877] ppid=28810 vsize=10824364 memory=4420 CPUtime=0.25 cores=1,3,5,7
/proc/28813/task/28877/stat : 28877 (java) S 28810 28813 23580 0 -1 1077944384 814 13328 0 0 17 0 5 3 20 0 15 0 474348036 11084148736 21381 33554432000 4194304 4196468 140725303664528 140323720505328 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28878] ppid=28810 vsize=10824364 memory=239 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28878/stat : 28878 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11084148736 21381 33554432000 4194304 4196468 140725303664528 140322750155104 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28879] ppid=28810 vsize=10824364 memory=8242257093008374069 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28879/stat : 28879 (java) S 28810 28813 23580 0 -1 1077944384 2 13328 0 0 0 0 5 3 20 0 15 0 474348037 11084148736 21381 33554432000 4194304 4196468 140725303664528 140323719453744 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85524 KiB
[startup+1.50077 s]
/proc/loadavg: 1.22 1.32 1.39 5/228 28881
/proc/meminfo: memFree=6028992/32770624 swapFree=66935420/67108860
[pid=28813] ppid=28810 vsize=10834680 memory=199004 CPUtime=3.22 cores=1,3,5,7
/proc/28813/stat : 28813 (java) S 28810 28813 23580 0 -1 1077944320 25585 13328 0 0 304 10 5 3 20 0 15 0 474348021 11094712320 49751 33554432000 4194304 4196468 140725303664528 140725303647072 140324264320759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
/proc/28813/statm: 2708670 49751 3588 1 0 2670733 0
[pid=28813/tid=28866] ppid=28810 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/28813/task/28866/stat : 28866 (java) R 28810 28813 23580 0 -1 4202560 15068 13328 0 0 130 5 5 3 20 0 15 0 474348031 11094712320 49751 33554432000 4194304 4196468 140725303664528 140324236150592 140324264342685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28867] ppid=28810 vsize=10834680 memory=116 CPUtime=0.09 cores=1,3,5,7
/proc/28813/task/28867/stat : 28867 (java) S 28810 28813 23580 0 -1 1077944384 40 13328 0 0 1 0 5 3 20 0 15 0 474348031 11094712320 49751 33554432000 4194304 4196468 140725303664528 140324268562960 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28868] ppid=28810 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28813/task/28868/stat : 28868 (java) S 28810 28813 23580 0 -1 1077944384 273 13328 0 0 1 0 5 3 20 0 15 0 474348031 11094712320 49751 33554432000 4194304 4196468 140725303664528 140324167453328 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28869] ppid=28810 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28813/task/28869/stat : 28869 (java) S 28810 28813 23580 0 -1 1077944384 29 13328 0 0 1 0 5 3 20 0 15 0 474348031 11094712320 49751 33554432000 4194304 4196468 140725303664528 140324166400272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28870] ppid=28810 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28813/task/28870/stat : 28870 (java) S 28810 28813 23580 0 -1 1077944384 88 13328 0 0 1 0 5 3 20 0 15 0 474348031 11094712320 49751 33554432000 4194304 4196468 140725303664528 140323835472272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28871] ppid=28810 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28813/task/28871/stat : 28871 (java) S 28810 28813 23580 0 -1 1077944384 99 13328 0 0 1 0 5 3 20 0 15 0 474348033 11094712320 49751 33554432000 4194304 4196468 140725303664528 140323723664112 140324264331906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28872] ppid=28810 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28872/stat : 28872 (java) S 28810 28813 23580 0 -1 1077944384 14 13328 0 0 0 0 5 3 20 0 15 0 474348033 11094712320 49751 33554432000 4194304 4196468 140725303664528 140323158222560 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28873] ppid=28810 vsize=10834680 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28873/stat : 28873 (java) S 28810 28813 23580 0 -1 1077944384 1 13328 0 0 0 0 5 3 20 0 15 0 474348034 11094712320 49751 33554432000 4194304 4196468 140725303664528 140323024004352 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28874] ppid=28810 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28874/stat : 28874 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11094712320 49751 33554432000 4194304 4196468 140725303664528 140322783713744 140324264339355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28875] ppid=28810 vsize=10834680 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/28813/task/28875/stat : 28875 (java) S 28810 28813 23580 0 -1 1077944384 2881 13328 0 0 63 1 5 3 20 0 15 0 474348036 11094712320 49751 33554432000 4194304 4196468 140725303664528 140323722610928 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28876] ppid=28810 vsize=10834680 memory=2276 CPUtime=0.69 cores=1,3,5,7
/proc/28813/task/28876/stat : 28876 (java) R 28810 28813 23580 0 -1 4202560 2952 13328 0 0 60 1 5 3 20 0 15 0 474348036 11094712320 49751 33554432000 4194304 4196468 140725303664528 140323721558384 140324248291752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28877] ppid=28810 vsize=10834680 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/28813/task/28877/stat : 28877 (java) S 28810 28813 23580 0 -1 1077944384 1927 13328 0 0 42 0 5 3 20 0 15 0 474348036 11094712320 49751 33554432000 4194304 4196468 140725303664528 140323720505328 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28878] ppid=28810 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28878/stat : 28878 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11094712320 49751 33554432000 4194304 4196468 140725303664528 140322750155104 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28879] ppid=28810 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28879/stat : 28879 (java) S 28810 28813 23580 0 -1 1077944384 2 13328 0 0 0 0 5 3 20 0 15 0 474348037 11094712320 49751 33554432000 4194304 4196468 140725303664528 140323719453744 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/28813/task/28873/stat : 28873 (java) S 28810 28813 23580 0 -1 1077944384 26 13328 0 0 0 0 5 3 20 0 15 0 474348034 11107315712 1893846 33554432000 4194304 4196468 140725303664528 140323024004352 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28874] ppid=28810 vsize=10846988 memory=7575384 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28874/stat : 28874 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11107315712 1893846 33554432000 4194304 4196468 140725303664528 140322783713744 140324264339355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28875] ppid=28810 vsize=10846988 memory=7575384 CPUtime=5.61 cores=1,3,5,7
/proc/28813/task/28875/stat : 28875 (java) S 28810 28813 23580 0 -1 1077944384 41584 13328 0 0 546 7 5 3 20 0 15 0 474348036 11107315712 1893846 33554432000 4194304 4196468 140725303664528 140323722610928 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28876] ppid=28810 vsize=10846988 memory=7575384 CPUtime=5.14 cores=1,3,5,7
/proc/28813/task/28876/stat : 28876 (java) S 28810 28813 23580 0 -1 1077944384 42228 13328 0 0 499 7 5 3 20 0 15 0 474348036 11107315712 1893846 33554432000 4194304 4196468 140725303664528 140323721558384 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28877] ppid=28810 vsize=10846988 memory=11620 CPUtime=2.1 cores=1,3,5,7
/proc/28813/task/28877/stat : 28877 (java) S 28810 28813 23580 0 -1 1077944384 32234 13328 0 0 196 6 5 3 20 0 15 0 474348036 11107315712 1893846 33554432000 4194304 4196468 140725303664528 140323720505328 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28878] ppid=28810 vsize=10846988 memory=7575384 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28878/stat : 28878 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11107315712 1893846 33554432000 4194304 4196468 140725303664528 140322750155104 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28879] ppid=28810 vsize=10846988 memory=7575384 CPUtime=1.37 cores=1,3,5,7
/proc/28813/task/28879/stat : 28879 (java) S 28810 28813 23580 0 -1 1077944384 2236 13328 0 0 54 75 5 3 20 0 15 0 474348037 11107315712 1893846 33554432000 4194304 4196468 140725303664528 140323719453744 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
Current children cumulated CPU time: 2344.86 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 7575384 KiB
[startup+2202.3 s]
/proc/loadavg: 1.50 1.59 1.56 3/227 29237
/proc/meminfo: memFree=1780420/32770624 swapFree=66935428/67108860
[pid=28813] ppid=28810 vsize=10846988 memory=7575388 CPUtime=2407.18 cores=1,3,5,7
/proc/28813/stat : 28813 (java) S 28810 28813 23580 0 -1 1077944320 8315060 13328 0 0 239068 1642 5 3 20 0 15 0 474348021 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140725303647072 140324264320759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
/proc/28813/statm: 2711747 1893847 3636 1 0 2673805 0
[pid=28813/tid=28866] ppid=28810 vsize=10846988 memory=7575388 CPUtime=2129.91 cores=1,3,5,7
/proc/28813/task/28866/stat : 28866 (java) R 28810 28813 23580 0 -1 4202560 1236395 13328 0 0 212817 166 5 3 20 0 15 0 474348031 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140324236155888 140323859809921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28867] ppid=28810 vsize=10846988 memory=7575388 CPUtime=63.7 cores=1,3,5,7
/proc/28813/task/28867/stat : 28867 (java) S 28810 28813 23580 0 -1 1077944384 1580984 13328 0 0 6017 345 5 3 20 0 15 0 474348031 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140324268562960 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28868] ppid=28810 vsize=10846988 memory=7575388 CPUtime=63.94 cores=1,3,5,7
/proc/28813/task/28868/stat : 28868 (java) S 28810 28813 23580 0 -1 1077944384 1712968 13328 0 0 6048 338 5 3 20 0 15 0 474348031 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140324167453328 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28869] ppid=28810 vsize=10846988 memory=7575388 CPUtime=63.94 cores=1,3,5,7
/proc/28813/task/28869/stat : 28869 (java) S 28810 28813 23580 0 -1 1077944384 1788023 13328 0 0 6032 354 5 3 20 0 15 0 474348031 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140324166400272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28870] ppid=28810 vsize=10846988 memory=7575388 CPUtime=63.86 cores=1,3,5,7
/proc/28813/task/28870/stat : 28870 (java) S 28810 28813 23580 0 -1 1077944384 1778293 13328 0 0 6033 345 5 3 20 0 15 0 474348031 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140323835472272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28871] ppid=28810 vsize=10846988 memory=0 CPUtime=8.18 cores=1,3,5,7
/proc/28813/task/28871/stat : 28871 (java) S 28810 28813 23580 0 -1 1077944384 97796 13328 0 0 797 13 5 3 20 0 15 0 474348033 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140323723664112 140324264331906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28872] ppid=28810 vsize=10846988 memory=248008591597966 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28872/stat : 28872 (java) S 28810 28813 23580 0 -1 1077944384 30 13328 0 0 0 0 5 3 20 0 15 0 474348033 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140323158222624 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28873] ppid=28810 vsize=10846988 memory=7575388 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28873/stat : 28873 (java) S 28810 28813 23580 0 -1 1077944384 26 13328 0 0 0 0 5 3 20 0 15 0 474348034 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140323024004352 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28874] ppid=28810 vsize=10846988 memory=7575376 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28874/stat : 28874 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140322783713744 140324264339355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28875] ppid=28810 vsize=10846988 memory=7575376 CPUtime=5.61 cores=1,3,5,7
/proc/28813/task/28875/stat : 28875 (java) S 28810 28813 23580 0 -1 1077944384 41592 13328 0 0 546 7 5 3 20 0 15 0 474348036 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140323722610928 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28876] ppid=28810 vsize=10846988 memory=7575388 CPUtime=5.14 cores=1,3,5,7
/proc/28813/task/28876/stat : 28876 (java) S 28810 28813 23580 0 -1 1077944384 42231 13328 0 0 499 7 5 3 20 0 15 0 474348036 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140323721558384 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28877] ppid=28810 vsize=10846988 memory=7575388 CPUtime=2.1 cores=1,3,5,7
/proc/28813/task/28877/stat : 28877 (java) S 28810 28813 23580 0 -1 1077944384 32238 13328 0 0 196 6 5 3 20 0 15 0 474348036 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140323720505328 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28878] ppid=28810 vsize=10846988 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28878/stat : 28878 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140322750155104 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28879] ppid=28810 vsize=10846988 memory=2012 CPUtime=1.41 cores=1,3,5,7
/proc/28813/task/28879/stat : 28879 (java) S 28810 28813 23580 0 -1 1077944384 2273 13328 0 0 56 77 5 3 20 0 15 0 474348037 11107315712 1893847 33554432000 4194304 4196468 140725303664528 140323719453744 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
Current children cumulated CPU time: 2407.18 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 7575388 KiB
[startup+2262.3 s]
/proc/loadavg: 1.68 1.63 1.58 3/227 29243
/proc/meminfo: memFree=1827088/32770624 swapFree=66935428/67108860
[pid=28813] ppid=28810 vsize=10846988 memory=7575392 CPUtime=2469.49 cores=1,3,5,7
/proc/28813/stat : 28813 (java) S 28810 28813 23580 0 -1 1077944320 8455985 13328 0 0 245288 1653 5 3 20 0 15 0 474348021 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140725303647072 140324264320759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
/proc/28813/statm: 2711747 1893848 3636 1 0 2673805 0
[pid=28813/tid=28866] ppid=28810 vsize=10846988 memory=279352591778032 CPUtime=2189.15 cores=1,3,5,7
/proc/28813/task/28866/stat : 28866 (java) R 28810 28813 23580 0 -1 4202560 1264385 13328 0 0 218738 169 5 3 20 0 15 0 474348031 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140324236155888 140323852584768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28867] ppid=28810 vsize=10846988 memory=7575392 CPUtime=64.46 cores=1,3,5,7
/proc/28813/task/28867/stat : 28867 (java) S 28810 28813 23580 0 -1 1077944384 1607227 13328 0 0 6092 346 5 3 20 0 15 0 474348031 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140324268562960 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28868] ppid=28810 vsize=10846988 memory=7575392 CPUtime=64.7 cores=1,3,5,7
/proc/28813/task/28868/stat : 28868 (java) S 28810 28813 23580 0 -1 1077944384 1739442 13328 0 0 6122 340 5 3 20 0 15 0 474348031 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140324167453328 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28869] ppid=28810 vsize=10846988 memory=0 CPUtime=64.69 cores=1,3,5,7
/proc/28813/task/28869/stat : 28869 (java) S 28810 28813 23580 0 -1 1077944384 1820714 13328 0 0 6105 356 5 3 20 0 15 0 474348031 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140324166400272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28870] ppid=28810 vsize=10846988 memory=7575392 CPUtime=64.62 cores=1,3,5,7
/proc/28813/task/28870/stat : 28870 (java) S 28810 28813 23580 0 -1 1077944384 1805470 13328 0 0 6107 347 5 3 20 0 15 0 474348031 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140323835472272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28871] ppid=28810 vsize=10846988 memory=7575392 CPUtime=8.19 cores=1,3,5,7
/proc/28813/task/28871/stat : 28871 (java) S 28810 28813 23580 0 -1 1077944384 98100 13328 0 0 798 13 5 3 20 0 15 0 474348033 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140323723664112 140324264331906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28872] ppid=28810 vsize=10846988 memory=7575392 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28872/stat : 28872 (java) S 28810 28813 23580 0 -1 1077944384 30 13328 0 0 0 0 5 3 20 0 15 0 474348033 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140323158222624 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28873] ppid=28810 vsize=10846988 memory=7575392 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28873/stat : 28873 (java) S 28810 28813 23580 0 -1 1077944384 26 13328 0 0 0 0 5 3 20 0 15 0 474348034 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140323024004352 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28874] ppid=28810 vsize=10846988 memory=7575392 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28874/stat : 28874 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140322783713744 140324264339355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28875] ppid=28810 vsize=10846988 memory=7575392 CPUtime=5.61 cores=1,3,5,7
/proc/28813/task/28875/stat : 28875 (java) S 28810 28813 23580 0 -1 1077944384 41595 13328 0 0 546 7 5 3 20 0 15 0 474348036 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140323722610928 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28876] ppid=28810 vsize=10846988 memory=7575392 CPUtime=5.14 cores=1,3,5,7
/proc/28813/task/28876/stat : 28876 (java) S 28810 28813 23580 0 -1 1077944384 42233 13328 0 0 499 7 5 3 20 0 15 0 474348036 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140323721558384 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28877] ppid=28810 vsize=10846988 memory=3616 CPUtime=2.1 cores=1,3,5,7
/proc/28813/task/28877/stat : 28877 (java) S 28810 28813 23580 0 -1 1077944384 32242 13328 0 0 196 6 5 3 20 0 15 0 474348036 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140323720505328 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28878] ppid=28810 vsize=10846988 memory=41304 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28878/stat : 28878 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140322750155104 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28879] ppid=28810 vsize=10846988 memory=7575392 CPUtime=1.45 cores=1,3,5,7
/proc/28813/task/28879/stat : 28879 (java) S 28810 28813 23580 0 -1 1077944384 2310 13328 0 0 58 79 5 3 20 0 15 0 474348037 11107315712 1893848 33554432000 4194304 4196468 140725303664528 140323719453744 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
Current children cumulated CPU time: 2469.49 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 7575392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2310.9 s]
/proc/loadavg: 1.50 1.59 1.57 5/227 29246
/proc/meminfo: memFree=1874372/32770624 swapFree=66935428/67108860
[pid=28813] ppid=28810 vsize=10846988 memory=7575396 CPUtime=2520.08 cores=1,3,5,7
/proc/28813/stat : 28813 (java) S 28810 28813 23580 0 -1 1077944320 8518275 13328 0 0 250340 1660 5 3 20 0 15 0 474348021 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140725303647072 140324264320759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
/proc/28813/statm: 2711747 1893849 3636 1 0 2673805 0
[pid=28813/tid=28866] ppid=28810 vsize=10846988 memory=7575396 CPUtime=2237.08 cores=1,3,5,7
/proc/28813/task/28866/stat : 28866 (java) R 28810 28813 23580 0 -1 4202560 1302523 13328 0 0 223528 172 5 3 20 0 15 0 474348031 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140324236155888 140323859810742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28867] ppid=28810 vsize=10846988 memory=7575396 CPUtime=65.11 cores=1,3,5,7
/proc/28813/task/28867/stat : 28867 (java) S 28810 28813 23580 0 -1 1077944384 1614815 13328 0 0 6156 347 5 3 20 0 15 0 474348031 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140324268562960 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28868] ppid=28810 vsize=10846988 memory=139676296531233 CPUtime=65.36 cores=1,3,5,7
/proc/28813/task/28868/stat : 28868 (java) S 28810 28813 23580 0 -1 1077944384 1745392 13328 0 0 6188 340 5 3 20 0 15 0 474348031 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140324167453328 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28869] ppid=28810 vsize=10846988 memory=7575392 CPUtime=65.35 cores=1,3,5,7
/proc/28813/task/28869/stat : 28869 (java) S 28810 28813 23580 0 -1 1077944384 1827043 13328 0 0 6170 357 5 3 20 0 15 0 474348031 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140324166400272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28870] ppid=28810 vsize=10846988 memory=7575396 CPUtime=65.26 cores=1,3,5,7
/proc/28813/task/28870/stat : 28870 (java) S 28810 28813 23580 0 -1 1077944384 1809416 13328 0 0 6171 347 5 3 20 0 15 0 474348031 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140323835472272 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28871] ppid=28810 vsize=10846988 memory=7575396 CPUtime=8.2 cores=1,3,5,7
/proc/28813/task/28871/stat : 28871 (java) S 28810 28813 23580 0 -1 1077944384 98407 13328 0 0 799 13 5 3 20 0 15 0 474348033 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140323723664112 140324264331906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28872] ppid=28810 vsize=10846988 memory=7575396 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28872/stat : 28872 (java) S 28810 28813 23580 0 -1 1077944384 30 13328 0 0 0 0 5 3 20 0 15 0 474348033 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140323158222624 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28873] ppid=28810 vsize=10846988 memory=7575396 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28873/stat : 28873 (java) S 28810 28813 23580 0 -1 1077944384 26 13328 0 0 0 0 5 3 20 0 15 0 474348034 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140323024004352 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28874] ppid=28810 vsize=10846988 memory=7575396 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28874/stat : 28874 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140322783713744 140324264339355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28875] ppid=28810 vsize=10846988 memory=11620 CPUtime=5.61 cores=1,3,5,7
/proc/28813/task/28875/stat : 28875 (java) S 28810 28813 23580 0 -1 1077944384 41598 13328 0 0 546 7 5 3 20 0 15 0 474348036 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140323722610928 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28876] ppid=28810 vsize=10846988 memory=6791534058613427641 CPUtime=5.14 cores=1,3,5,7
/proc/28813/task/28876/stat : 28876 (java) S 28810 28813 23580 0 -1 1077944384 42235 13328 0 0 499 7 5 3 20 0 15 0 474348036 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140323721558384 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28877] ppid=28810 vsize=10846988 memory=860 CPUtime=2.1 cores=1,3,5,7
/proc/28813/task/28877/stat : 28877 (java) S 28810 28813 23580 0 -1 1077944384 32244 13328 0 0 196 6 5 3 20 0 15 0 474348036 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140323720505328 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28878] ppid=28810 vsize=10846988 memory=7575396 CPUtime=0.08 cores=1,3,5,7
/proc/28813/task/28878/stat : 28878 (java) S 28810 28813 23580 0 -1 1077944384 3 13328 0 0 0 0 5 3 20 0 15 0 474348036 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140322750155104 140324264330965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
[pid=28813/tid=28879] ppid=28810 vsize=10846988 memory=2116 CPUtime=1.48 cores=1,3,5,7
/proc/28813/task/28879/stat : 28879 (java) S 28810 28813 23580 0 -1 1077944384 2335 13328 0 0 59 81 5 3 20 0 15 0 474348037 11107315712 1893849 33554432000 4194304 4196468 140725303664528 140323719453744 140324264331906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140725303671537 140725303674053 140725303674053 140725303676879 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 7575396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2311.13 s]
# the end of solver process 28813 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2503.47 s, system=16.8507 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2311.01 s]*
/proc/loadavg: 1.50 1.59 1.57 3/214 29248
/proc/meminfo: memFree=5088300/32770624 swapFree=66935428/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2311.11 s]
/proc/loadavg: 1.50 1.59 1.57 3/214 29248
/proc/meminfo: memFree=5088300/32770624 swapFree=66935428/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2311.13
CPU time (s): 2520.32
CPU user time (s): 2503.47
CPU system time (s): 16.8507
CPU usage (%): 109.052
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 7575396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2503.47
system time used= 16.8507
maximum resident set size= 7579636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8535367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72266
involuntary context switches= 6930
# summary of solver processes directly reported to runsolver:
# pid: 28813
# total CPU time (s): 2520.32
# total CPU user time (s): 2503.47
# total CPU system time (s): 16.8507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9695 second user time and 21.9861 second system time
The end