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 (12095 MiB free)
memory of node 1: 16384 MiB (15836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301403-1532879760/watcher-4301403-1532879760 -o /tmp/evaluation-result-4301403-1532879760/solver-4301403-1532879760 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301403-1532879760.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13825, runsolver pid=13822
[startup+0.100097 s]*
/proc/loadavg: 2.20 2.01 1.64 5/215 13840
/proc/meminfo: memFree=28565400/32770624 swapFree=67108860/67108860
[pid=13825] ppid=13822 vsize=10659012 memory=30492 CPUtime=0.12 cores=1,3,5,7
/proc/13825/stat : 13825 (java) S 13822 13825 13514 0 -1 1077944320 6691 0 0 0 11 1 0 0 20 0 15 0 105539176 10914828288 7623 33554432000 4194304 4196468 140731860727920 140731860710464 140116204515063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
/proc/13825/statm: 2664753 7623 2843 1 0 2627263 0
[pid=13825/tid=13827] ppid=13822 vsize=10659012 memory=-8773748148829981823 CPUtime=0.09 cores=1,3,5,7
/proc/13825/task/13827/stat : 13827 (java) R 13822 13825 13514 0 -1 4202560 4533 0 0 0 8 1 0 0 20 0 15 0 105539176 10914828288 7623 33554432000 4194304 4196468 140731860727920 140116208729664 140116204536989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13828] ppid=13822 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13828/stat : 13828 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 7623 33554432000 4194304 4196468 140731860727920 140116130589712 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13829] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13829/stat : 13829 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 7623 33554432000 4194304 4196468 140731860727920 140116129537168 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13830] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13830/stat : 13830 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 7623 33554432000 4194304 4196468 140731860727920 140116128484112 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13831] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13831/stat : 13831 (java) S 13822 13825 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115808611216 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13832] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13832/stat : 13832 (java) S 13822 13825 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105539178 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115697219824 140116204526210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13833] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13833/stat : 13833 (java) S 13822 13825 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105539179 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115696166048 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13834] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13834/stat : 13834 (java) S 13822 13825 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105539179 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115695112944 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13835] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13835/stat : 13835 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539181 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115694061520 140116204533659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13836] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13836/stat : 13836 (java) S 13822 13825 13514 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 105539181 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115693009648 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13837] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13837/stat : 13837 (java) S 13822 13825 13514 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 105539181 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115691957104 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13838] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0.02 cores=1,3,5,7
/proc/13825/task/13838/stat : 13838 (java) R 13822 13825 13514 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 105539181 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115690904048 140116182883905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13839] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13839/stat : 13839 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539182 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115689851744 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13840] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13840/stat : 13840 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539182 10914828288 7623 33554432000 4194304 4196468 140731860727920 140115688798768 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30492 KiB
[startup+0.210483 s]*
/proc/loadavg: 2.20 2.01 1.64 6/215 13840
/proc/meminfo: memFree=28528548/32770624 swapFree=67108860/67108860
[pid=13825] ppid=13822 vsize=10659012 memory=41880 CPUtime=0.33 cores=1,3,5,7
/proc/13825/stat : 13825 (java) S 13822 13825 13514 0 -1 1077944320 8098 0 0 0 31 2 0 0 20 0 15 0 105539176 10914828288 10470 33554432000 4194304 4196468 140731860727920 140731860710464 140116204515063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
/proc/13825/statm: 2664753 10470 3003 1 0 2627263 0
[pid=13825/tid=13827] ppid=13822 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/13825/task/13827/stat : 13827 (java) R 13822 13825 13514 0 -1 4202560 5042 0 0 0 19 1 0 0 20 0 15 0 105539176 10914828288 10470 33554432000 4194304 4196468 140731860727920 140116208750032 140116204536989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13828] ppid=13822 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13828/stat : 13828 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 10470 33554432000 4194304 4196468 140731860727920 140116130589712 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13829] ppid=13822 vsize=10659012 memory=139713571196937 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13829/stat : 13829 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 10470 33554432000 4194304 4196468 140731860727920 140116129537168 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13830] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13830/stat : 13830 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 10470 33554432000 4194304 4196468 140731860727920 140116128484112 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13831] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13831/stat : 13831 (java) S 13822 13825 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115808611216 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13832] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13832/stat : 13832 (java) S 13822 13825 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105539178 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115697219824 140116204526210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13833] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13833/stat : 13833 (java) S 13822 13825 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105539179 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115696166048 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13834] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13834/stat : 13834 (java) S 13822 13825 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105539179 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115695112944 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13835] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13835/stat : 13835 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539181 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115694061520 140116204533659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13836] ppid=13822 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13825/task/13836/stat : 13836 (java) S 13822 13825 13514 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 15 0 105539181 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115693009648 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13837] ppid=13822 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13825/task/13837/stat : 13837 (java) S 13822 13825 13514 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 105539181 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115691957104 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13838] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0.07 cores=1,3,5,7
/proc/13825/task/13838/stat : 13838 (java) S 13822 13825 13514 0 -1 1077944384 687 0 0 0 7 0 0 0 20 0 15 0 105539181 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115690904048 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13839] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13839/stat : 13839 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539182 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115689851744 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13840] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13840/stat : 13840 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539182 10914828288 10470 33554432000 4194304 4196468 140731860727920 140115688798768 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41880 KiB
[startup+0.311112 s]*
/proc/loadavg: 2.20 2.01 1.64 7/215 13840
/proc/meminfo: memFree=28485484/32770624 swapFree=67108860/67108860
[pid=13825] ppid=13822 vsize=10659012 memory=53708 CPUtime=0.59 cores=1,3,5,7
/proc/13825/stat : 13825 (java) S 13822 13825 13514 0 -1 1077944320 9487 0 0 0 57 2 0 0 20 0 15 0 105539176 10914828288 13427 33554432000 4194304 4196468 140731860727920 140731860710464 140116204515063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
/proc/13825/statm: 2664753 13427 3041 1 0 2627263 0
[pid=13825/tid=13827] ppid=13822 vsize=10659012 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/13825/task/13827/stat : 13827 (java) R 13822 13825 13514 0 -1 4202560 5388 0 0 0 29 1 0 0 20 0 15 0 105539176 10914828288 13427 33554432000 4194304 4196468 140731860727920 140116208752304 140116188595550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13828] ppid=13822 vsize=10659012 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13828/stat : 13828 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 13427 33554432000 4194304 4196468 140731860727920 140116130589712 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13829] ppid=13822 vsize=10659012 memory=139713570879305 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13829/stat : 13829 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 13427 33554432000 4194304 4196468 140731860727920 140116129537168 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13830] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13830/stat : 13830 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 13427 33554432000 4194304 4196468 140731860727920 140116128484112 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13831] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13831/stat : 13831 (java) S 13822 13825 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105539177 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115808611216 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13832] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13832/stat : 13832 (java) S 13822 13825 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105539178 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115697219824 140116204526210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13833] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13833/stat : 13833 (java) S 13822 13825 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105539179 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115696166048 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13834] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13834/stat : 13834 (java) S 13822 13825 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105539179 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115695112944 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13835] ppid=13822 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13835/stat : 13835 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539181 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115694061520 140116204533659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13836] ppid=13822 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13825/task/13836/stat : 13836 (java) R 13822 13825 13514 0 -1 4202560 1020 0 0 0 7 0 0 0 20 0 15 0 105539181 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115692990664 140116184368624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13837] ppid=13822 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13825/task/13837/stat : 13837 (java) R 13822 13825 13514 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 15 0 105539181 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115691938120 140116189414680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13838] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0.12 cores=1,3,5,7
/proc/13825/task/13838/stat : 13838 (java) R 13822 13825 13514 0 -1 1077944384 985 0 0 0 12 0 0 0 20 0 15 0 105539181 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115690904048 140116204526210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13839] ppid=13822 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13839/stat : 13839 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539182 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115689851744 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13840] ppid=13822 vsize=10659012 memory=139713570571904 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13840/stat : 13840 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539182 10914828288 13427 33554432000 4194304 4196468 140731860727920 140115688798768 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 53708 KiB
[startup+0.701945 s]
/proc/loadavg: 2.20 2.01 1.64 7/215 13840
/proc/meminfo: memFree=28411080/32770624 swapFree=67108860/67108860
[pid=13825] ppid=13822 vsize=10659088 memory=117024 CPUtime=1.85 cores=1,3,5,7
/proc/13825/stat : 13825 (java) S 13822 13825 13514 0 -1 1077944320 12045 0 0 0 180 5 0 0 20 0 15 0 105539176 10914906112 29256 33554432000 4194304 4196468 140731860727920 140731860710464 140116204515063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
/proc/13825/statm: 2664772 29256 3101 1 0 2627263 0
[pid=13825/tid=13827] ppid=13822 vsize=10659088 memory=16792 CPUtime=0.67 cores=1,3,5,7
/proc/13825/task/13827/stat : 13827 (java) R 13822 13825 13514 0 -1 4202560 5766 0 0 0 65 2 0 0 20 0 15 0 105539176 10914906112 29256 33554432000 4194304 4196468 140731860727920 140116208750592 140115808753536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13828] ppid=13822 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13828/stat : 13828 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914906112 29256 33554432000 4194304 4196468 140731860727920 140116130589712 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13829] ppid=13822 vsize=10659088 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13829/stat : 13829 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914906112 29256 33554432000 4194304 4196468 140731860727920 140116129537168 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13830] ppid=13822 vsize=10659088 memory=496 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13830/stat : 13830 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539177 10914906112 29256 33554432000 4194304 4196468 140731860727920 140116128484112 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13831] ppid=13822 vsize=10659088 memory=928 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13831/stat : 13831 (java) S 13822 13825 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105539177 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115808611216 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13832] ppid=13822 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13832/stat : 13832 (java) S 13822 13825 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105539178 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115697219824 140116204526210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13833] ppid=13822 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13833/stat : 13833 (java) S 13822 13825 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115696166048 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13834] ppid=13822 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13834/stat : 13834 (java) S 13822 13825 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115695112944 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13835] ppid=13822 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13835/stat : 13835 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539181 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115694061520 140116204533659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13836] ppid=13822 vsize=10659088 memory=6081108994580573287 CPUtime=0.43 cores=1,3,5,7
/proc/13825/task/13836/stat : 13836 (java) R 13822 13825 13514 0 -1 4202560 1832 0 0 0 43 0 0 0 20 0 15 0 105539181 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115692990720 140116183767785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13837] ppid=13822 vsize=10659088 memory=6293050847276651881 CPUtime=0.43 cores=1,3,5,7
/proc/13825/task/13837/stat : 13837 (java) R 13822 13825 13514 0 -1 4202560 1622 0 0 0 43 0 0 0 20 0 15 0 105539181 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115691943952 140116188774911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13838] ppid=13822 vsize=10659088 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/13825/task/13838/stat : 13838 (java) R 13822 13825 13514 0 -1 1077944384 1455 0 0 0 27 0 0 0 20 0 15 0 105539181 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115690903232 140116204525269 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13839] ppid=13822 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13839/stat : 13839 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539182 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115689851744 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13840] ppid=13822 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13840/stat : 13840 (java) S 13822 13825 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105539182 10914906112 29256 33554432000 4194304 4196468 140731860727920 140115688798768 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 117024 KiB
[startup+1.50091 s]
/proc/loadavg: 2.20 2.01 1.64 9/215 13840
/proc/meminfo: memFree=27948428/32770624 swapFree=67108860/67108860
[pid=13825] ppid=13822 vsize=10659088 memory=809180 CPUtime=3.6 cores=1,3,5,7
/proc/13825/stat : 13825 (java) S 13822 13825 13514 0 -1 1077944320 14656 0 0 0 322 38 0 0 20 0 15 0 105539176 10914906112 202295 33554432000 4194304 4196468 140731860727920 140731860710464 140116204515063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
/proc/13825/statm: 2664772 202295 3138 1 0 2627263 0
[pid=13825/tid=13827] ppid=13822 vsize=10659088 memory=684584 CPUtime=1.25 cores=1,3,5,7
/proc/13825/task/13827/stat : 13827 (java) R 13822 13825 13514 0 -1 4202560 6543 0 0 0 115 10 0 0 20 0 15 0 105539176 10914906112 202295 33554432000 4194304 4196468 140731860727920 140116208752368 140116190583182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13828] ppid=13822 vsize=10659088 memory=33 CPUtime=0.2 cores=1,3,5,7
/proc/13825/task/13828/stat : 13828 (java) S 13822 13825 13514 0 -1 1077944384 362 0 0 0 14 6 0 0 20 0 15 0 105539177 10914906112 202295 33554432000 4194304 4196468 140731860727920 140116130589712 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13829] ppid=13822 vsize=10659088 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/13825/task/13829/stat : 13829 (java) S 13822 13825 13514 0 -1 1077944384 251 0 0 0 15 6 0 0 20 0 15 0 105539177 10914906112 202295 33554432000 4194304 4196468 140731860727920 140116129537168 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13830] ppid=13822 vsize=10659088 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7
/proc/13825/task/13830/stat : 13830 (java) S 13822 13825 13514 0 -1 1077944384 331 0 0 0 14 6 0 0 20 0 15 0 105539177 10914906112 202295 33554432000 4194304 4196468 140731860727920 140116128484112 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13831] ppid=13822 vsize=10659088 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/13825/task/13831/stat : 13831 (java) S 13822 13825 13514 0 -1 1077944384 262 0 0 0 13 5 0 0 20 0 15 0 105539177 10914906112 202295 33554432000 4194304 4196468 140731860727920 140115808611216 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13832] ppid=13822 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13832/stat : 13832 (java) S 13822 13825 13514 0 -1 1077944384 489 0 0 0 0 0 0 0 20 0 15 0 105539178 10914906112 202295 33554432000 4194304 4196468 140731860727920 140115697219824 140116204526210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
################
# More data... #
################
[startup+89.7126 s]
# the end of solver process 13825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.25 s, system=4.76939 s
Solver just ended.
Dumping a history of the last processes samples
[startup+88.0007 s]*
/proc/loadavg: 3.28 2.39 1.80 9/215 13841
/proc/meminfo: memFree=14759556/32770624 swapFree=67108860/67108860
[pid=13825] ppid=13822 vsize=10659088 memory=8297848 CPUtime=253.67 cores=1,3,5,7
/proc/13825/stat : 13825 (java) S 13822 13825 13514 0 -1 1077944320 1867091 0 0 0 24902 465 0 0 20 0 15 0 105539176 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140731860710464 140116204515063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
/proc/13825/statm: 2664772 2074462 3160 1 0 2627263 0
[pid=13825/tid=13827] ppid=13822 vsize=10659088 memory=6791534058613427641 CPUtime=15.4 cores=1,3,5,7
/proc/13825/task/13827/stat : 13827 (java) S 13822 13825 13514 0 -1 1077944384 28375 0 0 0 1505 35 0 0 20 0 15 0 105539176 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116208751792 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13828] ppid=13822 vsize=10659088 memory=4126316290023845779 CPUtime=54.73 cores=1,3,5,7
/proc/13825/task/13828/stat : 13828 (java) R 13822 13825 13514 0 -1 4202560 354097 0 0 0 5363 110 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116130589832 140116197143271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13829] ppid=13822 vsize=10659088 memory=1408 CPUtime=54.67 cores=1,3,5,7
/proc/13825/task/13829/stat : 13829 (java) R 13822 13825 13514 0 -1 4202560 398171 0 0 0 5366 101 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116129536976 140116197143271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13830] ppid=13822 vsize=10659088 memory=2952 CPUtime=54.44 cores=1,3,5,7
/proc/13825/task/13830/stat : 13830 (java) R 13822 13825 13514 0 -1 4202560 420500 0 0 0 5339 105 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116128484232 140116197143271 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13831] ppid=13822 vsize=10659088 memory=5574164 CPUtime=54.89 cores=1,3,5,7
/proc/13825/task/13831/stat : 13831 (java) R 13822 13825 13514 0 -1 4202560 606202 0 0 0 5383 106 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115808611416 140116189503001 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13832] ppid=13822 vsize=10659088 memory=1404 CPUtime=17.23 cores=1,3,5,7
/proc/13825/task/13832/stat : 13832 (java) S 13822 13825 13514 0 -1 1077944384 50336 0 0 0 1721 2 0 0 20 0 15 0 105539178 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115697218368 140116204525269 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13833] ppid=13822 vsize=10659088 memory=2944 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13833/stat : 13833 (java) S 13822 13825 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115696166112 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13834] ppid=13822 vsize=10659088 memory=8297848 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13834/stat : 13834 (java) S 13822 13825 13514 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115695112944 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13835] ppid=13822 vsize=10659088 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13835/stat : 13835 (java) S 13822 13825 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115694061168 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13836] ppid=13822 vsize=10659088 memory=279426949338240 CPUtime=0.9 cores=1,3,5,7
/proc/13825/task/13836/stat : 13836 (java) S 13822 13825 13514 0 -1 1077944384 2872 0 0 0 89 1 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115693009696 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13837] ppid=13822 vsize=10659088 memory=4629771062077588875 CPUtime=0.86 cores=1,3,5,7
/proc/13825/task/13837/stat : 13837 (java) S 13822 13825 13514 0 -1 1077944384 2342 0 0 0 86 0 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115691956864 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13838] ppid=13822 vsize=10659088 memory=4639074098508484695 CPUtime=0.41 cores=1,3,5,7
/proc/13825/task/13838/stat : 13838 (java) S 13822 13825 13514 0 -1 1077944384 2506 0 0 0 40 1 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115690904096 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13839] ppid=13822 vsize=10659088 memory=7589555208998596244 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13839/stat : 13839 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539182 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115689851744 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13840] ppid=13822 vsize=10659088 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/13825/task/13840/stat : 13840 (java) S 13822 13825 13514 0 -1 1077944384 294 0 0 0 3 2 0 0 20 0 15 0 105539182 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115688798768 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
Current children cumulated CPU time: 253.67 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8297848 KiB
[startup+88.8007 s]
/proc/loadavg: 3.28 2.39 1.80 9/215 13841
/proc/meminfo: memFree=14759556/32770624 swapFree=67108860/67108860
[pid=13825] ppid=13822 vsize=10659088 memory=8297848 CPUtime=256.74 cores=1,3,5,7
/proc/13825/stat : 13825 (java) S 13822 13825 13514 0 -1 1077944320 1867091 0 0 0 25208 466 0 0 20 0 15 0 105539176 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140731860710464 140116204515063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
/proc/13825/statm: 2664772 2074462 3160 1 0 2627263 0
[pid=13825/tid=13827] ppid=13822 vsize=10659088 memory=1700 CPUtime=15.4 cores=1,3,5,7
/proc/13825/task/13827/stat : 13827 (java) S 13822 13825 13514 0 -1 1077944384 28375 0 0 0 1505 35 0 0 20 0 15 0 105539176 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116208751792 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13828] ppid=13822 vsize=10659088 memory=1172 CPUtime=55.49 cores=1,3,5,7
/proc/13825/task/13828/stat : 13828 (java) R 13822 13825 13514 0 -1 4202560 354097 0 0 0 5439 110 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116130589520 140116197143271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13829] ppid=13822 vsize=10659088 memory=1812 CPUtime=55.42 cores=1,3,5,7
/proc/13825/task/13829/stat : 13829 (java) R 13822 13825 13514 0 -1 4202560 398171 0 0 0 5441 101 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116129537288 140116197143271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13830] ppid=13822 vsize=10659088 memory=1020 CPUtime=55.2 cores=1,3,5,7
/proc/13825/task/13830/stat : 13830 (java) R 13822 13825 13514 0 -1 4202560 420500 0 0 0 5415 105 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116128484232 140116197143271 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13831] ppid=13822 vsize=10659088 memory=5456 CPUtime=55.68 cores=1,3,5,7
/proc/13825/task/13831/stat : 13831 (java) R 13822 13825 13514 0 -1 4202560 606202 0 0 0 5462 106 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115808611416 140116189215011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13832] ppid=13822 vsize=10659088 memory=6791534058613427641 CPUtime=17.23 cores=1,3,5,7
/proc/13825/task/13832/stat : 13832 (java) S 13822 13825 13514 0 -1 1077944384 50336 0 0 0 1721 2 0 0 20 0 15 0 105539178 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115697218368 140116204525269 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13833] ppid=13822 vsize=10659088 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13833/stat : 13833 (java) S 13822 13825 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115696166112 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13834] ppid=13822 vsize=10659088 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13834/stat : 13834 (java) S 13822 13825 13514 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115695112944 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13835] ppid=13822 vsize=10659088 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13835/stat : 13835 (java) S 13822 13825 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115694061168 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13836] ppid=13822 vsize=10659088 memory=8110002656521890379 CPUtime=0.9 cores=1,3,5,7
/proc/13825/task/13836/stat : 13836 (java) S 13822 13825 13514 0 -1 1077944384 2872 0 0 0 89 1 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115693009696 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13837] ppid=13822 vsize=10659088 memory=4283354823044986410 CPUtime=0.86 cores=1,3,5,7
/proc/13825/task/13837/stat : 13837 (java) S 13822 13825 13514 0 -1 1077944384 2342 0 0 0 86 0 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115691956864 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13838] ppid=13822 vsize=10659088 memory=7305792226115218792 CPUtime=0.41 cores=1,3,5,7
/proc/13825/task/13838/stat : 13838 (java) S 13822 13825 13514 0 -1 1077944384 2506 0 0 0 40 1 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115690904096 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13839] ppid=13822 vsize=10659088 memory=6082203026199505239 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13839/stat : 13839 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539182 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115689851744 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13840] ppid=13822 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13825/task/13840/stat : 13840 (java) S 13822 13825 13514 0 -1 1077944384 294 0 0 0 3 2 0 0 20 0 15 0 105539182 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115688798768 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
Current children cumulated CPU time: 256.74 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8297848 KiB
[startup+89.2007 s]
/proc/loadavg: 3.28 2.39 1.80 9/215 13841
/proc/meminfo: memFree=14757508/32770624 swapFree=67108860/67108860
[pid=13825] ppid=13822 vsize=10659088 memory=8297848 CPUtime=258.28 cores=1,3,5,7
/proc/13825/stat : 13825 (java) S 13822 13825 13514 0 -1 1077944320 1867091 0 0 0 25362 466 0 0 20 0 15 0 105539176 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140731860710464 140116204515063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
/proc/13825/statm: 2664772 2074462 3160 1 0 2627263 0
[pid=13825/tid=13827] ppid=13822 vsize=10659088 memory=0 CPUtime=15.4 cores=1,3,5,7
/proc/13825/task/13827/stat : 13827 (java) S 13822 13825 13514 0 -1 1077944384 28375 0 0 0 1505 35 0 0 20 0 15 0 105539176 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116208751792 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13828] ppid=13822 vsize=10659088 memory=0 CPUtime=55.87 cores=1,3,5,7
/proc/13825/task/13828/stat : 13828 (java) R 13822 13825 13514 0 -1 4202560 354097 0 0 0 5477 110 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116130589520 140116197143271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13829] ppid=13822 vsize=10659088 memory=0 CPUtime=55.81 cores=1,3,5,7
/proc/13825/task/13829/stat : 13829 (java) S 13822 13825 13514 0 -1 1077944384 398171 0 0 0 5480 101 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116129536976 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13830] ppid=13822 vsize=10659088 memory=0 CPUtime=55.57 cores=1,3,5,7
/proc/13825/task/13830/stat : 13830 (java) R 13822 13825 13514 0 -1 4202560 420500 0 0 0 5452 105 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116128484232 140116197143271 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13831] ppid=13822 vsize=10659088 memory=6656426216303648864 CPUtime=56.08 cores=1,3,5,7
/proc/13825/task/13831/stat : 13831 (java) R 13822 13825 13514 0 -1 4202560 606202 0 0 0 5502 106 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115808611416 140116189511487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13832] ppid=13822 vsize=10659088 memory=0 CPUtime=17.23 cores=1,3,5,7
/proc/13825/task/13832/stat : 13832 (java) S 13822 13825 13514 0 -1 1077944384 50336 0 0 0 1721 2 0 0 20 0 15 0 105539178 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115697218368 140116204525269 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13833] ppid=13822 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13833/stat : 13833 (java) S 13822 13825 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115696166112 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13834] ppid=13822 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13834/stat : 13834 (java) S 13822 13825 13514 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115695112944 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13835] ppid=13822 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13835/stat : 13835 (java) S 13822 13825 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115694061168 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13836] ppid=13822 vsize=10659088 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/13825/task/13836/stat : 13836 (java) S 13822 13825 13514 0 -1 1077944384 2872 0 0 0 89 1 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115693009696 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13837] ppid=13822 vsize=10659088 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/13825/task/13837/stat : 13837 (java) S 13822 13825 13514 0 -1 1077944384 2342 0 0 0 86 0 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115691956864 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13838] ppid=13822 vsize=10659088 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/13825/task/13838/stat : 13838 (java) S 13822 13825 13514 0 -1 1077944384 2506 0 0 0 40 1 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115690904096 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13839] ppid=13822 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13839/stat : 13839 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539182 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115689851744 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13840] ppid=13822 vsize=10659088 memory=8297848 CPUtime=0.05 cores=1,3,5,7
/proc/13825/task/13840/stat : 13840 (java) S 13822 13825 13514 0 -1 1077944384 294 0 0 0 3 2 0 0 20 0 15 0 105539182 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115688798768 140116204526210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
Current children cumulated CPU time: 258.28 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8297848 KiB
[startup+89.6011 s]
/proc/loadavg: 3.28 2.39 1.80 9/215 13841
/proc/meminfo: memFree=14757508/32770624 swapFree=67108860/67108860
[pid=13825] ppid=13822 vsize=10659088 memory=8297848 CPUtime=259.86 cores=1,3,5,7
/proc/13825/stat : 13825 (java) S 13822 13825 13514 0 -1 1077944320 1867176 0 0 0 25520 466 0 0 20 0 15 0 105539176 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140731860710464 140116204515063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
/proc/13825/statm: 2664772 2074462 3160 1 0 2627263 0
[pid=13825/tid=13827] ppid=13822 vsize=10659088 memory=0 CPUtime=15.4 cores=1,3,5,7
/proc/13825/task/13827/stat : 13827 (java) S 13822 13825 13514 0 -1 1077944384 28375 0 0 0 1505 35 0 0 20 0 15 0 105539176 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116208751792 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13828] ppid=13822 vsize=10659088 memory=6791534058613427641 CPUtime=56.27 cores=1,3,5,7
/proc/13825/task/13828/stat : 13828 (java) R 13822 13825 13514 0 -1 4202560 354119 0 0 0 5517 110 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116130589520 140116189511460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13829] ppid=13822 vsize=10659088 memory=10368 CPUtime=56.2 cores=1,3,5,7
/proc/13825/task/13829/stat : 13829 (java) R 13822 13825 13514 0 -1 4202560 398187 0 0 0 5519 101 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116129537288 140116186124818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13830] ppid=13822 vsize=10659088 memory=1700 CPUtime=55.96 cores=1,3,5,7
/proc/13825/task/13830/stat : 13830 (java) R 13822 13825 13514 0 -1 4202560 420521 0 0 0 5491 105 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140116128484232 140116189511487 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13831] ppid=13822 vsize=10659088 memory=8113372 CPUtime=56.48 cores=1,3,5,7
/proc/13825/task/13831/stat : 13831 (java) R 13822 13825 13514 0 -1 4202560 606228 0 0 0 5542 106 0 0 20 0 15 0 105539177 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115808611416 140116197618700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13832] ppid=13822 vsize=10659088 memory=6791534058613427641 CPUtime=17.23 cores=1,3,5,7
/proc/13825/task/13832/stat : 13832 (java) S 13822 13825 13514 0 -1 1077944384 50336 0 0 0 1721 2 0 0 20 0 15 0 105539178 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115697218368 140116204525269 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13833] ppid=13822 vsize=10659088 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13833/stat : 13833 (java) S 13822 13825 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115696166112 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13834] ppid=13822 vsize=10659088 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13834/stat : 13834 (java) S 13822 13825 13514 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 105539179 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115695112944 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13835] ppid=13822 vsize=10659088 memory=844 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13835/stat : 13835 (java) S 13822 13825 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115694061168 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13836] ppid=13822 vsize=10659088 memory=8297848 CPUtime=0.9 cores=1,3,5,7
/proc/13825/task/13836/stat : 13836 (java) S 13822 13825 13514 0 -1 1077944384 2872 0 0 0 89 1 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115693009696 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13837] ppid=13822 vsize=10659088 memory=8297848 CPUtime=0.86 cores=1,3,5,7
/proc/13825/task/13837/stat : 13837 (java) S 13822 13825 13514 0 -1 1077944384 2342 0 0 0 86 0 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115691956864 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13838] ppid=13822 vsize=10659088 memory=1020 CPUtime=0.41 cores=1,3,5,7
/proc/13825/task/13838/stat : 13838 (java) S 13822 13825 13514 0 -1 1077944384 2506 0 0 0 40 1 0 0 20 0 15 0 105539181 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115690904096 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13839] ppid=13822 vsize=10659088 memory=8297848 CPUtime=0 cores=1,3,5,7
/proc/13825/task/13839/stat : 13839 (java) S 13822 13825 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105539182 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115689851744 140116204525269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
[pid=13825/tid=13840] ppid=13822 vsize=10659088 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/13825/task/13840/stat : 13840 (java) R 13822 13825 13514 0 -1 1077944384 294 0 0 0 3 2 0 0 20 0 15 0 105539182 10914906112 2074462 33554432000 4194304 4196468 140731860727920 140115688798768 140116204526210 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 21475328 140731860730998 140731860731150 140731860731150 140731860733903 0
Current children cumulated CPU time: 259.86 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8297848 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 89.7127
CPU time (s): 260.019
CPU user time (s): 255.25
CPU system time (s): 4.76939
CPU usage (%): 289.836
Max. virtual memory (cumulated for all children) (KiB): 10659088
Max. memory (cumulated for all children) (KiB): 8297848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.25
system time used= 4.76939
maximum resident set size= 8298148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1867197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9820
involuntary context switches= 3615
# summary of solver processes directly reported to runsolver:
# pid: 13825
# total CPU time (s): 260.019
# total CPU user time (s): 255.25
# total CPU system time (s): 4.76939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.555416 second user time and 0.938234 second system time
The end