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 (10788 MiB free)
memory of node 1: 16384 MiB (7256 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305203-1534139133/watcher-4305203-1534139133 -o /tmp/evaluation-result-4305203-1534139133/solver-4305203-1534139133 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534139133-9740 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=981680813 HOME/instance-4305203-1534139133.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=9770, runsolver pid=9765
Current StackSize limit: 8192 KiB
[startup+0.100216 s]*
/proc/loadavg: 1.00 1.02 1.26 4/208 9841
/proc/meminfo: memFree=18454380/32770624 swapFree=67108796/67108860
[pid=9770] ppid=9765 vsize=113256 memory=1604 CPUtime=0.01 cores=1,3,5,7
/proc/9770/stat : 9770 (bash) S 9765 9770 8908 0 -1 4202496 883 5669 1 0 0 0 0 1 20 0 1 0 231476469 115974144 401 33554432000 4194304 5098028 140726791540672 140726791534680 140154661932032 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 2 0 0 7196144 7232144 23601152 140726791541932 140726791542056 140726791542056 140726791544814 0
/proc/9770/statm: 28314 401 318 221 0 119 0
[pid=9824] ppid=9770 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/9824/stat : 9824 (bash) S 9770 9770 8908 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 231476476 115974144 178 33554432000 4194304 5098028 140726791540672 140726791533352 140154661757564 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23601152 140726791541932 140726791542056 140726791542056 140726791544814 0
/proc/9824/statm: 28314 178 95 221 0 119 0
[pid=9826] ppid=9824 vsize=10260324 memory=20364 CPUtime=0.02 cores=1,3,5,7
/proc/9826/stat : 9826 (java) S 9824 9770 8908 0 -1 1077944320 3858 0 0 0 2 0 0 0 20 0 9 0 231476476 10506571776 5091 33554432000 4194304 4196468 140720805378432 140720805360976 139750241332983 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33501184 140720805381411 140720805381425 140720805381425 140720805384143 0
/proc/9826/statm: 2565081 5091 2142 1 0 2527622 0
[pid=9826/tid=9830] ppid=9824 vsize=10260324 memory=-6020703149109527695 CPUtime=0.02 cores=1,3,5,7
/proc/9826/task/9830/stat : 9830 (java) R 9824 9770 8908 0 -1 4202560 2526 0 0 0 2 0 0 0 20 0 9 0 231476476 10506571776 5091 33554432000 4194304 4196468 140720805378432 139750245568368 139750241354909 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140720805381411 140720805381425 140720805381425 140720805384143 0
[pid=9826/tid=9832] ppid=9824 vsize=10260324 memory=1414370859846324153 CPUtime=0 cores=1,3,5,7
/proc/9826/task/9832/stat : 9832 (java) S 9824 9770 8908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 231476477 10506571776 5091 33554432000 4194304 4196468 140720805378432 139749848046480 139750241343189 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33501184 140720805381411 140720805381425 140720805381425 140720805384143 0
[pid=9826/tid=9833] ppid=9824 vsize=10260324 memory=140560005465728 CPUtime=0 cores=1,3,5,7
/proc/9826/task/9833/stat : 9833 (java) S 9824 9770 8908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 231476477 10506571776 5091 33554432000 4194304 4196468 140720805378432 139749846993680 139750241343189 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140720805381411 140720805381425 140720805381425 140720805384143 0
[pid=9826/tid=9834] ppid=9824 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9826/task/9834/stat : 9834 (java) S 9824 9770 8908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 231476477 10506571776 5091 33554432000 4194304 4196468 140720805378432 139749845941392 139750241343189 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140720805381411 140720805381425 140720805381425 140720805384143 0
[pid=9826/tid=9835] ppid=9824 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9826/task/9835/stat : 9835 (java) S 9824 9770 8908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 231476477 10506571776 5091 33554432000 4194304 4196468 140720805378432 139749844888592 139750241343189 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33501184 140720805381411 140720805381425 140720805381425 140720805384143 0
[pid=9826/tid=9840] ppid=9824 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9826/task/9840/stat : 9840 (java) S 9824 9770 8908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 231476479 10506571776 5091 33554432000 4194304 4196468 140720805378432 139749800446064 139750241344130 0 0 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33501184 140720805381411 140720805381425 140720805381425 140720805384143 0
[pid=9826/tid=9842] ppid=9824 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9826/task/9842/stat : 9842 (java) S 9824 9770 8908 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 231476479 10506571776 5091 33554432000 4194304 4196468 140720805378432 139749799392032 139750241343189 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140720805381411 140720805381425 140720805381425 140720805384143 0
[pid=9826/tid=9844] ppid=9824 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9826/task/9844/stat : 9844 (java) S 9824 9770 8908 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 231476479 10506571776 5091 33554432000 4194304 4196468 140720805378432 139749798339760 139750241343189 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33501184 140720805381411 140720805381425 140720805381425 140720805384143 0
[pid=9827] ppid=9824 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/9827/stat : 9827 (awk) S 9824 9770 8908 0 -1 4202496 422 0 0 0 0 0 0 0 20 0 1 0 231476476 116211712 243 33554432000 4194304 4609284 140734667433280 140734667432456 139704236334080 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 38862848 140734667437395 140734667437425 140734667437425 140734667440111 0
/proc/9827/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23652 KiB
[startup+0.210815 s]*
/proc/loadavg: 1.00 1.02 1.26 4/218 9903
/proc/meminfo: memFree=18436784/32770624 swapFree=67108796/67108860
[pid=9770] ppid=9765 vsize=10982696 memory=34164 CPUtime=0.16 cores=1,3,5,7
/proc/9770/stat : 9770 (java) S 9765 9770 8908 0 -1 1077944320 5753 12940 1 0 7 1 5 3 20 0 15 0 231476469 11246280704 8541 33554432000 4194304 4196468 140734041227584 140734041210128 140163601542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
/proc/9770/statm: 2745674 8541 2833 1 0 2708109 0
[pid=9770/tid=9876] ppid=9765 vsize=10982696 memory=7377246124687064083 CPUtime=0.14 cores=1,3,5,7
/proc/9770/task/9876/stat : 9876 (java) R 9765 9770 8908 0 -1 4202560 2834 12940 0 0 6 0 5 3 20 0 15 0 231476483 11246280704 8541 33554432000 4194304 4196468 140734041227584 140163573370512 140163601554838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9878] ppid=9765 vsize=10982696 memory=4211974286210256266 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9878/stat : 9878 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246280704 8541 33554432000 4194304 4196468 140734041227584 140163605785488 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9879] ppid=9765 vsize=10982696 memory=140560005465728 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9879/stat : 9879 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246280704 8541 33554432000 4194304 4196468 140734041227584 140163141700368 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9880] ppid=9765 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9880/stat : 9880 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246280704 8541 33554432000 4194304 4196468 140734041227584 140163140648080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9882] ppid=9765 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9882/stat : 9882 (java) S 9765 9770 8908 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246280704 8541 33554432000 4194304 4196468 140734041227584 140163139595280 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9886] ppid=9765 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9886/stat : 9886 (java) S 9765 9770 8908 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 231476485 11246280704 8606 33554432000 4194304 4196468 140734041227584 140163027511408 140163601554050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9888] ppid=9765 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9888/stat : 9888 (java) S 9765 9770 8908 0 -1 1077944384 13 12940 0 0 0 0 5 3 20 0 15 0 231476486 11246280704 8606 33554432000 4194304 4196468 140734041227584 140162432492320 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9890] ppid=9765 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9890/stat : 9890 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476486 11246280704 8606 33554432000 4194304 4196468 140734041227584 140162231166064 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9893] ppid=9765 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9893/stat : 9893 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246280704 8606 33554432000 4194304 4196468 140734041227584 140161923766352 140163601561499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9896] ppid=9765 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9896/stat : 9896 (java) S 9765 9770 8908 0 -1 1077944384 438 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246280704 8606 33554432000 4194304 4196468 140734041227584 140163026459248 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9898] ppid=9765 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9898/stat : 9898 (java) S 9765 9770 8908 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246280704 8606 33554432000 4194304 4196468 140734041227584 140163025406448 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9899] ppid=9765 vsize=10982696 memory=140560005465728 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9899/stat : 9899 (java) R 9765 9770 8908 0 -1 4202560 281 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246280704 8606 33554432000 4194304 4196468 140734041227584 140163024354160 140163580981817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9901] ppid=9765 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9901/stat : 9901 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246280704 8606 33554432000 4194304 4196468 140734041227584 140161492970464 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9903] ppid=9765 vsize=10982696 memory=140560005465728 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9903/stat : 9903 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246280704 8606 33554432000 4194304 4196468 140734041227584 140163023301040 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 34164 KiB
[startup+0.310629 s]*
/proc/loadavg: 1.00 1.02 1.26 4/218 9903
/proc/meminfo: memFree=18405104/32770624 swapFree=67108796/67108860
[pid=9770] ppid=9765 vsize=10983192 memory=51560 CPUtime=0.32 cores=1,3,5,7
/proc/9770/stat : 9770 (java) S 9765 9770 8908 0 -1 1077944320 9307 12940 1 0 22 2 5 3 20 0 15 0 231476469 11246788608 12890 33554432000 4194304 4196468 140734041227584 140734041210128 140163601542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
/proc/9770/statm: 2745798 12890 3070 1 0 2708109 0
[pid=9770/tid=9876] ppid=9765 vsize=10983192 memory=7022364594140610616 CPUtime=0.24 cores=1,3,5,7
/proc/9770/task/9876/stat : 9876 (java) R 9765 9770 8908 0 -1 4202560 5762 12940 0 0 15 1 5 3 20 0 15 0 231476483 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163573363120 140163585623390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9878] ppid=9765 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9878/stat : 9878 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163605785488 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9879] ppid=9765 vsize=10983192 memory=13852984178126122 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9879/stat : 9879 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163141700368 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9880] ppid=9765 vsize=10983192 memory=140560005472721 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9880/stat : 9880 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163140648080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9882] ppid=9765 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9882/stat : 9882 (java) S 9765 9770 8908 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163139595280 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9886] ppid=9765 vsize=10983192 memory=281120010930240 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9886/stat : 9886 (java) S 9765 9770 8908 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 231476485 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163027511408 140163601554050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9888] ppid=9765 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9888/stat : 9888 (java) S 9765 9770 8908 0 -1 1077944384 13 12940 0 0 0 0 5 3 20 0 15 0 231476486 11246788608 12890 33554432000 4194304 4196468 140734041227584 140162432492320 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9890] ppid=9765 vsize=10983192 memory=281119702639584 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9890/stat : 9890 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476486 11246788608 12890 33554432000 4194304 4196468 140734041227584 140162231166064 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9893] ppid=9765 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9893/stat : 9893 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246788608 12890 33554432000 4194304 4196468 140734041227584 140161923766352 140163601561499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9896] ppid=9765 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9770/task/9896/stat : 9896 (java) S 9765 9770 8908 0 -1 1077944384 574 12940 0 0 1 0 5 3 20 0 15 0 231476489 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163026459248 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9898] ppid=9765 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9770/task/9898/stat : 9898 (java) S 9765 9770 8908 0 -1 1077944384 74 12940 0 0 1 0 5 3 20 0 15 0 231476489 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163025406448 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9899] ppid=9765 vsize=10983192 memory=140560005465728 CPUtime=0.12 cores=1,3,5,7
/proc/9770/task/9899/stat : 9899 (java) R 9765 9770 8908 0 -1 4202560 709 12940 0 0 4 0 5 3 20 0 15 0 231476489 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163024354160 140163580082016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9901] ppid=9765 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9901/stat : 9901 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246788608 12890 33554432000 4194304 4196468 140734041227584 140161492970464 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9903] ppid=9765 vsize=10983192 memory=140560005465728 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9903/stat : 9903 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246788608 12890 33554432000 4194304 4196468 140734041227584 140163023301040 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 51560 KiB
[startup+0.700745 s]
/proc/loadavg: 1.00 1.02 1.26 4/218 9903
/proc/meminfo: memFree=18378588/32770624 swapFree=67108796/67108860
[pid=9770] ppid=9765 vsize=10983192 memory=87128 CPUtime=0.92 cores=1,3,5,7
/proc/9770/stat : 9770 (java) S 9765 9770 8908 0 -1 1077944320 16434 12940 1 0 80 4 5 3 20 0 15 0 231476469 11246788608 21782 33554432000 4194304 4196468 140734041227584 140734041210128 140163601542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
/proc/9770/statm: 2745798 21782 3235 1 0 2708109 0
[pid=9770/tid=9876] ppid=9765 vsize=10983192 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/9770/task/9876/stat : 9876 (java) R 9765 9770 8908 0 -1 4202560 11949 12940 0 0 51 2 5 3 20 0 15 0 231476483 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163573364944 140163581818120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9878] ppid=9765 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9878/stat : 9878 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163605785488 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9879] ppid=9765 vsize=10983192 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9879/stat : 9879 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163141700368 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9880] ppid=9765 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9880/stat : 9880 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163140648080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9882] ppid=9765 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9882/stat : 9882 (java) S 9765 9770 8908 0 -1 1077944384 2 12940 0 0 0 0 5 3 20 0 15 0 231476484 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163139595280 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9886] ppid=9765 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9886/stat : 9886 (java) S 9765 9770 8908 0 -1 1077944384 5 12940 0 0 0 0 5 3 20 0 15 0 231476485 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163027511408 140163601554050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9888] ppid=9765 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9888/stat : 9888 (java) S 9765 9770 8908 0 -1 1077944384 13 12940 0 0 0 0 5 3 20 0 15 0 231476486 11246788608 21782 33554432000 4194304 4196468 140734041227584 140162432492320 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9890] ppid=9765 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9890/stat : 9890 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476486 11246788608 21782 33554432000 4194304 4196468 140734041227584 140162231166064 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9893] ppid=9765 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9893/stat : 9893 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246788608 21782 33554432000 4194304 4196468 140734041227584 140161923766352 140163601561499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9896] ppid=9765 vsize=10983192 memory=281119702556248 CPUtime=0.15 cores=1,3,5,7
/proc/9770/task/9896/stat : 9896 (java) R 9765 9770 8908 0 -1 4202560 1026 12940 0 0 7 0 5 3 20 0 15 0 231476489 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163026447088 140163580781361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9898] ppid=9765 vsize=10983192 memory=2450882823937 CPUtime=0.15 cores=1,3,5,7
/proc/9770/task/9898/stat : 9898 (java) S 9765 9770 8908 0 -1 1077944384 363 12940 0 0 7 0 5 3 20 0 15 0 231476489 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163025406448 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9899] ppid=9765 vsize=10983192 memory=2459472758529 CPUtime=0.21 cores=1,3,5,7
/proc/9770/task/9899/stat : 9899 (java) S 9765 9770 8908 0 -1 1077944384 878 12940 0 0 13 0 5 3 20 0 15 0 231476489 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163024354160 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9901] ppid=9765 vsize=10983192 memory=2502422431489 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9901/stat : 9901 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246788608 21782 33554432000 4194304 4196468 140734041227584 140161492970464 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9903] ppid=9765 vsize=10983192 memory=2506717398785 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9903/stat : 9903 (java) S 9765 9770 8908 0 -1 1077944384 1 12940 0 0 0 0 5 3 20 0 15 0 231476489 11246788608 21782 33554432000 4194304 4196468 140734041227584 140163023301040 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87128 KiB
[startup+1.50161 s]
/proc/loadavg: 1.00 1.02 1.26 5/218 9903
/proc/meminfo: memFree=18294580/32770624 swapFree=67108796/67108860
[pid=9770] ppid=9765 vsize=10993996 memory=232428 CPUtime=2.83 cores=1,3,5,7
/proc/9770/stat : 9770 (java) S 9765 9770 8908 0 -1 1077944320 22679 12940 2 0 267 8 5 3 20 0 15 0 231476469 11257851904 58107 33554432000 4194304 4196468 140734041227584 140734041210128 140163601542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
/proc/9770/statm: 2748499 58107 3458 1 0 2710157 0
[pid=9770/tid=9876] ppid=9765 vsize=10993996 memory=281119702769776 CPUtime=1.36 cores=1,3,5,7
/proc/9770/task/9876/stat : 9876 (java) R 9765 9770 8908 0 -1 4202560 14881 12940 1 0 123 5 5 3 20 0 15 0 231476483 11257851904 58107 33554432000 4194304 4196468 140734041227584 140163573363296 140163172319512 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9878] ppid=9765 vsize=10993996 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9878/stat : 9878 (java) S 9765 9770 8908 0 -1 1077944384 13 12940 0 0 0 0 5 3 20 0 15 0 231476484 11257851904 58107 33554432000 4194304 4196468 140734041227584 140163605785488 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9879] ppid=9765 vsize=10993996 memory=-7816663703405220396 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9879/stat : 9879 (java) S 9765 9770 8908 0 -1 1077944384 36 12940 0 0 0 0 5 3 20 0 15 0 231476484 11257851904 58107 33554432000 4194304 4196468 140734041227584 140163141700368 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9880] ppid=9765 vsize=10993996 memory=-7674914008656224160 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9880/stat : 9880 (java) S 9765 9770 8908 0 -1 1077944384 208 12940 0 0 0 0 5 3 20 0 15 0 231476484 11257851904 58107 33554432000 4194304 4196468 140734041227584 140163140648080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9882] ppid=9765 vsize=10993996 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9882/stat : 9882 (java) S 9765 9770 8908 0 -1 1077944384 78 12940 0 0 0 0 5 3 20 0 15 0 231476484 11257851904 58107 33554432000 4194304 4196468 140734041227584 140163139595280 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9886] ppid=9765 vsize=10993996 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9886/stat : 9886 (java) S 9765 9770 8908 0 -1 1077944384 25 12940 0 0 0 0 5 3 20 0 15 0 231476485 11257851904 58107 33554432000 4194304 4196468 140734041227584 140163027511408 140163601554050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9888] ppid=9765 vsize=10993996 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9888/stat : 9888 (java) S 9765 9770 8908 0 -1 1077944384 15 12940 0 0 0 0 5 3 20 0 15 0 231476486 11257851904 58107 33554432000 4194304 4196468 140734041227584 140162432492320 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9890] ppid=9765 vsize=10993996 memory=-8033973737701895300 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/9770/task/9876/stat : 9876 (java) R 9765 9770 8908 0 -1 4202560 102619 12940 3 0 235465 64 5 3 20 0 15 0 231476483 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163573378048 140163188506663 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9878] ppid=9765 vsize=11077984 memory=1412744 CPUtime=12.03 cores=1,3,5,7
/proc/9770/task/9878/stat : 9878 (java) S 9765 9770 8908 0 -1 1077944384 16065 12940 0 0 1132 63 5 3 20 0 15 0 231476484 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163605785488 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9879] ppid=9765 vsize=11077984 memory=1412744 CPUtime=12.04 cores=1,3,5,7
/proc/9770/task/9879/stat : 9879 (java) S 9765 9770 8908 0 -1 1077944384 14436 12940 0 0 1131 65 5 3 20 0 15 0 231476484 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163141700368 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9880] ppid=9765 vsize=11077984 memory=1412744 CPUtime=12.04 cores=1,3,5,7
/proc/9770/task/9880/stat : 9880 (java) S 9765 9770 8908 0 -1 1077944384 18280 12940 0 0 1131 65 5 3 20 0 15 0 231476484 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163140648080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9882] ppid=9765 vsize=11077984 memory=1412744 CPUtime=12.04 cores=1,3,5,7
/proc/9770/task/9882/stat : 9882 (java) S 9765 9770 8908 0 -1 1077944384 13526 12940 0 0 1131 65 5 3 20 0 15 0 231476484 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163139595280 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9886] ppid=9765 vsize=11077984 memory=1412744 CPUtime=11.61 cores=1,3,5,7
/proc/9770/task/9886/stat : 9886 (java) S 9765 9770 8908 0 -1 1077944384 20963 12940 0 0 1089 64 5 3 20 0 15 0 231476485 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163027511408 140163601554050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9888] ppid=9765 vsize=11077984 memory=1412744 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9888/stat : 9888 (java) S 9765 9770 8908 0 -1 1077944384 23 12940 0 0 0 0 5 3 20 0 15 0 231476486 11343855616 353186 33554432000 4194304 4196468 140734041227584 140162432492384 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9890] ppid=9765 vsize=11077984 memory=1412744 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9890/stat : 9890 (java) S 9765 9770 8908 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 231476486 11343855616 353186 33554432000 4194304 4196468 140734041227584 140162231166080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9893] ppid=9765 vsize=11077984 memory=1412744 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9893/stat : 9893 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11343855616 353186 33554432000 4194304 4196468 140734041227584 140161923766352 140163601561499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9896] ppid=9765 vsize=11077984 memory=1412744 CPUtime=3.91 cores=1,3,5,7
/proc/9770/task/9896/stat : 9896 (java) S 9765 9770 8908 0 -1 1077944384 13033 12940 0 0 381 2 5 3 20 0 15 0 231476489 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163026459248 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9898] ppid=9765 vsize=11077984 memory=1412744 CPUtime=4.42 cores=1,3,5,7
/proc/9770/task/9898/stat : 9898 (java) S 9765 9770 8908 0 -1 1077944384 17335 12940 2 0 432 2 5 3 20 0 15 0 231476489 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163025406448 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9899] ppid=9765 vsize=11077984 memory=3632 CPUtime=1.95 cores=1,3,5,7
/proc/9770/task/9899/stat : 9899 (java) S 9765 9770 8908 0 -1 1077944384 22256 12940 0 0 184 3 5 3 20 0 15 0 231476489 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163024354160 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9901] ppid=9765 vsize=11077984 memory=1412744 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9901/stat : 9901 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11343855616 353186 33554432000 4194304 4196468 140734041227584 140161492970464 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9903] ppid=9765 vsize=11077984 memory=1412744 CPUtime=1.55 cores=1,3,5,7
/proc/9770/task/9903/stat : 9903 (java) S 9765 9770 8908 0 -1 1077944384 1533 12940 0 0 57 90 5 3 20 0 15 0 231476489 11343855616 353186 33554432000 4194304 4196468 140734041227584 140163023301040 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
Current children cumulated CPU time: 2426.35 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1412744 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.31 1.31 5/215 10000
/proc/meminfo: memFree=15724060/32770624 swapFree=67108796/67108860
[pid=9770] ppid=9765 vsize=11077984 memory=1412836 CPUtime=2487.29 cores=1,3,5,7
/proc/9770/stat : 9770 (java) S 9765 9770 8908 0 -1 1077944320 244287 12940 6 0 248308 413 5 3 20 0 15 0 231476469 11343855616 353209 33554432000 4194304 4196468 140734041227584 140734041210128 140163601542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
/proc/9770/statm: 2769496 353209 3522 1 0 2731149 0
[pid=9770/tid=9876] ppid=9765 vsize=11077984 memory=1412836 CPUtime=2414.69 cores=1,3,5,7
/proc/9770/task/9876/stat : 9876 (java) R 9765 9770 8908 0 -1 4202560 103463 12940 3 0 241396 65 5 3 20 0 15 0 231476483 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163573376992 140163187365362 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9878] ppid=9765 vsize=11077984 memory=1412804 CPUtime=12.34 cores=1,3,5,7
/proc/9770/task/9878/stat : 9878 (java) S 9765 9770 8908 0 -1 1077944384 16366 12940 0 0 1163 63 5 3 20 0 15 0 231476484 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163605785488 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9879] ppid=9765 vsize=11077984 memory=1412804 CPUtime=12.36 cores=1,3,5,7
/proc/9770/task/9879/stat : 9879 (java) S 9765 9770 8908 0 -1 1077944384 14756 12940 0 0 1162 66 5 3 20 0 15 0 231476484 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163141700368 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9880] ppid=9765 vsize=11077984 memory=1412804 CPUtime=12.36 cores=1,3,5,7
/proc/9770/task/9880/stat : 9880 (java) S 9765 9770 8908 0 -1 1077944384 18415 12940 0 0 1161 67 5 3 20 0 15 0 231476484 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163140648080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9882] ppid=9765 vsize=11077984 memory=1412804 CPUtime=12.35 cores=1,3,5,7
/proc/9770/task/9882/stat : 9882 (java) S 9765 9770 8908 0 -1 1077944384 13578 12940 0 0 1161 66 5 3 20 0 15 0 231476484 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163139595280 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9886] ppid=9765 vsize=11077984 memory=1412820 CPUtime=11.91 cores=1,3,5,7
/proc/9770/task/9886/stat : 9886 (java) S 9765 9770 8908 0 -1 1077944384 21293 12940 0 0 1117 66 5 3 20 0 15 0 231476485 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163027511408 140163601554050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9888] ppid=9765 vsize=11077984 memory=1412820 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9888/stat : 9888 (java) S 9765 9770 8908 0 -1 1077944384 23 12940 0 0 0 0 5 3 20 0 15 0 231476486 11343855616 353209 33554432000 4194304 4196468 140734041227584 140162432492384 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9890] ppid=9765 vsize=11077984 memory=1412836 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9890/stat : 9890 (java) S 9765 9770 8908 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 231476486 11343855616 353209 33554432000 4194304 4196468 140734041227584 140162231166080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9893] ppid=9765 vsize=11077984 memory=1412836 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9893/stat : 9893 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11343855616 353209 33554432000 4194304 4196468 140734041227584 140161923766352 140163601561499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9896] ppid=9765 vsize=11077984 memory=1412836 CPUtime=3.91 cores=1,3,5,7
/proc/9770/task/9896/stat : 9896 (java) S 9765 9770 8908 0 -1 1077944384 13037 12940 0 0 381 2 5 3 20 0 15 0 231476489 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163026459248 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9898] ppid=9765 vsize=11077984 memory=1412804 CPUtime=4.42 cores=1,3,5,7
/proc/9770/task/9898/stat : 9898 (java) S 9765 9770 8908 0 -1 1077944384 17339 12940 2 0 432 2 5 3 20 0 15 0 231476489 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163025406448 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9899] ppid=9765 vsize=11077984 memory=1412804 CPUtime=1.95 cores=1,3,5,7
/proc/9770/task/9899/stat : 9899 (java) S 9765 9770 8908 0 -1 1077944384 22260 12940 0 0 184 3 5 3 20 0 15 0 231476489 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163024354160 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9901] ppid=9765 vsize=11077984 memory=1412836 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9901/stat : 9901 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11343855616 353209 33554432000 4194304 4196468 140734041227584 140161492970464 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9903] ppid=9765 vsize=11077984 memory=1412836 CPUtime=1.58 cores=1,3,5,7
/proc/9770/task/9903/stat : 9903 (java) S 9765 9770 8908 0 -1 1077944384 1552 12940 0 0 59 91 5 3 20 0 15 0 231476489 11343855616 353209 33554432000 4194304 4196468 140734041227584 140163023301040 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
Current children cumulated CPU time: 2487.29 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1412836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.5 s]
/proc/loadavg: 1.28 1.31 1.31 4/215 10001
/proc/meminfo: memFree=15722128/32770624 swapFree=67108796/67108860
[pid=9770] ppid=9765 vsize=11077984 memory=1412840 CPUtime=2520.01 cores=1,3,5,7
/proc/9770/stat : 9770 (java) S 9765 9770 8908 0 -1 1077944320 244895 12940 6 0 251574 419 5 3 20 0 15 0 231476469 11343855616 353210 33554432000 4194304 4196468 140734041227584 140734041210128 140163601542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
/proc/9770/statm: 2769496 353210 3522 1 0 2731149 0
[pid=9770/tid=9876] ppid=9765 vsize=11077984 memory=1412840 CPUtime=2446.52 cores=1,3,5,7
/proc/9770/task/9876/stat : 9876 (java) R 9765 9770 8908 0 -1 4202560 103887 12940 3 0 244579 65 5 3 20 0 15 0 231476483 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163573377648 140163187315590 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9878] ppid=9765 vsize=11077984 memory=1412840 CPUtime=12.52 cores=1,3,5,7
/proc/9770/task/9878/stat : 9878 (java) S 9765 9770 8908 0 -1 1077944384 16403 12940 0 0 1180 64 5 3 20 0 15 0 231476484 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163605785488 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9879] ppid=9765 vsize=11077984 memory=1412840 CPUtime=12.53 cores=1,3,5,7
/proc/9770/task/9879/stat : 9879 (java) S 9765 9770 8908 0 -1 1077944384 14822 12940 0 0 1178 67 5 3 20 0 15 0 231476484 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163141700368 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9880] ppid=9765 vsize=11077984 memory=1412840 CPUtime=12.54 cores=1,3,5,7
/proc/9770/task/9880/stat : 9880 (java) S 9765 9770 8908 0 -1 1077944384 18420 12940 0 0 1178 68 5 3 20 0 15 0 231476484 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163140648080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9882] ppid=9765 vsize=11077984 memory=1194 CPUtime=12.53 cores=1,3,5,7
/proc/9770/task/9882/stat : 9882 (java) S 9765 9770 8908 0 -1 1077944384 13592 12940 0 0 1177 68 5 3 20 0 15 0 231476484 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163139595280 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9886] ppid=9765 vsize=11077984 memory=1412840 CPUtime=12.07 cores=1,3,5,7
/proc/9770/task/9886/stat : 9886 (java) S 9765 9770 8908 0 -1 1077944384 21341 12940 0 0 1132 67 5 3 20 0 15 0 231476485 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163027511408 140163601554050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9888] ppid=9765 vsize=11077984 memory=1412840 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9888/stat : 9888 (java) S 9765 9770 8908 0 -1 1077944384 23 12940 0 0 0 0 5 3 20 0 15 0 231476486 11343855616 353210 33554432000 4194304 4196468 140734041227584 140162432492384 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9890] ppid=9765 vsize=11077984 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9890/stat : 9890 (java) S 9765 9770 8908 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 231476486 11343855616 353210 33554432000 4194304 4196468 140734041227584 140162231166080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9893] ppid=9765 vsize=11077984 memory=1412840 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9893/stat : 9893 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140161923766352 140163601561499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9896] ppid=9765 vsize=11077984 memory=7670301315261816931 CPUtime=3.91 cores=1,3,5,7
/proc/9770/task/9896/stat : 9896 (java) S 9765 9770 8908 0 -1 1077944384 13037 12940 0 0 381 2 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163026459248 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9898] ppid=9765 vsize=11077984 memory=1412840 CPUtime=4.42 cores=1,3,5,7
/proc/9770/task/9898/stat : 9898 (java) S 9765 9770 8908 0 -1 1077944384 17339 12940 2 0 432 2 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163025406448 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9899] ppid=9765 vsize=11077984 memory=1080 CPUtime=1.95 cores=1,3,5,7
/proc/9770/task/9899/stat : 9899 (java) S 9765 9770 8908 0 -1 1077944384 22260 12940 0 0 184 3 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163024354160 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9901] ppid=9765 vsize=11077984 memory=1412840 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9901/stat : 9901 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140161492970464 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9903] ppid=9765 vsize=11077984 memory=1412840 CPUtime=1.6 cores=1,3,5,7
/proc/9770/task/9903/stat : 9903 (java) S 9765 9770 8908 0 -1 1077944384 1566 12940 0 0 60 92 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163023301040 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1412840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.53 s]
# the end of solver process 9770 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.81 s, system=4.23387 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.5 s]
/proc/loadavg: 1.28 1.31 1.31 4/215 10001
/proc/meminfo: memFree=15722128/32770624 swapFree=67108796/67108860
[pid=9770] ppid=9765 vsize=11077984 memory=1412840 CPUtime=2520.01 cores=1,3,5,7
/proc/9770/stat : 9770 (java) S 9765 9770 8908 0 -1 1077944320 244895 12940 6 0 251574 419 5 3 20 0 15 0 231476469 11343855616 353210 33554432000 4194304 4196468 140734041227584 140734041210128 140163601542903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
/proc/9770/statm: 2769496 353210 3522 1 0 2731149 0
[pid=9770/tid=9876] ppid=9765 vsize=11077984 memory=1412840 CPUtime=2446.52 cores=1,3,5,7
/proc/9770/task/9876/stat : 9876 (java) R 9765 9770 8908 0 -1 4202560 103887 12940 3 0 244579 65 5 3 20 0 15 0 231476483 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163573377648 140163187315590 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9878] ppid=9765 vsize=11077984 memory=1412840 CPUtime=12.52 cores=1,3,5,7
/proc/9770/task/9878/stat : 9878 (java) S 9765 9770 8908 0 -1 1077944384 16403 12940 0 0 1180 64 5 3 20 0 15 0 231476484 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163605785488 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9879] ppid=9765 vsize=11077984 memory=1412840 CPUtime=12.53 cores=1,3,5,7
/proc/9770/task/9879/stat : 9879 (java) S 9765 9770 8908 0 -1 1077944384 14822 12940 0 0 1178 67 5 3 20 0 15 0 231476484 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163141700368 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9880] ppid=9765 vsize=11077984 memory=1412840 CPUtime=12.54 cores=1,3,5,7
/proc/9770/task/9880/stat : 9880 (java) S 9765 9770 8908 0 -1 1077944384 18420 12940 0 0 1178 68 5 3 20 0 15 0 231476484 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163140648080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9882] ppid=9765 vsize=11077984 memory=1194 CPUtime=12.53 cores=1,3,5,7
/proc/9770/task/9882/stat : 9882 (java) S 9765 9770 8908 0 -1 1077944384 13592 12940 0 0 1177 68 5 3 20 0 15 0 231476484 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163139595280 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9886] ppid=9765 vsize=11077984 memory=1412840 CPUtime=12.07 cores=1,3,5,7
/proc/9770/task/9886/stat : 9886 (java) S 9765 9770 8908 0 -1 1077944384 21341 12940 0 0 1132 67 5 3 20 0 15 0 231476485 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163027511408 140163601554050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9888] ppid=9765 vsize=11077984 memory=1412840 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9888/stat : 9888 (java) S 9765 9770 8908 0 -1 1077944384 23 12940 0 0 0 0 5 3 20 0 15 0 231476486 11343855616 353210 33554432000 4194304 4196468 140734041227584 140162432492384 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9890] ppid=9765 vsize=11077984 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9890/stat : 9890 (java) S 9765 9770 8908 0 -1 1077944384 12 12940 0 0 0 0 5 3 20 0 15 0 231476486 11343855616 353210 33554432000 4194304 4196468 140734041227584 140162231166080 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9893] ppid=9765 vsize=11077984 memory=1412840 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9893/stat : 9893 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140161923766352 140163601561499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9896] ppid=9765 vsize=11077984 memory=7670301315261816931 CPUtime=3.91 cores=1,3,5,7
/proc/9770/task/9896/stat : 9896 (java) S 9765 9770 8908 0 -1 1077944384 13037 12940 0 0 381 2 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163026459248 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9898] ppid=9765 vsize=11077984 memory=1412840 CPUtime=4.42 cores=1,3,5,7
/proc/9770/task/9898/stat : 9898 (java) S 9765 9770 8908 0 -1 1077944384 17339 12940 2 0 432 2 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163025406448 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9899] ppid=9765 vsize=11077984 memory=1080 CPUtime=1.95 cores=1,3,5,7
/proc/9770/task/9899/stat : 9899 (java) S 9765 9770 8908 0 -1 1077944384 22260 12940 0 0 184 3 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163024354160 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9901] ppid=9765 vsize=11077984 memory=1412840 CPUtime=0.08 cores=1,3,5,7
/proc/9770/task/9901/stat : 9901 (java) S 9765 9770 8908 0 -1 1077944384 3 12940 0 0 0 0 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140161492970464 140163601553109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
[pid=9770/tid=9903] ppid=9765 vsize=11077984 memory=1412840 CPUtime=1.6 cores=1,3,5,7
/proc/9770/task/9903/stat : 9903 (java) S 9765 9770 8908 0 -1 1077944384 1566 12940 0 0 60 92 5 3 20 0 15 0 231476489 11343855616 353210 33554432000 4194304 4196468 140734041227584 140163023301040 140163601554050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12804096 140734041234029 140734041236828 140734041236828 140734041239503 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1412840 KiB
Child status: 143
Real time (s): 2474.53
CPU time (s): 2520.05
CPU user time (s): 2515.81
CPU system time (s): 4.23387
CPU usage (%): 101.84
Max. virtual memory (cumulated for all children) (KiB): 11080812
Max. memory (cumulated for all children) (KiB): 1412840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.81
system time used= 4.23387
maximum resident set size= 1415280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259063
page faults= 6
swaps= 0
block input operations= 2368
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 318460
involuntary context switches= 7000
# summary of solver processes directly reported to runsolver:
# pid: 9770
# total CPU time (s): 2520.05
# total CPU user time (s): 2515.81
# total CPU system time (s): 4.23387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6365 second user time and 23.9003 second system time
The end