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 (14566 MiB free)
memory of node 1: 16384 MiB (13251 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400831-1568680577/watcher-4400831-1568680577 -o /tmp/evaluation-result-4400831-1568680577/solver-4400831-1568680577 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568673289-32268 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1723364239 HOME/instance-4400831-1568680577.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=1580, runsolver pid=1577
[startup+0.100103 s]*
/proc/loadavg: 1.52 1.48 1.49 3/219 1637
/proc/meminfo: memFree=28478832/32770624 swapFree=66958316/67108860
[pid=1580] ppid=1577 vsize=9972712 memory=15180 CPUtime=0.08 cores=1,3,5,7
/proc/1580/stat : 1580 (java) S 1577 1580 32236 0 -1 1077944320 4526 13060 0 0 1 0 4 3 20 0 6 0 443994370 10212057088 3795 33554432000 4194304 4196468 140734687197760 140734687180304 139952115240695 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
/proc/1580/statm: 2493178 3795 1935 1 0 2481616 0
[pid=1580/tid=1633] ppid=1577 vsize=9988792 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/1580/task/1633/stat : 1633 (java) R 1577 1580 32236 0 -1 4202560 2426 13060 0 0 1 0 4 3 20 0 6 0 443994379 10228523008 3861 33554432000 4194304 4196468 140734687197760 139952087077456 139952096650845 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1634] ppid=1577 vsize=9988792 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1634/stat : 1634 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 6 0 443994380 10228523008 3861 33554432000 4194304 4196468 140734687197760 139952119483024 139952115250901 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1635] ppid=1577 vsize=9988792 memory=139723304638080 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1635/stat : 1635 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 6 0 443994380 10228523008 3861 33554432000 4194304 4196468 140734687197760 139951688231440 139952115250901 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1636] ppid=1577 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1636/stat : 1636 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 6 0 443994380 10228523008 3861 33554432000 4194304 4196468 140734687197760 139951687178640 139952115250901 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1637] ppid=1577 vsize=9988792 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1637/stat : 1637 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 6 0 443994380 10228523008 3861 33554432000 4194304 4196468 140734687197760 139951686125840 139952115250901 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15180 KiB
[startup+0.209912 s]*
/proc/loadavg: 1.52 1.48 1.49 4/228 1646
/proc/meminfo: memFree=28460236/32770624 swapFree=66958316/67108860
[pid=1580] ppid=1577 vsize=10820020 memory=40572 CPUtime=0.26 cores=1,3,5,7
/proc/1580/stat : 1580 (java) S 1577 1580 32236 0 -1 1077944320 7502 13060 0 0 18 1 4 3 20 0 15 0 443994370 11079700480 10143 33554432000 4194304 4196468 140734687197760 140734687180304 139952115240695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
/proc/1580/statm: 2705005 10143 3219 1 0 2667149 0
[pid=1580/tid=1633] ppid=1577 vsize=10820196 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/1580/task/1633/stat : 1633 (java) R 1577 1580 32236 0 -1 4202560 4054 13060 0 0 11 0 4 3 20 0 15 0 443994379 11079880704 10209 33554432000 4194304 4196468 140734687197760 139952087072976 139952115262621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1634] ppid=1577 vsize=10820196 memory=4294967638 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1634/stat : 1634 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994380 11079880704 10209 33554432000 4194304 4196468 140734687197760 139952119483024 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1635] ppid=1577 vsize=10820196 memory=139723304664837 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1635/stat : 1635 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 15 0 443994380 11079880704 10209 33554432000 4194304 4196468 140734687197760 139951688231440 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1636] ppid=1577 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1636/stat : 1636 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 15 0 443994380 11079880704 10209 33554432000 4194304 4196468 140734687197760 139951687178640 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1637] ppid=1577 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1637/stat : 1637 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994380 11079880704 10209 33554432000 4194304 4196468 140734687197760 139951686125840 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1638] ppid=1577 vsize=10820196 memory=139723304638080 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1638/stat : 1638 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 15 0 443994381 11079880704 10209 33554432000 4194304 4196468 140734687197760 139951574338416 139952115251842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1639] ppid=1577 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1639/stat : 1639 (java) S 1577 1580 32236 0 -1 1077944384 33 13060 0 0 0 0 4 3 20 0 15 0 443994381 11079880704 10209 33554432000 4194304 4196468 140734687197760 139951573284384 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1640] ppid=1577 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1640/stat : 1640 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994382 11079880704 10209 33554432000 4194304 4196468 140734687197760 139950972462448 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1641] ppid=1577 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1641/stat : 1641 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994384 11079880704 10209 33554432000 4194304 4196468 140734687197760 139950665062736 139952115259291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1642] ppid=1577 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1580/task/1642/stat : 1642 (java) S 1577 1580 32236 0 -1 1077944384 359 13060 0 0 1 0 4 3 20 0 15 0 443994384 11079880704 10209 33554432000 4194304 4196468 140734687197760 139951539726704 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1643] ppid=1577 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1580/task/1643/stat : 1643 (java) R 1577 1580 32236 0 -1 4202560 302 13060 0 0 1 0 4 3 20 0 15 0 443994384 11079880704 10209 33554432000 4194304 4196468 140734687197760 139951538673904 139952100406240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1644] ppid=1577 vsize=10820196 memory=139723304638080 CPUtime=0.1 cores=1,3,5,7
/proc/1580/task/1644/stat : 1644 (java) S 1577 1580 32236 0 -1 1077944384 607 13060 0 0 3 0 4 3 20 0 15 0 443994384 11079880704 10209 33554432000 4194304 4196468 140734687197760 139951537621104 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1645] ppid=1577 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1645/stat : 1645 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994385 11079880704 10209 33554432000 4194304 4196468 140734687197760 139950631504096 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1646] ppid=1577 vsize=10820196 memory=139723304638080 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1646/stat : 1646 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994385 11079880704 10209 33554432000 4194304 4196468 140734687197760 139951536569520 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 40572 KiB
[startup+0.310519 s]*
/proc/loadavg: 1.52 1.48 1.49 3/228 1646
/proc/meminfo: memFree=28447304/32770624 swapFree=66958316/67108860
[pid=1580] ppid=1577 vsize=10820196 memory=49128 CPUtime=0.39 cores=1,3,5,7
/proc/1580/stat : 1580 (java) S 1577 1580 32236 0 -1 1077944320 11037 13060 0 0 30 2 4 3 20 0 15 0 443994370 11079880704 12282 33554432000 4194304 4196468 140734687197760 140734687180304 139952115240695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
/proc/1580/statm: 2705049 12282 3315 1 0 2667149 0
[pid=1580/tid=1633] ppid=1577 vsize=10820196 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/1580/task/1633/stat : 1633 (java) R 1577 1580 32236 0 -1 4202560 7513 13060 0 0 20 2 4 3 20 0 15 0 443994379 11079880704 12282 33554432000 4194304 4196468 140734687197760 139952087049648 139952100610603 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1634] ppid=1577 vsize=10820196 memory=4294969568 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1634/stat : 1634 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994380 11079880704 12282 33554432000 4194304 4196468 140734687197760 139952119483024 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1635] ppid=1577 vsize=10820196 memory=139727599605375 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1635/stat : 1635 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 15 0 443994380 11079880704 12282 33554432000 4194304 4196468 140734687197760 139951688231440 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1636] ppid=1577 vsize=10820196 memory=2209 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1636/stat : 1636 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 15 0 443994380 11079880704 12282 33554432000 4194304 4196468 140734687197760 139951687178640 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1637] ppid=1577 vsize=10820196 memory=2240 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1637/stat : 1637 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994380 11079880704 12282 33554432000 4194304 4196468 140734687197760 139951686125840 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1638] ppid=1577 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1638/stat : 1638 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 15 0 443994381 11079880704 12282 33554432000 4194304 4196468 140734687197760 139951574338416 139952115251842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1639] ppid=1577 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1639/stat : 1639 (java) S 1577 1580 32236 0 -1 1077944384 33 13060 0 0 0 0 4 3 20 0 15 0 443994381 11079880704 12282 33554432000 4194304 4196468 140734687197760 139951573284384 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1640] ppid=1577 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1640/stat : 1640 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994382 11079880704 12282 33554432000 4194304 4196468 140734687197760 139950972462448 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1641] ppid=1577 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1641/stat : 1641 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994384 11079880704 12282 33554432000 4194304 4196468 140734687197760 139950665062736 139952115259291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1642] ppid=1577 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1580/task/1642/stat : 1642 (java) S 1577 1580 32236 0 -1 1077944384 359 13060 0 0 1 0 4 3 20 0 15 0 443994384 11079880704 12282 33554432000 4194304 4196468 140734687197760 139951539726704 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1643] ppid=1577 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1580/task/1643/stat : 1643 (java) S 1577 1580 32236 0 -1 1077944384 303 13060 0 0 2 0 4 3 20 0 15 0 443994384 11079880704 12282 33554432000 4194304 4196468 140734687197760 139951538673904 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1644] ppid=1577 vsize=10820196 memory=139723304638080 CPUtime=0.12 cores=1,3,5,7
/proc/1580/task/1644/stat : 1644 (java) S 1577 1580 32236 0 -1 1077944384 614 13060 0 0 5 0 4 3 20 0 15 0 443994384 11079880704 12282 33554432000 4194304 4196468 140734687197760 139951537621104 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1645] ppid=1577 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1645/stat : 1645 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994385 11079880704 12282 33554432000 4194304 4196468 140734687197760 139950631504096 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1646] ppid=1577 vsize=10820196 memory=139723304638080 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1646/stat : 1646 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994385 11079880704 12282 33554432000 4194304 4196468 140734687197760 139951536569520 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49128 KiB
[startup+0.701034 s]
/proc/loadavg: 1.52 1.48 1.49 3/228 1646
/proc/meminfo: memFree=28433632/32770624 swapFree=66958316/67108860
[pid=1580] ppid=1577 vsize=10824364 memory=81484 CPUtime=1.12 cores=1,3,5,7
/proc/1580/stat : 1580 (java) S 1577 1580 32236 0 -1 1077944320 15072 13060 0 0 100 5 4 3 20 0 15 0 443994370 11084148736 20371 33554432000 4194304 4196468 140734687197760 140734687180304 139952115240695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
/proc/1580/statm: 2706091 20371 3512 1 0 2668173 0
[pid=1580/tid=1633] ppid=1577 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/1580/task/1633/stat : 1633 (java) R 1577 1580 32236 0 -1 4202560 10545 13060 0 0 56 3 4 3 20 0 15 0 443994379 11084148736 20371 33554432000 4194304 4196468 140734687197760 139952087069256 139952093404912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1634] ppid=1577 vsize=10824364 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1634/stat : 1634 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994380 11084148736 20371 33554432000 4194304 4196468 140734687197760 139952119483024 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1635] ppid=1577 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1635/stat : 1635 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 15 0 443994380 11084148736 20371 33554432000 4194304 4196468 140734687197760 139951688231440 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1636] ppid=1577 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1636/stat : 1636 (java) S 1577 1580 32236 0 -1 1077944384 2 13060 0 0 0 0 4 3 20 0 15 0 443994380 11084148736 20371 33554432000 4194304 4196468 140734687197760 139951687178640 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1637] ppid=1577 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1637/stat : 1637 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994380 11084148736 20371 33554432000 4194304 4196468 140734687197760 139951686125840 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1638] ppid=1577 vsize=10824364 memory=139723304636913 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1638/stat : 1638 (java) S 1577 1580 32236 0 -1 1077944384 5 13060 0 0 0 0 4 3 20 0 15 0 443994381 11084148736 20371 33554432000 4194304 4196468 140734687197760 139951574338416 139952115251842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1639] ppid=1577 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1639/stat : 1639 (java) S 1577 1580 32236 0 -1 1077944384 33 13060 0 0 0 0 4 3 20 0 15 0 443994381 11084148736 20371 33554432000 4194304 4196468 140734687197760 139951573284384 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1640] ppid=1577 vsize=10824364 memory=2477525042945 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1640/stat : 1640 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994382 11084148736 20371 33554432000 4194304 4196468 140734687197760 139950972462448 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1641] ppid=1577 vsize=10824364 memory=66508568 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1641/stat : 1641 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994384 11084148736 20371 33554432000 4194304 4196468 140734687197760 139950665062736 139952115259291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1642] ppid=1577 vsize=10824364 memory=-8628794967851031664 CPUtime=0.2 cores=1,3,5,7
/proc/1580/task/1642/stat : 1642 (java) R 1577 1580 32236 0 -1 4202560 828 13060 0 0 13 0 4 3 20 0 15 0 443994384 11084148736 20371 33554432000 4194304 4196468 140734687197760 139951539714016 139952095876632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1643] ppid=1577 vsize=10824364 memory=7374762498890688105 CPUtime=0.2 cores=1,3,5,7
/proc/1580/task/1643/stat : 1643 (java) R 1577 1580 32236 0 -1 4202560 688 13060 0 0 13 0 4 3 20 0 15 0 443994384 11084148736 20371 33554432000 4194304 4196468 140734687197760 139951538673904 139952100366594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1644] ppid=1577 vsize=10824364 memory=7013340846366745708 CPUtime=0.24 cores=1,3,5,7
/proc/1580/task/1644/stat : 1644 (java) S 1577 1580 32236 0 -1 1077944384 753 13060 0 0 17 0 4 3 20 0 15 0 443994384 11084148736 20371 33554432000 4194304 4196468 140734687197760 139951537621104 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1645] ppid=1577 vsize=10824364 memory=3467824627880452160 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1645/stat : 1645 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994385 11084148736 20371 33554432000 4194304 4196468 140734687197760 139950631504096 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1646] ppid=1577 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1646/stat : 1646 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994385 11084148736 20371 33554432000 4194304 4196468 140734687197760 139951536569520 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81484 KiB
[startup+1.50106 s]
/proc/loadavg: 1.52 1.48 1.49 3/228 1646
/proc/meminfo: memFree=28348984/32770624 swapFree=66958316/67108860
[pid=1580] ppid=1577 vsize=10824364 memory=426156 CPUtime=3 cores=1,3,5,7
/proc/1580/stat : 1580 (java) S 1577 1580 32236 0 -1 1077944320 17507 13060 0 0 251 42 4 3 20 0 15 0 443994370 11084148736 106539 33554432000 4194304 4196468 140734687197760 140734687180304 139952115240695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
/proc/1580/statm: 2706091 106539 3547 1 0 2668173 0
[pid=1580/tid=1633] ppid=1577 vsize=10824364 memory=5161 CPUtime=1.27 cores=1,3,5,7
/proc/1580/task/1633/stat : 1633 (java) S 1577 1580 32236 0 -1 1077944384 11170 13060 0 0 114 6 4 3 20 0 15 0 443994379 11084148736 106539 33554432000 4194304 4196468 140734687197760 139952087076800 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1634] ppid=1577 vsize=10824364 memory=2110073812341588 CPUtime=0.25 cores=1,3,5,7
/proc/1580/task/1634/stat : 1634 (java) R 1577 1580 32236 0 -1 4202560 185 13060 0 0 10 8 4 3 20 0 15 0 443994380 11084148736 106539 33554432000 4194304 4196468 140734687197760 139952119483024 139952100268578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1635] ppid=1577 vsize=10824364 memory=8112282956445269571 CPUtime=0.24 cores=1,3,5,7
/proc/1580/task/1635/stat : 1635 (java) R 1577 1580 32236 0 -1 4202560 190 13060 0 0 9 8 4 3 20 0 15 0 443994380 11084148736 106539 33554432000 4194304 4196468 140734687197760 139951688231440 139952108340395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1636] ppid=1577 vsize=10824364 memory=49 CPUtime=0.25 cores=1,3,5,7
/proc/1580/task/1636/stat : 1636 (java) R 1577 1580 32236 0 -1 4202560 256 13060 0 0 10 8 4 3 20 0 15 0 443994380 11084148736 106539 33554432000 4194304 4196468 140734687197760 139951687178840 139952100268569 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1637] ppid=1577 vsize=10824364 memory=41 CPUtime=0.24 cores=1,3,5,7
/proc/1580/task/1637/stat : 1637 (java) R 1577 1580 32236 0 -1 4202560 188 13060 0 0 9 8 4 3 20 0 15 0 443994380 11084148736 106539 33554432000 4194304 4196468 140734687197760 139951686126040 139952100268569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1638] ppid=1577 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1638/stat : 1638 (java) S 1577 1580 32236 0 -1 1077944384 85 13060 0 0 0 0 4 3 20 0 15 0 443994381 11084148736 106539 33554432000 4194304 4196468 140734687197760 139951574336928 139952115250901 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1639] ppid=1577 vsize=10824364 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1639/stat : 1639 (java) S 1577 1580 32236 0 -1 1077944384 34 13060 0 0 0 0 4 3 20 0 15 0 443994381 11084148736 107051 33554432000 4194304 4196468 140734687197760 139951573284384 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1640] ppid=1577 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1640/stat : 1640 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994382 11084148736 107051 33554432000 4194304 4196468 140734687197760 139950972462448 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1641] ppid=1577 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1641/stat : 1641 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994384 11084148736 107051 33554432000 4194304 4196468 140734687197760 139950665062736 139952115259291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1642] ppid=1577 vsize=10824364 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/1580/task/1642/stat : 1642 (java) S 1577 1580 32236 0 -1 1077944384 904 13060 0 0 35 0 4 3 20 0 15 0 443994384 11084148736 107051 33554432000 4194304 4196468 140734687197760 139951539726704 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1643] ppid=1577 vsize=10824364 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/1580/task/1643/stat : 1643 (java) S 1577 1580 32236 0 -1 1077944384 1334 13060 0 0 34 0 4 3 20 0 15 0 443994384 11084148736 107051 33554432000 4194304 4196468 140734687197760 139951538673904 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1644] ppid=1577 vsize=10824364 memory=6944656592455359580 CPUtime=0.33 cores=1,3,5,7
/proc/1580/task/1644/stat : 1644 (java) S 1577 1580 32236 0 -1 1077944384 945 13060 0 0 26 0 4 3 20 0 15 0 443994384 11084148736 107051 33554432000 4194304 4196468 140734687197760 139951537621104 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1645] ppid=1577 vsize=10824364 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1645/stat : 1645 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994385 11084148736 107051 33554432000 4194304 4196468 140734687197760 139950631504096 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1646] ppid=1577 vsize=10824364 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1646/stat : 1646 (java) S 1577 1580 32236 0 -1 1077944384 1 13060 0 0 0 0 4 3 20 0 15 0 443994385 11084148736 107051 33554432000 4194304 4196468 140734687197760 139951536569520 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 10824364 KiB
################
# More data... #
################
[startup+847.549 s]
# the end of solver process 1580 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2521.57 s, system=6.51952 s
Solver just ended.
Dumping a history of the last processes samples
[startup+846.401 s]
/proc/loadavg: 4.40 3.84 2.80 6/227 1721
/proc/meminfo: memFree=20104368/32770624 swapFree=66958316/67108860
[pid=1580] ppid=1577 vsize=10840844 memory=8366120 CPUtime=2523.6 cores=1,3,5,7
/proc/1580/stat : 1580 (java) S 1577 1580 32236 0 -1 1077944320 482223 13060 0 0 251709 644 4 3 20 0 15 0 443994370 11101024256 2091530 33554432000 4194304 4196468 140734687197760 140734687180304 139952115240695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
/proc/1580/statm: 2710211 2091530 3631 1 0 2672269 0
[pid=1580/tid=1633] ppid=1577 vsize=10840844 memory=8112282956445269571 CPUtime=218.13 cores=1,3,5,7
/proc/1580/task/1633/stat : 1633 (java) S 1577 1580 32236 0 -1 1077944384 58694 13060 0 0 21787 19 4 3 20 0 15 0 443994379 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139952087073504 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1634] ppid=1577 vsize=10840844 memory=1196 CPUtime=557.98 cores=1,3,5,7
/proc/1580/task/1634/stat : 1634 (java) R 1577 1580 32236 0 -1 4202560 44394 13060 0 0 55648 143 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139952119483224 139952100191300 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1635] ppid=1577 vsize=10840844 memory=1044 CPUtime=556.55 cores=1,3,5,7
/proc/1580/task/1635/stat : 1635 (java) R 1577 1580 32236 0 -1 4202560 42423 13060 0 0 55493 155 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951688231440 139952100191300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1636] ppid=1577 vsize=10840844 memory=712 CPUtime=558.35 cores=1,3,5,7
/proc/1580/task/1636/stat : 1636 (java) R 1577 1580 32236 0 -1 4202560 40099 13060 0 0 55682 146 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951687178840 139952100191882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1637] ppid=1577 vsize=10840844 memory=3216 CPUtime=557.28 cores=1,3,5,7
/proc/1580/task/1637/stat : 1637 (java) R 1577 1580 32236 0 -1 4202560 40286 13060 0 0 55568 153 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951686126040 139952095266912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1638] ppid=1577 vsize=10840844 memory=793548 CPUtime=66.4 cores=1,3,5,7
/proc/1580/task/1638/stat : 1638 (java) S 1577 1580 32236 0 -1 1077944384 194223 13060 0 0 6622 11 4 3 20 0 15 0 443994381 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951574336736 139952115250901 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1639] ppid=1577 vsize=10840844 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1639/stat : 1639 (java) S 1577 1580 32236 0 -1 1077944384 75 13060 0 0 0 0 4 3 20 0 15 0 443994381 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951573284448 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1640] ppid=1577 vsize=10840844 memory=3300 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1640/stat : 1640 (java) S 1577 1580 32236 0 -1 1077944384 25 13060 0 0 0 0 4 3 20 0 15 0 443994382 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950972462464 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1641] ppid=1577 vsize=10840844 memory=8366120 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1641/stat : 1641 (java) S 1577 1580 32236 0 -1 1077944384 7 13060 0 0 0 0 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950665062384 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1642] ppid=1577 vsize=10840844 memory=8366120 CPUtime=4.2 cores=1,3,5,7
/proc/1580/task/1642/stat : 1642 (java) S 1577 1580 32236 0 -1 1077944384 24773 13060 0 0 411 2 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951539726704 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1643] ppid=1577 vsize=10840844 memory=288230617509003574 CPUtime=3.06 cores=1,3,5,7
/proc/1580/task/1643/stat : 1643 (java) S 1577 1580 32236 0 -1 1077944384 13504 13060 0 0 297 2 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951538673904 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1644] ppid=1577 vsize=10840844 memory=13850763545806412 CPUtime=1.41 cores=1,3,5,7
/proc/1580/task/1644/stat : 1644 (java) S 1577 1580 32236 0 -1 1077944384 20663 13060 0 0 131 3 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951537621104 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1645] ppid=1577 vsize=10840844 memory=54457 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1645/stat : 1645 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994385 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950631504096 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1646] ppid=1577 vsize=10840844 memory=54644 CPUtime=0.77 cores=1,3,5,7
/proc/1580/task/1646/stat : 1646 (java) S 1577 1580 32236 0 -1 1077944384 847 13060 0 0 38 32 4 3 20 0 15 0 443994385 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951536569520 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
Current children cumulated CPU time: 2523.6 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8366120 KiB
[startup+847.201 s]
/proc/loadavg: 4.40 3.84 2.80 6/227 1721
/proc/meminfo: memFree=20104368/32770624 swapFree=66958316/67108860
[pid=1580] ppid=1577 vsize=10840844 memory=8366120 CPUtime=2526.78 cores=1,3,5,7
/proc/1580/stat : 1580 (java) S 1577 1580 32236 0 -1 1077944320 482244 13060 0 0 252027 644 4 3 20 0 15 0 443994370 11101024256 2091530 33554432000 4194304 4196468 140734687197760 140734687180304 139952115240695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
/proc/1580/statm: 2710211 2091530 3631 1 0 2672269 0
[pid=1580/tid=1633] ppid=1577 vsize=10840844 memory=8112282956445269571 CPUtime=218.13 cores=1,3,5,7
/proc/1580/task/1633/stat : 1633 (java) S 1577 1580 32236 0 -1 1077944384 58694 13060 0 0 21787 19 4 3 20 0 15 0 443994379 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139952087073504 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1634] ppid=1577 vsize=10840844 memory=988 CPUtime=558.78 cores=1,3,5,7
/proc/1580/task/1634/stat : 1634 (java) R 1577 1580 32236 0 -1 4202560 44401 13060 0 0 55728 143 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139952119483224 139952100191765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1635] ppid=1577 vsize=10840844 memory=2020 CPUtime=557.35 cores=1,3,5,7
/proc/1580/task/1635/stat : 1635 (java) R 1577 1580 32236 0 -1 4202560 42436 13060 0 0 55573 155 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951688231440 139952100225991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1636] ppid=1577 vsize=10840844 memory=1432 CPUtime=559.15 cores=1,3,5,7
/proc/1580/task/1636/stat : 1636 (java) R 1577 1580 32236 0 -1 4202560 40100 13060 0 0 55762 146 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951687178840 139952099938320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1637] ppid=1577 vsize=10840844 memory=776 CPUtime=558.06 cores=1,3,5,7
/proc/1580/task/1637/stat : 1637 (java) R 1577 1580 32236 0 -1 4202560 40286 13060 0 0 55646 153 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951686126040 139952095266829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1638] ppid=1577 vsize=10840844 memory=8366120 CPUtime=66.4 cores=1,3,5,7
/proc/1580/task/1638/stat : 1638 (java) S 1577 1580 32236 0 -1 1077944384 194223 13060 0 0 6622 11 4 3 20 0 15 0 443994381 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951574336736 139952115250901 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1639] ppid=1577 vsize=10840844 memory=8366120 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1639/stat : 1639 (java) S 1577 1580 32236 0 -1 1077944384 75 13060 0 0 0 0 4 3 20 0 15 0 443994381 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951573284448 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1640] ppid=1577 vsize=10840844 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1640/stat : 1640 (java) S 1577 1580 32236 0 -1 1077944384 25 13060 0 0 0 0 4 3 20 0 15 0 443994382 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950972462464 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1641] ppid=1577 vsize=10840844 memory=1560 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1641/stat : 1641 (java) S 1577 1580 32236 0 -1 1077944384 7 13060 0 0 0 0 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950665062384 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1642] ppid=1577 vsize=10840844 memory=932 CPUtime=4.2 cores=1,3,5,7
/proc/1580/task/1642/stat : 1642 (java) S 1577 1580 32236 0 -1 1077944384 24773 13060 0 0 411 2 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951539726704 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1643] ppid=1577 vsize=10840844 memory=1056 CPUtime=3.06 cores=1,3,5,7
/proc/1580/task/1643/stat : 1643 (java) S 1577 1580 32236 0 -1 1077944384 13504 13060 0 0 297 2 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951538673904 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1644] ppid=1577 vsize=10840844 memory=4000 CPUtime=1.41 cores=1,3,5,7
/proc/1580/task/1644/stat : 1644 (java) S 1577 1580 32236 0 -1 1077944384 20663 13060 0 0 131 3 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951537621104 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1645] ppid=1577 vsize=10840844 memory=1552 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1645/stat : 1645 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994385 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950631504096 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1646] ppid=1577 vsize=10840844 memory=1712 CPUtime=0.77 cores=1,3,5,7
/proc/1580/task/1646/stat : 1646 (java) S 1577 1580 32236 0 -1 1077944384 847 13060 0 0 38 32 4 3 20 0 15 0 443994385 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951536569520 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
Current children cumulated CPU time: 2526.78 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8366120 KiB
[startup+847.401 s]
/proc/loadavg: 4.40 3.84 2.80 6/227 1721
/proc/meminfo: memFree=20104368/32770624 swapFree=66958316/67108860
[pid=1580] ppid=1577 vsize=10840844 memory=8366120 CPUtime=2527.58 cores=1,3,5,7
/proc/1580/stat : 1580 (java) S 1577 1580 32236 0 -1 1077944320 482244 13060 0 0 252107 644 4 3 20 0 15 0 443994370 11101024256 2091530 33554432000 4194304 4196468 140734687197760 140734687180304 139952115240695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
/proc/1580/statm: 2710211 2091530 3631 1 0 2672269 0
[pid=1580/tid=1633] ppid=1577 vsize=10840844 memory=8112282956445269571 CPUtime=218.13 cores=1,3,5,7
/proc/1580/task/1633/stat : 1633 (java) S 1577 1580 32236 0 -1 1077944384 58694 13060 0 0 21787 19 4 3 20 0 15 0 443994379 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139952087073504 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1634] ppid=1577 vsize=10840844 memory=25800 CPUtime=558.98 cores=1,3,5,7
/proc/1580/task/1634/stat : 1634 (java) R 1577 1580 32236 0 -1 4202560 44401 13060 0 0 55748 143 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139952119483224 139952099938470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1635] ppid=1577 vsize=10840844 memory=2120 CPUtime=557.55 cores=1,3,5,7
/proc/1580/task/1635/stat : 1635 (java) R 1577 1580 32236 0 -1 4202560 42436 13060 0 0 55593 155 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951688231440 139952100191424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1636] ppid=1577 vsize=10840844 memory=508 CPUtime=559.35 cores=1,3,5,7
/proc/1580/task/1636/stat : 1636 (java) R 1577 1580 32236 0 -1 4202560 40100 13060 0 0 55782 146 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951687178840 139952100191302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1637] ppid=1577 vsize=10840844 memory=1560 CPUtime=558.26 cores=1,3,5,7
/proc/1580/task/1637/stat : 1637 (java) R 1577 1580 32236 0 -1 4202560 40286 13060 0 0 55666 153 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951686126040 139952100999008 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1638] ppid=1577 vsize=10840844 memory=932 CPUtime=66.4 cores=1,3,5,7
/proc/1580/task/1638/stat : 1638 (java) S 1577 1580 32236 0 -1 1077944384 194223 13060 0 0 6622 11 4 3 20 0 15 0 443994381 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951574336736 139952115250901 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1639] ppid=1577 vsize=10840844 memory=1044 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1639/stat : 1639 (java) S 1577 1580 32236 0 -1 1077944384 75 13060 0 0 0 0 4 3 20 0 15 0 443994381 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951573284448 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1640] ppid=1577 vsize=10840844 memory=712 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1640/stat : 1640 (java) S 1577 1580 32236 0 -1 1077944384 25 13060 0 0 0 0 4 3 20 0 15 0 443994382 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950972462464 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1641] ppid=1577 vsize=10840844 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1641/stat : 1641 (java) S 1577 1580 32236 0 -1 1077944384 7 13060 0 0 0 0 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950665062384 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1642] ppid=1577 vsize=10840844 memory=8020 CPUtime=4.2 cores=1,3,5,7
/proc/1580/task/1642/stat : 1642 (java) S 1577 1580 32236 0 -1 1077944384 24773 13060 0 0 411 2 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951539726704 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1643] ppid=1577 vsize=10840844 memory=10428 CPUtime=3.06 cores=1,3,5,7
/proc/1580/task/1643/stat : 1643 (java) S 1577 1580 32236 0 -1 1077944384 13504 13060 0 0 297 2 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951538673904 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1644] ppid=1577 vsize=10840844 memory=14012 CPUtime=1.41 cores=1,3,5,7
/proc/1580/task/1644/stat : 1644 (java) S 1577 1580 32236 0 -1 1077944384 20663 13060 0 0 131 3 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951537621104 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1645] ppid=1577 vsize=10840844 memory=8366120 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1645/stat : 1645 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994385 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950631504096 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1646] ppid=1577 vsize=10840844 memory=4096 CPUtime=0.77 cores=1,3,5,7
/proc/1580/task/1646/stat : 1646 (java) S 1577 1580 32236 0 -1 1077944384 847 13060 0 0 38 32 4 3 20 0 15 0 443994385 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951536569520 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
Current children cumulated CPU time: 2527.58 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8366120 KiB
[startup+847.501 s]
/proc/loadavg: 4.40 3.84 2.80 6/227 1721
/proc/meminfo: memFree=20104368/32770624 swapFree=66958316/67108860
[pid=1580] ppid=1577 vsize=10840844 memory=8366120 CPUtime=2527.98 cores=1,3,5,7
/proc/1580/stat : 1580 (java) S 1577 1580 32236 0 -1 1077944320 482247 13060 0 0 252147 644 4 3 20 0 15 0 443994370 11101024256 2091530 33554432000 4194304 4196468 140734687197760 140734687180304 139952115240695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
/proc/1580/statm: 2710211 2091530 3631 1 0 2672269 0
[pid=1580/tid=1633] ppid=1577 vsize=10840844 memory=3612 CPUtime=218.13 cores=1,3,5,7
/proc/1580/task/1633/stat : 1633 (java) S 1577 1580 32236 0 -1 1077944384 58694 13060 0 0 21787 19 4 3 20 0 15 0 443994379 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139952087073504 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1634] ppid=1577 vsize=10840844 memory=8366120 CPUtime=559.08 cores=1,3,5,7
/proc/1580/task/1634/stat : 1634 (java) R 1577 1580 32236 0 -1 4202560 44404 13060 0 0 55758 143 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139952119483224 139952099938305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1635] ppid=1577 vsize=10840844 memory=8366108 CPUtime=557.65 cores=1,3,5,7
/proc/1580/task/1635/stat : 1635 (java) R 1577 1580 32236 0 -1 4202560 42436 13060 0 0 55603 155 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951688231440 139952100225991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1636] ppid=1577 vsize=10840844 memory=8366116 CPUtime=559.45 cores=1,3,5,7
/proc/1580/task/1636/stat : 1636 (java) R 1577 1580 32236 0 -1 4202560 40100 13060 0 0 55792 146 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951687178840 139952100225732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1637] ppid=1577 vsize=10840844 memory=8366116 CPUtime=558.36 cores=1,3,5,7
/proc/1580/task/1637/stat : 1637 (java) R 1577 1580 32236 0 -1 4202560 40286 13060 0 0 55676 153 4 3 20 0 15 0 443994380 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951686126040 139952095266881 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1638] ppid=1577 vsize=10840844 memory=8366120 CPUtime=66.4 cores=1,3,5,7
/proc/1580/task/1638/stat : 1638 (java) S 1577 1580 32236 0 -1 1077944384 194223 13060 0 0 6622 11 4 3 20 0 15 0 443994381 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951574336736 139952115250901 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1639] ppid=1577 vsize=10840844 memory=279446411592832 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1639/stat : 1639 (java) S 1577 1580 32236 0 -1 1077944384 75 13060 0 0 0 0 4 3 20 0 15 0 443994381 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951573284448 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1640] ppid=1577 vsize=10840844 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1640/stat : 1640 (java) S 1577 1580 32236 0 -1 1077944384 25 13060 0 0 0 0 4 3 20 0 15 0 443994382 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950972462464 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1641] ppid=1577 vsize=10840844 memory=8366120 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1641/stat : 1641 (java) S 1577 1580 32236 0 -1 1077944384 7 13060 0 0 0 0 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950665062384 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1642] ppid=1577 vsize=10840844 memory=8366120 CPUtime=4.2 cores=1,3,5,7
/proc/1580/task/1642/stat : 1642 (java) S 1577 1580 32236 0 -1 1077944384 24773 13060 0 0 411 2 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951539726704 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1643] ppid=1577 vsize=10840844 memory=8366116 CPUtime=3.06 cores=1,3,5,7
/proc/1580/task/1643/stat : 1643 (java) S 1577 1580 32236 0 -1 1077944384 13504 13060 0 0 297 2 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951538673904 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1644] ppid=1577 vsize=10840844 memory=146492744535190 CPUtime=1.41 cores=1,3,5,7
/proc/1580/task/1644/stat : 1644 (java) S 1577 1580 32236 0 -1 1077944384 20663 13060 0 0 131 3 4 3 20 0 15 0 443994384 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951537621104 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1645] ppid=1577 vsize=10840844 memory=776 CPUtime=0.07 cores=1,3,5,7
/proc/1580/task/1645/stat : 1645 (java) S 1577 1580 32236 0 -1 1077944384 3 13060 0 0 0 0 4 3 20 0 15 0 443994385 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139950631504096 139952115250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
[pid=1580/tid=1646] ppid=1577 vsize=10840844 memory=3612 CPUtime=0.77 cores=1,3,5,7
/proc/1580/task/1646/stat : 1646 (java) S 1577 1580 32236 0 -1 1077944384 847 13060 0 0 38 32 4 3 20 0 15 0 443994385 11101024256 2091530 33554432000 4194304 4196468 140734687197760 139951536569520 139952115251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140734687202031 140734687204549 140734687204549 140734687207375 0
Current children cumulated CPU time: 2527.98 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8366120 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 847.55
CPU time (s): 2528.09
CPU user time (s): 2521.57
CPU system time (s): 6.51952
CPU usage (%): 298.282
Max. virtual memory (cumulated for all children) (KiB): 10840844
Max. memory (cumulated for all children) (KiB): 8376376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2521.57
system time used= 6.51952
maximum resident set size= 8376376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34813
involuntary context switches= 20776
# summary of solver processes directly reported to runsolver:
# pid: 1580
# total CPU time (s): 2528.09
# total CPU user time (s): 2521.57
# total CPU system time (s): 6.51952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.09413 second user time and 8.5292 second system time
The end