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 (10575 MiB free)
memory of node 1: 16384 MiB (9214 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289888-1532214771/watcher-4289888-1532214771 -o /tmp/evaluation-result-4289888-1532214771/solver-4289888-1532214771 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532209720-26949 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289888-1532214771.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27801, runsolver pid=27798
[startup+0.100131 s]*
/proc/loadavg: 3.86 2.90 2.35 3/217 27816
/proc/meminfo: memFree=20245832/32770624 swapFree=67108860/67108860
[pid=27801] ppid=27798 vsize=10659012 memory=31524 CPUtime=0.13 cores=1,3,5,7
/proc/27801/stat : 27801 (java) S 27798 27801 24561 0 -1 1077944320 6436 0 0 0 11 2 0 0 20 0 15 0 39040303 10914828288 7881 33554432000 4194304 4196468 140726663225968 140726663208512 140376526020343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
/proc/27801/statm: 2664753 7881 2818 1 0 2627263 0
[pid=27801/tid=27803] ppid=27798 vsize=10659012 memory=-8701690554791924606 CPUtime=0.09 cores=1,3,5,7
/proc/27801/task/27803/stat : 27803 (java) R 27798 27801 24561 0 -1 4202560 4277 0 0 0 8 1 0 0 20 0 15 0 39040303 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376530241472 140376526042269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27804] ppid=27798 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27804/stat : 27804 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376452094992 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27805] ppid=27798 vsize=10659012 memory=140629418325632 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27805/stat : 27805 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376451042448 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27806] ppid=27798 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27806/stat : 27806 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376449989392 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27807] ppid=27798 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27807/stat : 27807 (java) S 27798 27801 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39040304 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376448936848 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27808] ppid=27798 vsize=10659012 memory=140629418325632 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27808/stat : 27808 (java) S 27798 27801 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39040305 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376017934576 140376526031490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27809] ppid=27798 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27809/stat : 27809 (java) S 27798 27801 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39040306 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376016880800 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27810] ppid=27798 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27810/stat : 27810 (java) S 27798 27801 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39040306 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376015827696 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27811] ppid=27798 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27811/stat : 27811 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39040308 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376014776272 140376526038939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27812] ppid=27798 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27812/stat : 27812 (java) S 27798 27801 24561 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 39040308 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376013724400 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27813] ppid=27798 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27813/stat : 27813 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39040308 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376012671856 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27814] ppid=27798 vsize=10659012 memory=140629418325632 CPUtime=0.02 cores=1,3,5,7
/proc/27801/task/27814/stat : 27814 (java) S 27798 27801 24561 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 39040308 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376011618800 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27815] ppid=27798 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27815/stat : 27815 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39040308 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376010566496 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27816] ppid=27798 vsize=10659012 memory=140629418325632 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27816/stat : 27816 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040309 10914828288 7881 33554432000 4194304 4196468 140726663225968 140376009513520 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31524 KiB
[startup+0.210676 s]*
/proc/loadavg: 3.86 2.90 2.35 4/217 27816
/proc/meminfo: memFree=20234216/32770624 swapFree=67108860/67108860
[pid=27801] ppid=27798 vsize=10659012 memory=42244 CPUtime=0.33 cores=1,3,5,7
/proc/27801/stat : 27801 (java) S 27798 27801 24561 0 -1 1077944320 7623 0 0 0 31 2 0 0 20 0 15 0 39040303 10914828288 10561 33554432000 4194304 4196468 140726663225968 140726663208512 140376526020343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
/proc/27801/statm: 2664753 10561 3008 1 0 2627263 0
[pid=27801/tid=27803] ppid=27798 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/27801/task/27803/stat : 27803 (java) R 27798 27801 24561 0 -1 4202560 4624 0 0 0 18 1 0 0 20 0 15 0 39040303 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376530255616 140376526042269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27804] ppid=27798 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27804/stat : 27804 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376452094992 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27805] ppid=27798 vsize=10659012 memory=288371005570037376 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27805/stat : 27805 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376451042448 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27806] ppid=27798 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27806/stat : 27806 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376449989392 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27807] ppid=27798 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27807/stat : 27807 (java) S 27798 27801 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39040304 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376448936848 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27808] ppid=27798 vsize=10659012 memory=140629418325632 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27808/stat : 27808 (java) S 27798 27801 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39040305 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376017934576 140376526031490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27809] ppid=27798 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27809/stat : 27809 (java) S 27798 27801 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39040306 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376016880800 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27810] ppid=27798 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27810/stat : 27810 (java) S 27798 27801 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39040306 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376015827696 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27811] ppid=27798 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27811/stat : 27811 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39040308 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376014776272 140376526038939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27812] ppid=27798 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27801/task/27812/stat : 27812 (java) S 27798 27801 24561 0 -1 1077944384 731 0 0 0 2 0 0 0 20 0 15 0 39040308 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376013724400 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27813] ppid=27798 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27801/task/27813/stat : 27813 (java) S 27798 27801 24561 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 15 0 39040308 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376012671856 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27814] ppid=27798 vsize=10659012 memory=140629418325632 CPUtime=0.07 cores=1,3,5,7
/proc/27801/task/27814/stat : 27814 (java) R 27798 27801 24561 0 -1 4202560 672 0 0 0 7 0 0 0 20 0 15 0 39040308 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376011618800 140376526041690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27815] ppid=27798 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27815/stat : 27815 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39040308 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376010566496 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27816] ppid=27798 vsize=10659012 memory=140629418325632 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27816/stat : 27816 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040309 10914828288 10561 33554432000 4194304 4196468 140726663225968 140376009513520 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42244 KiB
[startup+0.310519 s]*
/proc/loadavg: 3.86 2.90 2.35 5/217 27816
/proc/meminfo: memFree=20229068/32770624 swapFree=67108860/67108860
[pid=27801] ppid=27798 vsize=10659088 memory=47408 CPUtime=0.52 cores=1,3,5,7
/proc/27801/stat : 27801 (java) S 27798 27801 24561 0 -1 1077944320 8554 0 0 0 49 3 0 0 20 0 15 0 39040303 10914906112 11852 33554432000 4194304 4196468 140726663225968 140726663208512 140376526020343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
/proc/27801/statm: 2664772 11852 3040 1 0 2627263 0
[pid=27801/tid=27803] ppid=27798 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/27801/task/27803/stat : 27803 (java) R 27798 27801 24561 0 -1 4202560 5333 0 0 0 27 2 0 0 20 0 15 0 39040303 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376530255744 140376510063973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27804] ppid=27798 vsize=10659088 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27804/stat : 27804 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376452094992 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27805] ppid=27798 vsize=10659088 memory=288371005570037376 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27805/stat : 27805 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376451042448 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27806] ppid=27798 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27806/stat : 27806 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376449989392 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27807] ppid=27798 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27807/stat : 27807 (java) S 27798 27801 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39040304 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376448936848 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27808] ppid=27798 vsize=10659088 memory=140629418325632 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27808/stat : 27808 (java) S 27798 27801 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39040305 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376017934576 140376526031490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27809] ppid=27798 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27809/stat : 27809 (java) S 27798 27801 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39040306 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376016880800 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27810] ppid=27798 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27810/stat : 27810 (java) S 27798 27801 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39040306 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376015827696 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27811] ppid=27798 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27811/stat : 27811 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39040308 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376014776272 140376526038939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27812] ppid=27798 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27801/task/27812/stat : 27812 (java) S 27798 27801 24561 0 -1 1077944384 772 0 0 0 5 0 0 0 20 0 15 0 39040308 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376013724400 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27813] ppid=27798 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27801/task/27813/stat : 27813 (java) S 27798 27801 24561 0 -1 1077944384 347 0 0 0 4 0 0 0 20 0 15 0 39040308 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376012671856 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27814] ppid=27798 vsize=10659088 memory=140629418325632 CPUtime=0.12 cores=1,3,5,7
/proc/27801/task/27814/stat : 27814 (java) S 27798 27801 24561 0 -1 1077944384 735 0 0 0 12 0 0 0 20 0 15 0 39040308 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376011618800 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27815] ppid=27798 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27815/stat : 27815 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39040308 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376010566496 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27816] ppid=27798 vsize=10659088 memory=140629418325632 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27816/stat : 27816 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040309 10914906112 11852 33554432000 4194304 4196468 140726663225968 140376009513520 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47408 KiB
[startup+0.701344 s]
/proc/loadavg: 3.86 2.90 2.35 5/217 27816
/proc/meminfo: memFree=20185200/32770624 swapFree=67108860/67108860
[pid=27801] ppid=27798 vsize=10659088 memory=179668 CPUtime=1.69 cores=1,3,5,7
/proc/27801/stat : 27801 (java) S 27798 27801 24561 0 -1 1077944320 12499 0 0 0 162 7 0 0 20 0 15 0 39040303 10914906112 44917 33554432000 4194304 4196468 140726663225968 140726663208512 140376526020343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
/proc/27801/statm: 2664772 44917 3109 1 0 2627263 0
[pid=27801/tid=27803] ppid=27798 vsize=10659088 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/27801/task/27803/stat : 27803 (java) R 27798 27801 24561 0 -1 4202560 5524 0 0 0 63 5 0 0 20 0 15 0 39040303 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376530253272 140376126927878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27804] ppid=27798 vsize=10659088 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27804/stat : 27804 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376452094992 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27805] ppid=27798 vsize=10659088 memory=11956 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27805/stat : 27805 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376451042448 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27806] ppid=27798 vsize=10659088 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27806/stat : 27806 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040304 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376449989392 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27807] ppid=27798 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27807/stat : 27807 (java) S 27798 27801 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39040304 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376448936848 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27808] ppid=27798 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27808/stat : 27808 (java) S 27798 27801 24561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39040305 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376017934576 140376526031490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27809] ppid=27798 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27809/stat : 27809 (java) S 27798 27801 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39040306 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376016880800 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27810] ppid=27798 vsize=10659088 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27810/stat : 27810 (java) S 27798 27801 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39040306 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376015827696 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27811] ppid=27798 vsize=10659088 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27811/stat : 27811 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39040308 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376014776272 140376526038939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27812] ppid=27798 vsize=10659088 memory=7163631965283378496 CPUtime=0.38 cores=1,3,5,7
/proc/27801/task/27812/stat : 27812 (java) R 27798 27801 24561 0 -1 4202560 2629 0 0 0 38 0 0 0 20 0 15 0 39040308 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376013704744 140376518309797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27813] ppid=27798 vsize=10659088 memory=6083353102074538087 CPUtime=0.38 cores=1,3,5,7
/proc/27801/task/27813/stat : 27813 (java) R 27798 27801 24561 0 -1 4202560 1885 0 0 0 38 0 0 0 20 0 15 0 39040308 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376012657880 140376509921920 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27814] ppid=27798 vsize=10659088 memory=7151830906713428048 CPUtime=0.21 cores=1,3,5,7
/proc/27801/task/27814/stat : 27814 (java) S 27798 27801 24561 0 -1 1077944384 1090 0 0 0 21 0 0 0 20 0 15 0 39040308 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376011618800 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27815] ppid=27798 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27815/stat : 27815 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39040308 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376010566496 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27816] ppid=27798 vsize=10659088 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27816/stat : 27816 (java) S 27798 27801 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39040309 10914906112 44917 33554432000 4194304 4196468 140726663225968 140376009513520 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 179668 KiB
[startup+1.50081 s]
/proc/loadavg: 3.86 2.90 2.35 8/217 27816
/proc/meminfo: memFree=20028336/32770624 swapFree=67108860/67108860
[pid=27801] ppid=27798 vsize=10725652 memory=265128 CPUtime=4.1 cores=1,3,5,7
/proc/27801/stat : 27801 (java) S 27798 27801 24561 0 -1 1077944320 19015 0 0 0 400 10 0 0 20 0 16 0 39040303 10983067648 66282 33554432000 4194304 4196468 140726663225968 140726663208512 140376526020343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
/proc/27801/statm: 2681413 66282 3144 1 0 2643904 0
[pid=27801/tid=27803] ppid=27798 vsize=10725652 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/27801/task/27803/stat : 27803 (java) R 27798 27801 24561 0 -1 4202560 5570 0 0 0 132 5 0 0 20 0 16 0 39040303 10983067648 66282 33554432000 4194304 4196468 140726663225968 140376530255008 140376127805448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27804] ppid=27798 vsize=10725652 memory=-6951259422114956437 CPUtime=0.02 cores=1,3,5,7
/proc/27801/task/27804/stat : 27804 (java) S 27798 27801 24561 0 -1 1077944384 31 0 0 0 2 0 0 0 20 0 16 0 39040304 10983067648 66282 33554432000 4194304 4196468 140726663225968 140376452094992 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27805] ppid=27798 vsize=10725652 memory=-6509546260019855295 CPUtime=0.03 cores=1,3,5,7
/proc/27801/task/27805/stat : 27805 (java) S 27798 27801 24561 0 -1 1077944384 15 0 0 0 3 0 0 0 20 0 16 0 39040304 10983067648 66282 33554432000 4194304 4196468 140726663225968 140376451042448 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27806] ppid=27798 vsize=10725652 memory=-7390251449858225344 CPUtime=0.08 cores=1,3,5,7
/proc/27801/task/27806/stat : 27806 (java) S 27798 27801 24561 0 -1 1077944384 146 0 0 0 7 1 0 0 20 0 16 0 39040304 10983067648 66282 33554432000 4194304 4196468 140726663225968 140376449989392 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27807] ppid=27798 vsize=10725652 memory=4134692831991786133 CPUtime=0.04 cores=1,3,5,7
/proc/27801/task/27807/stat : 27807 (java) S 27798 27801 24561 0 -1 1077944384 157 0 0 0 4 0 0 0 20 0 16 0 39040304 10983067648 66282 33554432000 4194304 4196468 140726663225968 140376448936848 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27808] ppid=27798 vsize=10725652 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27808/stat : 27808 (java) S 27798 27801 24561 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 39040305 10983067648 66282 33554432000 4194304 4196468 140726663225968 140376017934576 140376526031490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
################
# More data... #
################
/proc/27801/task/27808/stat : 27808 (java) S 27798 27801 24561 0 -1 1077944384 12493 0 0 0 20 5 0 0 20 0 16 0 39040305 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376017934576 140376526031490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27809] ppid=27798 vsize=10725652 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27809/stat : 27809 (java) S 27798 27801 24561 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 39040306 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376016880864 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27810] ppid=27798 vsize=10725652 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27810/stat : 27810 (java) S 27798 27801 24561 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 39040306 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376015827712 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27811] ppid=27798 vsize=10725652 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27811/stat : 27811 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376014776272 140376526038939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27812] ppid=27798 vsize=10725652 memory=4028 CPUtime=1.83 cores=1,3,5,7
/proc/27801/task/27812/stat : 27812 (java) S 27798 27801 24561 0 -1 1077944384 13940 0 0 0 181 2 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376013724400 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27813] ppid=27798 vsize=10725652 memory=3207244 CPUtime=2.07 cores=1,3,5,7
/proc/27801/task/27813/stat : 27813 (java) S 27798 27801 24561 0 -1 1077944384 14005 0 0 0 205 2 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376012671856 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27814] ppid=27798 vsize=10725652 memory=9284 CPUtime=0.37 cores=1,3,5,7
/proc/27801/task/27814/stat : 27814 (java) S 27798 27801 24561 0 -1 1077944384 4301 0 0 0 36 1 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376011618800 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27815] ppid=27798 vsize=10725652 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27815/stat : 27815 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376010566496 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27816] ppid=27798 vsize=10725652 memory=1424 CPUtime=1.34 cores=1,3,5,7
/proc/27801/task/27816/stat : 27816 (java) S 27798 27801 24561 0 -1 1077944384 2328 0 0 0 60 74 0 0 20 0 16 0 39040309 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376009513520 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27817] ppid=27798 vsize=10725652 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27817/stat : 27817 (java) S 27798 27801 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39040418 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376008459312 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
Current children cumulated CPU time: 2393.47 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 3207244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2388.9 s]
/proc/loadavg: 4.91 3.75 2.79 6/216 27970
/proc/meminfo: memFree=9198392/32770624 swapFree=67108860/67108860
[pid=27801] ppid=27798 vsize=10725652 memory=3207244 CPUtime=2400.08 cores=1,3,5,7
/proc/27801/stat : 27801 (java) S 27798 27801 24561 0 -1 1077944320 122234 0 0 0 239646 362 0 0 20 0 16 0 39040303 10983067648 801811 33554432000 4194304 4196468 140726663225968 140726663208512 140376526020343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
/proc/27801/statm: 2681413 801811 3182 1 0 2643904 0
[pid=27801/tid=27803] ppid=27798 vsize=10725652 memory=3207244 CPUtime=2386.62 cores=1,3,5,7
/proc/27801/task/27803/stat : 27803 (java) R 27798 27801 24561 0 -1 4202560 59495 0 0 0 238638 24 0 0 20 0 16 0 39040303 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376530259296 140376127805385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27804] ppid=27798 vsize=10725652 memory=3207244 CPUtime=1.87 cores=1,3,5,7
/proc/27801/task/27804/stat : 27804 (java) S 27798 27801 24561 0 -1 1077944384 2942 0 0 0 121 66 0 0 20 0 16 0 39040304 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376452094992 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27805] ppid=27798 vsize=10725652 memory=3207244 CPUtime=1.86 cores=1,3,5,7
/proc/27801/task/27805/stat : 27805 (java) S 27798 27801 24561 0 -1 1077944384 2649 0 0 0 120 66 0 0 20 0 16 0 39040304 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376451042448 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27806] ppid=27798 vsize=10725652 memory=3207244 CPUtime=1.9 cores=1,3,5,7
/proc/27801/task/27806/stat : 27806 (java) S 27798 27801 24561 0 -1 1077944384 4721 0 0 0 124 66 0 0 20 0 16 0 39040304 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376449989392 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27807] ppid=27798 vsize=10725652 memory=3207244 CPUtime=1.88 cores=1,3,5,7
/proc/27801/task/27807/stat : 27807 (java) S 27798 27801 24561 0 -1 1077944384 3887 0 0 0 123 65 0 0 20 0 16 0 39040304 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376448936848 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27808] ppid=27798 vsize=10725652 memory=3207244 CPUtime=0.25 cores=1,3,5,7
/proc/27801/task/27808/stat : 27808 (java) S 27798 27801 24561 0 -1 1077944384 12502 0 0 0 20 5 0 0 20 0 16 0 39040305 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376017934576 140376526031490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27809] ppid=27798 vsize=10725652 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27809/stat : 27809 (java) S 27798 27801 24561 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 39040306 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376016880864 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27810] ppid=27798 vsize=10725652 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27810/stat : 27810 (java) S 27798 27801 24561 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 39040306 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376015827712 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27811] ppid=27798 vsize=10725652 memory=140629309563312 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27811/stat : 27811 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376014776272 140376526038939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27812] ppid=27798 vsize=10725652 memory=3207244 CPUtime=1.83 cores=1,3,5,7
/proc/27801/task/27812/stat : 27812 (java) S 27798 27801 24561 0 -1 1077944384 13951 0 0 0 181 2 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376013724400 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27813] ppid=27798 vsize=10725652 memory=3207244 CPUtime=2.07 cores=1,3,5,7
/proc/27801/task/27813/stat : 27813 (java) S 27798 27801 24561 0 -1 1077944384 14011 0 0 0 205 2 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376012671856 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27814] ppid=27798 vsize=10725652 memory=3207244 CPUtime=0.37 cores=1,3,5,7
/proc/27801/task/27814/stat : 27814 (java) S 27798 27801 24561 0 -1 1077944384 4304 0 0 0 36 1 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376011618800 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27815] ppid=27798 vsize=10725652 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27815/stat : 27815 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39040308 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376010566496 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27816] ppid=27798 vsize=10725652 memory=9284 CPUtime=1.34 cores=1,3,5,7
/proc/27801/task/27816/stat : 27816 (java) S 27798 27801 24561 0 -1 1077944384 2365 0 0 0 60 74 0 0 20 0 16 0 39040309 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376009513520 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27817] ppid=27798 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27817/stat : 27817 (java) S 27798 27801 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39040418 10983067648 801811 33554432000 4194304 4196468 140726663225968 140376008459312 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 3207244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.13 s]
# the end of solver process 27801 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.58 s, system=3.64529 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2389.01 s]*
/proc/loadavg: 4.91 3.75 2.79 6/217 27973
/proc/meminfo: memFree=9198392/32770624 swapFree=67108860/67108860
[pid=27801] ppid=27798 vsize=10925344 memory=3207568 CPUtime=2400.2 cores=1,3,5,7
/proc/27801/stat : 27801 (java) S 27798 27801 24561 0 -1 1077944320 123756 0 0 0 239657 363 0 0 20 0 17 0 39040303 11187552256 801892 33554432000 4194304 4196468 140726663225968 140726663208512 140376526020343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
/proc/27801/statm: 2731336 801892 3184 1 0 2693827 0
[pid=27801/tid=27803] ppid=27798 vsize=10925344 memory=6791534058613427641 CPUtime=2386.72 cores=1,3,5,7
/proc/27801/task/27803/stat : 27803 (java) S 27798 27801 24561 0 -1 1077944384 59710 0 0 0 238648 24 0 0 20 0 17 0 39040303 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376530263216 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27804] ppid=27798 vsize=10925344 memory=3164 CPUtime=1.87 cores=1,3,5,7
/proc/27801/task/27804/stat : 27804 (java) S 27798 27801 24561 0 -1 1077944384 2942 0 0 0 121 66 0 0 20 0 17 0 39040304 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376452094992 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27805] ppid=27798 vsize=10925344 memory=3207244 CPUtime=1.86 cores=1,3,5,7
/proc/27801/task/27805/stat : 27805 (java) S 27798 27801 24561 0 -1 1077944384 2649 0 0 0 120 66 0 0 20 0 17 0 39040304 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376451042448 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27806] ppid=27798 vsize=10925344 memory=1408 CPUtime=1.9 cores=1,3,5,7
/proc/27801/task/27806/stat : 27806 (java) S 27798 27801 24561 0 -1 1077944384 4721 0 0 0 124 66 0 0 20 0 17 0 39040304 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376449989392 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27807] ppid=27798 vsize=10925344 memory=3080 CPUtime=1.88 cores=1,3,5,7
/proc/27801/task/27807/stat : 27807 (java) S 27798 27801 24561 0 -1 1077944384 3887 0 0 0 123 65 0 0 20 0 17 0 39040304 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376448936848 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27808] ppid=27798 vsize=10925344 memory=-8412656567318647667 CPUtime=0.25 cores=1,3,5,7
/proc/27801/task/27808/stat : 27808 (java) S 27798 27801 24561 0 -1 1077944384 12502 0 0 0 20 5 0 0 20 0 17 0 39040305 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376017934576 140376526031490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27809] ppid=27798 vsize=10925344 memory=4427205132082312746 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27809/stat : 27809 (java) S 27798 27801 24561 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 39040306 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376016880864 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27810] ppid=27798 vsize=10925344 memory=-8412652152092201843 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27810/stat : 27810 (java) S 27798 27801 24561 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 39040306 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376015827712 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27811] ppid=27798 vsize=10925344 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27811/stat : 27811 (java) S 27798 27801 24561 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 17 0 39040308 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376014776272 140376526038939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27812] ppid=27798 vsize=10925344 memory=-8486080722631693414 CPUtime=1.83 cores=1,3,5,7
/proc/27801/task/27812/stat : 27812 (java) S 27798 27801 24561 0 -1 1077944384 14070 0 0 0 181 2 0 0 20 0 17 0 39040308 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376013724400 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27813] ppid=27798 vsize=10925344 memory=4426639978525455914 CPUtime=2.07 cores=1,3,5,7
/proc/27801/task/27813/stat : 27813 (java) S 27798 27801 24561 0 -1 1077944384 14146 0 0 0 205 2 0 0 20 0 17 0 39040308 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376012671856 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27814] ppid=27798 vsize=10925344 memory=3047711553219693942 CPUtime=0.38 cores=1,3,5,7
/proc/27801/task/27814/stat : 27814 (java) S 27798 27801 24561 0 -1 1077944384 4819 0 0 0 37 1 0 0 20 0 17 0 39040308 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376011618800 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27815] ppid=27798 vsize=10925344 memory=4629546024076873078 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27815/stat : 27815 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39040308 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376010566496 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27816] ppid=27798 vsize=10925344 memory=-7521736447810188379 CPUtime=1.34 cores=1,3,5,7
/proc/27801/task/27816/stat : 27816 (java) S 27798 27801 24561 0 -1 1077944384 2365 0 0 0 60 74 0 0 20 0 17 0 39040309 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376009513520 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27971] ppid=27798 vsize=10925344 memory=-8412652160765825907 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27971/stat : 27971 (java) S 27798 27801 24561 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 17 0 39279193 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376007405552 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27972] ppid=27798 vsize=10925344 memory=-8634980985311628903 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27972/stat : 27972 (java) S 27798 27801 24561 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 17 0 39279194 11187552256 801892 33554432000 4194304 4196468 140726663225968 140376006353936 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
Current children cumulated CPU time: 2400.2 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 3207568 KiB
[startup+2389.11 s]
/proc/loadavg: 4.91 3.75 2.79 6/217 27973
/proc/meminfo: memFree=9198392/32770624 swapFree=67108860/67108860
[pid=27801] ppid=27798 vsize=10925344 memory=3207708 CPUtime=2400.2 cores=1,3,5,7
/proc/27801/stat : 27801 (java) S 27798 27801 24561 0 -1 1077944320 124069 0 0 0 239657 363 0 0 20 0 17 0 39040303 11187552256 801927 33554432000 4194304 4196468 140726663225968 140726663208512 140376526020343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
/proc/27801/statm: 2731336 801927 3185 1 0 2693827 0
[pid=27801/tid=27803] ppid=27798 vsize=10925344 memory=3207244 CPUtime=2386.72 cores=1,3,5,7
/proc/27801/task/27803/stat : 27803 (java) S 27798 27801 24561 0 -1 1077944384 59710 0 0 0 238648 24 0 0 20 0 17 0 39040303 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376530263216 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27804] ppid=27798 vsize=10925344 memory=3207244 CPUtime=1.87 cores=1,3,5,7
/proc/27801/task/27804/stat : 27804 (java) S 27798 27801 24561 0 -1 1077944384 2942 0 0 0 121 66 0 0 20 0 17 0 39040304 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376452094992 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27805] ppid=27798 vsize=10925344 memory=3207244 CPUtime=1.86 cores=1,3,5,7
/proc/27801/task/27805/stat : 27805 (java) S 27798 27801 24561 0 -1 1077944384 2649 0 0 0 120 66 0 0 20 0 17 0 39040304 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376451042448 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27806] ppid=27798 vsize=10925344 memory=3207244 CPUtime=1.9 cores=1,3,5,7
/proc/27801/task/27806/stat : 27806 (java) S 27798 27801 24561 0 -1 1077944384 4721 0 0 0 124 66 0 0 20 0 17 0 39040304 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376449989392 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27807] ppid=27798 vsize=10925344 memory=140629309563312 CPUtime=1.88 cores=1,3,5,7
/proc/27801/task/27807/stat : 27807 (java) S 27798 27801 24561 0 -1 1077944384 3887 0 0 0 123 65 0 0 20 0 17 0 39040304 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376448936848 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27808] ppid=27798 vsize=10925344 memory=3207244 CPUtime=0.25 cores=1,3,5,7
/proc/27801/task/27808/stat : 27808 (java) S 27798 27801 24561 0 -1 1077944384 12619 0 0 0 20 5 0 0 20 0 17 0 39040305 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376017934576 140376526031490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27809] ppid=27798 vsize=10925344 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27809/stat : 27809 (java) S 27798 27801 24561 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 39040306 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376016880864 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27810] ppid=27798 vsize=10925344 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27810/stat : 27810 (java) S 27798 27801 24561 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 39040306 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376015827712 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27811] ppid=27798 vsize=10925344 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27811/stat : 27811 (java) S 27798 27801 24561 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 17 0 39040308 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376014776272 140376526038939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27812] ppid=27798 vsize=10925344 memory=3207244 CPUtime=1.83 cores=1,3,5,7
/proc/27801/task/27812/stat : 27812 (java) S 27798 27801 24561 0 -1 1077944384 14070 0 0 0 181 2 0 0 20 0 17 0 39040308 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376013724400 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27813] ppid=27798 vsize=10925344 memory=3207244 CPUtime=2.07 cores=1,3,5,7
/proc/27801/task/27813/stat : 27813 (java) S 27798 27801 24561 0 -1 1077944384 14146 0 0 0 205 2 0 0 20 0 17 0 39040308 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376012671856 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27814] ppid=27798 vsize=10925344 memory=3207244 CPUtime=0.38 cores=1,3,5,7
/proc/27801/task/27814/stat : 27814 (java) R 27798 27801 24561 0 -1 4202560 4928 0 0 0 37 1 0 0 20 0 17 0 39040308 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376011616592 140376510343680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27815] ppid=27798 vsize=10925344 memory=3207244 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27815/stat : 27815 (java) S 27798 27801 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39040308 11187552256 801927 33554432000 4194304 4196468 140726663225968 140376010566496 140376526030549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27816] ppid=27798 vsize=10925344 memory=3207244 CPUtime=1.34 cores=1,3,5,7
/proc/27801/task/27816/stat : 27816 (java) S 27798 27801 24561 0 -1 1077944384 2365 0 0 0 60 74 0 0 20 0 17 0 39040309 11187552256 801908 33554432000 4194304 4196468 140726663225968 140376009513520 140376526031490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
[pid=27801/tid=27971] ppid=27798 vsize=10925344 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27801/task/27971/stat : 27971 (java) R 27798 27801 24561 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 16 0 39279193 11187552256 801908 33554432000 4194304 4196468 140726663225968 140376007405552 140376123988024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140726663230577 140726663230729 140726663230729 140726663233487 0
Current children cumulated CPU time: 2400.2 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 3207708 KiB
Child status: 143
Real time (s): 2389.13
CPU time (s): 2400.22
CPU user time (s): 2396.58
CPU system time (s): 3.64529
CPU usage (%): 100.465
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 3207708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.58
system time used= 3.64529
maximum resident set size= 3208080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124246
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54247
involuntary context switches= 1273
# summary of solver processes directly reported to runsolver:
# pid: 27801
# total CPU time (s): 2400.22
# total CPU user time (s): 2396.58
# total CPU system time (s): 3.64529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5034 second user time and 23.4477 second system time
The end