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 (14620 MiB free)
memory of node 1: 16384 MiB (15716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396633-1568393490/watcher-4396633-1568393490 -o /tmp/evaluation-result-4396633-1568393490/solver-4396633-1568393490 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568393448-7558 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1163816776 HOME/instance-4396633-1568393490.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=7588, runsolver pid=7584
Current StackSize limit: 8192 KiB
[startup+0.100707 s]*
/proc/loadavg: 1.00 1.01 1.16 4/221 7661
/proc/meminfo: memFree=31038688/32770624 swapFree=66945888/67108860
[pid=7588] ppid=7584 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/7588/stat : 7588 (bash) S 7584 7588 6494 0 -1 4202496 891 5692 1 1 0 0 0 1 20 0 1 0 415291015 115974144 404 33554432000 4194304 5098028 140729612964608 140729612958616 139903163649024 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 1 0 0 7196144 7232144 8052736 140729612973076 140729612973201 140729612973201 140729612976110 0
/proc/7588/statm: 28314 404 320 221 0 119 0
[pid=7641] ppid=7588 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/7641/stat : 7641 (bash) S 7588 7588 6494 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 415291020 115974144 178 33554432000 4194304 5098028 140729612964608 140729612957288 139903163474556 0 65536 4096 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8052736 140729612973076 140729612973201 140729612973201 140729612976110 0
/proc/7641/statm: 28314 178 94 221 0 119 0
[pid=7644] ppid=7641 vsize=10260324 memory=20404 CPUtime=0.04 cores=0,2,4,6
/proc/7644/stat : 7644 (java) S 7641 7588 6494 0 -1 1077944320 3983 0 0 0 3 1 0 0 20 0 9 0 415291020 10506571776 5101 33554432000 4194304 4196468 140722602021664 140722602004208 140418132262647 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
/proc/7644/statm: 2565081 5101 2193 1 0 2527622 0
[pid=7644/tid=7646] ppid=7641 vsize=10526580 memory=8326441210107759528 CPUtime=0.04 cores=0,2,4,6
/proc/7644/task/7646/stat : 7646 (java) R 7641 7588 6494 0 -1 4202560 2672 0 0 0 3 1 0 0 20 0 13 0 415291021 10779217920 5105 33554432000 4194304 4196468 140722602021664 140418136503400 140418117448256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7649] ppid=7641 vsize=10526580 memory=4210146916469654281 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7649/stat : 7649 (java) S 7641 7588 6494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 415291021 10779217920 5105 33554432000 4194304 4196468 140722602021664 140418058336912 140418132272853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7651] ppid=7641 vsize=10526580 memory=140352916805248 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7651/stat : 7651 (java) S 7641 7588 6494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 415291021 10779217920 5105 33554432000 4194304 4196468 140722602021664 140418057284112 140418132272853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7654] ppid=7641 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7654/stat : 7654 (java) S 7641 7588 6494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 415291021 10779217920 5105 33554432000 4194304 4196468 140722602021664 140418056231312 140418132272853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7655] ppid=7641 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7655/stat : 7655 (java) S 7641 7588 6494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 415291021 10779217920 5105 33554432000 4194304 4196468 140722602021664 140418055178512 140418132272853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7656] ppid=7641 vsize=10526580 memory=140352916805248 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7656/stat : 7656 (java) S 7641 7588 6494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 415291023 10779217920 5170 33554432000 4194304 4196468 140722602021664 140417623325552 140418132273794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7658] ppid=7641 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7658/stat : 7658 (java) S 7641 7588 6494 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 415291023 10779217920 5170 33554432000 4194304 4196468 140722602021664 140417622271520 140418132272853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7660] ppid=7641 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7660/stat : 7660 (java) S 7641 7588 6494 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 415291023 10779217920 5170 33554432000 4194304 4196468 140722602021664 140417621218672 140418132272853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7662] ppid=7641 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7662/stat : 7662 (java) S 7641 7588 6494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 415291026 10779217920 5170 33554432000 4194304 4196468 140722602021664 140417620166992 140418132281243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7663] ppid=7641 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7663/stat : 7663 (java) S 7641 7588 6494 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 13 0 415291026 10779217920 5236 33554432000 4194304 4196468 140722602021664 140417619114048 140418132272853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7664] ppid=7641 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7664/stat : 7664 (java) R 7641 7588 6494 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 13 0 415291026 10779217920 5236 33554432000 4194304 4196468 140722602021664 140417618048968 140418124552020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7644/tid=7665] ppid=7641 vsize=10526580 memory=140352916805248 CPUtime=0 cores=0,2,4,6
/proc/7644/task/7665/stat : 7665 (java) R 7641 7588 6494 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 13 0 415291026 10779217920 5236 33554432000 4194304 4196468 140722602021664 140417617008776 140418124504037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36929536 140722602030220 140722602030234 140722602030234 140722602033103 0
[pid=7645] ppid=7641 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/7645/stat : 7645 (awk) S 7641 7588 6494 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 415291020 116211712 243 33554432000 4194304 4609284 140723031056656 140723031055832 139875066240000 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 15147008 140723031065788 140723031065818 140723031065818 140723031068655 0
/proc/7645/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23704 KiB
[startup+0.210461 s]*
/proc/loadavg: 1.00 1.01 1.16 4/227 7720
/proc/meminfo: memFree=31028220/32770624 swapFree=66945888/67108860
[pid=7588] ppid=7584 vsize=10818512 memory=29636 CPUtime=0.17 cores=0,2,4,6
/proc/7588/stat : 7588 (java) S 7584 7588 6494 0 -1 1077944320 5719 12997 1 2 7 2 4 4 20 0 15 0 415291015 11078156288 7409 33554432000 4194304 4196468 140736187618512 140736187601056 140635006447351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
/proc/7588/statm: 2704628 7409 2755 1 0 2667149 0
[pid=7588/tid=7693] ppid=7584 vsize=10818512 memory=7022364594140610616 CPUtime=0.14 cores=0,2,4,6
/proc/7588/task/7693/stat : 7693 (java) R 7584 7588 6494 0 -1 4202560 2816 12997 0 2 5 1 4 4 20 0 15 0 415291029 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634978273680 140635006459286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7698] ppid=7584 vsize=10818512 memory=339 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7698/stat : 7698 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291030 11078156288 7409 33554432000 4194304 4196468 140736187618512 140635010689680 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7699] ppid=7584 vsize=10818512 memory=4051464879570409120 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7699/stat : 7699 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291030 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634898962960 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7700] ppid=7584 vsize=10818512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7700/stat : 7700 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291030 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634897910160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7702] ppid=7584 vsize=10818512 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7702/stat : 7702 (java) S 7584 7588 6494 0 -1 1077944384 2 12997 0 2 0 0 4 4 20 0 15 0 415291030 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634896857360 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7704] ppid=7584 vsize=10818512 memory=140352916805248 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7704/stat : 7704 (java) S 7584 7588 6494 0 -1 1077944384 2 12997 0 2 0 0 4 4 20 0 15 0 415291031 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634465717104 140635006458498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7706] ppid=7584 vsize=10818512 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7706/stat : 7706 (java) S 7584 7588 6494 0 -1 1077944384 33 12997 0 2 0 0 4 4 20 0 15 0 415291032 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634464663072 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7707] ppid=7584 vsize=10818512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7707/stat : 7707 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291032 11078156288 7409 33554432000 4194304 4196468 140736187618512 140633872262512 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7709] ppid=7584 vsize=10818512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7709/stat : 7709 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11078156288 7409 33554432000 4194304 4196468 140736187618512 140633564862800 140635006465947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7711] ppid=7584 vsize=10818512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7711/stat : 7711 (java) S 7584 7588 6494 0 -1 1077944384 415 12997 0 2 0 0 4 4 20 0 15 0 415291035 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634431105392 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7713] ppid=7584 vsize=10818512 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7713/stat : 7713 (java) S 7584 7588 6494 0 -1 1077944384 2 12997 0 2 0 0 4 4 20 0 15 0 415291035 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634430052592 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7715] ppid=7584 vsize=10818512 memory=140352916805248 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7715/stat : 7715 (java) S 7584 7588 6494 0 -1 1077944384 237 12997 0 2 0 0 4 4 20 0 15 0 415291035 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634428999792 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7717] ppid=7584 vsize=10818512 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7717/stat : 7717 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11078156288 7409 33554432000 4194304 4196468 140736187618512 140633531304160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7719] ppid=7584 vsize=10818512 memory=140352916805248 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7719/stat : 7719 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291035 11078156288 7409 33554432000 4194304 4196468 140736187618512 140634427948208 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 10818512 KiB
Current children cumulated memory: 29636 KiB
[startup+0.310327 s]*
/proc/loadavg: 1.16 1.05 1.17 6/227 7720
/proc/meminfo: memFree=30994192/32770624 swapFree=66945888/67108860
[pid=7588] ppid=7584 vsize=10820148 memory=46944 CPUtime=0.33 cores=0,2,4,6
/proc/7588/stat : 7588 (java) S 7584 7588 6494 0 -1 1077944320 9895 12997 1 2 22 3 4 4 20 0 15 0 415291015 11079831552 11736 33554432000 4194304 4196468 140736187618512 140736187601056 140635006447351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
/proc/7588/statm: 2705037 11736 3322 1 0 2667149 0
[pid=7588/tid=7693] ppid=7584 vsize=10820148 memory=7306918233394997353 CPUtime=0.24 cores=0,2,4,6
/proc/7588/task/7693/stat : 7693 (java) R 7584 7588 6494 0 -1 4202560 6369 12997 0 2 14 2 4 4 20 0 15 0 415291029 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634978270576 140634990527838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7698] ppid=7584 vsize=10820148 memory=3546084640141881375 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7698/stat : 7698 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291030 11079831552 11736 33554432000 4194304 4196468 140736187618512 140635010689680 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7699] ppid=7584 vsize=10820148 memory=3760962942513973433 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7699/stat : 7699 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291030 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634898962960 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7700] ppid=7584 vsize=10820148 memory=592223777644347421 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7700/stat : 7700 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291030 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634897910160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7702] ppid=7584 vsize=10820148 memory=288230621803984197 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7702/stat : 7702 (java) S 7584 7588 6494 0 -1 1077944384 2 12997 0 2 0 0 4 4 20 0 15 0 415291030 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634896857360 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7704] ppid=7584 vsize=10820148 memory=14135532779228096 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7704/stat : 7704 (java) S 7584 7588 6494 0 -1 1077944384 2 12997 0 2 0 0 4 4 20 0 15 0 415291031 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634465717104 140635006458498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7706] ppid=7584 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7706/stat : 7706 (java) S 7584 7588 6494 0 -1 1077944384 33 12997 0 2 0 0 4 4 20 0 15 0 415291032 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634464663072 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7707] ppid=7584 vsize=10820148 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7707/stat : 7707 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291032 11079831552 11736 33554432000 4194304 4196468 140736187618512 140633872262512 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7709] ppid=7584 vsize=10820148 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7709/stat : 7709 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11079831552 11736 33554432000 4194304 4196468 140736187618512 140633564862800 140635006465947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7711] ppid=7584 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/7588/task/7711/stat : 7711 (java) S 7584 7588 6494 0 -1 1077944384 595 12997 0 2 2 0 4 4 20 0 15 0 415291035 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634431105392 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7713] ppid=7584 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7588/task/7713/stat : 7713 (java) S 7584 7588 6494 0 -1 1077944384 68 12997 0 2 1 0 4 4 20 0 15 0 415291035 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634430052592 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7715] ppid=7584 vsize=10820148 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7588/task/7715/stat : 7715 (java) R 7584 7588 6494 0 -1 4202560 610 12997 0 2 4 0 4 4 20 0 15 0 415291035 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634428999792 140635006468698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7717] ppid=7584 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7717/stat : 7717 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11079831552 11736 33554432000 4194304 4196468 140736187618512 140633531304160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7719] ppid=7584 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7719/stat : 7719 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291035 11079831552 11736 33554432000 4194304 4196468 140736187618512 140634427948208 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 46944 KiB
[startup+0.700805 s]
/proc/loadavg: 1.16 1.05 1.17 6/227 7720
/proc/meminfo: memFree=30965732/32770624 swapFree=66945888/67108860
[pid=7588] ppid=7584 vsize=10820264 memory=69452 CPUtime=0.85 cores=0,2,4,6
/proc/7588/stat : 7588 (java) S 7584 7588 6494 0 -1 1077944320 13643 12997 1 2 72 5 4 4 20 0 15 0 415291015 11079950336 17363 33554432000 4194304 4196468 140736187618512 140736187601056 140635006447351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
/proc/7588/statm: 2705066 17363 3468 1 0 2667149 0
[pid=7588/tid=7693] ppid=7584 vsize=10820264 memory=20320 CPUtime=0.53 cores=0,2,4,6
/proc/7588/task/7693/stat : 7693 (java) D 7584 7588 6494 0 -1 4202560 8987 12997 0 2 42 3 4 4 20 0 15 0 415291029 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634978279936 140635006469277 0 4 0 16800975 18446744071580419588 0 0 -1 4 0 0 8 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7698] ppid=7584 vsize=10820264 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7698/stat : 7698 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291030 11079950336 17363 33554432000 4194304 4196468 140736187618512 140635010689680 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7699] ppid=7584 vsize=10820264 memory=140357211772543 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7699/stat : 7699 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291030 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634898962960 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7700] ppid=7584 vsize=10820264 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7700/stat : 7700 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291030 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634897910160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7702] ppid=7584 vsize=10820264 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7702/stat : 7702 (java) S 7584 7588 6494 0 -1 1077944384 2 12997 0 2 0 0 4 4 20 0 15 0 415291030 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634896857360 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7704] ppid=7584 vsize=10820264 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7704/stat : 7704 (java) S 7584 7588 6494 0 -1 1077944384 5 12997 0 2 0 0 4 4 20 0 15 0 415291031 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634465717104 140635006458498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7706] ppid=7584 vsize=10820264 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7706/stat : 7706 (java) S 7584 7588 6494 0 -1 1077944384 33 12997 0 2 0 0 4 4 20 0 15 0 415291032 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634464663072 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7707] ppid=7584 vsize=10820264 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7707/stat : 7707 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291032 11079950336 17363 33554432000 4194304 4196468 140736187618512 140633872262512 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7709] ppid=7584 vsize=10820264 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7709/stat : 7709 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11079950336 17363 33554432000 4194304 4196468 140736187618512 140633564862800 140635006465947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7711] ppid=7584 vsize=10820264 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/7588/task/7711/stat : 7711 (java) S 7584 7588 6494 0 -1 1077944384 1166 12997 0 2 10 0 4 4 20 0 15 0 415291035 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634431105392 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7713] ppid=7584 vsize=10820264 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/7588/task/7713/stat : 7713 (java) S 7584 7588 6494 0 -1 1077944384 488 12997 0 2 6 0 4 4 20 0 15 0 415291035 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634430052592 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7715] ppid=7584 vsize=10820264 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/7588/task/7715/stat : 7715 (java) S 7584 7588 6494 0 -1 1077944384 742 12997 0 2 12 0 4 4 20 0 15 0 415291035 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634428999792 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7717] ppid=7584 vsize=10820264 memory=49 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7717/stat : 7717 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11079950336 17363 33554432000 4194304 4196468 140736187618512 140633531304160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7719] ppid=7584 vsize=10820264 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7719/stat : 7719 (java) S 7584 7588 6494 0 -1 1077944384 1 12997 0 2 0 0 4 4 20 0 15 0 415291035 11079950336 17363 33554432000 4194304 4196468 140736187618512 140634427948208 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 10820264 KiB
Current children cumulated memory: 69452 KiB
[startup+1.50133 s]
/proc/loadavg: 1.16 1.05 1.17 9/227 7720
/proc/meminfo: memFree=30889596/32770624 swapFree=66945888/67108860
[pid=7588] ppid=7584 vsize=10832628 memory=170884 CPUtime=2.29 cores=0,2,4,6
/proc/7588/stat : 7588 (java) S 7584 7588 6494 0 -1 1077944320 20425 12997 1 2 211 10 4 4 20 0 15 0 415291015 11092611072 42721 33554432000 4194304 4196468 140736187618512 140736187601056 140635006447351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
/proc/7588/statm: 2708157 42721 3588 1 0 2670221 0
[pid=7588/tid=7693] ppid=7584 vsize=10832628 memory=3472328296227679313 CPUtime=1.28 cores=0,2,4,6
/proc/7588/task/7693/stat : 7693 (java) R 7584 7588 6494 0 -1 4202560 14145 12997 0 2 114 6 4 4 20 0 15 0 415291029 11092611072 42721 33554432000 4194304 4196468 140736187618512 140634978256544 140634992612185 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7698] ppid=7584 vsize=10832628 memory=8708 CPUtime=0.09 cores=0,2,4,6
/proc/7588/task/7698/stat : 7698 (java) S 7584 7588 6494 0 -1 1077944384 70 12997 0 2 1 0 4 4 20 0 15 0 415291030 11092611072 42721 33554432000 4194304 4196468 140736187618512 140635010689680 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7699] ppid=7584 vsize=10832628 memory=-7385712267777484841 CPUtime=0.09 cores=0,2,4,6
/proc/7588/task/7699/stat : 7699 (java) S 7584 7588 6494 0 -1 1077944384 321 12997 0 2 1 0 4 4 20 0 15 0 415291030 11092611072 42721 33554432000 4194304 4196468 140736187618512 140634898962960 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7700] ppid=7584 vsize=10832628 memory=6944656592455097440 CPUtime=0.09 cores=0,2,4,6
################
# More data... #
################
/proc/7588/task/7693/stat : 7693 (java) R 7584 7588 6494 0 -1 4202560 176065 12997 1 2 224396 71 4 4 20 0 15 0 415291029 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634978280608 140634573364426 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7698] ppid=7584 vsize=10849032 memory=718504 CPUtime=11.85 cores=0,2,4,6
/proc/7588/task/7698/stat : 7698 (java) S 7584 7588 6494 0 -1 1077944384 31120 12997 0 2 1142 35 4 4 20 0 15 0 415291030 11109408768 178989 33554432000 4194304 4196468 140736187618512 140635010689680 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7699] ppid=7584 vsize=10849032 memory=719012 CPUtime=11.8 cores=0,2,4,6
/proc/7588/task/7699/stat : 7699 (java) S 7584 7588 6494 0 -1 1077944384 30531 12997 0 2 1134 38 4 4 20 0 15 0 415291030 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634898962960 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7700] ppid=7584 vsize=10849032 memory=68 CPUtime=11.83 cores=0,2,4,6
/proc/7588/task/7700/stat : 7700 (java) S 7584 7588 6494 0 -1 1077944384 36585 12997 0 2 1142 33 4 4 20 0 15 0 415291030 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634897910160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7702] ppid=7584 vsize=10849032 memory=717492 CPUtime=11.77 cores=0,2,4,6
/proc/7588/task/7702/stat : 7702 (java) S 7584 7588 6494 0 -1 1077944384 27849 12997 0 2 1133 36 4 4 20 0 15 0 415291030 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634896857360 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7704] ppid=7584 vsize=10849032 memory=718504 CPUtime=3.88 cores=0,2,4,6
/proc/7588/task/7704/stat : 7704 (java) S 7584 7588 6494 0 -1 1077944384 24465 12997 0 2 330 50 4 4 20 0 15 0 415291031 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634465717104 140635006458498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7706] ppid=7584 vsize=10849032 memory=690928 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7706/stat : 7706 (java) S 7584 7588 6494 0 -1 1077944384 65 12997 0 2 0 0 4 4 20 0 15 0 415291032 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634464663200 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7707] ppid=7584 vsize=10849032 memory=1056 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7707/stat : 7707 (java) S 7584 7588 6494 0 -1 1077944384 41 12997 0 2 0 0 4 4 20 0 15 0 415291032 11109408768 178989 33554432000 4194304 4196468 140736187618512 140633872262528 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7709] ppid=7584 vsize=10849032 memory=715956 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7709/stat : 7709 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11109408768 178989 33554432000 4194304 4196468 140736187618512 140633564862800 140635006465947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7711] ppid=7584 vsize=10849032 memory=715956 CPUtime=9.52 cores=0,2,4,6
/proc/7588/task/7711/stat : 7711 (java) S 7584 7588 6494 0 -1 1077944384 58997 12997 0 2 938 6 4 4 20 0 15 0 415291035 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634431105392 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7713] ppid=7584 vsize=10849032 memory=720028 CPUtime=9.34 cores=0,2,4,6
/proc/7588/task/7713/stat : 7713 (java) S 7584 7588 6494 0 -1 1077944384 50978 12997 0 2 921 5 4 4 20 0 15 0 415291035 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634430052592 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7715] ppid=7584 vsize=10849032 memory=721060 CPUtime=2.95 cores=0,2,4,6
/proc/7588/task/7715/stat : 7715 (java) S 7584 7588 6494 0 -1 1077944384 109270 12997 0 2 276 11 4 4 20 0 15 0 415291035 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634428999792 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7717] ppid=7584 vsize=10849032 memory=3276 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7717/stat : 7717 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11109408768 178989 33554432000 4194304 4196468 140736187618512 140633531304160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7719] ppid=7584 vsize=10849032 memory=719012 CPUtime=1.48 cores=0,2,4,6
/proc/7588/task/7719/stat : 7719 (java) S 7584 7588 6494 0 -1 1077944384 2239 12997 0 2 65 75 4 4 20 0 15 0 415291035 11109408768 178989 33554432000 4194304 4196468 140736187618512 140634427948208 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
Current children cumulated CPU time: 2318.58 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 715956 KiB
[startup+2322.3 s]
/proc/loadavg: 1.57 1.65 1.64 4/227 7952
/proc/meminfo: memFree=26476528/32770624 swapFree=66945992/67108860
[pid=7588] ppid=7584 vsize=10849032 memory=641200 CPUtime=2379.52 cores=0,2,4,6
/proc/7588/stat : 7588 (java) S 7584 7588 6494 0 -1 1077944320 559827 12997 2 2 237606 338 4 4 20 0 15 0 415291015 11109408768 160300 33554432000 4194304 4196468 140736187618512 140736187601056 140635006447351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
/proc/7588/statm: 2712258 160300 3635 1 0 2674317 0
[pid=7588/tid=7693] ppid=7584 vsize=10849032 memory=644276 CPUtime=2304.3 cores=0,2,4,6
/proc/7588/task/7693/stat : 7693 (java) R 7584 7588 6494 0 -1 4202560 179371 12997 1 2 230350 72 4 4 20 0 15 0 415291029 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634978279760 140634580945296 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7698] ppid=7584 vsize=10849032 memory=641200 CPUtime=12.16 cores=0,2,4,6
/proc/7588/task/7698/stat : 7698 (java) S 7584 7588 6494 0 -1 1077944384 31718 12997 0 2 1172 36 4 4 20 0 15 0 415291030 11109408768 160300 33554432000 4194304 4196468 140736187618512 140635010689680 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7699] ppid=7584 vsize=10849032 memory=280705641881568 CPUtime=12.11 cores=0,2,4,6
/proc/7588/task/7699/stat : 7699 (java) S 7584 7588 6494 0 -1 1077944384 32610 12997 0 2 1164 39 4 4 20 0 15 0 415291030 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634898962960 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7700] ppid=7584 vsize=10849032 memory=3905381599965041156 CPUtime=12.14 cores=0,2,4,6
/proc/7588/task/7700/stat : 7700 (java) S 7584 7588 6494 0 -1 1077944384 36848 12997 0 2 1172 34 4 4 20 0 15 0 415291030 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634897910160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7702] ppid=7584 vsize=10849032 memory=662728 CPUtime=12.08 cores=0,2,4,6
/proc/7588/task/7702/stat : 7702 (java) S 7584 7588 6494 0 -1 1077944384 28137 12997 0 2 1163 37 4 4 20 0 15 0 415291030 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634896857360 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7704] ppid=7584 vsize=10849032 memory=641200 CPUtime=3.98 cores=0,2,4,6
/proc/7588/task/7704/stat : 7704 (java) S 7584 7588 6494 0 -1 1077944384 24835 12997 0 2 339 51 4 4 20 0 15 0 415291031 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634465717104 140635006458498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7706] ppid=7584 vsize=10849032 memory=648896 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7706/stat : 7706 (java) S 7584 7588 6494 0 -1 1077944384 65 12997 0 2 0 0 4 4 20 0 15 0 415291032 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634464663200 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7707] ppid=7584 vsize=10849032 memory=3612 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7707/stat : 7707 (java) S 7584 7588 6494 0 -1 1077944384 41 12997 0 2 0 0 4 4 20 0 15 0 415291032 11109408768 160300 33554432000 4194304 4196468 140736187618512 140633872262528 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7709] ppid=7584 vsize=10849032 memory=644276 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7709/stat : 7709 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11109408768 160300 33554432000 4194304 4196468 140736187618512 140633564862800 140635006465947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7711] ppid=7584 vsize=10849032 memory=648380 CPUtime=9.53 cores=0,2,4,6
/proc/7588/task/7711/stat : 7711 (java) S 7584 7588 6494 0 -1 1077944384 59571 12997 0 2 939 6 4 4 20 0 15 0 415291035 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634431105392 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7713] ppid=7584 vsize=10849032 memory=645816 CPUtime=9.36 cores=0,2,4,6
/proc/7588/task/7713/stat : 7713 (java) S 7584 7588 6494 0 -1 1077944384 52877 12997 0 2 923 5 4 4 20 0 15 0 415291035 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634430052592 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7715] ppid=7584 vsize=10849032 memory=1672 CPUtime=2.95 cores=0,2,4,6
/proc/7588/task/7715/stat : 7715 (java) S 7584 7588 6494 0 -1 1077944384 109272 12997 0 2 276 11 4 4 20 0 15 0 415291035 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634428999792 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7717] ppid=7584 vsize=10849032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7717/stat : 7717 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11109408768 160300 33554432000 4194304 4196468 140736187618512 140633531304160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7719] ppid=7584 vsize=10849032 memory=0 CPUtime=1.52 cores=0,2,4,6
/proc/7588/task/7719/stat : 7719 (java) S 7584 7588 6494 0 -1 1077944384 2267 12997 0 2 67 77 4 4 20 0 15 0 415291035 11109408768 160300 33554432000 4194304 4196468 140736187618512 140634427948208 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
Current children cumulated CPU time: 2379.52 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 641200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2342.5 s]
/proc/loadavg: 1.86 1.72 1.66 4/227 7953
/proc/meminfo: memFree=26481416/32770624 swapFree=66945992/67108860
[pid=7588] ppid=7584 vsize=10849032 memory=634840 CPUtime=2400.08 cores=0,2,4,6
/proc/7588/stat : 7588 (java) S 7584 7588 6494 0 -1 1077944320 562940 12997 2 2 239660 340 4 4 20 0 15 0 415291015 11109408768 158710 33554432000 4194304 4196468 140736187618512 140736187601056 140635006447351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
/proc/7588/statm: 2712258 158710 3635 1 0 2674317 0
[pid=7588/tid=7693] ppid=7584 vsize=10849032 memory=641200 CPUtime=2324.33 cores=0,2,4,6
/proc/7588/task/7693/stat : 7693 (java) R 7584 7588 6494 0 -1 4202560 180174 12997 1 2 232353 72 4 4 20 0 15 0 415291029 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634978280880 140634577030789 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7698] ppid=7584 vsize=10849032 memory=643048 CPUtime=12.28 cores=0,2,4,6
/proc/7588/task/7698/stat : 7698 (java) S 7584 7588 6494 0 -1 1077944384 32012 12997 0 2 1184 36 4 4 20 0 15 0 415291030 11109408768 158710 33554432000 4194304 4196468 140736187618512 140635010689680 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7699] ppid=7584 vsize=10849032 memory=641508 CPUtime=12.23 cores=0,2,4,6
/proc/7588/task/7699/stat : 7699 (java) S 7584 7588 6494 0 -1 1077944384 32823 12997 0 2 1176 39 4 4 20 0 15 0 415291030 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634898962960 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7700] ppid=7584 vsize=10849032 memory=644276 CPUtime=12.25 cores=0,2,4,6
/proc/7588/task/7700/stat : 7700 (java) S 7584 7588 6494 0 -1 1077944384 37119 12997 0 2 1183 34 4 4 20 0 15 0 415291030 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634897910160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7702] ppid=7584 vsize=10849032 memory=634840 CPUtime=12.2 cores=0,2,4,6
/proc/7588/task/7702/stat : 7702 (java) S 7584 7588 6494 0 -1 1077944384 28350 12997 0 2 1175 37 4 4 20 0 15 0 415291030 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634896857360 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7704] ppid=7584 vsize=10849032 memory=654596 CPUtime=4.01 cores=0,2,4,6
/proc/7588/task/7704/stat : 7704 (java) S 7584 7588 6494 0 -1 1077944384 24857 12997 0 2 342 51 4 4 20 0 15 0 415291031 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634465717104 140635006458498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7706] ppid=7584 vsize=10849032 memory=654596 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7706/stat : 7706 (java) S 7584 7588 6494 0 -1 1077944384 65 12997 0 2 0 0 4 4 20 0 15 0 415291032 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634464663200 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7707] ppid=7584 vsize=10849032 memory=280705641881568 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7707/stat : 7707 (java) S 7584 7588 6494 0 -1 1077944384 41 12997 0 2 0 0 4 4 20 0 15 0 415291032 11109408768 158710 33554432000 4194304 4196468 140736187618512 140633872262528 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7709] ppid=7584 vsize=10849032 memory=644276 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7709/stat : 7709 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140633564862800 140635006465947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7711] ppid=7584 vsize=10849032 memory=653112 CPUtime=9.53 cores=0,2,4,6
/proc/7588/task/7711/stat : 7711 (java) S 7584 7588 6494 0 -1 1077944384 59571 12997 0 2 939 6 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634431105392 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7713] ppid=7584 vsize=10849032 memory=635352 CPUtime=9.36 cores=0,2,4,6
/proc/7588/task/7713/stat : 7713 (java) S 7584 7588 6494 0 -1 1077944384 52877 12997 0 2 923 5 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634430052592 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7715] ppid=7584 vsize=10849032 memory=3612 CPUtime=2.96 cores=0,2,4,6
/proc/7588/task/7715/stat : 7715 (java) S 7584 7588 6494 0 -1 1077944384 110567 12997 0 2 277 11 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634428999792 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7717] ppid=7584 vsize=10849032 memory=20448 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7717/stat : 7717 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140633531304160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7719] ppid=7584 vsize=10849032 memory=635864 CPUtime=1.53 cores=0,2,4,6
/proc/7588/task/7719/stat : 7719 (java) S 7584 7588 6494 0 -1 1077944384 2269 12997 0 2 68 77 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634427948208 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 634840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2342.58 s]
# the end of solver process 7588 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.71 s, system=3.4661 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2342.5 s]
/proc/loadavg: 1.86 1.72 1.66 4/227 7953
/proc/meminfo: memFree=26481416/32770624 swapFree=66945992/67108860
[pid=7588] ppid=7584 vsize=10849032 memory=634840 CPUtime=2400.08 cores=0,2,4,6
/proc/7588/stat : 7588 (java) S 7584 7588 6494 0 -1 1077944320 562940 12997 2 2 239660 340 4 4 20 0 15 0 415291015 11109408768 158710 33554432000 4194304 4196468 140736187618512 140736187601056 140635006447351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
/proc/7588/statm: 2712258 158710 3635 1 0 2674317 0
[pid=7588/tid=7693] ppid=7584 vsize=10849032 memory=641200 CPUtime=2324.33 cores=0,2,4,6
/proc/7588/task/7693/stat : 7693 (java) R 7584 7588 6494 0 -1 4202560 180174 12997 1 2 232353 72 4 4 20 0 15 0 415291029 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634978280880 140634577030789 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7698] ppid=7584 vsize=10849032 memory=643048 CPUtime=12.28 cores=0,2,4,6
/proc/7588/task/7698/stat : 7698 (java) S 7584 7588 6494 0 -1 1077944384 32012 12997 0 2 1184 36 4 4 20 0 15 0 415291030 11109408768 158710 33554432000 4194304 4196468 140736187618512 140635010689680 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7699] ppid=7584 vsize=10849032 memory=641508 CPUtime=12.23 cores=0,2,4,6
/proc/7588/task/7699/stat : 7699 (java) S 7584 7588 6494 0 -1 1077944384 32823 12997 0 2 1176 39 4 4 20 0 15 0 415291030 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634898962960 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7700] ppid=7584 vsize=10849032 memory=644276 CPUtime=12.25 cores=0,2,4,6
/proc/7588/task/7700/stat : 7700 (java) S 7584 7588 6494 0 -1 1077944384 37119 12997 0 2 1183 34 4 4 20 0 15 0 415291030 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634897910160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7702] ppid=7584 vsize=10849032 memory=634840 CPUtime=12.2 cores=0,2,4,6
/proc/7588/task/7702/stat : 7702 (java) S 7584 7588 6494 0 -1 1077944384 28350 12997 0 2 1175 37 4 4 20 0 15 0 415291030 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634896857360 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7704] ppid=7584 vsize=10849032 memory=654596 CPUtime=4.01 cores=0,2,4,6
/proc/7588/task/7704/stat : 7704 (java) S 7584 7588 6494 0 -1 1077944384 24857 12997 0 2 342 51 4 4 20 0 15 0 415291031 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634465717104 140635006458498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7706] ppid=7584 vsize=10849032 memory=654596 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7706/stat : 7706 (java) S 7584 7588 6494 0 -1 1077944384 65 12997 0 2 0 0 4 4 20 0 15 0 415291032 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634464663200 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7707] ppid=7584 vsize=10849032 memory=280705641881568 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7707/stat : 7707 (java) S 7584 7588 6494 0 -1 1077944384 41 12997 0 2 0 0 4 4 20 0 15 0 415291032 11109408768 158710 33554432000 4194304 4196468 140736187618512 140633872262528 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7709] ppid=7584 vsize=10849032 memory=644276 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7709/stat : 7709 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140633564862800 140635006465947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7711] ppid=7584 vsize=10849032 memory=653112 CPUtime=9.53 cores=0,2,4,6
/proc/7588/task/7711/stat : 7711 (java) S 7584 7588 6494 0 -1 1077944384 59571 12997 0 2 939 6 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634431105392 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7713] ppid=7584 vsize=10849032 memory=635352 CPUtime=9.36 cores=0,2,4,6
/proc/7588/task/7713/stat : 7713 (java) S 7584 7588 6494 0 -1 1077944384 52877 12997 0 2 923 5 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634430052592 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7715] ppid=7584 vsize=10849032 memory=3612 CPUtime=2.96 cores=0,2,4,6
/proc/7588/task/7715/stat : 7715 (java) S 7584 7588 6494 0 -1 1077944384 110567 12997 0 2 277 11 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634428999792 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7717] ppid=7584 vsize=10849032 memory=20448 CPUtime=0.08 cores=0,2,4,6
/proc/7588/task/7717/stat : 7717 (java) S 7584 7588 6494 0 -1 1077944384 3 12997 0 2 0 0 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140633531304160 140635006457557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
[pid=7588/tid=7719] ppid=7584 vsize=10849032 memory=635864 CPUtime=1.53 cores=0,2,4,6
/proc/7588/task/7719/stat : 7719 (java) S 7584 7588 6494 0 -1 1077944384 2269 12997 0 2 68 77 4 4 20 0 15 0 415291035 11109408768 158710 33554432000 4194304 4196468 140736187618512 140634427948208 140635006458498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140736187624175 140736187626693 140736187626693 140736187629519 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 634840 KiB
Child status: 143
Real time (s): 2342.58
CPU time (s): 2400.17
CPU user time (s): 2396.71
CPU system time (s): 3.4661
CPU usage (%): 102.459
Max. virtual memory (cumulated for all children) (KiB): 10849680
Max. memory (cumulated for all children) (KiB): 2932880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.71
system time used= 3.4661
maximum resident set size= 2932880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578038
page faults= 4
swaps= 0
block input operations= 6736
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133939
involuntary context switches= 5434
# summary of solver processes directly reported to runsolver:
# pid: 7588
# total CPU time (s): 2400.17
# total CPU user time (s): 2396.71
# total CPU system time (s): 3.4661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1957 second user time and 17.417 second system time
The end