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 (10365 MiB free)
memory of node 1: 16384 MiB (13915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263189-1502633680/watcher-4263189-1502633680 -o /tmp/evaluation-result-4263189-1502633680/solver-4263189-1502633680 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502620619-3502 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263189-1502633680.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=5579, runsolver pid=5576
Current StackSize limit: 8192 KiB
[startup+0.106682 s]*
/proc/loadavg: 1.88 2.08 2.51 4/216 5594
/proc/meminfo: memFree=24843656/32770624 swapFree=67108860/67108860
[pid=5579] ppid=5576 vsize=10555400 memory=31064 CPUtime=0.13 cores=1,3,5,7
/proc/5579/stat : 5579 (java) S 5576 5579 3242 0 -1 1077944320 6847 0 0 0 12 1 0 0 20 0 15 0 96448864 10808729600 7766 33554432000 4194304 4196468 140725869942144 140725869924688 140004896902903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
/proc/5579/statm: 2638850 7766 2818 1 0 2627263 0
[pid=5579/tid=5581] ppid=5576 vsize=10555400 memory=-8680515077580616896 CPUtime=0.1 cores=1,3,5,7
/proc/5579/task/5581/stat : 5581 (java) R 5576 5579 3242 0 -1 4202560 4688 0 0 0 9 1 0 0 20 0 15 0 96448865 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004901116896 140004880983420 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5582] ppid=5576 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5582/stat : 5582 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004862184208 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5583] ppid=5576 vsize=10555400 memory=140651648747136 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5583/stat : 5583 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004502907792 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5584] ppid=5576 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5584/stat : 5584 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004501855248 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5585] ppid=5576 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5585/stat : 5585 (java) S 5576 5579 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96448865 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004500802704 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5586] ppid=5576 vsize=10555400 memory=140651648747136 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5586/stat : 5586 (java) S 5576 5579 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96448867 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004389013488 140004896914050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5587] ppid=5576 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5587/stat : 5587 (java) S 5576 5579 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96448867 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004387959712 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5588] ppid=5576 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5588/stat : 5588 (java) S 5576 5579 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96448867 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004386907120 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5589] ppid=5576 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5589/stat : 5589 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96448870 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004385855696 140004896921499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5590] ppid=5576 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5590/stat : 5590 (java) S 5576 5579 3242 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 96448870 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004384803312 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5591] ppid=5576 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5591/stat : 5591 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96448870 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004383750768 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5592] ppid=5576 vsize=10555400 memory=140651648747136 CPUtime=0.02 cores=1,3,5,7
/proc/5579/task/5592/stat : 5592 (java) R 5576 5579 3242 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 96448870 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004382698224 140004896924250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5593] ppid=5576 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5593/stat : 5593 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96448870 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004381645920 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5594] ppid=5576 vsize=10555400 memory=140651648747136 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5594/stat : 5594 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448870 10808729600 7766 33554432000 4194304 4196468 140725869942144 140004380592432 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31064 KiB
[startup+0.210782 s]*
/proc/loadavg: 1.88 2.08 2.51 3/216 5594
/proc/meminfo: memFree=24836560/32770624 swapFree=67108860/67108860
[pid=5579] ppid=5576 vsize=10555400 memory=38264 CPUtime=0.27 cores=1,3,5,7
/proc/5579/stat : 5579 (java) S 5576 5579 3242 0 -1 1077944320 7807 0 0 0 25 2 0 0 20 0 15 0 96448864 10808729600 9566 33554432000 4194304 4196468 140725869942144 140725869924688 140004896902903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
/proc/5579/statm: 2638850 9566 2945 1 0 2627263 0
[pid=5579/tid=5581] ppid=5576 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5579/task/5581/stat : 5581 (java) R 5576 5579 3242 0 -1 4202560 5414 0 0 0 18 2 0 0 20 0 15 0 96448865 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004901113632 140004880946533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5582] ppid=5576 vsize=10555400 memory=342 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5582/stat : 5582 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004862184208 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5583] ppid=5576 vsize=10555400 memory=140651648752856 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5583/stat : 5583 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004502907792 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5584] ppid=5576 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5584/stat : 5584 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004501855248 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5585] ppid=5576 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5585/stat : 5585 (java) S 5576 5579 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96448865 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004500802704 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5586] ppid=5576 vsize=10555400 memory=140651648747136 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5586/stat : 5586 (java) S 5576 5579 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96448867 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004389013488 140004896914050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5587] ppid=5576 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5587/stat : 5587 (java) S 5576 5579 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96448867 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004387959712 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5588] ppid=5576 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5588/stat : 5588 (java) S 5576 5579 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96448867 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004386907120 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5589] ppid=5576 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5589/stat : 5589 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96448870 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004385855696 140004896921499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5590] ppid=5576 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5579/task/5590/stat : 5590 (java) S 5576 5579 3242 0 -1 1077944384 490 0 0 0 1 0 0 0 20 0 15 0 96448870 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004384803312 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5591] ppid=5576 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5579/task/5591/stat : 5591 (java) S 5576 5579 3242 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 15 0 96448870 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004383750768 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5592] ppid=5576 vsize=10555400 memory=140651648747136 CPUtime=0.05 cores=1,3,5,7
/proc/5579/task/5592/stat : 5592 (java) R 5576 5579 3242 0 -1 4202560 405 0 0 0 5 0 0 0 20 0 15 0 96448870 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004382698224 140004880983390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5593] ppid=5576 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5593/stat : 5593 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96448870 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004381645920 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5594] ppid=5576 vsize=10555400 memory=140651648747136 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5594/stat : 5594 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448870 10808729600 9566 33554432000 4194304 4196468 140725869942144 140004380592432 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38264 KiB
[startup+0.311747 s]*
/proc/loadavg: 1.88 2.08 2.51 5/216 5594
/proc/meminfo: memFree=24828704/32770624 swapFree=67108860/67108860
[pid=5579] ppid=5576 vsize=10555476 memory=46804 CPUtime=0.5 cores=1,3,5,7
/proc/5579/stat : 5579 (java) S 5576 5579 3242 0 -1 1077944320 8885 0 0 0 47 3 0 0 20 0 15 0 96448864 10808807424 11701 33554432000 4194304 4196468 140725869942144 140725869924688 140004896902903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
/proc/5579/statm: 2638869 11701 3013 1 0 2627263 0
[pid=5579/tid=5581] ppid=5576 vsize=10555476 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/5579/task/5581/stat : 5581 (java) R 5576 5579 3242 0 -1 4202560 5751 0 0 0 27 2 0 0 20 0 15 0 96448865 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004901139280 140004533681636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5582] ppid=5576 vsize=10555476 memory=304556153357205527 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5582/stat : 5582 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004862184208 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5583] ppid=5576 vsize=10555476 memory=14558758966625944 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5583/stat : 5583 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004502907792 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5584] ppid=5576 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5584/stat : 5584 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004501855248 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5585] ppid=5576 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5585/stat : 5585 (java) S 5576 5579 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96448865 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004500802704 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5586] ppid=5576 vsize=10555476 memory=140651648747136 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5586/stat : 5586 (java) S 5576 5579 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96448867 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004389013488 140004896914050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5587] ppid=5576 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5587/stat : 5587 (java) S 5576 5579 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96448867 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004387959712 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5588] ppid=5576 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5588/stat : 5588 (java) S 5576 5579 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96448867 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004386907120 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5589] ppid=5576 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5589/stat : 5589 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96448870 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004385855696 140004896921499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5590] ppid=5576 vsize=10555476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5579/task/5590/stat : 5590 (java) R 5576 5579 3242 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 96448870 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004384803312 140004896914050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5591] ppid=5576 vsize=10555476 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5579/task/5591/stat : 5591 (java) R 5576 5579 3242 0 -1 4202560 535 0 0 0 4 0 0 0 20 0 15 0 96448870 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004383731784 140004877603200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5592] ppid=5576 vsize=10555476 memory=140651648747136 CPUtime=0.12 cores=1,3,5,7
/proc/5579/task/5592/stat : 5592 (java) R 5576 5579 3242 0 -1 4202560 726 0 0 0 12 0 0 0 20 0 15 0 96448870 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004382698352 140004875760679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5593] ppid=5576 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5593/stat : 5593 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96448870 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004381645920 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5594] ppid=5576 vsize=10555476 memory=140651648747136 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5594/stat : 5594 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448870 10808807424 11701 33554432000 4194304 4196468 140725869942144 140004380592432 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46804 KiB
[startup+0.701236 s]
/proc/loadavg: 1.88 2.08 2.51 5/216 5594
/proc/meminfo: memFree=24786760/32770624 swapFree=67108860/67108860
[pid=5579] ppid=5576 vsize=10555476 memory=173952 CPUtime=1.72 cores=1,3,5,7
/proc/5579/stat : 5579 (java) S 5576 5579 3242 0 -1 1077944320 15190 0 0 0 166 6 0 0 20 0 15 0 96448864 10808807424 43488 33554432000 4194304 4196468 140725869942144 140725869924688 140004896902903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
/proc/5579/statm: 2638869 43488 3086 1 0 2627263 0
[pid=5579/tid=5581] ppid=5576 vsize=10555476 memory=1732 CPUtime=0.67 cores=1,3,5,7
/proc/5579/task/5581/stat : 5581 (java) R 5576 5579 3242 0 -1 4202560 5927 0 0 0 63 4 0 0 20 0 15 0 96448865 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004901126680 140004536389468 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5582] ppid=5576 vsize=10555476 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5582/stat : 5582 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004862184208 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5583] ppid=5576 vsize=10555476 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5583/stat : 5583 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004502907792 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5584] ppid=5576 vsize=10555476 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5584/stat : 5584 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448865 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004501855248 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5585] ppid=5576 vsize=10555476 memory=796 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5585/stat : 5585 (java) S 5576 5579 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96448865 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004500802704 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5586] ppid=5576 vsize=10555476 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5586/stat : 5586 (java) S 5576 5579 3242 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96448867 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004389013488 140004896914050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5587] ppid=5576 vsize=10555476 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5587/stat : 5587 (java) S 5576 5579 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96448867 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004387959712 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5588] ppid=5576 vsize=10555476 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5588/stat : 5588 (java) S 5576 5579 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96448867 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004386907120 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5589] ppid=5576 vsize=10555476 memory=6296683629868568929 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5589/stat : 5589 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96448870 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004385855696 140004896921499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5590] ppid=5576 vsize=10555476 memory=7519159149027546218 CPUtime=0.37 cores=1,3,5,7
/proc/5579/task/5590/stat : 5590 (java) R 5576 5579 3242 0 -1 4202560 3349 0 0 0 37 0 0 0 20 0 15 0 96448870 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004384784120 140004880399643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5591] ppid=5576 vsize=10555476 memory=7523071198212214892 CPUtime=0.42 cores=1,3,5,7
/proc/5579/task/5591/stat : 5591 (java) R 5576 5579 3242 0 -1 4202560 2748 0 0 0 42 0 0 0 20 0 15 0 96448870 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004383736648 140004878424294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5592] ppid=5576 vsize=10555476 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/5579/task/5592/stat : 5592 (java) S 5576 5579 3242 0 -1 1077944384 1795 0 0 0 22 0 0 0 20 0 15 0 96448870 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004382698224 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5593] ppid=5576 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5593/stat : 5593 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96448870 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004381645920 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5594] ppid=5576 vsize=10555476 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5594/stat : 5594 (java) S 5576 5579 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96448870 10808807424 43488 33554432000 4194304 4196468 140725869942144 140004380592432 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 173952 KiB
[startup+1.50123 s]
/proc/loadavg: 1.88 2.08 2.51 5/216 5594
/proc/meminfo: memFree=24646656/32770624 swapFree=67108860/67108860
[pid=5579] ppid=5576 vsize=10555476 memory=388588 CPUtime=4.09 cores=1,3,5,7
/proc/5579/stat : 5579 (java) S 5576 5579 3242 0 -1 1077944320 19184 0 0 0 395 14 0 0 20 0 15 0 96448864 10808807424 97147 33554432000 4194304 4196468 140725869942144 140725869924688 140004896902903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
/proc/5579/statm: 2638869 97147 3118 1 0 2627263 0
[pid=5579/tid=5581] ppid=5576 vsize=10555476 memory=8112282956445269571 CPUtime=1.35 cores=1,3,5,7
/proc/5579/task/5581/stat : 5581 (java) S 5576 5579 3242 0 -1 1077944384 5996 0 0 0 129 6 0 0 20 0 15 0 96448865 10808807424 97147 33554432000 4194304 4196468 140725869942144 140004901136592 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5582] ppid=5576 vsize=10555476 memory=-8754540793456063680 CPUtime=0.04 cores=1,3,5,7
/proc/5579/task/5582/stat : 5582 (java) R 5576 5579 3242 0 -1 4202560 225 0 0 0 4 0 0 0 20 0 15 0 96448865 10808807424 97147 33554432000 4194304 4196468 140725869942144 140004862184408 140004878528899 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5583] ppid=5576 vsize=10555476 memory=-2843869621055772062 CPUtime=0.05 cores=1,3,5,7
/proc/5579/task/5583/stat : 5583 (java) R 5576 5579 3242 0 -1 4202560 42 0 0 0 4 1 0 0 20 0 15 0 96448865 10808807424 97147 33554432000 4194304 4196468 140725869942144 140004502907792 140004881927242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5584] ppid=5576 vsize=10555476 memory=5450919713671312938 CPUtime=0.06 cores=1,3,5,7
/proc/5579/task/5584/stat : 5584 (java) R 5576 5579 3242 0 -1 4202560 39 0 0 0 5 1 0 0 20 0 15 0 96448865 10808807424 97147 33554432000 4194304 4196468 140725869942144 140004501855248 140004881930322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5585] ppid=5576 vsize=10555476 memory=7005738693937936738 CPUtime=0.09 cores=1,3,5,7
/proc/5579/task/5585/stat : 5585 (java) R 5576 5579 3242 0 -1 4202560 131 0 0 0 8 1 0 0 20 0 15 0 96448865 10808807424 97147 33554432000 4194304 4196468 140725869942144 140004500802704 140004881927147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5586] ppid=5576 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5586/stat : 5586 (java) S 5576 5579 3242 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 96448867 10808807424 97147 33554432000 4194304 4196468 140725869942144 140004389012000 140004896913109 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
################
# More data... #
################
/proc/5579/task/5584/stat : 5584 (java) S 5576 5579 3242 0 -1 1077944384 9907 0 0 0 611 90 0 0 20 0 16 0 96448865 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004501855248 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5585] ppid=5576 vsize=10622040 memory=3834268 CPUtime=7.01 cores=1,3,5,7
/proc/5579/task/5585/stat : 5585 (java) S 5576 5579 3242 0 -1 1077944384 8313 0 0 0 612 89 0 0 20 0 16 0 96448865 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004500802704 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5586] ppid=5576 vsize=10622040 memory=3834268 CPUtime=0.98 cores=1,3,5,7
/proc/5579/task/5586/stat : 5586 (java) S 5576 5579 3242 0 -1 1077944384 29503 0 0 0 94 4 0 0 20 0 16 0 96448867 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004389013488 140004896914050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5587] ppid=5576 vsize=10622040 memory=3834268 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5587/stat : 5587 (java) S 5576 5579 3242 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 96448867 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004387959776 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5588] ppid=5576 vsize=10622040 memory=3834268 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5588/stat : 5588 (java) S 5576 5579 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 96448867 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004386907136 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5589] ppid=5576 vsize=10622040 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5589/stat : 5589 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96448870 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004385855696 140004896921499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5590] ppid=5576 vsize=10622040 memory=916 CPUtime=2.3 cores=1,3,5,7
/proc/5579/task/5590/stat : 5590 (java) S 5576 5579 3242 0 -1 1077944384 14380 0 0 0 228 2 0 0 20 0 16 0 96448870 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004384803312 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5591] ppid=5576 vsize=10622040 memory=3834268 CPUtime=2.3 cores=1,3,5,7
/proc/5579/task/5591/stat : 5591 (java) S 5576 5579 3242 0 -1 1077944384 13153 0 0 0 229 1 0 0 20 0 16 0 96448870 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004383750768 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5592] ppid=5576 vsize=10622040 memory=4144 CPUtime=0.39 cores=1,3,5,7
/proc/5579/task/5592/stat : 5592 (java) S 5576 5579 3242 0 -1 1077944384 4766 0 0 0 38 1 0 0 20 0 16 0 96448870 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004382698224 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5593] ppid=5576 vsize=10622040 memory=3834268 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5593/stat : 5593 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96448870 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004381645920 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5594] ppid=5576 vsize=10622040 memory=4144 CPUtime=1.29 cores=1,3,5,7
/proc/5579/task/5594/stat : 5594 (java) S 5576 5579 3242 0 -1 1077944384 3174 0 0 0 58 71 0 0 20 0 16 0 96448870 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004380592432 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5595] ppid=5576 vsize=10622040 memory=55 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5595/stat : 5595 (java) S 5576 5579 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96449117 10876968960 958567 33554432000 4194304 4196468 140725869942144 140004379538224 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
Current children cumulated CPU time: 2409.52 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3834268 KiB
[startup+2442.3 s]
/proc/loadavg: 2.09 3.04 3.13 3/217 6240
/proc/meminfo: memFree=16749212/32770624 swapFree=67108860/67108860
[pid=5579] ppid=5576 vsize=10622040 memory=3808236 CPUtime=2469.88 cores=1,3,5,7
/proc/5579/stat : 5579 (java) S 5576 5579 3242 0 -1 1077944320 210995 0 0 0 246532 456 0 0 20 0 16 0 96448864 10876968960 952059 33554432000 4194304 4196468 140725869942144 140725869924688 140004896902903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
/proc/5579/statm: 2655510 952059 3170 1 0 2643904 0
[pid=5579/tid=5581] ppid=5576 vsize=10622040 memory=3808236 CPUtime=2434.09 cores=1,3,5,7
/proc/5579/task/5581/stat : 5581 (java) R 5576 5579 3242 0 -1 4202560 104980 0 0 0 243380 29 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004901141952 140004537881062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5582] ppid=5576 vsize=10622040 memory=3834268 CPUtime=7.07 cores=1,3,5,7
/proc/5579/task/5582/stat : 5582 (java) S 5576 5579 3242 0 -1 1077944384 10326 0 0 0 619 88 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004862184208 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5583] ppid=5576 vsize=10622040 memory=3834268 CPUtime=7.09 cores=1,3,5,7
/proc/5579/task/5583/stat : 5583 (java) S 5576 5579 3242 0 -1 1077944384 10370 0 0 0 620 89 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004502907792 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5584] ppid=5576 vsize=10622040 memory=3834268 CPUtime=7.13 cores=1,3,5,7
/proc/5579/task/5584/stat : 5584 (java) S 5576 5579 3242 0 -1 1077944384 10108 0 0 0 622 91 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004501855248 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5585] ppid=5576 vsize=10622040 memory=3808236 CPUtime=7.12 cores=1,3,5,7
/proc/5579/task/5585/stat : 5585 (java) S 5576 5579 3242 0 -1 1077944384 8471 0 0 0 623 89 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004500802704 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5586] ppid=5576 vsize=10622040 memory=3808236 CPUtime=0.99 cores=1,3,5,7
/proc/5579/task/5586/stat : 5586 (java) S 5576 5579 3242 0 -1 1077944384 29761 0 0 0 94 5 0 0 20 0 16 0 96448867 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004389013488 140004896914050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5587] ppid=5576 vsize=10622040 memory=3808236 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5587/stat : 5587 (java) S 5576 5579 3242 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 96448867 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004387959776 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5588] ppid=5576 vsize=10622040 memory=3808236 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5588/stat : 5588 (java) S 5576 5579 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 96448867 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004386907136 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5589] ppid=5576 vsize=10622040 memory=3808236 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5589/stat : 5589 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004385855696 140004896921499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5590] ppid=5576 vsize=10622040 memory=3808236 CPUtime=2.3 cores=1,3,5,7
/proc/5579/task/5590/stat : 5590 (java) S 5576 5579 3242 0 -1 1077944384 14395 0 0 0 228 2 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004384803312 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5591] ppid=5576 vsize=10622040 memory=2244 CPUtime=2.3 cores=1,3,5,7
/proc/5579/task/5591/stat : 5591 (java) S 5576 5579 3242 0 -1 1077944384 13158 0 0 0 229 1 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004383750768 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5592] ppid=5576 vsize=10622040 memory=4124 CPUtime=0.39 cores=1,3,5,7
/proc/5579/task/5592/stat : 5592 (java) S 5576 5579 3242 0 -1 1077944384 4771 0 0 0 38 1 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004382698224 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5593] ppid=5576 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5593/stat : 5593 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004381645920 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5594] ppid=5576 vsize=10622040 memory=3808236 CPUtime=1.31 cores=1,3,5,7
/proc/5579/task/5594/stat : 5594 (java) S 5576 5579 3242 0 -1 1077944384 3247 0 0 0 59 72 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004380592432 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5595] ppid=5576 vsize=10622040 memory=3808236 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5595/stat : 5595 (java) S 5576 5579 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96449117 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004379538224 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
Current children cumulated CPU time: 2469.88 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3808236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.4 s]
/proc/loadavg: 2.37 2.98 3.10 3/217 6241
/proc/meminfo: memFree=15788564/32770624 swapFree=67108860/67108860
[pid=5579] ppid=5576 vsize=10622040 memory=3808236 CPUtime=2520.01 cores=1,3,5,7
/proc/5579/stat : 5579 (java) S 5576 5579 3242 0 -1 1077944320 213695 0 0 0 251543 458 0 0 20 0 16 0 96448864 10876968960 952059 33554432000 4194304 4196468 140725869942144 140725869924688 140004896902903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
/proc/5579/statm: 2655510 952059 3170 1 0 2643904 0
[pid=5579/tid=5581] ppid=5576 vsize=10622040 memory=8112282956445269571 CPUtime=2484.19 cores=1,3,5,7
/proc/5579/task/5581/stat : 5581 (java) R 5576 5579 3242 0 -1 4202560 107570 0 0 0 248390 29 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004901134480 140004538179530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5582] ppid=5576 vsize=10622040 memory=3096 CPUtime=7.07 cores=1,3,5,7
/proc/5579/task/5582/stat : 5582 (java) S 5576 5579 3242 0 -1 1077944384 10326 0 0 0 619 88 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004862184208 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5583] ppid=5576 vsize=10622040 memory=3808236 CPUtime=7.09 cores=1,3,5,7
/proc/5579/task/5583/stat : 5583 (java) S 5576 5579 3242 0 -1 1077944384 10370 0 0 0 620 89 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004502907792 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5584] ppid=5576 vsize=10622040 memory=4104 CPUtime=7.13 cores=1,3,5,7
/proc/5579/task/5584/stat : 5584 (java) S 5576 5579 3242 0 -1 1077944384 10108 0 0 0 622 91 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004501855248 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5585] ppid=5576 vsize=10622040 memory=4872558044660077418 CPUtime=7.12 cores=1,3,5,7
/proc/5579/task/5585/stat : 5585 (java) S 5576 5579 3242 0 -1 1077944384 8471 0 0 0 623 89 0 0 20 0 16 0 96448865 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004500802704 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5586] ppid=5576 vsize=10622040 memory=589972055281463335 CPUtime=0.99 cores=1,3,5,7
/proc/5579/task/5586/stat : 5586 (java) S 5576 5579 3242 0 -1 1077944384 29781 0 0 0 94 5 0 0 20 0 16 0 96448867 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004389013488 140004896914050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5587] ppid=5576 vsize=10622040 memory=18241 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5587/stat : 5587 (java) S 5576 5579 3242 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 96448867 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004387959776 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5588] ppid=5576 vsize=10622040 memory=7512114578044973668 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5588/stat : 5588 (java) S 5576 5579 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 96448867 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004386907136 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5589] ppid=5576 vsize=10622040 memory=7512114578044973668 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5589/stat : 5589 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004385855696 140004896921499 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5590] ppid=5576 vsize=10622040 memory=6003396616569186666 CPUtime=2.3 cores=1,3,5,7
/proc/5579/task/5590/stat : 5590 (java) S 5576 5579 3242 0 -1 1077944384 14400 0 0 0 228 2 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004384803312 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5591] ppid=5576 vsize=10622040 memory=10973417827 CPUtime=2.3 cores=1,3,5,7
/proc/5579/task/5591/stat : 5591 (java) S 5576 5579 3242 0 -1 1077944384 13161 0 0 0 229 1 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004383750768 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5592] ppid=5576 vsize=10622040 memory=113 CPUtime=0.39 cores=1,3,5,7
/proc/5579/task/5592/stat : 5592 (java) S 5576 5579 3242 0 -1 1077944384 4777 0 0 0 38 1 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004382698224 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5593] ppid=5576 vsize=10622040 memory=7679373425970869011 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5593/stat : 5593 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004381645920 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5594] ppid=5576 vsize=10622040 memory=7089912016871909731 CPUtime=1.34 cores=1,3,5,7
/proc/5579/task/5594/stat : 5594 (java) S 5576 5579 3242 0 -1 1077944384 3323 0 0 0 60 74 0 0 20 0 16 0 96448870 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004380592432 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5595] ppid=5576 vsize=10622040 memory=6370174965410721130 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5595/stat : 5595 (java) S 5576 5579 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96449117 10876968960 952059 33554432000 4194304 4196468 140725869942144 140004379538224 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3808236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.64 s]
# the end of solver process 5579 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.54 s, system=4.60565 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2492.6 s]
/proc/loadavg: 2.37 2.98 3.10 3/217 6241
/proc/meminfo: memFree=15788564/32770624 swapFree=67108860/67108860
[pid=5579] ppid=5576 vsize=10821732 memory=3808548 CPUtime=2520.11 cores=1,3,5,7
/proc/5579/stat : 5579 (java) S 5576 5579 3242 0 -1 1077944320 215283 0 0 0 251553 458 0 0 20 0 17 0 96448864 11081453568 952137 33554432000 4194304 4196468 140725869942144 140725869924688 140004896902903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
/proc/5579/statm: 2705433 952137 3173 1 0 2693827 0
[pid=5579/tid=5581] ppid=5576 vsize=10821732 memory=302867320592924983 CPUtime=2484.28 cores=1,3,5,7
/proc/5579/task/5581/stat : 5581 (java) S 5576 5579 3242 0 -1 1077944384 107837 0 0 0 248399 29 0 0 20 0 17 0 96448865 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004901145776 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5582] ppid=5576 vsize=10821732 memory=14699582244260269 CPUtime=7.07 cores=1,3,5,7
/proc/5579/task/5582/stat : 5582 (java) S 5576 5579 3242 0 -1 1077944384 10326 0 0 0 619 88 0 0 20 0 17 0 96448865 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004862184208 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5583] ppid=5576 vsize=10821732 memory=3340 CPUtime=7.09 cores=1,3,5,7
/proc/5579/task/5583/stat : 5583 (java) S 5576 5579 3242 0 -1 1077944384 10370 0 0 0 620 89 0 0 20 0 17 0 96448865 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004502907792 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5584] ppid=5576 vsize=10821732 memory=3808236 CPUtime=7.13 cores=1,3,5,7
/proc/5579/task/5584/stat : 5584 (java) S 5576 5579 3242 0 -1 1077944384 10108 0 0 0 622 91 0 0 20 0 17 0 96448865 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004501855248 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5585] ppid=5576 vsize=10821732 memory=1160 CPUtime=7.12 cores=1,3,5,7
/proc/5579/task/5585/stat : 5585 (java) S 5576 5579 3242 0 -1 1077944384 8471 0 0 0 623 89 0 0 20 0 17 0 96448865 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004500802704 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5586] ppid=5576 vsize=10821732 memory=3808236 CPUtime=0.99 cores=1,3,5,7
/proc/5579/task/5586/stat : 5586 (java) S 5576 5579 3242 0 -1 1077944384 29781 0 0 0 94 5 0 0 20 0 17 0 96448867 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004389013488 140004896914050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5587] ppid=5576 vsize=10821732 memory=8332948 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5587/stat : 5587 (java) S 5576 5579 3242 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 96448867 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004387959776 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5588] ppid=5576 vsize=10821732 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5588/stat : 5588 (java) S 5576 5579 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 96448867 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004386907136 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5589] ppid=5576 vsize=10821732 memory=-6733704525061579059 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5589/stat : 5589 (java) S 5576 5579 3242 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 17 0 96448870 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004385855696 140004896921499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5590] ppid=5576 vsize=10821732 memory=8112282956445269571 CPUtime=2.3 cores=1,3,5,7
/proc/5579/task/5590/stat : 5590 (java) S 5576 5579 3242 0 -1 1077944384 14465 0 0 0 228 2 0 0 20 0 17 0 96448870 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004384803312 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5591] ppid=5576 vsize=10821732 memory=3808236 CPUtime=2.3 cores=1,3,5,7
/proc/5579/task/5591/stat : 5591 (java) S 5576 5579 3242 0 -1 1077944384 13269 0 0 0 229 1 0 0 20 0 17 0 96448870 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004383750768 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5592] ppid=5576 vsize=10821732 memory=648 CPUtime=0.39 cores=1,3,5,7
/proc/5579/task/5592/stat : 5592 (java) S 5576 5579 3242 0 -1 1077944384 5328 0 0 0 38 1 0 0 20 0 17 0 96448870 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004382698224 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5593] ppid=5576 vsize=10821732 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/5579/task/5593/stat : 5593 (java) S 5576 5579 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96448870 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004381645920 140004896913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
[pid=5579/tid=5594] ppid=5576 vsize=10821732 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/5579/task/5594/stat : 5594 (java) S 5576 5579 3242 0 -1 1077944384 3323 0 0 0 60 74 0 0 20 0 17 0 96448870 11081453568 952137 33554432000 4194304 4196468 140725869942144 140004380592432 140004896914050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20738048 140725869945990 140725869946143 140725869946143 140725869948879 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 3808548 KiB
Child status: 143
Real time (s): 2492.64
CPU time (s): 2520.15
CPU user time (s): 2515.54
CPU system time (s): 4.60565
CPU usage (%): 101.104
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 3834396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.54
system time used= 4.60565
maximum resident set size= 3834396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56904
involuntary context switches= 1838
# summary of solver processes directly reported to runsolver:
# pid: 5579
# total CPU time (s): 2520.15
# total CPU user time (s): 2515.54
# total CPU system time (s): 4.60565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.901 second user time and 24.2892 second system time
The end