0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29972-serial-file.bin HOME/instance-4405179-1569240377.xml
0.65/0.54
0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54
0.65/0.56 c BEGIN-Prog: Mon Sep 23 14:05:41 CEST 2019
0.65/0.56 c PID: 29975
0.65/0.56 c IP: 172.20.3.148
0.65/0.56 c HOST: node148.alineos.net
0.65/0.57 c (0,0) Parsing Begin
1.38/0.94 c (0,0) Parsing End
1.38/0.94 c (0,0) CSP: 128 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 4096
1.38/0.94 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.38/0.94 c (0,0) Constraint Name Generate Begin
1.38/0.95 c (0,0) Ctr:HOME/instance-4405179-1569240377.xml,AllDifferent:Eq:Mul:Num:OrderedCtr:Var:WeightedSum
1.38/0.95 c (0,0) Constraint Name Generate End
1.38/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.38/0.95 c (0,0) CSP to CSPinCNF Begin
3.14/1.55 c (1,1) translated 8 (10%) constraints
3.60/1.70 c (1,1) translated 15 (20%) constraints
4.03/1.79 c (1,1) translated 22 (30%) constraints
4.44/1.86 c (1,1) translated 29 (40%) constraints
4.82/1.93 c (1,1) translated 36 (50%) constraints
4.82/1.99 c (1,1) translated 44 (60%) constraints
5.19/2.05 c (1,1) translated 51 (70%) constraints
5.57/2.11 c (1,1) translated 58 (80%) constraints
5.57/2.16 c (1,1) translated 65 (90%) constraints
5.82/2.20 c (1,1) translated 72 (100%) constraints
5.82/2.20 c (1,1) ===========================================
5.82/2.20 c (1,1) Order
5.82/2.20 c (1,1) ===========================================
6.23/2.30 c (1,1) translated 1444 (10%) constraints
7.49/2.61 c (2,2) translated 2888 (20%) constraints
7.49/2.66 c (2,2) translated 4332 (30%) constraints
7.89/2.71 c (2,2) translated 5775 (40%) constraints
7.89/2.75 c (2,2) translated 7219 (50%) constraints
7.89/2.78 c (2,2) translated 8663 (60%) constraints
8.27/2.82 c (2,2) translated 10106 (70%) constraints
8.27/2.85 c (2,2) translated 11550 (80%) constraints
8.27/2.88 c (2,2) translated 12994 (90%) constraints
8.51/2.91 c (2,2) translated 14437 (100%) constraints
8.51/2.91 c (2,2) CSP to CSPinCNF End
8.51/2.92 c (2,2) CSP: 243 int (116 aux), 4097 bool (4096 aux), 22866 ctr, max domain size 44689
8.51/2.92 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.51/2.92 c (2,2) CSPinCNF Propagation Begin
11.11/3.77 c (3,3) 173014 values, 6353 unsatisfiable literals, and 6360 valid clauses are removed
11.11/3.77 c (3,3) CSPinCNF Propagation End
11.11/3.77 c (3,3) CSP: 242 int (116 aux), 4098 bool (4096 aux), 16506 ctr, max domain size 33281
11.11/3.77 c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.11/3.77 c (3,3) Simplify CSPinCNF Begin
11.76/3.92 c (3,3) Simplify CSPinCNF End
11.76/3.93 c (3,3) CSP: 242 int (116 aux), 8004 bool (8002 aux), 20412 ctr, max domain size 33281
11.76/3.93 c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.76/3.93 c (3,3) Calculate Precise Domain Begin
697.50/233.73 c (233,167) 231527 values are removed by re-calculation
697.50/233.73 c (233,167) Calculate Precise Domain End
697.50/233.73 c (233,167) CSP: 242 int (116 aux), 8004 bool (8002 aux), 20412 ctr, max domain size 33265
697.50/233.73 c (233,167) Heap : 6767 MiB used (max 20025 MiB), NonHeap : 31 MiB used (max 0 MiB)
697.50/233.73 c (233,167) CSPinCNF to SatSolver Begin
700.25/235.00 c (234,168) 2042 (10 %) CSP clauses are encoded (0 SAT variables, 589781 SAT clauses)
700.83/235.24 c (234,168) 4083 (20 %) CSP clauses are encoded (0 SAT variables, 642638 SAT clauses)
701.57/235.51 c (234,168) 6124 (30 %) CSP clauses are encoded (0 SAT variables, 689341 SAT clauses)
701.57/235.53 c (234,168) 8165 (40 %) CSP clauses are encoded (0 SAT variables, 691382 SAT clauses)
701.57/235.54 c (235,168) 10206 (50 %) CSP clauses are encoded (0 SAT variables, 693423 SAT clauses)
17541.23/2520.04 c (scop.sh) Receiving Signal. Removing all intermediate files.
17541.23/2520.04 c (scop.sh) Killing background jobs.
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 (12259 MiB free)
memory of node 1: 16384 MiB (12740 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405179-1569240377/watcher-4405179-1569240377 -o /tmp/evaluation-result-4405179-1569240377/solver-4405179-1569240377 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569238591-29558 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405179-1569240377.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog threadsolver pid=29972, runsolver pid=29969
Starting watchdog threadsolver pid=29972, runsolver pid=29969
Current StackSize limit: 8192 KiB
[startup+0.100174 s]*
/proc/loadavg: 7.42 6.61 4.01 3/211 29994
/proc/meminfo: memFree=25505440/32770624 swapFree=67002456/67108860
[pid=29972] ppid=29969 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29972/stat : 29972 (scop.sh) S 29969 29972 29531 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500199270 115843072 349 33554432000 4194304 5098028 140733434741184 140733434738440 140007471612540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19144704 140733434749733 140733434750060 140733434750060 140733434752973 0
/proc/29972/statm: 28282 349 296 221 0 87 0
[pid=29975] ppid=29972 vsize=27314120 memory=107644 CPUtime=0.1 cores=0-7
/proc/29975/stat : 29975 (java) S 29972 29972 29531 0 -1 1077944320 6473 0 0 0 8 2 0 0 20 0 20 0 500199270 27969658880 26911 33554432000 4194304 4196468 140733923249248 140733923231792 140227122605815 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
/proc/29975/statm: 6828530 26911 2780 1 0 6790935 0
[pid=29975/tid=29976] ppid=29972 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/29975/task/29976/stat : 29976 (java) R 29972 29972 29531 0 -1 4202560 4582 0 0 0 7 1 0 0 20 0 20 0 500199271 27969658880 26911 33554432000 4194304 4196468 140733923249248 140227094419328 140227106686302 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29977] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29977/stat : 29977 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 26911 33554432000 4194304 4196468 140733923249248 140227126847760 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29978] ppid=29972 vsize=27314120 memory=288370102166898304 CPUtime=0 cores=0-7
/proc/29975/task/29978/stat : 29978 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 26911 33554432000 4194304 4196468 140733923249248 140226941004176 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29979] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29979/stat : 29979 (java) S 29972 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 26911 33554432000 4194304 4196468 140733923249248 140226939951632 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29980] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29980/stat : 29980 (java) S 29972 29972 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 26911 33554432000 4194304 4196468 140733923249248 140226938899088 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29981] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29981/stat : 29981 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 26911 33554432000 4194304 4196468 140733923249248 140226937846544 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29982] ppid=29972 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29975/task/29982/stat : 29982 (java) S 29972 29972 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 26911 33554432000 4194304 4196468 140733923249248 140226936794000 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29983] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29983/stat : 29983 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 26911 33554432000 4194304 4196468 140733923249248 140226935741456 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29984] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29984/stat : 29984 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 26911 33554432000 4194304 4196468 140733923249248 140226934688912 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29985] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29985/stat : 29985 (java) S 29972 29972 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500199275 27969658880 26911 33554432000 4194304 4196468 140733923249248 140225174345712 140227122616962 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29986] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29986/stat : 29986 (java) S 29972 29972 29531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500199275 27969658880 26911 33554432000 4194304 4196468 140733923249248 140225045062560 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29987] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29987/stat : 29987 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199275 27969658880 26911 33554432000 4194304 4196468 140733923249248 140224776627184 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29988] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29988/stat : 29988 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 26911 33554432000 4194304 4196468 140733923249248 140224402118864 140227122624411 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29989] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29989/stat : 29989 (java) S 29972 29972 29531 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 26911 33554432000 4194304 4196468 140733923249248 140225173293552 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29990] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29990/stat : 29990 (java) S 29972 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 26911 33554432000 4194304 4196468 140733923249248 140225172241008 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29991] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29991/stat : 29991 (java) S 29972 29972 29531 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 26911 33554432000 4194304 4196468 140733923249248 140225171188464 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29992] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29992/stat : 29992 (java) S 29972 29972 29531 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 26911 33554432000 4194304 4196468 140733923249248 140225170135920 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29993] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29993/stat : 29993 (java) S 29972 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 26911 33554432000 4194304 4196468 140733923249248 140223904213216 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29994] ppid=29972 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29975/task/29994/stat : 29994 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 26911 33554432000 4194304 4196468 140733923249248 140225169082800 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109040 KiB
[startup+0.210182 s]*
/proc/loadavg: 7.42 6.61 4.01 3/211 29994
/proc/meminfo: memFree=25484312/32770624 swapFree=67002456/67108860
[pid=29972] ppid=29969 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29972/stat : 29972 (scop.sh) S 29969 29972 29531 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500199270 115843072 349 33554432000 4194304 5098028 140733434741184 140733434738440 140007471612540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19144704 140733434749733 140733434750060 140733434750060 140733434752973 0
/proc/29972/statm: 28282 349 296 221 0 87 0
[pid=29975] ppid=29972 vsize=27314120 memory=126772 CPUtime=0.24 cores=0-7
/proc/29975/stat : 29975 (java) S 29972 29972 29531 0 -1 1077944320 12086 0 0 0 20 4 0 0 20 0 20 0 500199270 27969658880 31693 33554432000 4194304 4196468 140733923249248 140733923231792 140227122605815 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
/proc/29975/statm: 6828530 31693 2913 1 0 6790935 0
[pid=29975/tid=29976] ppid=29972 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/29975/task/29976/stat : 29976 (java) R 29972 29972 29531 0 -1 4202560 9810 0 0 0 16 3 0 0 20 0 20 0 500199271 27969658880 31693 33554432000 4194304 4196468 140733923249248 140227094405200 140227104169375 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29977] ppid=29972 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/29975/task/29977/stat : 29977 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 31693 33554432000 4194304 4196468 140733923249248 140227126847760 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29978] ppid=29972 vsize=27314120 memory=139726015216016 CPUtime=0 cores=0-7
/proc/29975/task/29978/stat : 29978 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 31693 33554432000 4194304 4196468 140733923249248 140226941004176 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29979] ppid=29972 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29975/task/29979/stat : 29979 (java) S 29972 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 31693 33554432000 4194304 4196468 140733923249248 140226939951632 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29980] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29980/stat : 29980 (java) S 29972 29972 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 31693 33554432000 4194304 4196468 140733923249248 140226938899088 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29981] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29981/stat : 29981 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 31693 33554432000 4194304 4196468 140733923249248 140226937846544 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29982] ppid=29972 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29975/task/29982/stat : 29982 (java) S 29972 29972 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 31693 33554432000 4194304 4196468 140733923249248 140226936794000 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29983] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29983/stat : 29983 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 31693 33554432000 4194304 4196468 140733923249248 140226935741456 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29984] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29984/stat : 29984 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 31693 33554432000 4194304 4196468 140733923249248 140226934688912 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29985] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29985/stat : 29985 (java) S 29972 29972 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500199275 27969658880 31693 33554432000 4194304 4196468 140733923249248 140225174345712 140227122616962 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29986] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29986/stat : 29986 (java) S 29972 29972 29531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500199275 27969658880 31693 33554432000 4194304 4196468 140733923249248 140225045062560 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29987] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29987/stat : 29987 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199275 27969658880 31693 33554432000 4194304 4196468 140733923249248 140224776627184 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29988] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29988/stat : 29988 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 31693 33554432000 4194304 4196468 140733923249248 140224402118864 140227122624411 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29989] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29989/stat : 29989 (java) S 29972 29972 29531 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 31693 33554432000 4194304 4196468 140733923249248 140225173293552 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29990] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29990/stat : 29990 (java) S 29972 29972 29531 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 31693 33554432000 4194304 4196468 140733923249248 140225172241008 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29991] ppid=29972 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29975/task/29991/stat : 29991 (java) S 29972 29972 29531 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 31693 33554432000 4194304 4196468 140733923249248 140225171188464 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29992] ppid=29972 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/29975/task/29992/stat : 29992 (java) S 29972 29972 29531 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 500199278 27969658880 31693 33554432000 4194304 4196468 140733923249248 140225170135920 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29993] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29993/stat : 29993 (java) S 29972 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 31693 33554432000 4194304 4196468 140733923249248 140223904213216 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29994] ppid=29972 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29975/task/29994/stat : 29994 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 31693 33554432000 4194304 4196468 140733923249248 140225169082800 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128168 KiB
[startup+0.310089 s]*
/proc/loadavg: 7.42 6.61 4.01 2/211 29994
/proc/meminfo: memFree=25481644/32770624 swapFree=67002456/67108860
[pid=29972] ppid=29969 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29972/stat : 29972 (scop.sh) S 29969 29972 29531 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500199270 115843072 349 33554432000 4194304 5098028 140733434741184 140733434738440 140007471612540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19144704 140733434749733 140733434750060 140733434750060 140733434752973 0
/proc/29972/statm: 28282 349 296 221 0 87 0
[pid=29975] ppid=29972 vsize=27314120 memory=130372 CPUtime=0.42 cores=0-7
/proc/29975/stat : 29975 (java) S 29972 29972 29531 0 -1 1077944320 12457 0 0 0 38 4 0 0 20 0 20 0 500199270 27969658880 32593 33554432000 4194304 4196468 140733923249248 140733923231792 140227122605815 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
/proc/29975/statm: 6828530 32593 3009 1 0 6790935 0
[pid=29975/tid=29976] ppid=29972 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/29975/task/29976/stat : 29976 (java) R 29972 29972 29531 0 -1 4202560 9997 0 0 0 26 3 0 0 20 0 20 0 500199271 27969658880 32593 33554432000 4194304 4196468 140733923249248 140227094435888 140227104169331 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29977] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29977/stat : 29977 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 32593 33554432000 4194304 4196468 140733923249248 140227126847760 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29978] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29978/stat : 29978 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 32593 33554432000 4194304 4196468 140733923249248 140226941004176 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29979] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29979/stat : 29979 (java) S 29972 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 32593 33554432000 4194304 4196468 140733923249248 140226939951632 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29980] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29980/stat : 29980 (java) S 29972 29972 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 32593 33554432000 4194304 4196468 140733923249248 140226938899088 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29981] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29981/stat : 29981 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 32593 33554432000 4194304 4196468 140733923249248 140226937846544 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29982] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29982/stat : 29982 (java) S 29972 29972 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 32593 33554432000 4194304 4196468 140733923249248 140226936794000 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29983] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29983/stat : 29983 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 32593 33554432000 4194304 4196468 140733923249248 140226935741456 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29984] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29984/stat : 29984 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27969658880 32593 33554432000 4194304 4196468 140733923249248 140226934688912 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29985] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29985/stat : 29985 (java) S 29972 29972 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500199275 27969658880 32593 33554432000 4194304 4196468 140733923249248 140225174345712 140227122616962 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29986] ppid=29972 vsize=27314120 memory=279451778882944 CPUtime=0 cores=0-7
/proc/29975/task/29986/stat : 29986 (java) S 29972 29972 29531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500199275 27969658880 32593 33554432000 4194304 4196468 140733923249248 140225045062560 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29987] ppid=29972 vsize=27314120 memory=279451778887552 CPUtime=0 cores=0-7
/proc/29975/task/29987/stat : 29987 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199275 27969658880 32593 33554432000 4194304 4196468 140733923249248 140224776627184 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29988] ppid=29972 vsize=27314120 memory=279451778892160 CPUtime=0 cores=0-7
/proc/29975/task/29988/stat : 29988 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 32593 33554432000 4194304 4196468 140733923249248 140224402118864 140227122624411 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29989] ppid=29972 vsize=27314120 memory=279451778896768 CPUtime=0.01 cores=0-7
/proc/29975/task/29989/stat : 29989 (java) S 29972 29972 29531 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 500199278 27969658880 32593 33554432000 4194304 4196468 140733923249248 140225173293552 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29990] ppid=29972 vsize=27314120 memory=279451778901376 CPUtime=0.01 cores=0-7
/proc/29975/task/29990/stat : 29990 (java) S 29972 29972 29531 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 500199278 27969658880 32593 33554432000 4194304 4196468 140733923249248 140225172241008 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29991] ppid=29972 vsize=27314120 memory=279451778905984 CPUtime=0.01 cores=0-7
/proc/29975/task/29991/stat : 29991 (java) S 29972 29972 29531 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 20 0 500199278 27969658880 32593 33554432000 4194304 4196468 140733923249248 140225171188464 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29992] ppid=29972 vsize=27314120 memory=279451778910592 CPUtime=0.07 cores=0-7
/proc/29975/task/29992/stat : 29992 (java) S 29972 29972 29531 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 20 0 500199278 27969658880 32593 33554432000 4194304 4196468 140733923249248 140225170135920 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29993] ppid=29972 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29993/stat : 29993 (java) S 29972 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 32593 33554432000 4194304 4196468 140733923249248 140223904213216 140227122616021 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29994] ppid=29972 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29975/task/29994/stat : 29994 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199278 27969658880 32593 33554432000 4194304 4196468 140733923249248 140225169082800 140227122616962 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131768 KiB
[startup+0.700913 s]
/proc/loadavg: 7.42 6.61 4.01 2/211 29994
/proc/meminfo: memFree=25459692/32770624 swapFree=67002456/67108860
[pid=29972] ppid=29969 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29972/stat : 29972 (scop.sh) S 29969 29972 29531 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500199270 115843072 349 33554432000 4194304 5098028 140733434741184 140733434738440 140007471612540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19144704 140733434749733 140733434750060 140733434750060 140733434752973 0
/proc/29972/statm: 28282 349 296 221 0 87 0
[pid=29975] ppid=29972 vsize=27322516 memory=165892 CPUtime=0.99 cores=0-7
/proc/29975/stat : 29975 (java) S 29972 29972 29531 0 -1 1077944320 20040 0 0 0 91 8 0 0 20 0 20 0 500199270 27978256384 41473 33554432000 4194304 4196468 140733923249248 140733923231792 140227122605815 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
/proc/29975/statm: 6830629 41473 3202 1 0 6791959 0
[pid=29975/tid=29976] ppid=29972 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/29975/task/29976/stat : 29976 (java) R 29972 29972 29531 0 -1 4202560 17077 0 0 0 62 6 0 0 20 0 20 0 500199271 27978256384 41473 33554432000 4194304 4196468 140733923249248 140227094437584 140227106686302 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29977] ppid=29972 vsize=27322516 memory=139725889643392 CPUtime=0 cores=0-7
/proc/29975/task/29977/stat : 29977 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27978256384 41473 33554432000 4194304 4196468 140733923249248 140227126847760 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29978] ppid=29972 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/29975/task/29978/stat : 29978 (java) S 29972 29972 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500199273 27978256384 41473 33554432000 4194304 4196468 140733923249248 140226941004176 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29979] ppid=29972 vsize=27322516 memory=1052 CPUtime=0 cores=0-7
################
# More data... #
################
# cumulated CPU time of all completed processes: user=0 s, system=0.003973 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2522.13 s]
# the end of solver process 29975 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17485.2 s, system=72.2693 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+2520.8 s]
/proc/loadavg: 8.21 8.05 7.51 9/210 30204
/proc/meminfo: memFree=1493556/32770624 swapFree=67002456/67108860
[pid=29975] ppid=29969 vsize=27328728 memory=24027932 CPUtime=17547.5 cores=0-7
/proc/29975/stat : 29975 (java) S 29969 29972 29531 0 -1 1077944320 5778580 0 0 0 1747539 7215 0 0 20 0 20 0 500199270 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140733923231792 140227122605815 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
/proc/29975/statm: 6832182 6006983 3320 1 0 6792983 0
[pid=29975/tid=29976] ppid=29969 vsize=27328728 memory=6791534058613427641 CPUtime=328.99 cores=0-7
/proc/29975/task/29976/stat : 29976 (java) S 29969 29972 29531 0 -1 1077944384 62077 0 0 0 32775 124 0 0 20 0 20 0 500199271 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140227094443232 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29977] ppid=29969 vsize=27328728 memory=920 CPUtime=2147.37 cores=0-7
/proc/29975/task/29977/stat : 29977 (java) R 29969 29972 29531 0 -1 4202560 470606 0 0 0 213890 847 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140227126847960 140227107591111 0 4 2 25189581 0 0 0 -1 2 0 0 68 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29978] ppid=29969 vsize=27328728 memory=4204 CPUtime=2151.97 cores=0-7
/proc/29975/task/29978/stat : 29978 (java) R 29969 29972 29531 0 -1 4202560 948598 0 0 0 214289 908 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226941004376 140227104201778 0 4 2 25189581 0 0 0 -1 0 0 0 65 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29979] ppid=29969 vsize=27328728 memory=1408 CPUtime=2149.93 cores=0-7
/proc/29975/task/29979/stat : 29979 (java) R 29969 29972 29531 0 -1 4202560 1144476 0 0 0 214058 935 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226939951832 140227107060572 0 4 2 25189581 0 0 0 -1 4 0 0 66 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29980] ppid=29969 vsize=27328728 memory=3436 CPUtime=2146.09 cores=0-7
/proc/29975/task/29980/stat : 29980 (java) R 29969 29972 29531 0 -1 4202560 580440 0 0 0 213761 848 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226938899288 140227107591111 0 4 2 25189581 0 0 0 -1 3 0 0 61 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29981] ppid=29969 vsize=27328728 memory=1396 CPUtime=2149.25 cores=0-7
/proc/29975/task/29981/stat : 29981 (java) R 29969 29972 29531 0 -1 4202560 388412 0 0 0 214109 816 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226937846744 140227107303640 0 4 2 25189581 0 0 0 -1 7 0 0 63 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29982] ppid=29969 vsize=27328728 memory=24027932 CPUtime=2144.78 cores=0-7
/proc/29975/task/29982/stat : 29982 (java) R 29969 29972 29531 0 -1 4202560 401256 0 0 0 213597 881 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226936793888 140227107556512 0 4 2 25189581 0 0 0 -1 6 0 0 58 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29983] ppid=29969 vsize=27328728 memory=984 CPUtime=2144.97 cores=0-7
/proc/29975/task/29983/stat : 29983 (java) R 29969 29972 29531 0 -1 4202560 614108 0 0 0 213587 910 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226935741656 140227107059766 0 4 2 25189581 0 0 0 -1 5 0 0 69 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29984] ppid=29969 vsize=27328728 memory=1940 CPUtime=2148.77 cores=0-7
/proc/29975/task/29984/stat : 29984 (java) R 29969 29972 29531 0 -1 4202560 285984 0 0 0 214007 870 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226934689112 140227104202568 0 4 2 25189581 0 0 0 -1 1 0 0 59 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29985] ppid=29969 vsize=27328728 memory=1416 CPUtime=21.91 cores=0-7
/proc/29975/task/29985/stat : 29985 (java) S 29969 29972 29531 0 -1 1077944384 835755 0 0 0 2144 47 0 0 20 0 20 0 500199275 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225174344032 140227122616021 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29986] ppid=29969 vsize=27328728 memory=1556 CPUtime=0 cores=0-7
/proc/29975/task/29986/stat : 29986 (java) S 29969 29972 29531 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 500199275 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225045062624 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29987] ppid=29969 vsize=27328728 memory=740 CPUtime=0 cores=0-7
/proc/29975/task/29987/stat : 29987 (java) S 29969 29972 29531 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500199275 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140224776627200 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29988] ppid=29969 vsize=27328728 memory=1052 CPUtime=0 cores=0-7
/proc/29975/task/29988/stat : 29988 (java) S 29969 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140224402118512 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29989] ppid=29969 vsize=27328728 memory=7548 CPUtime=3.85 cores=0-7
/proc/29975/task/29989/stat : 29989 (java) S 29969 29972 29531 0 -1 1077944384 10175 0 0 0 382 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225173293312 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29990] ppid=29969 vsize=27328728 memory=3620 CPUtime=3.74 cores=0-7
/proc/29975/task/29990/stat : 29990 (java) S 29969 29972 29531 0 -1 1077944384 9725 0 0 0 371 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225172241008 140227122616962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29991] ppid=29969 vsize=27328728 memory=6791534058613427641 CPUtime=3.67 cores=0-7
/proc/29975/task/29991/stat : 29991 (java) S 29969 29972 29531 0 -1 1077944384 12300 0 0 0 364 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225171188512 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29992] ppid=29969 vsize=27328728 memory=1720 CPUtime=1.16 cores=0-7
/proc/29975/task/29992/stat : 29992 (java) S 29969 29972 29531 0 -1 1077944384 9756 0 0 0 113 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225170135968 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29993] ppid=29969 vsize=27328728 memory=1096 CPUtime=0 cores=0-7
/proc/29975/task/29993/stat : 29993 (java) S 29969 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140223904213216 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29994] ppid=29969 vsize=27328728 memory=6152 CPUtime=0.94 cores=0-7
/proc/29975/task/29994/stat : 29994 (java) S 29969 29972 29531 0 -1 1077944384 3565 0 0 0 48 46 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225169082800 140227122616962 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
Current cumulated CPU time of completed processes: 0.003973 s
Current children cumulated CPU time: 17547.5 s
Current children cumulated vsize: 27328728 KiB
Current children cumulated memory: 24027932 KiB
[startup+2521.6 s]
/proc/loadavg: 8.21 8.05 7.51 9/210 30204
/proc/meminfo: memFree=1493308/32770624 swapFree=67002456/67108860
[pid=29975] ppid=29969 vsize=27328728 memory=24027932 CPUtime=17553.9 cores=0-7
/proc/29975/stat : 29975 (java) S 29969 29972 29531 0 -1 1077944320 5779303 0 0 0 1748177 7215 0 0 20 0 20 0 500199270 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140733923231792 140227122605815 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
/proc/29975/statm: 6832182 6006983 3320 1 0 6792983 0
[pid=29975/tid=29976] ppid=29969 vsize=27328728 memory=60644 CPUtime=328.99 cores=0-7
/proc/29975/task/29976/stat : 29976 (java) S 29969 29972 29531 0 -1 1077944384 62077 0 0 0 32775 124 0 0 20 0 20 0 500199271 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140227094443232 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29977] ppid=29969 vsize=27328728 memory=3588 CPUtime=2148.17 cores=0-7
/proc/29975/task/29977/stat : 29977 (java) R 29969 29972 29531 0 -1 4202560 470697 0 0 0 213970 847 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140227126847960 140227104252900 0 4 2 25189581 0 0 0 -1 2 0 0 68 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29978] ppid=29969 vsize=27328728 memory=60644 CPUtime=2152.77 cores=0-7
/proc/29975/task/29978/stat : 29978 (java) R 29969 29972 29531 0 -1 4202560 948734 0 0 0 214369 908 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226941004376 140227107059846 0 4 2 25189581 0 0 0 -1 0 0 0 65 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29979] ppid=29969 vsize=27328728 memory=984 CPUtime=2150.73 cores=0-7
/proc/29975/task/29979/stat : 29979 (java) R 29969 29972 29531 0 -1 4202560 1144579 0 0 0 214138 935 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226939951832 140227107303590 0 4 2 25189581 0 0 0 -1 4 0 0 66 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29980] ppid=29969 vsize=27328728 memory=1396 CPUtime=2146.89 cores=0-7
/proc/29975/task/29980/stat : 29980 (java) R 29969 29972 29531 0 -1 4202560 580517 0 0 0 213840 849 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226938899288 140227107591111 0 4 2 25189581 0 0 0 -1 3 0 0 61 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29981] ppid=29969 vsize=27328728 memory=24027920 CPUtime=2150.03 cores=0-7
/proc/29975/task/29981/stat : 29981 (java) R 29969 29972 29531 0 -1 4202560 388420 0 0 0 214187 816 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226937846744 140227107556420 0 4 2 25189581 0 0 0 -1 7 0 0 63 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29982] ppid=29969 vsize=27328728 memory=984 CPUtime=2145.59 cores=0-7
/proc/29975/task/29982/stat : 29982 (java) R 29969 29972 29531 0 -1 4202560 401388 0 0 0 213677 882 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226936793888 140227107556471 0 4 2 25189581 0 0 0 -1 6 0 0 58 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29983] ppid=29969 vsize=27328728 memory=6791534058613427641 CPUtime=2145.77 cores=0-7
/proc/29975/task/29983/stat : 29983 (java) R 29969 29972 29531 0 -1 4202560 614191 0 0 0 213666 911 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226935741656 140227107590816 0 4 2 25189581 0 0 0 -1 5 0 0 69 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29984] ppid=29969 vsize=27328728 memory=1416 CPUtime=2149.57 cores=0-7
/proc/29975/task/29984/stat : 29984 (java) R 29969 29972 29531 0 -1 4202560 286069 0 0 0 214087 870 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226934689112 140227107556420 0 4 2 25189581 0 0 0 -1 1 0 0 59 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29985] ppid=29969 vsize=27328728 memory=1556 CPUtime=21.91 cores=0-7
/proc/29975/task/29985/stat : 29985 (java) S 29969 29972 29531 0 -1 1077944384 835755 0 0 0 2144 47 0 0 20 0 20 0 500199275 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225174344032 140227122616021 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29986] ppid=29969 vsize=27328728 memory=740 CPUtime=0 cores=0-7
/proc/29975/task/29986/stat : 29986 (java) S 29969 29972 29531 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 500199275 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225045062624 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29987] ppid=29969 vsize=27328728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29975/task/29987/stat : 29987 (java) S 29969 29972 29531 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500199275 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140224776627200 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29988] ppid=29969 vsize=27328728 memory=31384 CPUtime=0 cores=0-7
/proc/29975/task/29988/stat : 29988 (java) S 29969 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140224402118512 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29989] ppid=29969 vsize=27328728 memory=1396 CPUtime=3.85 cores=0-7
/proc/29975/task/29989/stat : 29989 (java) S 29969 29972 29531 0 -1 1077944384 10175 0 0 0 382 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225173293312 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29990] ppid=29969 vsize=27328728 memory=24027924 CPUtime=3.74 cores=0-7
/proc/29975/task/29990/stat : 29990 (java) S 29969 29972 29531 0 -1 1077944384 9725 0 0 0 371 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225172241008 140227122616962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29991] ppid=29969 vsize=27328728 memory=7548 CPUtime=3.67 cores=0-7
/proc/29975/task/29991/stat : 29991 (java) S 29969 29972 29531 0 -1 1077944384 12300 0 0 0 364 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225171188512 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29992] ppid=29969 vsize=27328728 memory=3620 CPUtime=1.16 cores=0-7
/proc/29975/task/29992/stat : 29992 (java) S 29969 29972 29531 0 -1 1077944384 9756 0 0 0 113 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225170135968 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29993] ppid=29969 vsize=27328728 memory=2832 CPUtime=0 cores=0-7
/proc/29975/task/29993/stat : 29993 (java) S 29969 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140223904213216 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29994] ppid=29969 vsize=27328728 memory=776 CPUtime=0.94 cores=0-7
/proc/29975/task/29994/stat : 29994 (java) R 29969 29972 29531 0 -1 1077944384 3573 0 0 0 48 46 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225169082800 140227122616962 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
Current cumulated CPU time of completed processes: 0.003973 s
Current children cumulated CPU time: 17553.9 s
Current children cumulated vsize: 27328728 KiB
Current children cumulated memory: 24027932 KiB
[startup+2522.01 s]*
/proc/loadavg: 8.21 8.05 7.51 10/210 30204
/proc/meminfo: memFree=1493448/32770624 swapFree=67002456/67108860
[pid=29975] ppid=29969 vsize=27328728 memory=24027932 CPUtime=17557.2 cores=0-7
/proc/29975/stat : 29975 (java) S 29969 29972 29531 0 -1 1077944320 5779486 0 0 0 1748508 7215 0 0 20 0 20 0 500199270 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140733923231792 140227122605815 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
/proc/29975/statm: 6832182 6006983 3320 1 0 6792983 0
[pid=29975/tid=29976] ppid=29969 vsize=27328728 memory=1398722017469774279 CPUtime=328.99 cores=0-7
/proc/29975/task/29976/stat : 29976 (java) S 29969 29972 29531 0 -1 1077944384 62077 0 0 0 32775 124 0 0 20 0 20 0 500199271 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140227094443232 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29977] ppid=29969 vsize=27328728 memory=6944656592455097440 CPUtime=2148.59 cores=0-7
/proc/29975/task/29977/stat : 29977 (java) R 29969 29972 29531 0 -1 4202560 470701 0 0 0 214012 847 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140227126847960 140227104201655 0 4 2 25189581 0 0 0 -1 2 0 0 68 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29978] ppid=29969 vsize=27328728 memory=6944656592387989600 CPUtime=2153.19 cores=0-7
/proc/29975/task/29978/stat : 29978 (java) R 29969 29972 29531 0 -1 4202560 948744 0 0 0 214411 908 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226941004376 140227107303567 0 4 2 25189581 0 0 0 -1 0 0 0 65 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29979] ppid=29969 vsize=27328728 memory=6935650355287975249 CPUtime=2151.15 cores=0-7
/proc/29975/task/29979/stat : 29979 (java) R 29969 29972 29531 0 -1 4202560 1144600 0 0 0 214180 935 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226939951832 140227107591073 0 4 2 25189581 0 0 0 -1 4 0 0 66 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29980] ppid=29969 vsize=27328728 memory=5788930165031592000 CPUtime=2147.31 cores=0-7
/proc/29975/task/29980/stat : 29980 (java) R 29969 29972 29531 0 -1 4202560 580538 0 0 0 213882 849 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226938899288 140227107303590 0 4 2 25189581 0 0 0 -1 3 0 0 61 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29981] ppid=29969 vsize=27328728 memory=3588 CPUtime=2150.43 cores=0-7
/proc/29975/task/29981/stat : 29981 (java) R 29969 29972 29531 0 -1 4202560 388423 0 0 0 214227 816 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226937846744 140227107303454 0 4 2 25189581 0 0 0 -1 7 0 0 63 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29982] ppid=29969 vsize=27328728 memory=60644 CPUtime=2146 cores=0-7
/proc/29975/task/29982/stat : 29982 (java) R 29969 29972 29531 0 -1 4202560 401433 0 0 0 213718 882 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226936793888 140227104202337 0 4 2 25189581 0 0 0 -1 6 0 0 58 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29983] ppid=29969 vsize=27328728 memory=984 CPUtime=2146.19 cores=0-7
/proc/29975/task/29983/stat : 29983 (java) R 29969 29972 29531 0 -1 4202560 614203 0 0 0 213708 911 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226935741656 140227107556420 0 4 2 25189581 0 0 0 -1 5 0 0 69 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29984] ppid=29969 vsize=27328728 memory=1940 CPUtime=2149.99 cores=0-7
/proc/29975/task/29984/stat : 29984 (java) R 29969 29972 29531 0 -1 4202560 286120 0 0 0 214129 870 0 0 20 0 20 0 500199273 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140226934689112 140227107591111 0 4 2 25189581 0 0 0 -1 1 0 0 59 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29985] ppid=29969 vsize=27328728 memory=1416 CPUtime=21.91 cores=0-7
/proc/29975/task/29985/stat : 29985 (java) S 29969 29972 29531 0 -1 1077944384 835755 0 0 0 2144 47 0 0 20 0 20 0 500199275 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225174344032 140227122616021 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29986] ppid=29969 vsize=27328728 memory=1556 CPUtime=0 cores=0-7
/proc/29975/task/29986/stat : 29986 (java) S 29969 29972 29531 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 500199275 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225045062624 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29987] ppid=29969 vsize=27328728 memory=24027932 CPUtime=0 cores=0-7
/proc/29975/task/29987/stat : 29987 (java) S 29969 29972 29531 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500199275 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140224776627200 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29988] ppid=29969 vsize=27328728 memory=4096 CPUtime=0 cores=0-7
/proc/29975/task/29988/stat : 29988 (java) S 29969 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140224402118512 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29989] ppid=29969 vsize=27328728 memory=1736 CPUtime=3.85 cores=0-7
/proc/29975/task/29989/stat : 29989 (java) S 29969 29972 29531 0 -1 1077944384 10175 0 0 0 382 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225173293312 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29990] ppid=29969 vsize=27328728 memory=1398722017469774279 CPUtime=3.74 cores=0-7
/proc/29975/task/29990/stat : 29990 (java) S 29969 29972 29531 0 -1 1077944384 9725 0 0 0 371 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225172241008 140227122616962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29991] ppid=29969 vsize=27328728 memory=504 CPUtime=3.67 cores=0-7
/proc/29975/task/29991/stat : 29991 (java) S 29969 29972 29531 0 -1 1077944384 12300 0 0 0 364 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225171188512 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29992] ppid=29969 vsize=27328728 memory=1560 CPUtime=1.16 cores=0-7
/proc/29975/task/29992/stat : 29992 (java) S 29969 29972 29531 0 -1 1077944384 9756 0 0 0 113 3 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225170135968 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29993] ppid=29969 vsize=27328728 memory=1396 CPUtime=0 cores=0-7
/proc/29975/task/29993/stat : 29993 (java) S 29969 29972 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140223904213216 140227122616021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
[pid=29975/tid=29994] ppid=29969 vsize=27328728 memory=6791534058613427641 CPUtime=0.94 cores=0-7
/proc/29975/task/29994/stat : 29994 (java) S 29969 29972 29531 0 -1 1077944384 3589 0 0 0 48 46 0 0 20 0 20 0 500199278 27984617472 6006983 33554432000 4194304 4196468 140733923249248 140225169082800 140227122616962 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13881344 140733923255019 140733923255446 140733923255446 140733923258319 0
Current cumulated CPU time of completed processes: 0.003973 s
Current children cumulated CPU time: 17557.2 s
Current children cumulated vsize: 27328728 KiB
Current children cumulated memory: 24027932 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2522.13
CPU time (s): 17557.4
CPU user time (s): 17485.2
CPU system time (s): 72.2693
CPU usage (%): 696.134
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 24029328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17485.2
system time used= 72.2693
maximum resident set size= 24028108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5780599
page faults= 1
swaps= 0
block input operations= 16
block output operations= 95640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195270
involuntary context switches= 309643
# summary of solver processes directly reported to runsolver:
# pid: 29972,29975
# total CPU time (s): 17557.4
# total CPU user time (s): 17485.2
# total CPU system time (s): 72.2693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6255 second user time and 27.4977 second system time
The end