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-4305201-1534139133/watcher-4305201-1534139133 -o /tmp/evaluation-result-4305201-1534139133/solver-4305201-1534139133 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534139133-9739 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=981680813 HOME/instance-4305201-1534139133.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=9771, runsolver pid=9764
[startup+0.100149 s]*
/proc/loadavg: 1.00 1.02 1.26 4/208 9841
/proc/meminfo: memFree=18454380/32770624 swapFree=67108796/67108860
[pid=9771] ppid=9764 vsize=113256 memory=1604 CPUtime=0.01 cores=0,2,4,6
/proc/9771/stat : 9771 (bash) S 9764 9771 8908 0 -1 4202496 884 5672 0 1 0 0 0 1 20 0 1 0 231476469 115974144 401 33554432000 4194304 5098028 140728031481600 140728031475608 140716958039040 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 2 0 0 7196144 7232144 24522752 140728031483052 140728031483176 140728031483176 140728031485934 0
/proc/9771/statm: 28314 401 318 221 0 119 0
[pid=9825] ppid=9771 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/9825/stat : 9825 (bash) S 9771 9771 8908 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 231476476 115974144 178 33554432000 4194304 5098028 140728031481600 140728031474280 140716957864572 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24522752 140728031483052 140728031483176 140728031483176 140728031485934 0
/proc/9825/statm: 28314 178 95 221 0 119 0
[pid=9828] ppid=9825 vsize=10260324 memory=19960 CPUtime=0.02 cores=0,2,4,6
/proc/9828/stat : 9828 (java) S 9825 9771 8908 0 -1 1077944320 3751 0 0 0 2 0 0 0 20 0 9 0 231476476 10506571776 4990 33554432000 4194304 4196468 140737054064928 140737054047472 139621071703799 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28913664 140737054070051 140737054070065 140737054070065 140737054072783 0
/proc/9828/statm: 2565081 4990 2142 1 0 2527622 0
[pid=9828/tid=9831] ppid=9825 vsize=10260324 memory=-6020703149109527695 CPUtime=0.02 cores=0,2,4,6
/proc/9828/task/9831/stat : 9831 (java) R 9825 9771 8908 0 -1 4202560 2417 0 0 0 2 0 0 0 20 0 9 0 231476476 10506571776 4990 33554432000 4194304 4196468 140737054064928 139621075939184 139621071725725 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28913664 140737054070051 140737054070065 140737054070065 140737054072783 0
[pid=9828/tid=9836] ppid=9825 vsize=10260324 memory=1414370859846324153 CPUtime=0 cores=0,2,4,6
/proc/9828/task/9836/stat : 9836 (java) S 9825 9771 8908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 231476477 10506571776 4990 33554432000 4194304 4196468 140737054064928 139621008394896 139621071714005 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28913664 140737054070051 140737054070065 140737054070065 140737054072783 0
[pid=9828/tid=9837] ppid=9825 vsize=10260324 memory=139657634989696 CPUtime=0 cores=0,2,4,6
/proc/9828/task/9837/stat : 9837 (java) S 9825 9771 8908 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 231476477 10506571776 4990 33554432000 4194304 4196468 140737054064928 139621007342096 139621071714005 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28913664 140737054070051 140737054070065 140737054070065 140737054072783 0
[pid=9828/tid=9838] ppid=9825 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9828/task/9838/stat : 9838 (java) S 9825 9771 8908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 231476477 10506571776 4990 33554432000 4194304 4196468 140737054064928 139621006289296 139621071714005 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28913664 140737054070051 140737054070065 140737054070065 140737054072783 0
[pid=9828/tid=9839] ppid=9825 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9828/task/9839/stat : 9839 (java) S 9825 9771 8908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 231476477 10506571776 4990 33554432000 4194304 4196468 140737054064928 139621005236496 139621071714005 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28913664 140737054070051 140737054070065 140737054070065 140737054072783 0
[pid=9828/tid=9841] ppid=9825 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9828/task/9841/stat : 9841 (java) S 9825 9771 8908 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 231476479 10506571776 4990 33554432000 4194304 4196468 140737054064928 139620308175728 139621071714946 0 0 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28913664 140737054070051 140737054070065 140737054070065 140737054072783 0
[pid=9828/tid=9843] ppid=9825 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9828/task/9843/stat : 9843 (java) S 9825 9771 8908 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 231476479 10506571776 4990 33554432000 4194304 4196468 140737054064928 139620307121696 139621071714005 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28913664 140737054070051 140737054070065 140737054070065 140737054072783 0
[pid=9828/tid=9845] ppid=9825 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9828/task/9845/stat : 9845 (java) S 9825 9771 8908 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 231476479 10506571776 4990 33554432000 4194304 4196468 140737054064928 139620306068912 139621071714005 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28913664 140737054070051 140737054070065 140737054070065 140737054072783 0
[pid=9829] ppid=9825 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/9829/stat : 9829 (awk) S 9825 9771 8908 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 1 0 231476476 116211712 243 33554432000 4194304 4609284 140722304550064 140722304549240 139960450812928 0 0 4096 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 16764928 140722304558419 140722304558449 140722304558449 140722304561135 0
/proc/9829/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: 23248 KiB
[startup+0.210862 s]*
/proc/loadavg: 1.00 1.02 1.26 5/218 9903
/proc/meminfo: memFree=18436784/32770624 swapFree=67108796/67108860
[pid=9771] ppid=9764 vsize=10982696 memory=30428 CPUtime=0.16 cores=0,2,4,6
/proc/9771/stat : 9771 (java) S 9764 9771 8908 0 -1 1077944320 5872 12862 0 1 7 1 5 3 20 0 15 0 231476469 11246280704 7607 33554432000 4194304 4196468 140736703560720 140736703543264 139973580898039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
/proc/9771/statm: 2745674 7607 2838 1 0 2708109 0
[pid=9771/tid=9877] ppid=9764 vsize=10982696 memory=7377246124687064083 CPUtime=0.15 cores=0,2,4,6
/proc/9771/task/9877/stat : 9877 (java) R 9764 9771 8908 0 -1 4202560 2964 12862 0 1 6 1 5 3 20 0 15 0 231476483 11246280704 7607 33554432000 4194304 4196468 140736703560720 139973552733072 139973564978526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9881] ppid=9764 vsize=10982696 memory=4211973383839780234 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9881/stat : 9881 (java) S 9764 9771 8908 0 -1 1077944384 2 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246280704 7607 33554432000 4194304 4196468 140736703560720 139973585140496 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9883] ppid=9764 vsize=10982696 memory=139657634989696 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9883/stat : 9883 (java) S 9764 9771 8908 0 -1 1077944384 1 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246280704 7607 33554432000 4194304 4196468 140736703560720 139973455788944 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9884] ppid=9764 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9884/stat : 9884 (java) S 9764 9771 8908 0 -1 1077944384 1 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246280704 7672 33554432000 4194304 4196468 140736703560720 139973119237136 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9885] ppid=9764 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9885/stat : 9885 (java) S 9764 9771 8908 0 -1 1077944384 2 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246280704 7672 33554432000 4194304 4196468 140736703560720 139973118184592 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9887] ppid=9764 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9887/stat : 9887 (java) S 9764 9771 8908 0 -1 1077944384 2 12862 0 1 0 0 5 3 20 0 15 0 231476485 11246280704 7672 33554432000 4194304 4196468 140736703560720 139972751910896 139973580909186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9889] ppid=9764 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9889/stat : 9889 (java) S 9764 9771 8908 0 -1 1077944384 13 12862 0 1 0 0 5 3 20 0 15 0 231476486 11246280704 7672 33554432000 4194304 4196468 140736703560720 139972380189600 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9891] ppid=9764 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9891/stat : 9891 (java) S 9764 9771 8908 0 -1 1077944384 21 12862 0 1 0 0 5 3 20 0 15 0 231476486 11246280704 7672 33554432000 4194304 4196468 140736703560720 139972313076720 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9892] ppid=9764 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9892/stat : 9892 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246280704 7672 33554432000 4194304 4196468 140736703560720 139972005681360 139973580916635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9894] ppid=9764 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9894/stat : 9894 (java) S 9764 9771 8908 0 -1 1077944384 294 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246280704 7672 33554432000 4194304 4196468 140736703560720 139972750858736 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9895] ppid=9764 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9895/stat : 9895 (java) S 9764 9771 8908 0 -1 1077944384 135 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246280704 7672 33554432000 4194304 4196468 140736703560720 139972749806192 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9897] ppid=9764 vsize=10982696 memory=139657634989696 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9897/stat : 9897 (java) R 9764 9771 8908 0 -1 4202560 289 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246280704 7672 33554432000 4194304 4196468 140736703560720 139972748750016 139973559466994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9900] ppid=9764 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9900/stat : 9900 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246280704 7672 33554432000 4194304 4196468 140736703560720 139971574885472 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9902] ppid=9764 vsize=10982696 memory=139657634989696 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9902/stat : 9902 (java) S 9764 9771 8908 0 -1 1077944384 1 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246280704 7672 33554432000 4194304 4196468 140736703560720 139972747700528 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 30428 KiB
[startup+0.310561 s]*
/proc/loadavg: 1.00 1.02 1.26 4/218 9903
/proc/meminfo: memFree=18405104/32770624 swapFree=67108796/67108860
[pid=9771] ppid=9764 vsize=10983192 memory=48632 CPUtime=0.32 cores=0,2,4,6
/proc/9771/stat : 9771 (java) S 9764 9771 8908 0 -1 1077944320 9581 12862 0 1 22 2 5 3 20 0 15 0 231476469 11246788608 12158 33554432000 4194304 4196468 140736703560720 140736703543264 139973580898039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
/proc/9771/statm: 2745798 12158 3085 1 0 2708109 0
[pid=9771/tid=9877] ppid=9764 vsize=10983192 memory=279315010814192 CPUtime=0.24 cores=0,2,4,6
/proc/9771/task/9877/stat : 9877 (java) R 9764 9771 8908 0 -1 4202560 6078 12862 0 1 15 1 5 3 20 0 15 0 231476483 11246788608 12158 33554432000 4194304 4196468 140736703560720 139973552722864 140736703633608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9881] ppid=9764 vsize=10983192 memory=4211973383839780234 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9881/stat : 9881 (java) S 9764 9771 8908 0 -1 1077944384 2 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246788608 12158 33554432000 4194304 4196468 140736703560720 139973585140496 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9883] ppid=9764 vsize=10983192 memory=279315140505664 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9883/stat : 9883 (java) S 9764 9771 8908 0 -1 1077944384 1 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246788608 12158 33554432000 4194304 4196468 140736703560720 139973455788944 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9884] ppid=9764 vsize=10983192 memory=279315011036544 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9884/stat : 9884 (java) S 9764 9771 8908 0 -1 1077944384 1 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246788608 12158 33554432000 4194304 4196468 140736703560720 139973119237136 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9885] ppid=9764 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9885/stat : 9885 (java) S 9764 9771 8908 0 -1 1077944384 2 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246788608 12158 33554432000 4194304 4196468 140736703560720 139973118184592 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9887] ppid=9764 vsize=10983192 memory=279315140512576 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9887/stat : 9887 (java) S 9764 9771 8908 0 -1 1077944384 2 12862 0 1 0 0 5 3 20 0 15 0 231476485 11246788608 12158 33554432000 4194304 4196468 140736703560720 139972751910896 139973580909186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9889] ppid=9764 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9889/stat : 9889 (java) S 9764 9771 8908 0 -1 1077944384 13 12862 0 1 0 0 5 3 20 0 15 0 231476486 11246788608 12158 33554432000 4194304 4196468 140736703560720 139972380189600 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9891] ppid=9764 vsize=10983192 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9891/stat : 9891 (java) S 9764 9771 8908 0 -1 1077944384 21 12862 0 1 0 0 5 3 20 0 15 0 231476486 11246788608 12158 33554432000 4194304 4196468 140736703560720 139972313076720 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9892] ppid=9764 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9892/stat : 9892 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246788608 12158 33554432000 4194304 4196468 140736703560720 139972005681360 139973580916635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9894] ppid=9764 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9771/task/9894/stat : 9894 (java) S 9764 9771 8908 0 -1 1077944384 351 12862 0 1 1 0 5 3 20 0 15 0 231476489 11246788608 12158 33554432000 4194304 4196468 140736703560720 139972750858736 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9895] ppid=9764 vsize=10983192 memory=35 CPUtime=0.09 cores=0,2,4,6
/proc/9771/task/9895/stat : 9895 (java) S 9764 9771 8908 0 -1 1077944384 275 12862 0 1 1 0 5 3 20 0 15 0 231476489 11246788608 12158 33554432000 4194304 4196468 140736703560720 139972749806192 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9897] ppid=9764 vsize=10983192 memory=139657634989696 CPUtime=0.12 cores=0,2,4,6
/proc/9771/task/9897/stat : 9897 (java) S 9764 9771 8908 0 -1 1077944384 644 12862 0 1 4 0 5 3 20 0 15 0 231476489 11246788608 12158 33554432000 4194304 4196468 140736703560720 139972748753648 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9900] ppid=9764 vsize=10983192 memory=67 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9900/stat : 9900 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246788608 12158 33554432000 4194304 4196468 140736703560720 139971574885472 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9902] ppid=9764 vsize=10983192 memory=139657635079968 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9902/stat : 9902 (java) S 9764 9771 8908 0 -1 1077944384 1 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246788608 12158 33554432000 4194304 4196468 140736703560720 139972747700528 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 48632 KiB
[startup+0.710592 s]
/proc/loadavg: 1.00 1.02 1.26 4/218 9903
/proc/meminfo: memFree=18378588/32770624 swapFree=67108796/67108860
[pid=9771] ppid=9764 vsize=10983192 memory=83464 CPUtime=0.94 cores=0,2,4,6
/proc/9771/stat : 9771 (java) S 9764 9771 8908 0 -1 1077944320 16539 12862 0 1 81 5 5 3 20 0 15 0 231476469 11246788608 20866 33554432000 4194304 4196468 140736703560720 140736703543264 139973580898039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
/proc/9771/statm: 2745798 20866 3242 1 0 2708109 0
[pid=9771/tid=9877] ppid=9764 vsize=10983192 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/9771/task/9877/stat : 9877 (java) R 9764 9771 8908 0 -1 4202560 12119 12862 0 1 51 3 5 3 20 0 15 0 231476483 11246788608 20866 33554432000 4194304 4196468 140736703560720 139973552722304 139973561173923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9881] ppid=9764 vsize=10983192 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9881/stat : 9881 (java) S 9764 9771 8908 0 -1 1077944384 2 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246788608 20866 33554432000 4194304 4196468 140736703560720 139973585140496 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9883] ppid=9764 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9883/stat : 9883 (java) S 9764 9771 8908 0 -1 1077944384 1 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246788608 20866 33554432000 4194304 4196468 140736703560720 139973455788944 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9884] ppid=9764 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9884/stat : 9884 (java) S 9764 9771 8908 0 -1 1077944384 1 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246788608 20866 33554432000 4194304 4196468 140736703560720 139973119237136 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9885] ppid=9764 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9885/stat : 9885 (java) S 9764 9771 8908 0 -1 1077944384 2 12862 0 1 0 0 5 3 20 0 15 0 231476484 11246788608 20866 33554432000 4194304 4196468 140736703560720 139973118184592 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9887] ppid=9764 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9887/stat : 9887 (java) S 9764 9771 8908 0 -1 1077944384 6 12862 0 1 0 0 5 3 20 0 15 0 231476485 11246788608 20866 33554432000 4194304 4196468 140736703560720 139972751910896 139973580909186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9889] ppid=9764 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9889/stat : 9889 (java) S 9764 9771 8908 0 -1 1077944384 13 12862 0 1 0 0 5 3 20 0 15 0 231476486 11246788608 20866 33554432000 4194304 4196468 140736703560720 139972380189600 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9891] ppid=9764 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9891/stat : 9891 (java) S 9764 9771 8908 0 -1 1077944384 21 12862 0 1 0 0 5 3 20 0 15 0 231476486 11246788608 20866 33554432000 4194304 4196468 140736703560720 139972313076720 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9892] ppid=9764 vsize=10983192 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9892/stat : 9892 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246788608 20866 33554432000 4194304 4196468 140736703560720 139972005681360 139973580916635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9894] ppid=9764 vsize=10983192 memory=1728 CPUtime=0.16 cores=0,2,4,6
/proc/9771/task/9894/stat : 9894 (java) S 9764 9771 8908 0 -1 1077944384 739 12862 0 1 8 0 5 3 20 0 15 0 231476489 11246788608 20866 33554432000 4194304 4196468 140736703560720 139972750858736 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9895] ppid=9764 vsize=10983192 memory=8628 CPUtime=0.15 cores=0,2,4,6
/proc/9771/task/9895/stat : 9895 (java) R 9764 9771 8908 0 -1 4202560 696 12862 0 1 7 0 5 3 20 0 15 0 231476489 11246788608 20866 33554432000 4194304 4196468 140736703560720 139972749787208 139973564381238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9897] ppid=9764 vsize=10983192 memory=1080 CPUtime=0.21 cores=0,2,4,6
/proc/9771/task/9897/stat : 9897 (java) S 9764 9771 8908 0 -1 1077944384 744 12862 0 1 13 0 5 3 20 0 15 0 231476489 11246788608 20866 33554432000 4194304 4196468 140736703560720 139972748753648 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9900] ppid=9764 vsize=10983192 memory=752 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9900/stat : 9900 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246788608 20866 33554432000 4194304 4196468 140736703560720 139971574885472 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9902] ppid=9764 vsize=10983192 memory=820 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9902/stat : 9902 (java) S 9764 9771 8908 0 -1 1077944384 1 12862 0 1 0 0 5 3 20 0 15 0 231476489 11246788608 20866 33554432000 4194304 4196468 140736703560720 139972747700528 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 83464 KiB
[startup+1.50158 s]
/proc/loadavg: 1.00 1.02 1.26 5/218 9903
/proc/meminfo: memFree=18294580/32770624 swapFree=67108796/67108860
[pid=9771] ppid=9764 vsize=10991948 memory=225696 CPUtime=2.84 cores=0,2,4,6
/proc/9771/stat : 9771 (java) S 9764 9771 8908 0 -1 1077944320 22509 12862 1 1 266 10 5 3 20 0 15 0 231476469 11255754752 56424 33554432000 4194304 4196468 140736703560720 140736703543264 139973580898039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
/proc/9771/statm: 2747987 56424 3452 1 0 2709645 0
[pid=9771/tid=9877] ppid=9764 vsize=10991948 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/9771/task/9877/stat : 9877 (java) R 9764 9771 8908 0 -1 4202560 14869 12862 1 1 123 6 5 3 20 0 15 0 231476483 11255754752 56424 33554432000 4194304 4196468 140736703560720 139973552730832 139973135249105 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9881] ppid=9764 vsize=10991948 memory=139657505613856 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9881/stat : 9881 (java) S 9764 9771 8908 0 -1 1077944384 119 12862 0 1 0 0 5 3 20 0 15 0 231476484 11255754752 56424 33554432000 4194304 4196468 140736703560720 139973585140496 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9883] ppid=9764 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9883/stat : 9883 (java) S 9764 9771 8908 0 -1 1077944384 8 12862 0 1 0 0 5 3 20 0 15 0 231476484 11255754752 56424 33554432000 4194304 4196468 140736703560720 139973455788944 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9884] ppid=9764 vsize=10991948 memory=3632 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9884/stat : 9884 (java) S 9764 9771 8908 0 -1 1077944384 194 12862 0 1 0 0 5 3 20 0 15 0 231476484 11255754752 56424 33554432000 4194304 4196468 140736703560720 139973119237136 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9885] ppid=9764 vsize=10991948 memory=93912 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9885/stat : 9885 (java) S 9764 9771 8908 0 -1 1077944384 57 12862 0 1 0 0 5 3 20 0 15 0 231476484 11255754752 56424 33554432000 4194304 4196468 140736703560720 139973118184592 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9887] ppid=9764 vsize=10991948 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9887/stat : 9887 (java) S 9764 9771 8908 0 -1 1077944384 25 12862 0 1 0 0 5 3 20 0 15 0 231476485 11255754752 56424 33554432000 4194304 4196468 140736703560720 139972751910896 139973580909186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9889] ppid=9764 vsize=10991948 memory=8628 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9889/stat : 9889 (java) S 9764 9771 8908 0 -1 1077944384 13 12862 0 1 0 0 5 3 20 0 15 0 231476486 11255754752 56424 33554432000 4194304 4196468 140736703560720 139972380189600 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9891] ppid=9764 vsize=10991948 memory=1080 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/9771/task/9877/stat : 9877 (java) R 9764 9771 8908 0 -1 4202560 99897 12862 1 1 235413 55 5 3 20 0 15 0 231476483 11343855616 338710 33554432000 4194304 4196468 140736703560720 139973552733008 139973150877353 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9881] ppid=9764 vsize=11077984 memory=1354840 CPUtime=12.15 cores=0,2,4,6
/proc/9771/task/9881/stat : 9881 (java) S 9764 9771 8908 0 -1 1077944384 23205 12862 0 1 1144 63 5 3 20 0 15 0 231476484 11343855616 338710 33554432000 4194304 4196468 140736703560720 139973585140496 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9883] ppid=9764 vsize=11077984 memory=8 CPUtime=12.14 cores=0,2,4,6
/proc/9771/task/9883/stat : 9883 (java) S 9764 9771 8908 0 -1 1077944384 19964 12862 0 1 1144 62 5 3 20 0 15 0 231476484 11343855616 338710 33554432000 4194304 4196468 140736703560720 139973455788944 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9884] ppid=9764 vsize=11077984 memory=1354840 CPUtime=12.16 cores=0,2,4,6
/proc/9771/task/9884/stat : 9884 (java) S 9764 9771 8908 0 -1 1077944384 21765 12862 0 1 1143 65 5 3 20 0 15 0 231476484 11343855616 338710 33554432000 4194304 4196468 140736703560720 139973119237136 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9885] ppid=9764 vsize=11077984 memory=1354840 CPUtime=12.15 cores=0,2,4,6
/proc/9771/task/9885/stat : 9885 (java) S 9764 9771 8908 0 -1 1077944384 19418 12862 0 1 1144 63 5 3 20 0 15 0 231476484 11343855616 338710 33554432000 4194304 4196468 140736703560720 139973118184592 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9887] ppid=9764 vsize=11077984 memory=1354840 CPUtime=11.89 cores=0,2,4,6
/proc/9771/task/9887/stat : 9887 (java) S 9764 9771 8908 0 -1 1077944384 19387 12862 0 1 1119 62 5 3 20 0 15 0 231476485 11343855616 338710 33554432000 4194304 4196468 140736703560720 139972751910896 139973580909186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9889] ppid=9764 vsize=11077984 memory=3092 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9889/stat : 9889 (java) S 9764 9771 8908 0 -1 1077944384 21 12862 0 1 0 0 5 3 20 0 15 0 231476486 11343855616 338710 33554432000 4194304 4196468 140736703560720 139972380189664 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9891] ppid=9764 vsize=11077984 memory=62852 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9891/stat : 9891 (java) S 9764 9771 8908 0 -1 1077944384 49 12862 0 1 0 0 5 3 20 0 15 0 231476486 11343855616 338710 33554432000 4194304 4196468 140736703560720 139972313076736 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9892] ppid=9764 vsize=11077984 memory=2056 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9892/stat : 9892 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11343855616 338710 33554432000 4194304 4196468 140736703560720 139972005681360 139973580916635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9894] ppid=9764 vsize=11077984 memory=1346748 CPUtime=4.18 cores=0,2,4,6
/proc/9771/task/9894/stat : 9894 (java) S 9764 9771 8908 0 -1 1077944384 18005 12862 0 1 407 3 5 3 20 0 15 0 231476489 11343855616 338710 33554432000 4194304 4196468 140736703560720 139972750858736 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9895] ppid=9764 vsize=11077984 memory=1346748 CPUtime=4.2 cores=0,2,4,6
/proc/9771/task/9895/stat : 9895 (java) S 9764 9771 8908 0 -1 1077944384 13438 12862 0 1 408 4 5 3 20 0 15 0 231476489 11343855616 338710 33554432000 4194304 4196468 140736703560720 139972749806192 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9897] ppid=9764 vsize=11077984 memory=1354840 CPUtime=1.92 cores=0,2,4,6
/proc/9771/task/9897/stat : 9897 (java) S 9764 9771 8908 0 -1 1077944384 19187 12862 0 1 180 4 5 3 20 0 15 0 231476489 11343855616 338710 33554432000 4194304 4196468 140736703560720 139972748753648 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9900] ppid=9764 vsize=11077984 memory=3884 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9900/stat : 9900 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11343855616 338710 33554432000 4194304 4196468 140736703560720 139971574885472 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9902] ppid=9764 vsize=11077984 memory=1354840 CPUtime=1.64 cores=0,2,4,6
/proc/9771/task/9902/stat : 9902 (java) S 9764 9771 8908 0 -1 1077944384 962 12862 0 1 71 85 5 3 20 0 15 0 231476489 11343855616 338710 33554432000 4194304 4196468 140736703560720 139972747700528 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
Current children cumulated CPU time: 2426.57 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1354840 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.31 1.31 4/215 10000
/proc/meminfo: memFree=15724060/32770624 swapFree=67108796/67108860
[pid=9771] ppid=9764 vsize=11077984 memory=1356888 CPUtime=2487.51 cores=0,2,4,6
/proc/9771/stat : 9771 (java) S 9764 9771 8908 0 -1 1077944320 259825 12862 1 1 248352 391 5 3 20 0 15 0 231476469 11343855616 339222 33554432000 4194304 4196468 140736703560720 140736703543264 139973580898039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
/proc/9771/statm: 2769496 339222 3522 1 0 2731149 0
[pid=9771/tid=9877] ppid=9764 vsize=11077984 memory=1592 CPUtime=2414.02 cores=0,2,4,6
/proc/9771/task/9877/stat : 9877 (java) R 9764 9771 8908 0 -1 4202560 100938 12862 1 1 241338 56 5 3 20 0 15 0 231476483 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973552732096 139973150874721 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9881] ppid=9764 vsize=11077984 memory=1354840 CPUtime=12.48 cores=0,2,4,6
/proc/9771/task/9881/stat : 9881 (java) S 9764 9771 8908 0 -1 1077944384 23325 12862 0 1 1176 64 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973585140496 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9883] ppid=9764 vsize=11077984 memory=1354840 CPUtime=12.48 cores=0,2,4,6
/proc/9771/task/9883/stat : 9883 (java) S 9764 9771 8908 0 -1 1077944384 19996 12862 0 1 1176 64 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973455788944 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9884] ppid=9764 vsize=11077984 memory=1354840 CPUtime=12.49 cores=0,2,4,6
/proc/9771/task/9884/stat : 9884 (java) S 9764 9771 8908 0 -1 1077944384 22312 12862 0 1 1175 66 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973119237136 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9885] ppid=9764 vsize=11077984 memory=1354840 CPUtime=12.47 cores=0,2,4,6
/proc/9771/task/9885/stat : 9885 (java) S 9764 9771 8908 0 -1 1077944384 19681 12862 0 1 1176 63 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973118184592 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9887] ppid=9764 vsize=11077984 memory=1354840 CPUtime=12.21 cores=0,2,4,6
/proc/9771/task/9887/stat : 9887 (java) S 9764 9771 8908 0 -1 1077944384 19688 12862 0 1 1149 64 5 3 20 0 15 0 231476485 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972751910896 139973580909186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9889] ppid=9764 vsize=11077984 memory=1354840 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9889/stat : 9889 (java) S 9764 9771 8908 0 -1 1077944384 21 12862 0 1 0 0 5 3 20 0 15 0 231476486 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972380189664 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9891] ppid=9764 vsize=11077984 memory=1354840 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9891/stat : 9891 (java) S 9764 9771 8908 0 -1 1077944384 49 12862 0 1 0 0 5 3 20 0 15 0 231476486 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972313076736 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9892] ppid=9764 vsize=11077984 memory=1356888 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9892/stat : 9892 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972005681360 139973580916635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9894] ppid=9764 vsize=11077984 memory=1354840 CPUtime=4.18 cores=0,2,4,6
/proc/9771/task/9894/stat : 9894 (java) S 9764 9771 8908 0 -1 1077944384 18007 12862 0 1 407 3 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972750858736 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9895] ppid=9764 vsize=11077984 memory=1354840 CPUtime=4.2 cores=0,2,4,6
/proc/9771/task/9895/stat : 9895 (java) S 9764 9771 8908 0 -1 1077944384 13441 12862 0 1 408 4 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972749806192 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9897] ppid=9764 vsize=11077984 memory=3632 CPUtime=1.92 cores=0,2,4,6
/proc/9771/task/9897/stat : 9897 (java) S 9764 9771 8908 0 -1 1077944384 19190 12862 0 1 180 4 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972748753648 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9900] ppid=9764 vsize=11077984 memory=1354840 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9900/stat : 9900 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139971574885472 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9902] ppid=9764 vsize=11077984 memory=8112282956445269571 CPUtime=1.68 cores=0,2,4,6
/proc/9771/task/9902/stat : 9902 (java) S 9764 9771 8908 0 -1 1077944384 983 12862 0 1 73 87 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972747700528 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
Current children cumulated CPU time: 2487.51 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1356888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.3 s]
/proc/loadavg: 1.28 1.31 1.31 4/215 10001
/proc/meminfo: memFree=15722128/32770624 swapFree=67108796/67108860
[pid=9771] ppid=9764 vsize=11077984 memory=1356888 CPUtime=2520.01 cores=0,2,4,6
/proc/9771/stat : 9771 (java) S 9764 9771 8908 0 -1 1077944320 261697 12862 1 1 251598 395 5 3 20 0 15 0 231476469 11343855616 339222 33554432000 4194304 4196468 140736703560720 140736703543264 139973580898039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
/proc/9771/statm: 2769496 339222 3522 1 0 2731149 0
[pid=9771/tid=9877] ppid=9764 vsize=11077984 memory=1356888 CPUtime=2445.63 cores=0,2,4,6
/proc/9771/task/9877/stat : 9877 (java) R 9764 9771 8908 0 -1 4202560 101566 12862 1 1 244498 57 5 3 20 0 15 0 231476483 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973552732096 139973150553465 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9881] ppid=9764 vsize=11077984 memory=55 CPUtime=12.66 cores=0,2,4,6
/proc/9771/task/9881/stat : 9881 (java) S 9764 9771 8908 0 -1 1077944384 23393 12862 0 1 1193 65 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973585140496 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9883] ppid=9764 vsize=11077984 memory=0 CPUtime=12.65 cores=0,2,4,6
/proc/9771/task/9883/stat : 9883 (java) S 9764 9771 8908 0 -1 1077944384 20729 12862 0 1 1192 65 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973455788944 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9884] ppid=9764 vsize=11077984 memory=1356888 CPUtime=12.66 cores=0,2,4,6
/proc/9771/task/9884/stat : 9884 (java) S 9764 9771 8908 0 -1 1077944384 22331 12862 0 1 1191 67 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973119237136 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9885] ppid=9764 vsize=11077984 memory=1356888 CPUtime=12.65 cores=0,2,4,6
/proc/9771/task/9885/stat : 9885 (java) S 9764 9771 8908 0 -1 1077944384 19783 12862 0 1 1193 64 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973118184592 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9887] ppid=9764 vsize=11077984 memory=1356888 CPUtime=12.38 cores=0,2,4,6
/proc/9771/task/9887/stat : 9887 (java) S 9764 9771 8908 0 -1 1077944384 19981 12862 0 1 1165 65 5 3 20 0 15 0 231476485 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972751910896 139973580909186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9889] ppid=9764 vsize=11077984 memory=1356888 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9889/stat : 9889 (java) S 9764 9771 8908 0 -1 1077944384 21 12862 0 1 0 0 5 3 20 0 15 0 231476486 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972380189664 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9891] ppid=9764 vsize=11077984 memory=7524788682904659024 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9891/stat : 9891 (java) S 9764 9771 8908 0 -1 1077944384 49 12862 0 1 0 0 5 3 20 0 15 0 231476486 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972313076736 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9892] ppid=9764 vsize=11077984 memory=1356888 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9892/stat : 9892 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972005681360 139973580916635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9894] ppid=9764 vsize=11077984 memory=1356888 CPUtime=4.18 cores=0,2,4,6
/proc/9771/task/9894/stat : 9894 (java) S 9764 9771 8908 0 -1 1077944384 18009 12862 0 1 407 3 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972750858736 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9895] ppid=9764 vsize=11077984 memory=1356888 CPUtime=4.2 cores=0,2,4,6
/proc/9771/task/9895/stat : 9895 (java) S 9764 9771 8908 0 -1 1077944384 13444 12862 0 1 408 4 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972749806192 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9897] ppid=9764 vsize=11077984 memory=1356888 CPUtime=1.92 cores=0,2,4,6
/proc/9771/task/9897/stat : 9897 (java) S 9764 9771 8908 0 -1 1077944384 19193 12862 0 1 180 4 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972748753648 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9900] ppid=9764 vsize=11077984 memory=1356888 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9900/stat : 9900 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139971574885472 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9902] ppid=9764 vsize=11077984 memory=1356888 CPUtime=1.7 cores=0,2,4,6
/proc/9771/task/9902/stat : 9902 (java) S 9764 9771 8908 0 -1 1077944384 1004 12862 0 1 74 88 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972747700528 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1356888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.35 s]
# the end of solver process 9771 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.07 s, system=4.01068 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.3 s]
/proc/loadavg: 1.28 1.31 1.31 4/215 10001
/proc/meminfo: memFree=15722128/32770624 swapFree=67108796/67108860
[pid=9771] ppid=9764 vsize=11077984 memory=1356888 CPUtime=2520.01 cores=0,2,4,6
/proc/9771/stat : 9771 (java) S 9764 9771 8908 0 -1 1077944320 261697 12862 1 1 251598 395 5 3 20 0 15 0 231476469 11343855616 339222 33554432000 4194304 4196468 140736703560720 140736703543264 139973580898039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
/proc/9771/statm: 2769496 339222 3522 1 0 2731149 0
[pid=9771/tid=9877] ppid=9764 vsize=11077984 memory=1356888 CPUtime=2445.63 cores=0,2,4,6
/proc/9771/task/9877/stat : 9877 (java) R 9764 9771 8908 0 -1 4202560 101566 12862 1 1 244498 57 5 3 20 0 15 0 231476483 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973552732096 139973150553465 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9881] ppid=9764 vsize=11077984 memory=55 CPUtime=12.66 cores=0,2,4,6
/proc/9771/task/9881/stat : 9881 (java) S 9764 9771 8908 0 -1 1077944384 23393 12862 0 1 1193 65 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973585140496 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9883] ppid=9764 vsize=11077984 memory=0 CPUtime=12.65 cores=0,2,4,6
/proc/9771/task/9883/stat : 9883 (java) S 9764 9771 8908 0 -1 1077944384 20729 12862 0 1 1192 65 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973455788944 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9884] ppid=9764 vsize=11077984 memory=1356888 CPUtime=12.66 cores=0,2,4,6
/proc/9771/task/9884/stat : 9884 (java) S 9764 9771 8908 0 -1 1077944384 22331 12862 0 1 1191 67 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973119237136 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9885] ppid=9764 vsize=11077984 memory=1356888 CPUtime=12.65 cores=0,2,4,6
/proc/9771/task/9885/stat : 9885 (java) S 9764 9771 8908 0 -1 1077944384 19783 12862 0 1 1193 64 5 3 20 0 15 0 231476484 11343855616 339222 33554432000 4194304 4196468 140736703560720 139973118184592 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9887] ppid=9764 vsize=11077984 memory=1356888 CPUtime=12.38 cores=0,2,4,6
/proc/9771/task/9887/stat : 9887 (java) S 9764 9771 8908 0 -1 1077944384 19981 12862 0 1 1165 65 5 3 20 0 15 0 231476485 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972751910896 139973580909186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9889] ppid=9764 vsize=11077984 memory=1356888 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9889/stat : 9889 (java) S 9764 9771 8908 0 -1 1077944384 21 12862 0 1 0 0 5 3 20 0 15 0 231476486 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972380189664 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9891] ppid=9764 vsize=11077984 memory=7524788682904659024 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9891/stat : 9891 (java) S 9764 9771 8908 0 -1 1077944384 49 12862 0 1 0 0 5 3 20 0 15 0 231476486 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972313076736 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9892] ppid=9764 vsize=11077984 memory=1356888 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9892/stat : 9892 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972005681360 139973580916635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9894] ppid=9764 vsize=11077984 memory=1356888 CPUtime=4.18 cores=0,2,4,6
/proc/9771/task/9894/stat : 9894 (java) S 9764 9771 8908 0 -1 1077944384 18009 12862 0 1 407 3 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972750858736 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9895] ppid=9764 vsize=11077984 memory=1356888 CPUtime=4.2 cores=0,2,4,6
/proc/9771/task/9895/stat : 9895 (java) S 9764 9771 8908 0 -1 1077944384 13444 12862 0 1 408 4 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972749806192 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9897] ppid=9764 vsize=11077984 memory=1356888 CPUtime=1.92 cores=0,2,4,6
/proc/9771/task/9897/stat : 9897 (java) S 9764 9771 8908 0 -1 1077944384 19193 12862 0 1 180 4 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972748753648 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9900] ppid=9764 vsize=11077984 memory=1356888 CPUtime=0.08 cores=0,2,4,6
/proc/9771/task/9900/stat : 9900 (java) S 9764 9771 8908 0 -1 1077944384 3 12862 0 1 0 0 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139971574885472 139973580908245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
[pid=9771/tid=9902] ppid=9764 vsize=11077984 memory=1356888 CPUtime=1.7 cores=0,2,4,6
/proc/9771/task/9902/stat : 9902 (java) S 9764 9771 8908 0 -1 1077944384 1004 12862 0 1 74 88 5 3 20 0 15 0 231476489 11343855616 339222 33554432000 4194304 4196468 140736703560720 139972747700528 139973580909186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34914304 140736703564397 140736703567196 140736703567196 140736703569871 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1356888 KiB
Child status: 143
Real time (s): 2474.35
CPU time (s): 2520.08
CPU user time (s): 2516.07
CPU system time (s): 4.01068
CPU usage (%): 101.848
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 1356888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.07
system time used= 4.01068
maximum resident set size= 1359392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278050
page faults= 2
swaps= 0
block input operations= 3880
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 314272
involuntary context switches= 10366
# summary of solver processes directly reported to runsolver:
# pid: 9771
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.07
# total CPU system time (s): 4.01068
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5633 second user time and 24.2056 second system time
The end