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 (11763 MiB free)
memory of node 1: 16384 MiB (15512 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274801-1502885783/watcher-4274801-1502885783 -o /tmp/evaluation-result-4274801-1502885783/solver-4274801-1502885783 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502874807-20574 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1138864089 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274801-1502885783.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=22292, runsolver pid=22289
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 1.37 1.36 1.38 3/207 22301
/proc/meminfo: memFree=27920220/32770624 swapFree=67108860/67108860
[pid=22292] ppid=22289 vsize=13573664 memory=19604 CPUtime=0.04 cores=1,3,5,7
/proc/22292/stat : 22292 (java) S 22289 22292 11586 0 -1 1077944320 4316 0 0 0 3 1 0 0 20 0 9 0 76918909 13899431936 4901 18446744073709551615 4194304 4196468 140723084437072 140723084419616 139629424684791 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
/proc/22292/statm: 3393416 4901 2146 1 0 3382913 0
[pid=22292/tid=22294] ppid=22289 vsize=13573664 memory=7824612310230408096 CPUtime=0.03 cores=1,3,5,7
/proc/22292/task/22294/stat : 22294 (java) R 22289 22292 11586 0 -1 4202560 2945 0 0 0 3 0 0 0 20 0 9 0 76918915 13899431936 4901 18446744073709551615 4194304 4196468 140723084437072 139629428920184 139629065959281 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22295] ppid=22289 vsize=13573664 memory=732370685303811045 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22295/stat : 22295 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 76918916 13899431936 4901 18446744073709551615 4194304 4196468 140723084437072 139629024328336 139629424694997 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22296] ppid=22289 vsize=13573664 memory=140546966357632 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22296/stat : 22296 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 76918916 13899431936 4901 18446744073709551615 4194304 4196468 140723084437072 139629023275536 139629424694997 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22297] ppid=22289 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22297/stat : 22297 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 76918916 13899431936 4901 18446744073709551615 4194304 4196468 140723084437072 139629022222736 139629424694997 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22298] ppid=22289 vsize=13573664 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22298/stat : 22298 (java) S 22289 22292 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 76918916 13899431936 4901 18446744073709551615 4194304 4196468 140723084437072 139629021169936 139629424694997 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22299] ppid=22289 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22299/stat : 22299 (java) S 22289 22292 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 76918917 13899431936 4901 18446744073709551615 4194304 4196468 140723084437072 139628903340912 139629424695938 0 0 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22300] ppid=22289 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22300/stat : 22300 (java) S 22289 22292 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 76918918 13899431936 4901 18446744073709551615 4194304 4196468 140723084437072 139628902286880 139629424694997 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22301] ppid=22289 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22301/stat : 22301 (java) S 22289 22292 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 76918918 13899431936 4901 18446744073709551615 4194304 4196468 140723084437072 139628901234032 139629424694997 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 19604 KiB
[startup+0.210014 s]*
/proc/loadavg: 1.37 1.36 1.38 4/213 22307
/proc/meminfo: memFree=27907792/32770624 swapFree=67108860/67108860
[pid=22292] ppid=22289 vsize=13975920 memory=36652 CPUtime=0.17 cores=1,3,5,7
/proc/22292/stat : 22292 (java) S 22289 22292 11586 0 -1 1077944320 9805 0 0 0 15 2 0 0 20 0 15 0 76918909 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 140723084419616 139629424684791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
/proc/22292/statm: 3493980 9163 3492 1 0 3482759 0
[pid=22292/tid=22294] ppid=22289 vsize=13975920 memory=-4116735710718344508 CPUtime=0.11 cores=1,3,5,7
/proc/22292/task/22294/stat : 22294 (java) R 22289 22292 11586 0 -1 4202560 7578 0 0 0 10 1 0 0 20 0 15 0 76918915 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139629428907168 139629408765278 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22295] ppid=22289 vsize=13975920 memory=281093798430456 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22295/stat : 22295 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139629024328336 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22296] ppid=22289 vsize=13975920 memory=140546966357632 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22296/stat : 22296 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139629023275536 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22297] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22297/stat : 22297 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139629022222736 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22298] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22298/stat : 22298 (java) S 22289 22292 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76918916 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139629021169936 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22299] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22299/stat : 22299 (java) S 22289 22292 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76918917 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139628903340912 139629424695938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22300] ppid=22289 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22300/stat : 22300 (java) S 22289 22292 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76918918 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139628902286880 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22301] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22301/stat : 22301 (java) S 22289 22292 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76918918 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139628901234032 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22302] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22302/stat : 22302 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139628900182352 139629424703387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22303] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22303/stat : 22303 (java) S 22289 22292 11586 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 76918920 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139628899129712 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22304] ppid=22289 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22304/stat : 22304 (java) S 22289 22292 11586 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 76918920 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139628898076912 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22305] ppid=22289 vsize=13975920 memory=140546966357632 CPUtime=0.03 cores=1,3,5,7
/proc/22292/task/22305/stat : 22305 (java) R 22289 22292 11586 0 -1 4202560 386 0 0 0 3 0 0 0 20 0 15 0 76918920 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139628897024112 139629416921918 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22306] ppid=22289 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22306/stat : 22306 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139628895971552 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22307] ppid=22289 vsize=13975920 memory=140546966357632 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22307/stat : 22307 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918923 14311342080 9163 18446744073709551615 4194304 4196468 140723084437072 139628894919856 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 36652 KiB
[startup+0.312331 s]*
/proc/loadavg: 1.37 1.36 1.38 3/213 22307
/proc/meminfo: memFree=27901220/32770624 swapFree=67108860/67108860
[pid=22292] ppid=22289 vsize=13975920 memory=43744 CPUtime=0.34 cores=1,3,5,7
/proc/22292/stat : 22292 (java) S 22289 22292 11586 0 -1 1077944320 11670 0 0 0 31 3 0 0 20 0 15 0 76918909 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 140723084419616 139629424684791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
/proc/22292/statm: 3493980 10936 3610 1 0 3482759 0
[pid=22292/tid=22294] ppid=22289 vsize=13975920 memory=-8774313645642428999 CPUtime=0.22 cores=1,3,5,7
/proc/22292/task/22294/stat : 22294 (java) R 22289 22292 11586 0 -1 4202560 9114 0 0 0 20 2 0 0 20 0 15 0 76918915 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139629428900816 139629424706717 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22295] ppid=22289 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22295/stat : 22295 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139629024328336 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22296] ppid=22289 vsize=13975920 memory=1398720917958146503 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22296/stat : 22296 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139629023275536 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22297] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22297/stat : 22297 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139629022222736 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22298] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22298/stat : 22298 (java) S 22289 22292 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76918916 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139629021169936 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22299] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22299/stat : 22299 (java) S 22289 22292 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76918917 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139628903340912 139629424695938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22300] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22300/stat : 22300 (java) S 22289 22292 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76918918 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139628902286880 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22301] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22301/stat : 22301 (java) S 22289 22292 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76918918 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139628901234032 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22302] ppid=22289 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22302/stat : 22302 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139628900182352 139629424703387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22303] ppid=22289 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22292/task/22303/stat : 22303 (java) R 22289 22292 11586 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 76918920 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139628899129712 139629424695938 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22304] ppid=22289 vsize=13975920 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22292/task/22304/stat : 22304 (java) R 22289 22292 11586 0 -1 4202560 184 0 0 0 2 0 0 0 20 0 15 0 76918920 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139628898062456 139629416921918 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22305] ppid=22289 vsize=13975920 memory=140546966357632 CPUtime=0.06 cores=1,3,5,7
/proc/22292/task/22305/stat : 22305 (java) R 22289 22292 11586 0 -1 4202560 485 0 0 0 6 0 0 0 20 0 15 0 76918920 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139628897020664 139629403820451 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22306] ppid=22289 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22306/stat : 22306 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139628895971552 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22307] ppid=22289 vsize=13975920 memory=140546966357632 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22307/stat : 22307 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918923 14311342080 10936 18446744073709551615 4194304 4196468 140723084437072 139628894919856 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43744 KiB
[startup+0.709396 s]
/proc/loadavg: 1.37 1.36 1.38 3/213 22307
/proc/meminfo: memFree=27888192/32770624 swapFree=67108860/67108860
[pid=22292] ppid=22289 vsize=13977988 memory=82556 CPUtime=1.27 cores=1,3,5,7
/proc/22292/stat : 22292 (java) S 22289 22292 11586 0 -1 1077944320 15324 0 0 0 123 4 0 0 20 0 15 0 76918909 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 140723084419616 139629424684791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
/proc/22292/statm: 3494497 20639 3737 1 0 3483271 0
[pid=22292/tid=22294] ppid=22289 vsize=13977988 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/22292/task/22294/stat : 22294 (java) R 22289 22292 11586 0 -1 4202560 10434 0 0 0 57 3 0 0 20 0 15 0 76918915 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139629428920016 139629408765278 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22295] ppid=22289 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22295/stat : 22295 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139629024328336 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22296] ppid=22289 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22296/stat : 22296 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139629023275536 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22297] ppid=22289 vsize=13977988 memory=16240 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22297/stat : 22297 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139629022222736 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22298] ppid=22289 vsize=13977988 memory=24032 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22298/stat : 22298 (java) S 22289 22292 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76918916 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139629021169936 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22299] ppid=22289 vsize=13977988 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22299/stat : 22299 (java) S 22289 22292 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76918917 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139628903340912 139629424695938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22300] ppid=22289 vsize=13977988 memory=644 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22300/stat : 22300 (java) S 22289 22292 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76918918 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139628902286880 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22301] ppid=22289 vsize=13977988 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22301/stat : 22301 (java) S 22289 22292 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76918918 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139628901234032 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22302] ppid=22289 vsize=13977988 memory=956 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22302/stat : 22302 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139628900182352 139629424703387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22303] ppid=22289 vsize=13977988 memory=1236 CPUtime=0.21 cores=1,3,5,7
/proc/22292/task/22303/stat : 22303 (java) R 22289 22292 11586 0 -1 4202560 1441 0 0 0 21 0 0 0 20 0 15 0 76918920 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139628899114624 139629408152895 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22304] ppid=22289 vsize=13977988 memory=2244 CPUtime=0.17 cores=1,3,5,7
/proc/22292/task/22304/stat : 22304 (java) R 22289 22292 11586 0 -1 4202560 909 0 0 0 17 0 0 0 20 0 15 0 76918920 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139628898063728 139629403848816 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22305] ppid=22289 vsize=13977988 memory=4284 CPUtime=0.26 cores=1,3,5,7
/proc/22292/task/22305/stat : 22305 (java) S 22289 22292 11586 0 -1 1077944384 1158 0 0 0 26 0 0 0 20 0 15 0 76918920 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139628897024112 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22306] ppid=22289 vsize=13977988 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22306/stat : 22306 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139628895971552 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22307] ppid=22289 vsize=13977988 memory=7805408136573774953 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22307/stat : 22307 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918923 14313459712 20639 18446744073709551615 4194304 4196468 140723084437072 139628894919856 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 82556 KiB
[startup+1.5014 s]
/proc/loadavg: 1.37 1.36 1.38 6/213 22307
/proc/meminfo: memFree=27833780/32770624 swapFree=67108860/67108860
[pid=22292] ppid=22289 vsize=13982084 memory=184916 CPUtime=3.54 cores=1,3,5,7
/proc/22292/stat : 22292 (java) S 22289 22292 11586 0 -1 1077944320 28869 0 0 0 344 10 0 0 20 0 15 0 76918909 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 140723084419616 139629424684791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
/proc/22292/statm: 3495521 46229 3767 1 0 3484295 0
[pid=22292/tid=22294] ppid=22289 vsize=13982084 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/22292/task/22294/stat : 22294 (java) R 22289 22292 11586 0 -1 4202560 13880 0 0 0 133 6 0 0 20 0 15 0 76918915 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139629428920072 139629071020496 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22295] ppid=22289 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22295/stat : 22295 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139629024328336 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22296] ppid=22289 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22296/stat : 22296 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139629023275536 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22297] ppid=22289 vsize=13982084 memory=6219843191108049555 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22297/stat : 22297 (java) S 22289 22292 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76918916 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139629022222736 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22298] ppid=22289 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22298/stat : 22298 (java) S 22289 22292 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76918916 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139629021169936 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22299] ppid=22289 vsize=13982084 memory=281093664148752 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22299/stat : 22299 (java) S 22289 22292 11586 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 76918917 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139628903340912 139629424695938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22300] ppid=22289 vsize=13982084 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22300/stat : 22300 (java) S 22289 22292 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139628902286880 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22301] ppid=22289 vsize=13982084 memory=796 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22301/stat : 22301 (java) S 22289 22292 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139628901234032 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22302] ppid=22289 vsize=13982084 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22302/stat : 22302 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139628900182352 139629424703387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22303] ppid=22289 vsize=13982084 memory=1716 CPUtime=0.83 cores=1,3,5,7
/proc/22292/task/22303/stat : 22303 (java) R 22289 22292 11586 0 -1 4202560 5409 0 0 0 82 1 0 0 20 0 15 0 76918920 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139628899110584 139629408590957 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22304] ppid=22289 vsize=13982084 memory=1008 CPUtime=0.79 cores=1,3,5,7
/proc/22292/task/22304/stat : 22304 (java) R 22289 22292 11586 0 -1 4202560 5022 0 0 0 79 0 0 0 20 0 15 0 76918920 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139628898062664 139629409609185 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22305] ppid=22289 vsize=13982084 memory=1232 CPUtime=0.49 cores=1,3,5,7
/proc/22292/task/22305/stat : 22305 (java) S 22289 22292 11586 0 -1 1077944384 3110 0 0 0 49 0 0 0 20 0 15 0 76918920 14317654016 46229 18446744073709551615 4194304 4196468 140723084437072 139628897024112 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
################
# More data... #
################
/proc/22292/task/22294/stat : 22294 (java) R 22289 22292 11586 0 -1 4202560 136545 0 0 0 235479 61 0 0 20 0 15 0 76918915 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139629428923216 139629071794666 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22295] ppid=22289 vsize=13982084 memory=415900 CPUtime=16.27 cores=1,3,5,7
/proc/22292/task/22295/stat : 22295 (java) S 22289 22292 11586 0 -1 1077944384 13239 0 0 0 1562 65 0 0 20 0 15 0 76918916 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139629024328336 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22296] ppid=22289 vsize=13982084 memory=414360 CPUtime=16.29 cores=1,3,5,7
/proc/22292/task/22296/stat : 22296 (java) S 22289 22292 11586 0 -1 1077944384 13842 0 0 0 1563 66 0 0 20 0 15 0 76918916 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139629023275536 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22297] ppid=22289 vsize=13982084 memory=413332 CPUtime=16.29 cores=1,3,5,7
/proc/22292/task/22297/stat : 22297 (java) S 22289 22292 11586 0 -1 1077944384 13350 0 0 0 1557 72 0 0 20 0 15 0 76918916 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139629022222736 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22298] ppid=22289 vsize=13982084 memory=1204 CPUtime=16.25 cores=1,3,5,7
/proc/22292/task/22298/stat : 22298 (java) S 22289 22292 11586 0 -1 1077944384 15268 0 0 0 1556 69 0 0 20 0 15 0 76918916 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139629021169936 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22299] ppid=22289 vsize=13982084 memory=424108 CPUtime=7.68 cores=1,3,5,7
/proc/22292/task/22299/stat : 22299 (java) S 22289 22292 11586 0 -1 1077944384 18037 0 0 0 689 79 0 0 20 0 15 0 76918917 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139628903340912 139629424695938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22300] ppid=22289 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22300/stat : 22300 (java) S 22289 22292 11586 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139628902286944 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22301] ppid=22289 vsize=13982084 memory=413848 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22301/stat : 22301 (java) S 22289 22292 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139628901234048 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22302] ppid=22289 vsize=13982084 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22302/stat : 22302 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139628900182352 139629424703387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22303] ppid=22289 vsize=13982084 memory=42448 CPUtime=2.87 cores=1,3,5,7
/proc/22292/task/22303/stat : 22303 (java) S 22289 22292 11586 0 -1 1077944384 15029 0 0 0 285 2 0 0 20 0 15 0 76918920 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139628899129712 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22304] ppid=22289 vsize=13982084 memory=2384 CPUtime=2.84 cores=1,3,5,7
/proc/22292/task/22304/stat : 22304 (java) S 22289 22292 11586 0 -1 1077944384 15957 0 0 0 282 2 0 0 20 0 15 0 76918920 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139628898076912 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22305] ppid=22289 vsize=13982084 memory=413332 CPUtime=0.82 cores=1,3,5,7
/proc/22292/task/22305/stat : 22305 (java) S 22289 22292 11586 0 -1 1077944384 9931 0 0 0 81 1 0 0 20 0 15 0 76918920 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139628897024112 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22306] ppid=22289 vsize=13982084 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22306/stat : 22306 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139628895971552 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22307] ppid=22289 vsize=13982084 memory=1440 CPUtime=1.39 cores=1,3,5,7
/proc/22292/task/22307/stat : 22307 (java) S 22289 22292 11586 0 -1 1077944384 625 0 0 0 63 76 0 0 20 0 15 0 76918923 14317654016 103333 18446744073709551615 4194304 4196468 140723084437072 139628894919856 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 56 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
Current children cumulated CPU time: 2436.22 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 413332 KiB
[startup+2442.3 s]
/proc/loadavg: 1.51 1.43 1.41 3/209 22523
/proc/meminfo: memFree=28955384/32770624 swapFree=67108860/67108860
[pid=22292] ppid=22289 vsize=13982084 memory=399996 CPUtime=2497.43 cores=1,3,5,7
/proc/22292/stat : 22292 (java) S 22289 22292 11586 0 -1 1077944320 256993 0 0 0 249301 442 0 0 20 0 15 0 76918909 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 140723084419616 139629424684791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
/proc/22292/statm: 3495521 99999 3832 1 0 3484295 0
[pid=22292/tid=22294] ppid=22289 vsize=13982084 memory=402560 CPUtime=2414.69 cores=1,3,5,7
/proc/22292/task/22294/stat : 22294 (java) R 22289 22292 11586 0 -1 4202560 138849 0 0 0 241407 62 0 0 20 0 15 0 76918915 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139629428923216 139629071820108 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22295] ppid=22289 vsize=13982084 memory=409228 CPUtime=16.69 cores=1,3,5,7
/proc/22292/task/22295/stat : 22295 (java) S 22289 22292 11586 0 -1 1077944384 13345 0 0 0 1602 67 0 0 20 0 15 0 76918916 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139629024328336 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22296] ppid=22289 vsize=13982084 memory=401020 CPUtime=16.71 cores=1,3,5,7
/proc/22292/task/22296/stat : 22296 (java) S 22289 22292 11586 0 -1 1077944384 14088 0 0 0 1603 68 0 0 20 0 15 0 76918916 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139629023275536 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22297] ppid=22289 vsize=13982084 memory=400508 CPUtime=16.71 cores=1,3,5,7
/proc/22292/task/22297/stat : 22297 (java) S 22289 22292 11586 0 -1 1077944384 13591 0 0 0 1597 74 0 0 20 0 15 0 76918916 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139629022222736 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22298] ppid=22289 vsize=13982084 memory=401020 CPUtime=16.67 cores=1,3,5,7
/proc/22292/task/22298/stat : 22298 (java) S 22289 22292 11586 0 -1 1077944384 15388 0 0 0 1596 71 0 0 20 0 15 0 76918916 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139629021169936 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22299] ppid=22289 vsize=13982084 memory=400508 CPUtime=7.87 cores=1,3,5,7
/proc/22292/task/22299/stat : 22299 (java) S 22289 22292 11586 0 -1 1077944384 18259 0 0 0 706 81 0 0 20 0 15 0 76918917 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139628903340912 139629424695938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22300] ppid=22289 vsize=13982084 memory=164 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22300/stat : 22300 (java) S 22289 22292 11586 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139628902286944 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22301] ppid=22289 vsize=13982084 memory=399996 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22301/stat : 22301 (java) S 22289 22292 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139628901234048 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22302] ppid=22289 vsize=13982084 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22302/stat : 22302 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139628900182352 139629424703387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22303] ppid=22289 vsize=13982084 memory=0 CPUtime=2.88 cores=1,3,5,7
/proc/22292/task/22303/stat : 22303 (java) S 22289 22292 11586 0 -1 1077944384 15464 0 0 0 286 2 0 0 20 0 15 0 76918920 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139628899129712 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22304] ppid=22289 vsize=13982084 memory=399996 CPUtime=2.84 cores=1,3,5,7
/proc/22292/task/22304/stat : 22304 (java) S 22289 22292 11586 0 -1 1077944384 15959 0 0 0 282 2 0 0 20 0 15 0 76918920 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139628898076912 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22305] ppid=22289 vsize=13982084 memory=400508 CPUtime=0.82 cores=1,3,5,7
/proc/22292/task/22305/stat : 22305 (java) S 22289 22292 11586 0 -1 1077944384 9933 0 0 0 81 1 0 0 20 0 15 0 76918920 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139628897024112 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22306] ppid=22289 vsize=13982084 memory=402048 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22306/stat : 22306 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139628895971552 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22307] ppid=22289 vsize=13982084 memory=7523376918531162212 CPUtime=1.42 cores=1,3,5,7
/proc/22292/task/22307/stat : 22307 (java) S 22289 22292 11586 0 -1 1077944384 644 0 0 0 64 78 0 0 20 0 15 0 76918923 14317654016 99999 18446744073709551615 4194304 4196468 140723084437072 139628894919856 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
Current children cumulated CPU time: 2497.43 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 399996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.5 s]
/proc/loadavg: 1.43 1.42 1.41 3/209 22524
/proc/meminfo: memFree=28963164/32770624 swapFree=67108860/67108860
[pid=22292] ppid=22289 vsize=13982084 memory=411080 CPUtime=2520.04 cores=1,3,5,7
/proc/22292/stat : 22292 (java) S 22289 22292 11586 0 -1 1077944320 258937 0 0 0 251558 446 0 0 20 0 15 0 76918909 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 140723084419616 139629424684791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
/proc/22292/statm: 3495521 102770 3832 1 0 3484295 0
[pid=22292/tid=22294] ppid=22289 vsize=13982084 memory=411080 CPUtime=2436.61 cores=1,3,5,7
/proc/22292/task/22294/stat : 22294 (java) R 22289 22292 11586 0 -1 4202560 139982 0 0 0 243599 62 0 0 20 0 15 0 76918915 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629428923104 139629073584283 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22295] ppid=22289 vsize=13982084 memory=411080 CPUtime=16.85 cores=1,3,5,7
/proc/22292/task/22295/stat : 22295 (java) S 22289 22292 11586 0 -1 1077944384 13589 0 0 0 1617 68 0 0 20 0 15 0 76918916 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629024328336 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22296] ppid=22289 vsize=13982084 memory=56 CPUtime=16.87 cores=1,3,5,7
/proc/22292/task/22296/stat : 22296 (java) S 22289 22292 11586 0 -1 1077944384 14188 0 0 0 1618 69 0 0 20 0 15 0 76918916 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629023275536 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22297] ppid=22289 vsize=13982084 memory=411596 CPUtime=16.86 cores=1,3,5,7
/proc/22292/task/22297/stat : 22297 (java) S 22289 22292 11586 0 -1 1077944384 13795 0 0 0 1611 75 0 0 20 0 15 0 76918916 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629022222736 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22298] ppid=22289 vsize=13982084 memory=412624 CPUtime=16.83 cores=1,3,5,7
/proc/22292/task/22298/stat : 22298 (java) S 22289 22292 11586 0 -1 1077944384 15456 0 0 0 1611 72 0 0 20 0 15 0 76918916 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629021169936 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22299] ppid=22289 vsize=13982084 memory=410896 CPUtime=7.95 cores=1,3,5,7
/proc/22292/task/22299/stat : 22299 (java) S 22289 22292 11586 0 -1 1077944384 18436 0 0 0 713 82 0 0 20 0 15 0 76918917 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628903340912 139629424695938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22300] ppid=22289 vsize=13982084 memory=411080 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22300/stat : 22300 (java) S 22289 22292 11586 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628902286944 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22301] ppid=22289 vsize=13982084 memory=412116 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22301/stat : 22301 (java) S 22289 22292 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628901234048 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22302] ppid=22289 vsize=13982084 memory=410576 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22302/stat : 22302 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628900182352 139629424703387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22303] ppid=22289 vsize=13982084 memory=410576 CPUtime=2.88 cores=1,3,5,7
/proc/22292/task/22303/stat : 22303 (java) S 22289 22292 11586 0 -1 1077944384 15466 0 0 0 286 2 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628899129712 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22304] ppid=22289 vsize=13982084 memory=411596 CPUtime=2.84 cores=1,3,5,7
/proc/22292/task/22304/stat : 22304 (java) S 22289 22292 11586 0 -1 1077944384 15961 0 0 0 282 2 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628898076912 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22305] ppid=22289 vsize=13982084 memory=412620 CPUtime=0.82 cores=1,3,5,7
/proc/22292/task/22305/stat : 22305 (java) S 22289 22292 11586 0 -1 1077944384 9935 0 0 0 81 1 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628897024112 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22306] ppid=22289 vsize=13982084 memory=412108 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22306/stat : 22306 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628895971552 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22307] ppid=22289 vsize=13982084 memory=1788 CPUtime=1.43 cores=1,3,5,7
/proc/22292/task/22307/stat : 22307 (java) S 22289 22292 11586 0 -1 1077944384 656 0 0 0 65 78 0 0 20 0 15 0 76918923 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628894919856 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 411080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.52 s]
# the end of solver process 22292 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.6 s, system=4.4736 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.5 s]
/proc/loadavg: 1.43 1.42 1.41 3/209 22524
/proc/meminfo: memFree=28963164/32770624 swapFree=67108860/67108860
[pid=22292] ppid=22289 vsize=13982084 memory=411080 CPUtime=2520.04 cores=1,3,5,7
/proc/22292/stat : 22292 (java) S 22289 22292 11586 0 -1 1077944320 258937 0 0 0 251558 446 0 0 20 0 15 0 76918909 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 140723084419616 139629424684791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
/proc/22292/statm: 3495521 102770 3832 1 0 3484295 0
[pid=22292/tid=22294] ppid=22289 vsize=13982084 memory=411080 CPUtime=2436.61 cores=1,3,5,7
/proc/22292/task/22294/stat : 22294 (java) R 22289 22292 11586 0 -1 4202560 139982 0 0 0 243599 62 0 0 20 0 15 0 76918915 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629428923104 139629073584283 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22295] ppid=22289 vsize=13982084 memory=411080 CPUtime=16.85 cores=1,3,5,7
/proc/22292/task/22295/stat : 22295 (java) S 22289 22292 11586 0 -1 1077944384 13589 0 0 0 1617 68 0 0 20 0 15 0 76918916 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629024328336 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22296] ppid=22289 vsize=13982084 memory=56 CPUtime=16.87 cores=1,3,5,7
/proc/22292/task/22296/stat : 22296 (java) S 22289 22292 11586 0 -1 1077944384 14188 0 0 0 1618 69 0 0 20 0 15 0 76918916 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629023275536 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22297] ppid=22289 vsize=13982084 memory=411596 CPUtime=16.86 cores=1,3,5,7
/proc/22292/task/22297/stat : 22297 (java) S 22289 22292 11586 0 -1 1077944384 13795 0 0 0 1611 75 0 0 20 0 15 0 76918916 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629022222736 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22298] ppid=22289 vsize=13982084 memory=412624 CPUtime=16.83 cores=1,3,5,7
/proc/22292/task/22298/stat : 22298 (java) S 22289 22292 11586 0 -1 1077944384 15456 0 0 0 1611 72 0 0 20 0 15 0 76918916 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139629021169936 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22299] ppid=22289 vsize=13982084 memory=410896 CPUtime=7.95 cores=1,3,5,7
/proc/22292/task/22299/stat : 22299 (java) S 22289 22292 11586 0 -1 1077944384 18436 0 0 0 713 82 0 0 20 0 15 0 76918917 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628903340912 139629424695938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22300] ppid=22289 vsize=13982084 memory=411080 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22300/stat : 22300 (java) S 22289 22292 11586 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628902286944 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22301] ppid=22289 vsize=13982084 memory=412116 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22301/stat : 22301 (java) S 22289 22292 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 76918918 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628901234048 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22302] ppid=22289 vsize=13982084 memory=410576 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22302/stat : 22302 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628900182352 139629424703387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22303] ppid=22289 vsize=13982084 memory=410576 CPUtime=2.88 cores=1,3,5,7
/proc/22292/task/22303/stat : 22303 (java) S 22289 22292 11586 0 -1 1077944384 15466 0 0 0 286 2 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628899129712 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22304] ppid=22289 vsize=13982084 memory=411596 CPUtime=2.84 cores=1,3,5,7
/proc/22292/task/22304/stat : 22304 (java) S 22289 22292 11586 0 -1 1077944384 15961 0 0 0 282 2 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628898076912 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22305] ppid=22289 vsize=13982084 memory=412620 CPUtime=0.82 cores=1,3,5,7
/proc/22292/task/22305/stat : 22305 (java) S 22289 22292 11586 0 -1 1077944384 9935 0 0 0 81 1 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628897024112 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22306] ppid=22289 vsize=13982084 memory=412108 CPUtime=0 cores=1,3,5,7
/proc/22292/task/22306/stat : 22306 (java) S 22289 22292 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76918920 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628895971552 139629424694997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
[pid=22292/tid=22307] ppid=22289 vsize=13982084 memory=1788 CPUtime=1.43 cores=1,3,5,7
/proc/22292/task/22307/stat : 22307 (java) S 22289 22292 11586 0 -1 1077944384 656 0 0 0 65 78 0 0 20 0 15 0 76918923 14317654016 102770 18446744073709551615 4194304 4196468 140723084437072 139628894919856 139629424695938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 6766592 140723084444018 140723084444201 140723084444201 140723084447695 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 411080 KiB
Child status: 143
Real time (s): 2464.52
CPU time (s): 2520.07
CPU user time (s): 2515.6
CPU system time (s): 4.4736
CPU usage (%): 102.254
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 686144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.6
system time used= 4.4736
maximum resident set size= 687456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 264860
involuntary context switches= 6829
# summary of solver processes directly reported to runsolver:
# pid: 22292
# total CPU time (s): 2520.07
# total CPU user time (s): 2515.6
# total CPU system time (s): 4.4736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8459 second user time and 23.0081 second system time
The end