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 (7492 MiB free)
memory of node 1: 16384 MiB (15577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263525-1502627177/watcher-4263525-1502627177 -o /tmp/evaluation-result-4263525-1502627177/solver-4263525-1502627177 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502619645-14325 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263525-1502627177.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=16640, runsolver pid=16637
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.33 4.82 4.39 5/214 16653
/proc/meminfo: memFree=23611776/32770624 swapFree=67108764/67108860
[pid=16640] ppid=16637 vsize=10484492 memory=22736 CPUtime=0.05 cores=1,3,5,7
/proc/16640/stat : 16640 (java) S 16637 16640 4674 0 -1 1077944320 4648 0 0 0 5 0 0 0 20 0 14 0 110224143 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140722698900848 140666006785783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
/proc/16640/statm: 2621123 5684 2569 1 0 2610620 0
[pid=16640/tid=16642] ppid=16637 vsize=10484492 memory=-6439968830534014599 CPUtime=0.04 cores=1,3,5,7
/proc/16640/task/16642/stat : 16642 (java) D 16637 16640 4674 0 -1 4202560 2755 0 0 0 4 0 0 0 20 0 14 0 110224148 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140666011023264 140666006807805 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16643] ppid=16637 vsize=10484492 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16643/stat : 16643 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 110224149 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665953135760 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16644] ppid=16637 vsize=10484492 memory=140573117253248 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16644/stat : 16644 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 110224149 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665952082960 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16645] ppid=16637 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16645/stat : 16645 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 110224149 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665615604624 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16646] ppid=16637 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16646/stat : 16646 (java) S 16637 16640 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 110224149 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665614551824 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16647] ppid=16637 vsize=10484492 memory=140573117253248 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16647/stat : 16647 (java) S 16637 16640 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 110224150 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665570974064 140666006796930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16648] ppid=16637 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16648/stat : 16648 (java) S 16637 16640 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 110224151 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665569920032 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16649] ppid=16637 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16649/stat : 16649 (java) S 16637 16640 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 110224151 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665568867184 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16650] ppid=16637 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16650/stat : 16650 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 110224153 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665567815504 140666006804379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16651] ppid=16637 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16651/stat : 16651 (java) S 16637 16640 4674 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 14 0 110224153 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665566763888 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16652] ppid=16637 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16652/stat : 16652 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 110224153 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665565711088 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16653] ppid=16637 vsize=10484492 memory=140573117253248 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16653/stat : 16653 (java) S 16637 16640 4674 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 14 0 110224153 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665564658288 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16654] ppid=16637 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16654/stat : 16654 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 110224154 10736119808 5684 18446744073709551615 4194304 4196468 140722698918304 140665563605728 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 22736 KiB
[startup+0.210363 s]*
/proc/loadavg: 4.33 4.82 4.39 4/216 16655
/proc/meminfo: memFree=23608796/32770624 swapFree=67108764/67108860
[pid=16640] ppid=16637 vsize=10552180 memory=27620 CPUtime=0.11 cores=1,3,5,7
/proc/16640/stat : 16640 (java) S 16637 16640 4674 0 -1 1077944320 6313 0 0 0 10 1 0 0 20 0 15 0 110224143 10805432320 6905 18446744073709551615 4194304 4196468 140722698918304 140722698900848 140666006785783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
/proc/16640/statm: 2638045 6905 2801 1 0 2627517 0
[pid=16640/tid=16642] ppid=16637 vsize=10552180 memory=8318255677412212789 CPUtime=0.08 cores=1,3,5,7
/proc/16640/task/16642/stat : 16642 (java) R 16637 16640 4674 0 -1 4202560 4458 0 0 0 7 1 0 0 20 0 15 0 110224148 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140666010974128 140665999465501 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16643] ppid=16637 vsize=10552180 memory=329 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16643/stat : 16643 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224149 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140665953135760 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16644] ppid=16637 vsize=10552180 memory=140573117269848 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16644/stat : 16644 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224149 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140665952082960 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16645] ppid=16637 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16645/stat : 16645 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224149 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140665615604624 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16646] ppid=16637 vsize=10552180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16646/stat : 16646 (java) S 16637 16640 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110224149 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140665614551824 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16647] ppid=16637 vsize=10552180 memory=140573117253248 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16647/stat : 16647 (java) S 16637 16640 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110224150 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140665570974064 140666006796930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16648] ppid=16637 vsize=10552180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16648/stat : 16648 (java) S 16637 16640 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110224151 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140665569920032 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16649] ppid=16637 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16649/stat : 16649 (java) S 16637 16640 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 110224151 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140665568867184 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16650] ppid=16637 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16650/stat : 16650 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110224153 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140665567815504 140666006804379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16651] ppid=16637 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16651/stat : 16651 (java) S 16637 16640 4674 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 110224153 10805432320 7169 18446744073709551615 4194304 4196468 140722698918304 140665566763888 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16652] ppid=16637 vsize=10552180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16652/stat : 16652 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110224153 10805432320 7235 18446744073709551615 4194304 4196468 140722698918304 140665565711088 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16653] ppid=16637 vsize=10552180 memory=140573117253248 CPUtime=0.01 cores=1,3,5,7
/proc/16640/task/16653/stat : 16653 (java) S 16637 16640 4674 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 15 0 110224153 10805432320 7235 18446744073709551615 4194304 4196468 140722698918304 140665564658288 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16654] ppid=16637 vsize=10552180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16654/stat : 16654 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110224154 10805432320 7235 18446744073709551615 4194304 4196468 140722698918304 140665563605728 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16655] ppid=16637 vsize=10552180 memory=140573117253248 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16655/stat : 16655 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224161 10805432320 7235 18446744073709551615 4194304 4196468 140722698918304 140665562553008 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10552180 KiB
Current children cumulated memory: 27620 KiB
[startup+0.310429 s]*
/proc/loadavg: 4.33 4.82 4.39 4/216 16655
/proc/meminfo: memFree=23597932/32770624 swapFree=67108764/67108860
[pid=16640] ppid=16637 vsize=10551156 memory=36868 CPUtime=0.26 cores=1,3,5,7
/proc/16640/stat : 16640 (java) S 16637 16640 4674 0 -1 1077944320 8520 0 0 0 23 3 0 0 20 0 15 0 110224143 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140722698900848 140666006785783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
/proc/16640/statm: 2637789 9217 2880 1 0 2627261 0
[pid=16640/tid=16642] ppid=16637 vsize=10551156 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/16640/task/16642/stat : 16642 (java) R 16637 16640 4674 0 -1 4202560 6122 0 0 0 16 2 0 0 20 0 15 0 110224148 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140666011024272 140665631689724 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16643] ppid=16637 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16643/stat : 16643 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224149 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665953135760 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16644] ppid=16637 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16644/stat : 16644 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224149 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665952082960 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16645] ppid=16637 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16645/stat : 16645 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224149 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665615604624 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16646] ppid=16637 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16646/stat : 16646 (java) S 16637 16640 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110224149 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665614551824 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16647] ppid=16637 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16647/stat : 16647 (java) S 16637 16640 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110224150 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665570974064 140666006796930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16648] ppid=16637 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16648/stat : 16648 (java) S 16637 16640 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110224151 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665569920032 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16649] ppid=16637 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16649/stat : 16649 (java) S 16637 16640 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 110224151 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665568867184 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16650] ppid=16637 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16650/stat : 16650 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110224153 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665567815504 140666006804379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16651] ppid=16637 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16640/task/16651/stat : 16651 (java) S 16637 16640 4674 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 110224153 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665566763888 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16652] ppid=16637 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16640/task/16652/stat : 16652 (java) S 16637 16640 4674 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 15 0 110224153 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665565711088 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16653] ppid=16637 vsize=10551156 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16640/task/16653/stat : 16653 (java) R 16637 16640 4674 0 -1 4202560 442 0 0 0 4 0 0 0 20 0 15 0 110224153 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665564658288 140665990866270 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16654] ppid=16637 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16654/stat : 16654 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110224154 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665563605728 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16655] ppid=16637 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16655/stat : 16655 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224161 10804383744 9217 18446744073709551615 4194304 4196468 140722698918304 140665562553008 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36868 KiB
[startup+0.701108 s]
/proc/loadavg: 4.33 4.82 4.39 6/216 16655
/proc/meminfo: memFree=23586656/32770624 swapFree=67108764/67108860
[pid=16640] ppid=16637 vsize=10551232 memory=91728 CPUtime=1.27 cores=1,3,5,7
/proc/16640/stat : 16640 (java) S 16637 16640 4674 0 -1 1077944320 11592 0 0 0 123 4 0 0 20 0 15 0 110224143 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140722698900848 140666006785783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
/proc/16640/statm: 2637808 22932 3055 1 0 2627261 0
[pid=16640/tid=16642] ppid=16637 vsize=10551232 memory=1724 CPUtime=0.55 cores=1,3,5,7
/proc/16640/task/16642/stat : 16642 (java) R 16637 16640 4674 0 -1 4202560 6955 0 0 0 52 3 0 0 20 0 15 0 110224148 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140666010996752 140665634836716 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16643] ppid=16637 vsize=10551232 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16643/stat : 16643 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224149 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665953135760 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16644] ppid=16637 vsize=10551232 memory=11020 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16644/stat : 16644 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224149 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665952082960 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16645] ppid=16637 vsize=10551232 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16645/stat : 16645 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224149 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665615604624 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16646] ppid=16637 vsize=10551232 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16646/stat : 16646 (java) S 16637 16640 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 110224149 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665614551824 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16647] ppid=16637 vsize=10551232 memory=796 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16647/stat : 16647 (java) S 16637 16640 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 110224150 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665570974064 140666006796930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16648] ppid=16637 vsize=10551232 memory=984 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16648/stat : 16648 (java) S 16637 16640 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 110224151 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665569920032 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16649] ppid=16637 vsize=10551232 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16649/stat : 16649 (java) S 16637 16640 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 110224151 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665568867184 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16650] ppid=16637 vsize=10551232 memory=4572 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16650/stat : 16650 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110224153 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665567815504 140666006804379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16651] ppid=16637 vsize=10551232 memory=1444 CPUtime=0.2 cores=1,3,5,7
/proc/16640/task/16651/stat : 16651 (java) R 16637 16640 4674 0 -1 4202560 1150 0 0 0 20 0 0 0 20 0 15 0 110224153 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665566745088 140665992815842 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16652] ppid=16637 vsize=10551232 memory=12304 CPUtime=0.21 cores=1,3,5,7
/proc/16640/task/16652/stat : 16652 (java) R 16637 16640 4674 0 -1 4202560 760 0 0 0 21 0 0 0 20 0 15 0 110224153 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665565692104 140665986478824 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16653] ppid=16637 vsize=10551232 memory=1204 CPUtime=0.28 cores=1,3,5,7
/proc/16640/task/16653/stat : 16653 (java) R 16637 16640 4674 0 -1 4202560 1356 0 0 0 28 0 0 0 20 0 15 0 110224153 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665564658288 140665999502935 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16654] ppid=16637 vsize=10551232 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16654/stat : 16654 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 110224154 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665563605728 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16655] ppid=16637 vsize=10551232 memory=49588 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16655/stat : 16655 (java) S 16637 16640 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 110224161 10804461568 22932 18446744073709551615 4194304 4196468 140722698918304 140665562553008 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 91728 KiB
[startup+1.50078 s]
/proc/loadavg: 4.33 4.82 4.39 3/216 16655
/proc/meminfo: memFree=23402332/32770624 swapFree=67108764/67108860
[pid=16640] ppid=16637 vsize=10551232 memory=379980 CPUtime=3.35 cores=1,3,5,7
/proc/16640/stat : 16640 (java) S 16637 16640 4674 0 -1 1077944320 15809 0 0 0 308 27 0 0 20 0 15 0 110224143 10804461568 94995 18446744073709551615 4194304 4196468 140722698918304 140722698900848 140666006785783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
/proc/16640/statm: 2637808 94995 3098 1 0 2627261 0
[pid=16640/tid=16642] ppid=16637 vsize=10551232 memory=4148 CPUtime=1.17 cores=1,3,5,7
/proc/16640/task/16642/stat : 16642 (java) R 16637 16640 4674 0 -1 4202560 7990 0 0 0 112 5 0 0 20 0 15 0 110224148 10804461568 94995 18446744073709551615 4194304 4196468 140722698918304 140666010994592 140666006797718 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16643] ppid=16637 vsize=10551232 memory=53404 CPUtime=0.17 cores=1,3,5,7
/proc/16640/task/16643/stat : 16643 (java) S 16637 16640 4674 0 -1 1077944384 133 0 0 0 12 5 0 0 20 0 15 0 110224149 10804461568 94995 18446744073709551615 4194304 4196468 140722698918304 140665953135760 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16644] ppid=16637 vsize=10551232 memory=1296 CPUtime=0.16 cores=1,3,5,7
/proc/16640/task/16644/stat : 16644 (java) S 16637 16640 4674 0 -1 1077944384 153 0 0 0 12 4 0 0 20 0 15 0 110224149 10804461568 94995 18446744073709551615 4194304 4196468 140722698918304 140665952082960 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16645] ppid=16637 vsize=10551232 memory=2320 CPUtime=0.14 cores=1,3,5,7
/proc/16640/task/16645/stat : 16645 (java) S 16637 16640 4674 0 -1 1077944384 123 0 0 0 10 4 0 0 20 0 15 0 110224149 10804461568 94995 18446744073709551615 4194304 4196468 140722698918304 140665615604624 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16646] ppid=16637 vsize=10551232 memory=1724 CPUtime=0.17 cores=1,3,5,7
/proc/16640/task/16646/stat : 16646 (java) S 16637 16640 4674 0 -1 1077944384 146 0 0 0 12 5 0 0 20 0 15 0 110224149 10804461568 94995 18446744073709551615 4194304 4196468 140722698918304 140665614551824 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16647] ppid=16637 vsize=10551232 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16647/stat : 16647 (java) S 16637 16640 4674 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 110224150 10804461568 94995 18446744073709551615 4194304 4196468 140722698918304 140665570974064 140666006796930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16648] ppid=16637 vsize=10551232 memory=11020 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16648/stat : 16648 (java) S 16637 16640 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 110224151 10804461568 94995 18446744073709551615 4194304 4196468 140722698918304 140665569920032 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
################
# More data... #
################
/proc/16640/task/16645/stat : 16645 (java) S 16637 16640 4674 0 -1 1077944384 2954 0 0 0 217 66 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665615604624 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16646] ppid=16637 vsize=10617796 memory=2684644 CPUtime=2.85 cores=1,3,5,7
/proc/16640/task/16646/stat : 16646 (java) S 16637 16640 4674 0 -1 1077944384 3571 0 0 0 219 66 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665614551824 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16647] ppid=16637 vsize=10617796 memory=15880 CPUtime=0.65 cores=1,3,5,7
/proc/16640/task/16647/stat : 16647 (java) S 16637 16640 4674 0 -1 1077944384 12196 0 0 0 61 4 0 0 20 0 16 0 110224150 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665570974064 140666006796930 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16648] ppid=16637 vsize=10617796 memory=2684644 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16648/stat : 16648 (java) S 16637 16640 4674 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 110224151 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665569920096 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16649] ppid=16637 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16649/stat : 16649 (java) S 16637 16640 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 110224151 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665568867200 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16650] ppid=16637 vsize=10617796 memory=2684644 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16650/stat : 16650 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665567815504 140666006804379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16651] ppid=16637 vsize=10617796 memory=2684644 CPUtime=1.24 cores=1,3,5,7
/proc/16640/task/16651/stat : 16651 (java) S 16637 16640 4674 0 -1 1077944384 6430 0 0 0 123 1 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665566763888 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16652] ppid=16637 vsize=10617796 memory=2684644 CPUtime=1.16 cores=1,3,5,7
/proc/16640/task/16652/stat : 16652 (java) S 16637 16640 4674 0 -1 1077944384 4814 0 0 0 115 1 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665565711088 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16653] ppid=16637 vsize=10617796 memory=-8774313645642428999 CPUtime=0.52 cores=1,3,5,7
/proc/16640/task/16653/stat : 16653 (java) S 16637 16640 4674 0 -1 1077944384 3747 0 0 0 51 1 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665564658288 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16654] ppid=16637 vsize=10617796 memory=2320 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16654/stat : 16654 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110224154 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665563605728 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16655] ppid=16637 vsize=10617796 memory=1724 CPUtime=1.51 cores=1,3,5,7
/proc/16640/task/16655/stat : 16655 (java) S 16637 16640 4674 0 -1 1077944384 1951 0 0 0 70 81 0 0 20 0 16 0 110224161 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665562553008 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16656] ppid=16637 vsize=10617796 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16656/stat : 16656 (java) S 16637 16640 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 110224295 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665561498544 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
Current children cumulated CPU time: 2455.26 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 2684644 KiB
[startup+2502.3 s]
/proc/loadavg: 2.75 2.26 2.32 3/216 16886
/proc/meminfo: memFree=22311660/32770624 swapFree=67108764/67108860
[pid=16640] ppid=16637 vsize=10617796 memory=2684644 CPUtime=2515.31 cores=1,3,5,7
/proc/16640/stat : 16640 (java) S 16637 16640 4674 0 -1 1077944320 100804 0 0 0 251166 365 0 0 20 0 16 0 110224143 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140722698900848 140666006785783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
/proc/16640/statm: 2654449 671161 3135 1 0 2643902 0
[pid=16640/tid=16642] ppid=16637 vsize=10617796 memory=2684644 CPUtime=2498.74 cores=1,3,5,7
/proc/16640/task/16642/stat : 16642 (java) R 16637 16640 4674 0 -1 4202560 55215 0 0 0 249856 18 0 0 20 0 16 0 110224148 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140666011021792 140665636837198 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16643] ppid=16637 vsize=10617796 memory=2684644 CPUtime=2.85 cores=1,3,5,7
/proc/16640/task/16643/stat : 16643 (java) S 16637 16640 4674 0 -1 1077944384 4122 0 0 0 218 67 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665953135760 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16644] ppid=16637 vsize=10617796 memory=2684644 CPUtime=2.83 cores=1,3,5,7
/proc/16640/task/16644/stat : 16644 (java) S 16637 16640 4674 0 -1 1077944384 4261 0 0 0 217 66 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665952082960 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16645] ppid=16637 vsize=10617796 memory=2684644 CPUtime=2.83 cores=1,3,5,7
/proc/16640/task/16645/stat : 16645 (java) S 16637 16640 4674 0 -1 1077944384 2954 0 0 0 217 66 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665615604624 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16646] ppid=16637 vsize=10617796 memory=2684644 CPUtime=2.85 cores=1,3,5,7
/proc/16640/task/16646/stat : 16646 (java) S 16637 16640 4674 0 -1 1077944384 3571 0 0 0 219 66 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665614551824 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16647] ppid=16637 vsize=10617796 memory=2684644 CPUtime=0.65 cores=1,3,5,7
/proc/16640/task/16647/stat : 16647 (java) S 16637 16640 4674 0 -1 1077944384 12214 0 0 0 61 4 0 0 20 0 16 0 110224150 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665570974064 140666006796930 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16648] ppid=16637 vsize=10617796 memory=2684644 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16648/stat : 16648 (java) S 16637 16640 4674 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 110224151 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665569920096 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16649] ppid=16637 vsize=10617796 memory=2684644 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16649/stat : 16649 (java) S 16637 16640 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 110224151 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665568867200 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16650] ppid=16637 vsize=10617796 memory=3052 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16650/stat : 16650 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665567815504 140666006804379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16651] ppid=16637 vsize=10617796 memory=4064 CPUtime=1.24 cores=1,3,5,7
/proc/16640/task/16651/stat : 16651 (java) S 16637 16640 4674 0 -1 1077944384 6450 0 0 0 123 1 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665566763888 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16652] ppid=16637 vsize=10617796 memory=2684644 CPUtime=1.16 cores=1,3,5,7
/proc/16640/task/16652/stat : 16652 (java) S 16637 16640 4674 0 -1 1077944384 4826 0 0 0 115 1 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665565711088 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16653] ppid=16637 vsize=10617796 memory=4148 CPUtime=0.52 cores=1,3,5,7
/proc/16640/task/16653/stat : 16653 (java) S 16637 16640 4674 0 -1 1077944384 3755 0 0 0 51 1 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665564658288 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16654] ppid=16637 vsize=10617796 memory=53520 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16654/stat : 16654 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110224154 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665563605728 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16655] ppid=16637 vsize=10617796 memory=2684644 CPUtime=1.55 cores=1,3,5,7
/proc/16640/task/16655/stat : 16655 (java) S 16637 16640 4674 0 -1 1077944384 2028 0 0 0 72 83 0 0 20 0 16 0 110224161 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665562553008 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16656] ppid=16637 vsize=10617796 memory=2684644 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16656/stat : 16656 (java) S 16637 16640 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 110224295 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665561498544 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
Current children cumulated CPU time: 2515.31 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 2684644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507 s]*
/proc/loadavg: 2.77 2.27 2.33 3/216 16886
/proc/meminfo: memFree=22311660/32770624 swapFree=67108764/67108860
[pid=16640] ppid=16637 vsize=10617796 memory=2684644 CPUtime=2520.02 cores=1,3,5,7
/proc/16640/stat : 16640 (java) S 16637 16640 4674 0 -1 1077944320 100820 0 0 0 251637 365 0 0 20 0 16 0 110224143 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140722698900848 140666006785783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
/proc/16640/statm: 2654449 671161 3135 1 0 2643902 0
[pid=16640/tid=16642] ppid=16637 vsize=10617796 memory=8318255677412212789 CPUtime=2503.46 cores=1,3,5,7
/proc/16640/task/16642/stat : 16642 (java) R 16637 16640 4674 0 -1 4202560 55231 0 0 0 250327 19 0 0 20 0 16 0 110224148 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140666011021792 140665636784568 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16643] ppid=16637 vsize=10617796 memory=329 CPUtime=2.85 cores=1,3,5,7
/proc/16640/task/16643/stat : 16643 (java) S 16637 16640 4674 0 -1 1077944384 4122 0 0 0 218 67 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665953135760 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16644] ppid=16637 vsize=10617796 memory=140573117270141 CPUtime=2.83 cores=1,3,5,7
/proc/16640/task/16644/stat : 16644 (java) S 16637 16640 4674 0 -1 1077944384 4261 0 0 0 217 66 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665952082960 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16645] ppid=16637 vsize=10617796 memory=3472338204747914937 CPUtime=2.83 cores=1,3,5,7
/proc/16640/task/16645/stat : 16645 (java) S 16637 16640 4674 0 -1 1077944384 2954 0 0 0 217 66 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665615604624 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16646] ppid=16637 vsize=10617796 memory=64 CPUtime=2.85 cores=1,3,5,7
/proc/16640/task/16646/stat : 16646 (java) S 16637 16640 4674 0 -1 1077944384 3571 0 0 0 219 66 0 0 20 0 16 0 110224149 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665614551824 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16647] ppid=16637 vsize=10617796 memory=3184238493193221808 CPUtime=0.65 cores=1,3,5,7
/proc/16640/task/16647/stat : 16647 (java) S 16637 16640 4674 0 -1 1077944384 12214 0 0 0 61 4 0 0 20 0 16 0 110224150 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665570974064 140666006796930 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16648] ppid=16637 vsize=10617796 memory=7521983798963298163 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16648/stat : 16648 (java) S 16637 16640 4674 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 110224151 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665569920096 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16649] ppid=16637 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16649/stat : 16649 (java) S 16637 16640 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 110224151 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665568867200 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16650] ppid=16637 vsize=10617796 memory=288230377007612191 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16650/stat : 16650 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665567815504 140666006804379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16651] ppid=16637 vsize=10617796 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/16640/task/16651/stat : 16651 (java) S 16637 16640 4674 0 -1 1077944384 6450 0 0 0 123 1 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665566763888 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16652] ppid=16637 vsize=10617796 memory=7596551556270878571 CPUtime=1.16 cores=1,3,5,7
/proc/16640/task/16652/stat : 16652 (java) S 16637 16640 4674 0 -1 1077944384 4826 0 0 0 115 1 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665565711088 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16653] ppid=16637 vsize=10617796 memory=212028488173447 CPUtime=0.52 cores=1,3,5,7
/proc/16640/task/16653/stat : 16653 (java) S 16637 16640 4674 0 -1 1077944384 3755 0 0 0 51 1 0 0 20 0 16 0 110224153 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665564658288 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16654] ppid=16637 vsize=10617796 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16654/stat : 16654 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 110224154 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665563605728 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16655] ppid=16637 vsize=10617796 memory=3760700357927123127 CPUtime=1.55 cores=1,3,5,7
/proc/16640/task/16655/stat : 16655 (java) S 16637 16640 4674 0 -1 1077944384 2028 0 0 0 72 83 0 0 20 0 16 0 110224161 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665562553008 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16656] ppid=16637 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16656/stat : 16656 (java) S 16637 16640 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 110224295 10872623104 671161 18446744073709551615 4194304 4196468 140722698918304 140665561498544 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 2684644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.28 s]
# the end of solver process 16640 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.45 s, system=3.67654 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.2 s]
/proc/loadavg: 2.77 2.27 2.33 3/216 16886
/proc/meminfo: memFree=22311660/32770624 swapFree=67108764/67108860
[pid=16640] ppid=16637 vsize=10817488 memory=2684956 CPUtime=2520.04 cores=1,3,5,7
/proc/16640/stat : 16640 (java) S 16637 16640 4674 0 -1 1077944320 101738 0 0 0 251638 366 0 0 20 0 17 0 110224143 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140722698900848 140666006785783 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
/proc/16640/statm: 2704372 671239 3137 1 0 2693825 0
[pid=16640/tid=16642] ppid=16637 vsize=10817488 memory=3052 CPUtime=2503.47 cores=1,3,5,7
/proc/16640/task/16642/stat : 16642 (java) S 16637 16640 4674 0 -1 1077944384 55337 0 0 0 250328 19 0 0 20 0 17 0 110224148 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140666011028656 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16643] ppid=16637 vsize=10817488 memory=2684644 CPUtime=2.85 cores=1,3,5,7
/proc/16640/task/16643/stat : 16643 (java) S 16637 16640 4674 0 -1 1077944384 4122 0 0 0 218 67 0 0 20 0 17 0 110224149 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665953135760 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16644] ppid=16637 vsize=10817488 memory=-8774313645642428999 CPUtime=2.83 cores=1,3,5,7
/proc/16640/task/16644/stat : 16644 (java) S 16637 16640 4674 0 -1 1077944384 4261 0 0 0 217 66 0 0 20 0 17 0 110224149 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665952082960 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16645] ppid=16637 vsize=10817488 memory=1444 CPUtime=2.83 cores=1,3,5,7
/proc/16640/task/16645/stat : 16645 (java) S 16637 16640 4674 0 -1 1077944384 2954 0 0 0 217 66 0 0 20 0 17 0 110224149 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665615604624 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16646] ppid=16637 vsize=10817488 memory=12304 CPUtime=2.85 cores=1,3,5,7
/proc/16640/task/16646/stat : 16646 (java) S 16637 16640 4674 0 -1 1077944384 3571 0 0 0 219 66 0 0 20 0 17 0 110224149 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665614551824 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16647] ppid=16637 vsize=10817488 memory=1204 CPUtime=0.65 cores=1,3,5,7
/proc/16640/task/16647/stat : 16647 (java) S 16637 16640 4674 0 -1 1077944384 12214 0 0 0 61 4 0 0 20 0 17 0 110224150 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665570974064 140666006796930 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16648] ppid=16637 vsize=10817488 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16648/stat : 16648 (java) S 16637 16640 4674 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 110224151 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665569920096 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16649] ppid=16637 vsize=10817488 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16649/stat : 16649 (java) S 16637 16640 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 110224151 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665568867200 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16650] ppid=16637 vsize=10817488 memory=31904 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16650/stat : 16650 (java) S 16637 16640 4674 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 17 0 110224153 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665567815504 140666006804379 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16651] ppid=16637 vsize=10817488 memory=1232 CPUtime=1.24 cores=1,3,5,7
/proc/16640/task/16651/stat : 16651 (java) S 16637 16640 4674 0 -1 1077944384 6450 0 0 0 123 1 0 0 20 0 17 0 110224153 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665566763888 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16652] ppid=16637 vsize=10817488 memory=644 CPUtime=1.16 cores=1,3,5,7
/proc/16640/task/16652/stat : 16652 (java) S 16637 16640 4674 0 -1 1077944384 4826 0 0 0 115 1 0 0 20 0 17 0 110224153 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665565711088 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16653] ppid=16637 vsize=10817488 memory=1796 CPUtime=0.52 cores=1,3,5,7
/proc/16640/task/16653/stat : 16653 (java) S 16637 16640 4674 0 -1 1077944384 3912 0 0 0 51 1 0 0 20 0 17 0 110224153 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665564658288 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16654] ppid=16637 vsize=10817488 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/16640/task/16654/stat : 16654 (java) S 16637 16640 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 110224154 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665563605728 140666006795989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
[pid=16640/tid=16655] ppid=16637 vsize=10817488 memory=53520 CPUtime=1.55 cores=1,3,5,7
/proc/16640/task/16655/stat : 16655 (java) S 16637 16640 4674 0 -1 1077944384 2028 0 0 0 72 83 0 0 20 0 17 0 110224161 11077107712 671239 18446744073709551615 4194304 4196468 140722698918304 140665562553008 140666006796930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140722698924432 140722698924585 140722698924585 140722698928079 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 2684956 KiB
Child status: 143
Real time (s): 2507.28
CPU time (s): 2520.13
CPU user time (s): 2516.45
CPU system time (s): 3.67654
CPU usage (%): 100.513
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 2684956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.45
system time used= 3.67654
maximum resident set size= 2685284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103739
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56848
involuntary context switches= 1984
# summary of solver processes directly reported to runsolver:
# pid: 16640
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.45
# total CPU system time (s): 3.67654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0089 second user time and 24.1867 second system time
The end