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 (6808 MiB free)
memory of node 1: 16384 MiB (12724 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290394-1532228905/watcher-4290394-1532228905 -o /tmp/evaluation-result-4290394-1532228905/solver-4290394-1532228905 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532226530-28755 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 4124300 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290394-1532228905.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=28978, runsolver pid=28975
[startup+0.101831 s]*
/proc/loadavg: 1.43 1.41 1.41 3/201 28995
/proc/meminfo: memFree=21971152/32770624 swapFree=67108860/67108860
[pid=28978] ppid=28975 vsize=14082740 memory=29548 CPUtime=0.12 cores=1,3,5,7
/proc/28978/stat : 28978 (java) S 28975 28978 28723 0 -1 1077944320 6849 0 0 0 12 0 0 0 20 0 15 0 40453688 14420725760 7387 33554432000 4194304 4196468 140720886590400 140720886572944 140503777033975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
/proc/28978/statm: 3520685 7387 3132 1 0 3482761 0
[pid=28978/tid=28980] ppid=28975 vsize=14082740 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/28978/task/28980/stat : 28980 (java) R 28975 28978 28723 0 -1 4202560 4839 0 0 0 9 0 0 0 20 0 15 0 40453689 14420725760 7387 33554432000 4194304 4196468 140720886590400 140503781234360 140503761114492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28981] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28981/stat : 28981 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 7387 33554432000 4194304 4196468 140720886590400 140503372635024 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28982] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28982/stat : 28982 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 7387 33554432000 4194304 4196468 140720886590400 140503371582224 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28983] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28983/stat : 28983 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 7387 33554432000 4194304 4196468 140720886590400 140503370529936 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28984] ppid=28975 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28984/stat : 28984 (java) S 28975 28978 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 7387 33554432000 4194304 4196468 140720886590400 140503369477136 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28985] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28985/stat : 28985 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453691 14420725760 7387 33554432000 4194304 4196468 140720886590400 140502958848112 140503777045122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28986] ppid=28975 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28986/stat : 28986 (java) S 28975 28978 28723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40453692 14420725760 7387 33554432000 4194304 4196468 140720886590400 140502957794080 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28987] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28987/stat : 28987 (java) S 28975 28978 28723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40453692 14420725760 7387 33554432000 4194304 4196468 140720886590400 140502956741744 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28990] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28990/stat : 28990 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453694 14420725760 7387 33554432000 4194304 4196468 140720886590400 140502955690064 140503777052571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28991] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28991/stat : 28991 (java) S 28975 28978 28723 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 40453694 14420725760 7387 33554432000 4194304 4196468 140720886590400 140502954637936 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28992] ppid=28975 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28992/stat : 28992 (java) S 28975 28978 28723 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 40453694 14420725760 7387 33554432000 4194304 4196468 140720886590400 140502953585136 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28993] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0.01 cores=1,3,5,7
/proc/28978/task/28993/stat : 28993 (java) S 28975 28978 28723 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 40453694 14420725760 7387 33554432000 4194304 4196468 140720886590400 140502952532848 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28994] ppid=28975 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28994/stat : 28994 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453695 14420725760 7387 33554432000 4194304 4196468 140720886590400 140502951480288 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28995] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28995/stat : 28995 (java) S 28975 28978 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40453695 14420725760 7387 33554432000 4194304 4196468 140720886590400 140502950427056 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 29548 KiB
[startup+0.210505 s]*
/proc/loadavg: 1.43 1.41 1.41 4/201 29009
/proc/meminfo: memFree=21956156/32770624 swapFree=67108860/67108860
[pid=28978] ppid=28975 vsize=14082740 memory=45864 CPUtime=0.29 cores=1,3,5,7
/proc/28978/stat : 28978 (java) S 28975 28978 28723 0 -1 1077944320 10552 0 0 0 28 1 0 0 20 0 15 0 40453688 14420725760 11466 33554432000 4194304 4196468 140720886590400 140720886572944 140503777033975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
/proc/28978/statm: 3520685 11466 3373 1 0 3482761 0
[pid=28978/tid=28980] ppid=28975 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28978/task/28980/stat : 28980 (java) R 28975 28978 28723 0 -1 1077944384 8171 0 0 0 18 1 0 0 20 0 15 0 40453689 14420725760 11466 33554432000 4194304 4196468 140720886590400 140503781259040 140503777044181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28981] ppid=28975 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28981/stat : 28981 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 11466 33554432000 4194304 4196468 140720886590400 140503372635024 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28982] ppid=28975 vsize=14082740 memory=3689768038782596768 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28982/stat : 28982 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 11466 33554432000 4194304 4196468 140720886590400 140503371582224 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28983] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28983/stat : 28983 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 11466 33554432000 4194304 4196468 140720886590400 140503370529936 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28984] ppid=28975 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28984/stat : 28984 (java) S 28975 28978 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 11466 33554432000 4194304 4196468 140720886590400 140503369477136 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28985] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28985/stat : 28985 (java) S 28975 28978 28723 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40453691 14420725760 11466 33554432000 4194304 4196468 140720886590400 140502958848112 140503777045122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28986] ppid=28975 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28986/stat : 28986 (java) S 28975 28978 28723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40453692 14420725760 11466 33554432000 4194304 4196468 140720886590400 140502957794080 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28987] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28987/stat : 28987 (java) S 28975 28978 28723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40453692 14420725760 11466 33554432000 4194304 4196468 140720886590400 140502956741744 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28990] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28990/stat : 28990 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453694 14420725760 11466 33554432000 4194304 4196468 140720886590400 140502955690064 140503777052571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28991] ppid=28975 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28978/task/28991/stat : 28991 (java) R 28975 28978 28723 0 -1 4202560 108 0 0 0 1 0 0 0 20 0 15 0 40453694 14420725760 11466 33554432000 4194304 4196468 140720886590400 140502954638032 140503762661374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28992] ppid=28975 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28978/task/28992/stat : 28992 (java) S 28975 28978 28723 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 15 0 40453694 14420725760 11466 33554432000 4194304 4196468 140720886590400 140502953585136 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28993] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0.05 cores=1,3,5,7
/proc/28978/task/28993/stat : 28993 (java) S 28975 28978 28723 0 -1 1077944384 407 0 0 0 5 0 0 0 20 0 15 0 40453694 14420725760 11466 33554432000 4194304 4196468 140720886590400 140502952532848 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28994] ppid=28975 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28994/stat : 28994 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453695 14420725760 11466 33554432000 4194304 4196468 140720886590400 140502951480288 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28995] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28995/stat : 28995 (java) S 28975 28978 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40453695 14420725760 11466 33554432000 4194304 4196468 140720886590400 140502950427056 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 45864 KiB
[startup+0.310595 s]*
/proc/loadavg: 1.43 1.41 1.41 5/216 29024
/proc/meminfo: memFree=21932516/32770624 swapFree=67108860/67108860
[pid=28978] ppid=28975 vsize=14082740 memory=49556 CPUtime=0.44 cores=1,3,5,7
/proc/28978/stat : 28978 (java) S 28975 28978 28723 0 -1 1077944320 11007 0 0 0 42 2 0 0 20 0 15 0 40453688 14420725760 12389 33554432000 4194304 4196468 140720886590400 140720886572944 140503777033975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
/proc/28978/statm: 3520685 12389 3412 1 0 3482761 0
[pid=28978/tid=28980] ppid=28975 vsize=14082740 memory=-6517102902069810590 CPUtime=0.29 cores=1,3,5,7
/proc/28978/task/28980/stat : 28980 (java) R 28975 28978 28723 0 -1 4202560 8492 0 0 0 28 1 0 0 20 0 15 0 40453689 14420725760 12389 33554432000 4194304 4196468 140720886590400 140503781223248 140503761114462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28981] ppid=28975 vsize=14082740 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28981/stat : 28981 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 12389 33554432000 4194304 4196468 140720886590400 140503372635024 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28982] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28982/stat : 28982 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 12389 33554432000 4194304 4196468 140720886590400 140503371582224 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28983] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28983/stat : 28983 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 12389 33554432000 4194304 4196468 140720886590400 140503370529936 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28984] ppid=28975 vsize=14082740 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28984/stat : 28984 (java) S 28975 28978 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40453690 14420725760 12389 33554432000 4194304 4196468 140720886590400 140503369477136 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28985] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28985/stat : 28985 (java) S 28975 28978 28723 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40453691 14420725760 12389 33554432000 4194304 4196468 140720886590400 140502958848112 140503777045122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28986] ppid=28975 vsize=14082740 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28986/stat : 28986 (java) S 28975 28978 28723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40453692 14420725760 12389 33554432000 4194304 4196468 140720886590400 140502957794080 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28987] ppid=28975 vsize=14082740 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28987/stat : 28987 (java) S 28975 28978 28723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40453692 14420725760 12389 33554432000 4194304 4196468 140720886590400 140502956741744 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28990] ppid=28975 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28990/stat : 28990 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453694 14420725760 12389 33554432000 4194304 4196468 140720886590400 140502955690064 140503777052571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28991] ppid=28975 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28978/task/28991/stat : 28991 (java) S 28975 28978 28723 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 40453694 14420725760 12389 33554432000 4194304 4196468 140720886590400 140502954637936 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28992] ppid=28975 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28978/task/28992/stat : 28992 (java) S 28975 28978 28723 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 40453694 14420725760 12389 33554432000 4194304 4196468 140720886590400 140502953585136 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28993] ppid=28975 vsize=14082740 memory=279853110154960 CPUtime=0.08 cores=1,3,5,7
/proc/28978/task/28993/stat : 28993 (java) S 28975 28978 28723 0 -1 1077944384 463 0 0 0 8 0 0 0 20 0 15 0 40453694 14420725760 12389 33554432000 4194304 4196468 140720886590400 140502952532848 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28994] ppid=28975 vsize=14082740 memory=139926632265343 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28994/stat : 28994 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453695 14420725760 12389 33554432000 4194304 4196468 140720886590400 140502951480288 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28995] ppid=28975 vsize=14082740 memory=139926632265344 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28995/stat : 28995 (java) S 28975 28978 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40453695 14420725760 12389 33554432000 4194304 4196468 140720886590400 140502950427056 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49556 KiB
[startup+0.70135 s]
/proc/loadavg: 1.43 1.41 1.41 6/216 29024
/proc/meminfo: memFree=21894112/32770624 swapFree=67108860/67108860
[pid=28978] ppid=28975 vsize=14084808 memory=88188 CPUtime=0.98 cores=1,3,5,7
/proc/28978/stat : 28978 (java) S 28975 28978 28723 0 -1 1077944320 17920 0 0 0 94 4 0 0 20 0 15 0 40453688 14422843392 22047 33554432000 4194304 4196468 140720886590400 140720886572944 140503777033975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
/proc/28978/statm: 3521202 22047 3502 1 0 3483273 0
[pid=28978/tid=28980] ppid=28975 vsize=14084808 memory=139930034504097 CPUtime=0.66 cores=1,3,5,7
/proc/28978/task/28980/stat : 28980 (java) R 28975 28978 28723 0 -1 4202560 14937 0 0 0 63 3 0 0 20 0 15 0 40453689 14422843392 22047 33554432000 4194304 4196468 140720886590400 140503781248880 140503761114462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28981] ppid=28975 vsize=14084808 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28981/stat : 28981 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14422843392 22047 33554432000 4194304 4196468 140720886590400 140503372635024 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28982] ppid=28975 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28982/stat : 28982 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14422843392 22047 33554432000 4194304 4196468 140720886590400 140503371582224 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28983] ppid=28975 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28983/stat : 28983 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14422843392 22047 33554432000 4194304 4196468 140720886590400 140503370529936 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28984] ppid=28975 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28984/stat : 28984 (java) S 28975 28978 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40453690 14422843392 22047 33554432000 4194304 4196468 140720886590400 140503369477136 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28985] ppid=28975 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28985/stat : 28985 (java) S 28975 28978 28723 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40453691 14422843392 22047 33554432000 4194304 4196468 140720886590400 140502958848112 140503777045122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28986] ppid=28975 vsize=14084808 memory=264416104842392 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28986/stat : 28986 (java) S 28975 28978 28723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40453692 14422843392 22047 33554432000 4194304 4196468 140720886590400 140502957794080 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28987] ppid=28975 vsize=14084808 memory=120106 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28987/stat : 28987 (java) S 28975 28978 28723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40453692 14422843392 22047 33554432000 4194304 4196468 140720886590400 140502956741744 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28990] ppid=28975 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28990/stat : 28990 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453694 14422843392 22047 33554432000 4194304 4196468 140720886590400 140502955690064 140503777052571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28991] ppid=28975 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28978/task/28991/stat : 28991 (java) S 28975 28978 28723 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 15 0 40453694 14422843392 22047 33554432000 4194304 4196468 140720886590400 140502954637936 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28992] ppid=28975 vsize=14084808 memory=7809523229951467574 CPUtime=0.07 cores=1,3,5,7
/proc/28978/task/28992/stat : 28992 (java) S 28975 28978 28723 0 -1 1077944384 682 0 0 0 7 0 0 0 20 0 15 0 40453694 14422843392 22047 33554432000 4194304 4196468 140720886590400 140502953585136 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28993] ppid=28975 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/28978/task/28993/stat : 28993 (java) R 28975 28978 28723 0 -1 4202560 602 0 0 0 15 0 0 0 20 0 15 0 40453694 14422843392 22047 33554432000 4194304 4196468 140720886590400 140502952532848 140503777055322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28994] ppid=28975 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28994/stat : 28994 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453695 14422843392 22047 33554432000 4194304 4196468 140720886590400 140502951480288 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28995] ppid=28975 vsize=14084808 memory=8315167063544725677 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28995/stat : 28995 (java) S 28975 28978 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40453695 14422843392 22047 33554432000 4194304 4196468 140720886590400 140502950427056 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88188 KiB
[startup+1.50071 s]
/proc/loadavg: 1.43 1.41 1.41 6/219 29027
/proc/meminfo: memFree=21723824/32770624 swapFree=67108860/67108860
[pid=28978] ppid=28975 vsize=14090952 memory=138100 CPUtime=2.85 cores=1,3,5,7
/proc/28978/stat : 28978 (java) S 28975 28978 28723 0 -1 1077944320 25861 0 0 0 277 8 0 0 20 0 15 0 40453688 14429134848 34525 33554432000 4194304 4196468 140720886590400 140720886572944 140503777033975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
/proc/28978/statm: 3522738 34525 3540 1 0 3484809 0
[pid=28978/tid=28980] ppid=28975 vsize=14090952 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/28978/task/28980/stat : 28980 (java) R 28975 28978 28723 0 -1 4202560 19634 0 0 0 140 5 0 0 20 0 15 0 40453689 14429134848 34525 33554432000 4194304 4196468 140720886590400 140503781267408 140503760234393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28981] ppid=28975 vsize=14090952 memory=279852955546816 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28981/stat : 28981 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14429134848 34525 33554432000 4194304 4196468 140720886590400 140503372635024 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28982] ppid=28975 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28982/stat : 28982 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14429134848 34525 33554432000 4194304 4196468 140720886590400 140503371582224 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28983] ppid=28975 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28983/stat : 28983 (java) S 28975 28978 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40453690 14429134848 34525 33554432000 4194304 4196468 140720886590400 140503370529936 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28984] ppid=28975 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28984/stat : 28984 (java) S 28975 28978 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40453690 14429134848 34525 33554432000 4194304 4196468 140720886590400 140503369477136 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28985] ppid=28975 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28985/stat : 28985 (java) S 28975 28978 28723 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 40453691 14429134848 34525 33554432000 4194304 4196468 140720886590400 140502958848112 140503777045122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
################
# More data... #
################
/proc/28978/task/28980/stat : 28980 (java) R 28975 28978 28723 0 -1 4202560 48022 0 0 0 223969 37 0 0 20 0 15 0 40453689 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503781272800 140503417590662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28981] ppid=28975 vsize=14093000 memory=218384 CPUtime=8.8 cores=1,3,5,7
/proc/28978/task/28981/stat : 28981 (java) S 28975 28978 28723 0 -1 1077944384 2990 0 0 0 804 76 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503372635024 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28982] ppid=28975 vsize=14093000 memory=218384 CPUtime=8.78 cores=1,3,5,7
/proc/28978/task/28982/stat : 28982 (java) S 28975 28978 28723 0 -1 1077944384 3646 0 0 0 807 71 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503371582224 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28983] ppid=28975 vsize=14093000 memory=218384 CPUtime=8.79 cores=1,3,5,7
/proc/28978/task/28983/stat : 28983 (java) S 28975 28978 28723 0 -1 1077944384 2461 0 0 0 806 73 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503370529936 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28984] ppid=28975 vsize=14093000 memory=218384 CPUtime=8.76 cores=1,3,5,7
/proc/28978/task/28984/stat : 28984 (java) S 28975 28978 28723 0 -1 1077944384 3122 0 0 0 806 70 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503369477136 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28985] ppid=28975 vsize=14093000 memory=1696 CPUtime=9.83 cores=1,3,5,7
/proc/28978/task/28985/stat : 28985 (java) S 28975 28978 28723 0 -1 1077944384 4031 0 0 0 911 72 0 0 20 0 15 0 40453691 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502958848112 140503777045122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28986] ppid=28975 vsize=14093000 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28986/stat : 28986 (java) S 28975 28978 28723 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40453692 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502957794144 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28987] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28987/stat : 28987 (java) S 28975 28978 28723 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40453692 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502956741744 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28990] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28990/stat : 28990 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502955690064 140503777052571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28991] ppid=28975 vsize=14093000 memory=218384 CPUtime=1.78 cores=1,3,5,7
/proc/28978/task/28991/stat : 28991 (java) S 28975 28978 28723 0 -1 1077944384 8566 0 0 0 177 1 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502954637936 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28992] ppid=28975 vsize=14093000 memory=218384 CPUtime=1.64 cores=1,3,5,7
/proc/28978/task/28992/stat : 28992 (java) S 28975 28978 28723 0 -1 1077944384 9274 0 0 0 163 1 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502953585136 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28993] ppid=28975 vsize=14093000 memory=218384 CPUtime=0.83 cores=1,3,5,7
/proc/28978/task/28993/stat : 28993 (java) S 28975 28978 28723 0 -1 1077944384 5370 0 0 0 81 2 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502952532848 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28994] ppid=28975 vsize=14093000 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28994/stat : 28994 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453695 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502951480288 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28995] ppid=28975 vsize=14093000 memory=1008 CPUtime=1.27 cores=1,3,5,7
/proc/28978/task/28995/stat : 28995 (java) S 28975 28978 28723 0 -1 1077944384 614 0 0 0 56 71 0 0 20 0 15 0 40453695 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502950427056 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
Current children cumulated CPU time: 2290.65 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 218384 KiB
[startup+2322.3 s]
/proc/loadavg: 1.39 1.35 1.40 3/215 29145
/proc/meminfo: memFree=20523292/32770624 swapFree=67108860/67108860
[pid=28978] ppid=28975 vsize=14093000 memory=218384 CPUtime=2351.28 cores=1,3,5,7
/proc/28978/stat : 28978 (java) S 28975 28978 28723 0 -1 1077944320 90505 0 0 0 234755 373 0 0 20 0 15 0 40453688 14431232000 54596 33554432000 4194304 4196468 140720886590400 140720886572944 140503777033975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
/proc/28978/statm: 3523250 54596 3599 1 0 3485321 0
[pid=28978/tid=28980] ppid=28975 vsize=14093000 memory=218384 CPUtime=2299.46 cores=1,3,5,7
/proc/28978/task/28980/stat : 28980 (java) R 28975 28978 28723 0 -1 4202560 48649 0 0 0 229908 38 0 0 20 0 15 0 40453689 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503781272704 140503422481580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28981] ppid=28975 vsize=14093000 memory=218384 CPUtime=9.04 cores=1,3,5,7
/proc/28978/task/28981/stat : 28981 (java) S 28975 28978 28723 0 -1 1077944384 2996 0 0 0 825 79 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503372635024 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28982] ppid=28975 vsize=14093000 memory=218384 CPUtime=9.01 cores=1,3,5,7
/proc/28978/task/28982/stat : 28982 (java) S 28975 28978 28723 0 -1 1077944384 3664 0 0 0 828 73 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503371582224 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28983] ppid=28975 vsize=14093000 memory=218384 CPUtime=9.02 cores=1,3,5,7
/proc/28978/task/28983/stat : 28983 (java) S 28975 28978 28723 0 -1 1077944384 2464 0 0 0 827 75 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503370529936 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28984] ppid=28975 vsize=14093000 memory=218384 CPUtime=8.99 cores=1,3,5,7
/proc/28978/task/28984/stat : 28984 (java) S 28975 28978 28723 0 -1 1077944384 3301 0 0 0 827 72 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503369477136 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28985] ppid=28975 vsize=14093000 memory=218384 CPUtime=10.09 cores=1,3,5,7
/proc/28978/task/28985/stat : 28985 (java) S 28975 28978 28723 0 -1 1077944384 4170 0 0 0 935 74 0 0 20 0 15 0 40453691 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502958848112 140503777045122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28986] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28986/stat : 28986 (java) S 28975 28978 28723 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40453692 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502957794144 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28987] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28987/stat : 28987 (java) S 28975 28978 28723 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40453692 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502956741744 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28990] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28990/stat : 28990 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502955690064 140503777052571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28991] ppid=28975 vsize=14093000 memory=218384 CPUtime=1.78 cores=1,3,5,7
/proc/28978/task/28991/stat : 28991 (java) S 28975 28978 28723 0 -1 1077944384 8568 0 0 0 177 1 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502954637936 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28992] ppid=28975 vsize=14093000 memory=218384 CPUtime=1.64 cores=1,3,5,7
/proc/28978/task/28992/stat : 28992 (java) S 28975 28978 28723 0 -1 1077944384 9276 0 0 0 163 1 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502953585136 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28993] ppid=28975 vsize=14093000 memory=1200 CPUtime=0.83 cores=1,3,5,7
/proc/28978/task/28993/stat : 28993 (java) S 28975 28978 28723 0 -1 1077944384 5372 0 0 0 81 2 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502952532848 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28994] ppid=28975 vsize=14093000 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28994/stat : 28994 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453695 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502951480288 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28995] ppid=28975 vsize=14093000 memory=218384 CPUtime=1.31 cores=1,3,5,7
/proc/28978/task/28995/stat : 28995 (java) S 28975 28978 28723 0 -1 1077944384 620 0 0 0 58 73 0 0 20 0 15 0 40453695 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502950427056 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
Current children cumulated CPU time: 2351.28 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 218384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2370.5 s]
/proc/loadavg: 1.28 1.32 1.39 3/215 29146
/proc/meminfo: memFree=20521964/32770624 swapFree=67108860/67108860
[pid=28978] ppid=28975 vsize=14093000 memory=218384 CPUtime=2400.01 cores=1,3,5,7
/proc/28978/stat : 28978 (java) S 28975 28978 28723 0 -1 1077944320 91044 0 0 0 239618 383 0 0 20 0 15 0 40453688 14431232000 54596 33554432000 4194304 4196468 140720886590400 140720886572944 140503777033975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
/proc/28978/statm: 3523250 54596 3599 1 0 3485321 0
[pid=28978/tid=28980] ppid=28975 vsize=14093000 memory=218384 CPUtime=2347.19 cores=1,3,5,7
/proc/28978/task/28980/stat : 28980 (java) R 28975 28978 28723 0 -1 4202560 49101 0 0 0 234680 39 0 0 20 0 15 0 40453689 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503781272464 140503421022997 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28981] ppid=28975 vsize=14093000 memory=218384 CPUtime=9.23 cores=1,3,5,7
/proc/28978/task/28981/stat : 28981 (java) S 28975 28978 28723 0 -1 1077944384 3014 0 0 0 842 81 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503372635024 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28982] ppid=28975 vsize=14093000 memory=2436 CPUtime=9.2 cores=1,3,5,7
/proc/28978/task/28982/stat : 28982 (java) S 28975 28978 28723 0 -1 1077944384 3673 0 0 0 845 75 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503371582224 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28983] ppid=28975 vsize=14093000 memory=218384 CPUtime=9.22 cores=1,3,5,7
/proc/28978/task/28983/stat : 28983 (java) S 28975 28978 28723 0 -1 1077944384 2469 0 0 0 845 77 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503370529936 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28984] ppid=28975 vsize=14093000 memory=218384 CPUtime=9.18 cores=1,3,5,7
/proc/28978/task/28984/stat : 28984 (java) S 28975 28978 28723 0 -1 1077944384 3304 0 0 0 844 74 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503369477136 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28985] ppid=28975 vsize=14093000 memory=218384 CPUtime=10.3 cores=1,3,5,7
/proc/28978/task/28985/stat : 28985 (java) S 28975 28978 28723 0 -1 1077944384 4210 0 0 0 955 75 0 0 20 0 15 0 40453691 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502958848112 140503777045122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28986] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28986/stat : 28986 (java) S 28975 28978 28723 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40453692 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502957794144 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28987] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28987/stat : 28987 (java) S 28975 28978 28723 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40453692 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502956741744 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28990] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28990/stat : 28990 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502955690064 140503777052571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28991] ppid=28975 vsize=14093000 memory=218384 CPUtime=1.78 cores=1,3,5,7
/proc/28978/task/28991/stat : 28991 (java) S 28975 28978 28723 0 -1 1077944384 8568 0 0 0 177 1 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502954637936 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28992] ppid=28975 vsize=14093000 memory=1200 CPUtime=1.64 cores=1,3,5,7
/proc/28978/task/28992/stat : 28992 (java) S 28975 28978 28723 0 -1 1077944384 9276 0 0 0 163 1 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502953585136 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28993] ppid=28975 vsize=14093000 memory=8364 CPUtime=0.83 cores=1,3,5,7
/proc/28978/task/28993/stat : 28993 (java) S 28975 28978 28723 0 -1 1077944384 5372 0 0 0 81 2 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502952532848 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28994] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28994/stat : 28994 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453695 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502951480288 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28995] ppid=28975 vsize=14093000 memory=218384 CPUtime=1.34 cores=1,3,5,7
/proc/28978/task/28995/stat : 28995 (java) S 28975 28978 28723 0 -1 1077944384 632 0 0 0 59 75 0 0 20 0 15 0 40453695 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502950427056 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 218384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2370.52 s]
# the end of solver process 28978 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.2 s, system=3.8333 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2370.5 s]
/proc/loadavg: 1.28 1.32 1.39 3/215 29146
/proc/meminfo: memFree=20521964/32770624 swapFree=67108860/67108860
[pid=28978] ppid=28975 vsize=14093000 memory=218384 CPUtime=2400.01 cores=1,3,5,7
/proc/28978/stat : 28978 (java) S 28975 28978 28723 0 -1 1077944320 91044 0 0 0 239618 383 0 0 20 0 15 0 40453688 14431232000 54596 33554432000 4194304 4196468 140720886590400 140720886572944 140503777033975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
/proc/28978/statm: 3523250 54596 3599 1 0 3485321 0
[pid=28978/tid=28980] ppid=28975 vsize=14093000 memory=218384 CPUtime=2347.19 cores=1,3,5,7
/proc/28978/task/28980/stat : 28980 (java) R 28975 28978 28723 0 -1 4202560 49101 0 0 0 234680 39 0 0 20 0 15 0 40453689 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503781272464 140503421022997 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28981] ppid=28975 vsize=14093000 memory=218384 CPUtime=9.23 cores=1,3,5,7
/proc/28978/task/28981/stat : 28981 (java) S 28975 28978 28723 0 -1 1077944384 3014 0 0 0 842 81 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503372635024 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28982] ppid=28975 vsize=14093000 memory=2436 CPUtime=9.2 cores=1,3,5,7
/proc/28978/task/28982/stat : 28982 (java) S 28975 28978 28723 0 -1 1077944384 3673 0 0 0 845 75 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503371582224 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28983] ppid=28975 vsize=14093000 memory=218384 CPUtime=9.22 cores=1,3,5,7
/proc/28978/task/28983/stat : 28983 (java) S 28975 28978 28723 0 -1 1077944384 2469 0 0 0 845 77 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503370529936 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28984] ppid=28975 vsize=14093000 memory=218384 CPUtime=9.18 cores=1,3,5,7
/proc/28978/task/28984/stat : 28984 (java) S 28975 28978 28723 0 -1 1077944384 3304 0 0 0 844 74 0 0 20 0 15 0 40453690 14431232000 54596 33554432000 4194304 4196468 140720886590400 140503369477136 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28985] ppid=28975 vsize=14093000 memory=218384 CPUtime=10.3 cores=1,3,5,7
/proc/28978/task/28985/stat : 28985 (java) S 28975 28978 28723 0 -1 1077944384 4210 0 0 0 955 75 0 0 20 0 15 0 40453691 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502958848112 140503777045122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28986] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28986/stat : 28986 (java) S 28975 28978 28723 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40453692 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502957794144 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28987] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28987/stat : 28987 (java) S 28975 28978 28723 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40453692 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502956741744 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28990] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28990/stat : 28990 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502955690064 140503777052571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28991] ppid=28975 vsize=14093000 memory=218384 CPUtime=1.78 cores=1,3,5,7
/proc/28978/task/28991/stat : 28991 (java) S 28975 28978 28723 0 -1 1077944384 8568 0 0 0 177 1 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502954637936 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28992] ppid=28975 vsize=14093000 memory=1200 CPUtime=1.64 cores=1,3,5,7
/proc/28978/task/28992/stat : 28992 (java) S 28975 28978 28723 0 -1 1077944384 9276 0 0 0 163 1 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502953585136 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28993] ppid=28975 vsize=14093000 memory=8364 CPUtime=0.83 cores=1,3,5,7
/proc/28978/task/28993/stat : 28993 (java) S 28975 28978 28723 0 -1 1077944384 5372 0 0 0 81 2 0 0 20 0 15 0 40453694 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502952532848 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28994] ppid=28975 vsize=14093000 memory=218384 CPUtime=0 cores=1,3,5,7
/proc/28978/task/28994/stat : 28994 (java) S 28975 28978 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40453695 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502951480288 140503777044181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
[pid=28978/tid=28995] ppid=28975 vsize=14093000 memory=218384 CPUtime=1.34 cores=1,3,5,7
/proc/28978/task/28995/stat : 28995 (java) S 28975 28978 28723 0 -1 1077944384 632 0 0 0 59 75 0 0 20 0 15 0 40453695 14431232000 54596 33554432000 4194304 4196468 140720886590400 140502950427056 140503777045122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 16642048 140720886596683 140720886596873 140720886596873 140720886599631 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 218384 KiB
Child status: 143
Real time (s): 2370.52
CPU time (s): 2400.04
CPU user time (s): 2396.2
CPU system time (s): 3.8333
CPU usage (%): 101.245
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 272336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.2
system time used= 3.8333
maximum resident set size= 272336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91468
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334434
involuntary context switches= 6185
# summary of solver processes directly reported to runsolver:
# pid: 28978
# total CPU time (s): 2400.04
# total CPU user time (s): 2396.2
# total CPU system time (s): 3.8333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5313 second user time and 21.7494 second system time
The end