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 (8136 MiB free)
memory of node 1: 16384 MiB (12901 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296195-1532613532/watcher-4296195-1532613532 -o /tmp/evaluation-result-4296195-1532613532/solver-4296195-1532613532 -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=1670423227 -superng HOME/instance-4296195-1532613532.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=7851, runsolver pid=7848
Current StackSize limit: 8192 KiB
[startup+0.100918 s]*
/proc/loadavg: 1.46 1.60 1.67 2/211 7908
/proc/meminfo: memFree=21534792/32770624 swapFree=67108860/67108860
[pid=7851] ppid=7848 vsize=9972712 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/7851/stat : 7851 (java) S 7848 7851 2275 0 -1 1077944320 4335 12998 0 0 1 1 4 3 20 0 6 0 78916414 10212057088 4203 33554432000 4194304 4196468 140729202419152 140729202401696 140371028848375 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
/proc/7851/statm: 2493178 4203 1934 1 0 2481616 0
[pid=7851/tid=7904] ppid=7848 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 2275 0 -1 4202560 2169 12998 0 0 0 0 4 3 20 0 6 0 78916423 10212057088 4203 33554432000 4194304 4196468 140729202419152 140371000685136 140371012928892 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7905] ppid=7848 vsize=9972712 memory=5793855564933302713 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 6 0 78916424 10212057088 4203 33554432000 4194304 4196468 140729202419152 140371033090832 140371028858581 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7906] ppid=7848 vsize=9972712 memory=140313923409536 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 6 0 78916424 10212057088 4203 33554432000 4194304 4196468 140729202419152 140370947910544 140371028858581 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7907] ppid=7848 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 6 0 78916424 10212057088 4203 33554432000 4194304 4196468 140729202419152 140370946858000 140371028858581 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7908] ppid=7848 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 6 0 78916424 10212057088 4203 33554432000 4194304 4196468 140729202419152 140370945805456 140371028858581 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210248 s]*
/proc/loadavg: 1.46 1.60 1.67 3/220 7917
/proc/meminfo: memFree=21513216/32770624 swapFree=67108860/67108860
[pid=7851] ppid=7848 vsize=10819896 memory=45116 CPUtime=0.25 cores=1,3,5,7
/proc/7851/stat : 7851 (java) S 7848 7851 2275 0 -1 1077944320 7971 12998 0 0 16 2 4 3 20 0 15 0 78916414 11079573504 11279 33554432000 4194304 4196468 140729202419152 140729202401696 140371028848375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
/proc/7851/statm: 2704974 11279 2972 1 0 2667397 0
[pid=7851/tid=7904] ppid=7848 vsize=10821524 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 2275 0 -1 4202560 4978 12998 0 0 10 1 4 3 20 0 15 0 78916423 11081240576 11609 33554432000 4194304 4196468 140729202419152 140371000673184 140371021528093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7905] ppid=7848 vsize=10821524 memory=4211974040128200074 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 78916424 11081240576 11675 33554432000 4194304 4196468 140729202419152 140371033090832 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7906] ppid=7848 vsize=10821524 memory=140313923409536 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916424 11081240576 11675 33554432000 4194304 4196468 140729202419152 140370947910544 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7907] ppid=7848 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916424 11081240576 11675 33554432000 4194304 4196468 140729202419152 140370946858000 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7908] ppid=7848 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 78916424 11081240576 11675 33554432000 4194304 4196468 140729202419152 140370945805456 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7909] ppid=7848 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 78916426 11081240576 11741 33554432000 4194304 4196468 140729202419152 140370555369456 140371028859522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7910] ppid=7848 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 2275 0 -1 1077944384 13 12998 0 0 0 0 4 3 20 0 15 0 78916426 11081240576 11741 33554432000 4194304 4196468 140729202419152 140370469970848 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7911] ppid=7848 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916427 11081240576 11741 33554432000 4194304 4196468 140729202419152 140369865991152 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7912] ppid=7848 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11081240576 11741 33554432000 4194304 4196468 140729202419152 140369558591696 140371028866971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7913] ppid=7848 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 2275 0 -1 1077944384 490 12998 0 0 1 0 4 3 20 0 15 0 78916429 11081240576 11741 33554432000 4194304 4196468 140729202419152 140370554317296 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7914] ppid=7848 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 2275 0 -1 1077944384 89 12998 0 0 1 0 4 3 20 0 15 0 78916429 11081240576 11807 33554432000 4194304 4196468 140729202419152 140370553264752 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7915] ppid=7848 vsize=10821524 memory=140313923409536 CPUtime=0.1 cores=1,3,5,7
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 2275 0 -1 1077944384 553 12998 0 0 3 0 4 3 20 0 15 0 78916429 11081240576 11807 33554432000 4194304 4196468 140729202419152 140370552212208 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7916] ppid=7848 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11081240576 11807 33554432000 4194304 4196468 140729202419152 140369525034080 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7917] ppid=7848 vsize=10821524 memory=140313923409536 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916430 11081240576 11807 33554432000 4194304 4196468 140729202419152 140370551159088 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 45116 KiB
[startup+0.310699 s]*
/proc/loadavg: 1.46 1.60 1.67 3/220 7917
/proc/meminfo: memFree=21501060/32770624 swapFree=67108860/67108860
[pid=7851] ppid=7848 vsize=10819352 memory=55516 CPUtime=0.38 cores=1,3,5,7
/proc/7851/stat : 7851 (java) S 7848 7851 2275 0 -1 1077944320 10418 12998 0 0 28 3 4 3 20 0 15 0 78916414 11079016448 13879 33554432000 4194304 4196468 140729202419152 140729202401696 140371028848375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
/proc/7851/statm: 2704838 13879 3091 1 0 2667149 0
[pid=7851/tid=7904] ppid=7848 vsize=10819352 memory=8112282956445269571 CPUtime=0.27 cores=1,3,5,7
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 2275 0 -1 4202560 7068 12998 0 0 19 1 4 3 20 0 15 0 78916423 11079016448 13879 33554432000 4194304 4196468 140729202419152 140371000660384 140371028870301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7905] ppid=7848 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 78916424 11079016448 13879 33554432000 4194304 4196468 140729202419152 140371033090832 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7906] ppid=7848 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916424 11079016448 13879 33554432000 4194304 4196468 140729202419152 140370947910544 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7907] ppid=7848 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916424 11079016448 13879 33554432000 4194304 4196468 140729202419152 140370946858000 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7908] ppid=7848 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 78916424 11079016448 13879 33554432000 4194304 4196468 140729202419152 140370945805456 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7909] ppid=7848 vsize=10819352 memory=140313923409535 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 78916426 11079016448 13879 33554432000 4194304 4196468 140729202419152 140370555369456 140371028859522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7910] ppid=7848 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 2275 0 -1 1077944384 13 12998 0 0 0 0 4 3 20 0 15 0 78916426 11079016448 13879 33554432000 4194304 4196468 140729202419152 140370469970848 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7911] ppid=7848 vsize=10819352 memory=140313923409536 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916427 11079016448 13879 33554432000 4194304 4196468 140729202419152 140369865991152 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7912] ppid=7848 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11079016448 13879 33554432000 4194304 4196468 140729202419152 140369558591696 140371028866971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7913] ppid=7848 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7851/task/7913/stat : 7913 (java) R 7848 7851 2275 0 -1 4202560 490 12998 0 0 1 0 4 3 20 0 15 0 78916429 11079016448 13879 33554432000 4194304 4196468 140729202419152 140370554317296 140371009484223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7914] ppid=7848 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 2275 0 -1 1077944384 90 12998 0 0 1 0 4 3 20 0 15 0 78916429 11079016448 13879 33554432000 4194304 4196468 140729202419152 140370553264752 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7915] ppid=7848 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7851/task/7915/stat : 7915 (java) R 7848 7851 2275 0 -1 4202560 558 12998 0 0 5 0 4 3 20 0 15 0 78916429 11079016448 13879 33554432000 4194304 4196468 140729202419152 140370552212208 140371010411935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7916] ppid=7848 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11079016448 13879 33554432000 4194304 4196468 140729202419152 140369525034080 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7917] ppid=7848 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916430 11079016448 13879 33554432000 4194304 4196468 140729202419152 140370551159088 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55516 KiB
[startup+0.700726 s]
/proc/loadavg: 1.46 1.60 1.67 3/220 7917
/proc/meminfo: memFree=21491396/32770624 swapFree=67108860/67108860
[pid=7851] ppid=7848 vsize=10819352 memory=88640 CPUtime=0.99 cores=1,3,5,7
/proc/7851/stat : 7851 (java) S 7848 7851 2275 0 -1 1077944320 16752 12998 0 0 87 5 4 3 20 0 15 0 78916414 11079016448 22160 33554432000 4194304 4196468 140729202419152 140729202401696 140371028848375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
/proc/7851/statm: 2704838 22160 3237 1 0 2667149 0
[pid=7851/tid=7904] ppid=7848 vsize=10819352 memory=23552 CPUtime=0.65 cores=1,3,5,7
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 2275 0 -1 4202560 12255 12998 0 0 55 3 4 3 20 0 15 0 78916423 11079016448 22160 33554432000 4194304 4196468 140729202419152 140371000669200 140371028862284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7905] ppid=7848 vsize=10819352 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 78916424 11079016448 22160 33554432000 4194304 4196468 140729202419152 140371033090832 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7906] ppid=7848 vsize=10819352 memory=140313763291635 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916424 11079016448 22160 33554432000 4194304 4196468 140729202419152 140370947910544 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7907] ppid=7848 vsize=10819352 memory=140316581561227 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916424 11079016448 22160 33554432000 4194304 4196468 140729202419152 140370946858000 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7908] ppid=7848 vsize=10819352 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 2275 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 78916424 11079016448 22160 33554432000 4194304 4196468 140729202419152 140370945805456 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7909] ppid=7848 vsize=10819352 memory=6296143700806424935 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 2275 0 -1 1077944384 6 12998 0 0 0 0 4 3 20 0 15 0 78916426 11079016448 22160 33554432000 4194304 4196468 140729202419152 140370555369456 140371028859522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7910] ppid=7848 vsize=10819352 memory=8099279071866868837 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 2275 0 -1 1077944384 13 12998 0 0 0 0 4 3 20 0 15 0 78916426 11079016448 22160 33554432000 4194304 4196468 140729202419152 140370469970848 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7911] ppid=7848 vsize=10819352 memory=6004820471124940137 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916427 11079016448 22160 33554432000 4194304 4196468 140729202419152 140369865991152 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7912] ppid=7848 vsize=10819352 memory=3054156605368933524 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11079016448 22160 33554432000 4194304 4196468 140729202419152 140369558591696 140371028866971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7913] ppid=7848 vsize=10819352 memory=8326441112149131689 CPUtime=0.16 cores=1,3,5,7
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 2275 0 -1 1077944384 1135 12998 0 0 9 0 4 3 20 0 15 0 78916429 11079016448 22160 33554432000 4194304 4196468 140729202419152 140370554317296 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7914] ppid=7848 vsize=10819352 memory=-7025452035940392864 CPUtime=0.15 cores=1,3,5,7
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 2275 0 -1 1077944384 489 12998 0 0 8 0 4 3 20 0 15 0 78916429 11079016448 22160 33554432000 4194304 4196468 140729202419152 140370553264752 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7915] ppid=7848 vsize=10819352 memory=6944656592452807326 CPUtime=0.2 cores=1,3,5,7
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 2275 0 -1 1077944384 654 12998 0 0 13 0 4 3 20 0 15 0 78916429 11079016448 22160 33554432000 4194304 4196468 140729202419152 140370552212208 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7916] ppid=7848 vsize=10819352 memory=-9178176116494409632 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11079016448 22160 33554432000 4194304 4196468 140729202419152 140369525034080 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7917] ppid=7848 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916430 11079016448 22160 33554432000 4194304 4196468 140729202419152 140370551159088 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88640 KiB
[startup+1.50078 s]
/proc/loadavg: 1.46 1.60 1.67 4/220 7917
/proc/meminfo: memFree=21445024/32770624 swapFree=67108860/67108860
[pid=7851] ppid=7848 vsize=10834252 memory=193092 CPUtime=2.6 cores=1,3,5,7
/proc/7851/stat : 7851 (java) S 7848 7851 2275 0 -1 1077944320 24639 12998 0 0 244 9 4 3 20 0 15 0 78916414 11094274048 48230 33554432000 4194304 4196468 140729202419152 140729202401696 140371028848375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
/proc/7851/statm: 2708563 48273 3475 1 0 2670221 0
[pid=7851/tid=7904] ppid=7848 vsize=10834252 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 2275 0 -1 4202560 17387 12998 0 0 129 5 4 3 20 0 15 0 78916423 11094274048 48273 33554432000 4194304 4196468 140729202419152 140371000652408 140371021948327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7905] ppid=7848 vsize=10834252 memory=102916 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 2275 0 -1 1077944384 30 12998 0 0 0 0 4 3 20 0 15 0 78916424 11094274048 48273 33554432000 4194304 4196468 140729202419152 140371033090832 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7906] ppid=7848 vsize=10834252 memory=5790086053191909267 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 2275 0 -1 1077944384 27 12998 0 0 0 0 4 3 20 0 15 0 78916424 11094274048 48273 33554432000 4194304 4196468 140729202419152 140370947910544 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7907] ppid=7848 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 2275 0 -1 1077944384 175 12998 0 0 1 0 4 3 20 0 15 0 78916424 11094274048 48273 33554432000 4194304 4196468 140729202419152 140370946858000 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7908] ppid=7848 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 2275 0 -1 1077944384 57 12998 0 0 1 0 4 3 20 0 15 0 78916424 11094274048 48273 33554432000 4194304 4196468 140729202419152 140370945805456 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7909] ppid=7848 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 2275 0 -1 1077944384 54 12998 0 0 1 0 4 3 20 0 15 0 78916426 11094274048 48273 33554432000 4194304 4196468 140729202419152 140370555369456 140371028859522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7910] ppid=7848 vsize=10834252 memory=-6221781267475802396 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 2275 0 -1 1077944384 14 12998 0 0 0 0 4 3 20 0 15 0 78916426 11094274048 48273 33554432000 4194304 4196468 140729202419152 140370469970912 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7911] ppid=7848 vsize=10834252 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916427 11094274048 48273 33554432000 4194304 4196468 140729202419152 140369865991168 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7912] ppid=7848 vsize=10834252 memory=1696 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11094274048 48273 33554432000 4194304 4196468 140729202419152 140369558591696 140371028866971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7913] ppid=7848 vsize=10834252 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 2275 0 -1 1077944384 2230 12998 0 0 35 0 4 3 20 0 15 0 78916429 11094274048 48273 33554432000 4194304 4196468 140729202419152 140370554317296 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7914] ppid=7848 vsize=10834252 memory=174282659386628 CPUtime=0.42 cores=1,3,5,7
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 2275 0 -1 1077944384 1143 12998 0 0 35 0 4 3 20 0 15 0 78916429 11094274048 48273 33554432000 4194304 4196468 140729202419152 140370553264752 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7915] ppid=7848 vsize=10834252 memory=23525 CPUtime=0.43 cores=1,3,5,7
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 2275 0 -1 1077944384 1333 12998 0 0 36 0 4 3 20 0 15 0 78916429 11094274048 48273 33554432000 4194304 4196468 140729202419152 140370552212208 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7916] ppid=7848 vsize=10834252 memory=4638778419807998288 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11094274048 48273 33554432000 4194304 4196468 140729202419152 140369525034080 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7917] ppid=7848 vsize=10834252 memory=6935650355271196736 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916430 11094274048 48273 33554432000 4194304 4196468 140729202419152 140370551159088 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 2275 0 -1 4202560 57929 12998 0 0 28068 21 4 3 20 0 15 0 78916423 11178180608 181742 33554432000 4194304 4196468 140729202419152 140371000682352 140370631015922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7905] ppid=7848 vsize=10916192 memory=724856 CPUtime=0.66 cores=1,3,5,7
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 2275 0 -1 1077944384 4161 12998 0 0 53 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140371033090832 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7906] ppid=7848 vsize=10916192 memory=724880 CPUtime=0.65 cores=1,3,5,7
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 2275 0 -1 1077944384 2792 12998 0 0 52 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370947910544 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7907] ppid=7848 vsize=10916192 memory=724880 CPUtime=0.64 cores=1,3,5,7
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 2275 0 -1 1077944384 2326 12998 0 0 51 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370946858000 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7908] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.64 cores=1,3,5,7
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 2275 0 -1 1077944384 3222 12998 0 0 51 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370945805456 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7909] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.58 cores=1,3,5,7
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 2275 0 -1 1077944384 6859 12998 0 0 48 3 4 3 20 0 15 0 78916426 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370555369456 140371028859522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7910] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 2275 0 -1 1077944384 14 12998 0 0 0 0 4 3 20 0 15 0 78916426 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370469970912 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7911] ppid=7848 vsize=10916192 memory=724880 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916427 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369865991168 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7912] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369558591696 140371028866971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7913] ppid=7848 vsize=10916192 memory=6943526294502006880 CPUtime=4.47 cores=1,3,5,7
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 2275 0 -1 1077944384 17318 12998 0 0 438 2 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370554317296 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7914] ppid=7848 vsize=10916192 memory=4132 CPUtime=4.84 cores=1,3,5,7
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 2275 0 -1 1077944384 21902 12998 0 0 474 3 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370553264752 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7915] ppid=7848 vsize=10916192 memory=726968 CPUtime=1.95 cores=1,3,5,7
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 2275 0 -1 1077944384 20240 12998 0 0 184 4 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370552212208 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7916] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369525034080 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7917] ppid=7848 vsize=10916192 memory=3828 CPUtime=0.21 cores=1,3,5,7
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 2275 0 -1 1077944384 800 12998 0 0 7 7 4 3 20 0 15 0 78916430 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370551159088 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
Current children cumulated CPU time: 295.08 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 726968 KiB
[startup+284.812 s]
# the end of solver process 7851 was just reported to runsolver
# cumulated CPU time of all completed processes: user=297.007 s, system=0.68339 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+283.201 s]
/proc/loadavg: 1.54 1.53 1.62 3/219 7951
/proc/meminfo: memFree=20943668/32770624 swapFree=67108860/67108860
[pid=7851] ppid=7848 vsize=10916192 memory=726968 CPUtime=295.99 cores=1,3,5,7
/proc/7851/stat : 7851 (java) S 7848 7851 2275 0 -1 1077944320 139759 12998 0 0 29529 63 4 3 20 0 15 0 78916414 11178180608 181742 33554432000 4194304 4196468 140729202419152 140729202401696 140371028848375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
/proc/7851/statm: 2729048 181742 3527 1 0 2690701 0
[pid=7851/tid=7904] ppid=7848 vsize=10916192 memory=6943526294502006880 CPUtime=281.85 cores=1,3,5,7
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 2275 0 -1 4202560 57932 12998 0 0 28157 21 4 3 20 0 15 0 78916423 11178180608 181742 33554432000 4194304 4196468 140729202419152 140371000682096 140370622584260 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7905] ppid=7848 vsize=10916192 memory=23572 CPUtime=0.66 cores=1,3,5,7
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 2275 0 -1 1077944384 4161 12998 0 0 53 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140371033090832 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7906] ppid=7848 vsize=10916192 memory=1296 CPUtime=0.65 cores=1,3,5,7
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 2275 0 -1 1077944384 2792 12998 0 0 52 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370947910544 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7907] ppid=7848 vsize=10916192 memory=2448 CPUtime=0.64 cores=1,3,5,7
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 2275 0 -1 1077944384 2326 12998 0 0 51 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370946858000 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7908] ppid=7848 vsize=10916192 memory=8112282956445269571 CPUtime=0.65 cores=1,3,5,7
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 2275 0 -1 1077944384 3222 12998 0 0 52 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370945805456 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7909] ppid=7848 vsize=10916192 memory=792 CPUtime=0.58 cores=1,3,5,7
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 2275 0 -1 1077944384 6859 12998 0 0 48 3 4 3 20 0 15 0 78916426 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370555369456 140371028859522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7910] ppid=7848 vsize=10916192 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 2275 0 -1 1077944384 14 12998 0 0 0 0 4 3 20 0 15 0 78916426 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370469970912 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7911] ppid=7848 vsize=10916192 memory=1948 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916427 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369865991168 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7912] ppid=7848 vsize=10916192 memory=5524 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369558591696 140371028866971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7913] ppid=7848 vsize=10916192 memory=4616 CPUtime=4.47 cores=1,3,5,7
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 2275 0 -1 1077944384 17318 12998 0 0 438 2 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370554317296 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7914] ppid=7848 vsize=10916192 memory=15868 CPUtime=4.84 cores=1,3,5,7
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 2275 0 -1 1077944384 21902 12998 0 0 474 3 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370553264752 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7915] ppid=7848 vsize=10916192 memory=4012 CPUtime=1.95 cores=1,3,5,7
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 2275 0 -1 1077944384 20240 12998 0 0 184 4 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370552212208 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7916] ppid=7848 vsize=10916192 memory=14464 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369525034080 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7917] ppid=7848 vsize=10916192 memory=18292 CPUtime=0.21 cores=1,3,5,7
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 2275 0 -1 1077944384 800 12998 0 0 7 7 4 3 20 0 15 0 78916430 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370551159088 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
Current children cumulated CPU time: 295.99 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 726968 KiB
[startup+284.001 s]*
/proc/loadavg: 1.57 1.54 1.62 3/219 7951
/proc/meminfo: memFree=20943668/32770624 swapFree=67108860/67108860
[pid=7851] ppid=7848 vsize=10916192 memory=726968 CPUtime=296.8 cores=1,3,5,7
/proc/7851/stat : 7851 (java) S 7848 7851 2275 0 -1 1077944320 139762 12998 0 0 29610 63 4 3 20 0 15 0 78916414 11178180608 181742 33554432000 4194304 4196468 140729202419152 140729202401696 140371028848375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
/proc/7851/statm: 2729048 181742 3527 1 0 2690701 0
[pid=7851/tid=7904] ppid=7848 vsize=10916192 memory=928 CPUtime=282.66 cores=1,3,5,7
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 2275 0 -1 4202560 57935 12998 0 0 28238 21 4 3 20 0 15 0 78916423 11178180608 181742 33554432000 4194304 4196468 140729202419152 140371000682288 140370622119463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7905] ppid=7848 vsize=10916192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 2275 0 -1 1077944384 4161 12998 0 0 54 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140371033090832 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7906] ppid=7848 vsize=10916192 memory=4132 CPUtime=0.65 cores=1,3,5,7
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 2275 0 -1 1077944384 2792 12998 0 0 52 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370947910544 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7907] ppid=7848 vsize=10916192 memory=-7003737579269690708 CPUtime=0.64 cores=1,3,5,7
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 2275 0 -1 1077944384 2326 12998 0 0 51 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370946858000 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7908] ppid=7848 vsize=10916192 memory=2592 CPUtime=0.65 cores=1,3,5,7
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 2275 0 -1 1077944384 3222 12998 0 0 52 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370945805456 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7909] ppid=7848 vsize=10916192 memory=4100 CPUtime=0.59 cores=1,3,5,7
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 2275 0 -1 1077944384 6859 12998 0 0 49 3 4 3 20 0 15 0 78916426 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370555369456 140371028859522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7910] ppid=7848 vsize=10916192 memory=1404 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 2275 0 -1 1077944384 14 12998 0 0 0 0 4 3 20 0 15 0 78916426 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370469970912 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7911] ppid=7848 vsize=10916192 memory=7212 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916427 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369865991168 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7912] ppid=7848 vsize=10916192 memory=1367844 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369558591696 140371028866971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7913] ppid=7848 vsize=10916192 memory=1408 CPUtime=4.47 cores=1,3,5,7
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 2275 0 -1 1077944384 17318 12998 0 0 438 2 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370554317296 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7914] ppid=7848 vsize=10916192 memory=3072 CPUtime=4.84 cores=1,3,5,7
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 2275 0 -1 1077944384 21902 12998 0 0 474 3 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370553264752 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7915] ppid=7848 vsize=10916192 memory=726968 CPUtime=1.95 cores=1,3,5,7
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 2275 0 -1 1077944384 20240 12998 0 0 184 4 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370552212208 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7916] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369525034080 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7917] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.21 cores=1,3,5,7
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 2275 0 -1 1077944384 800 12998 0 0 7 7 4 3 20 0 15 0 78916430 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370551159088 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
Current children cumulated CPU time: 296.8 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 726968 KiB
[startup+284.401 s]
/proc/loadavg: 1.57 1.54 1.62 3/219 7951
/proc/meminfo: memFree=20943668/32770624 swapFree=67108860/67108860
[pid=7851] ppid=7848 vsize=10916192 memory=726968 CPUtime=297.2 cores=1,3,5,7
/proc/7851/stat : 7851 (java) S 7848 7851 2275 0 -1 1077944320 139765 12998 0 0 29650 63 4 3 20 0 15 0 78916414 11178180608 181742 33554432000 4194304 4196468 140729202419152 140729202401696 140371028848375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
/proc/7851/statm: 2729048 181742 3527 1 0 2690701 0
[pid=7851/tid=7904] ppid=7848 vsize=10916192 memory=792 CPUtime=283.04 cores=1,3,5,7
/proc/7851/task/7904/stat : 7904 (java) R 7848 7851 2275 0 -1 4202560 57936 12998 0 0 28276 21 4 3 20 0 15 0 78916423 11178180608 181742 33554432000 4194304 4196468 140729202419152 140371000683200 140370636673144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7905] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.67 cores=1,3,5,7
/proc/7851/task/7905/stat : 7905 (java) S 7848 7851 2275 0 -1 1077944384 4162 12998 0 0 54 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140371033090832 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7906] ppid=7848 vsize=10916192 memory=1948 CPUtime=0.65 cores=1,3,5,7
/proc/7851/task/7906/stat : 7906 (java) S 7848 7851 2275 0 -1 1077944384 2792 12998 0 0 52 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370947910544 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7907] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.64 cores=1,3,5,7
/proc/7851/task/7907/stat : 7907 (java) S 7848 7851 2275 0 -1 1077944384 2326 12998 0 0 51 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370946858000 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7908] ppid=7848 vsize=10916192 memory=4616 CPUtime=0.65 cores=1,3,5,7
/proc/7851/task/7908/stat : 7908 (java) S 7848 7851 2275 0 -1 1077944384 3223 12998 0 0 52 6 4 3 20 0 15 0 78916424 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370945805456 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7909] ppid=7848 vsize=10916192 memory=15868 CPUtime=0.59 cores=1,3,5,7
/proc/7851/task/7909/stat : 7909 (java) S 7848 7851 2275 0 -1 1077944384 6859 12998 0 0 49 3 4 3 20 0 15 0 78916426 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370555369456 140371028859522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7910] ppid=7848 vsize=10916192 memory=726968 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7910/stat : 7910 (java) S 7848 7851 2275 0 -1 1077944384 14 12998 0 0 0 0 4 3 20 0 15 0 78916426 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370469970912 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7911] ppid=7848 vsize=10916192 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7911/stat : 7911 (java) S 7848 7851 2275 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 78916427 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369865991168 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7912] ppid=7848 vsize=10916192 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7912/stat : 7912 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369558591696 140371028866971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7913] ppid=7848 vsize=10916192 memory=1228 CPUtime=4.47 cores=1,3,5,7
/proc/7851/task/7913/stat : 7913 (java) S 7848 7851 2275 0 -1 1077944384 17318 12998 0 0 438 2 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370554317296 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7914] ppid=7848 vsize=10916192 memory=1948 CPUtime=4.84 cores=1,3,5,7
/proc/7851/task/7914/stat : 7914 (java) S 7848 7851 2275 0 -1 1077944384 21902 12998 0 0 474 3 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370553264752 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7915] ppid=7848 vsize=10916192 memory=5524 CPUtime=1.95 cores=1,3,5,7
/proc/7851/task/7915/stat : 7915 (java) S 7848 7851 2275 0 -1 1077944384 20240 12998 0 0 184 4 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370552212208 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7916] ppid=7848 vsize=10916192 memory=1444 CPUtime=0.07 cores=1,3,5,7
/proc/7851/task/7916/stat : 7916 (java) S 7848 7851 2275 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 78916429 11178180608 181742 33554432000 4194304 4196468 140729202419152 140369525034080 140371028858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
[pid=7851/tid=7917] ppid=7848 vsize=10916192 memory=1200 CPUtime=0.21 cores=1,3,5,7
/proc/7851/task/7917/stat : 7917 (java) S 7848 7851 2275 0 -1 1077944384 800 12998 0 0 7 7 4 3 20 0 15 0 78916430 11178180608 181742 33554432000 4194304 4196468 140729202419152 140370551159088 140371028859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33353728 140729202428075 140729202431324 140729202431324 140729202433999 0
Current children cumulated CPU time: 297.2 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 726968 KiB
[startup+284.802 s]*
/proc/loadavg: 1.57 1.54 1.62 3/206 7952
/proc/meminfo: memFree=21635656/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): 284.812
CPU time (s): 297.691
CPU user time (s): 297.007
CPU system time (s): 0.68339
CPU usage (%): 104.522
Max. virtual memory (cumulated for all children) (KiB): 10919020
Max. memory (cumulated for all children) (KiB): 809180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 297.007
system time used= 0.68339
maximum resident set size= 809384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159281
page faults= 0
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23026
involuntary context switches= 726
# summary of solver processes directly reported to runsolver:
# pid: 7851
# total CPU time (s): 297.691
# total CPU user time (s): 297.007
# total CPU system time (s): 0.68339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.06465 second user time and 2.48889 second system time
The end