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-10659-serial-file.bin HOME/instance-4392383-1568442459.xml
0.66/0.54
0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54
0.66/0.56 c BEGIN-Prog: Sat Sep 14 07:26:05 CEST 2019
0.66/0.56 c PID: 10662
0.66/0.56 c IP: 172.20.3.105
0.66/0.56 c HOST: node105.alineos.net
0.66/0.57 c (0,0) Parsing Begin
3.40/1.41 c (0,0) Parsing End
3.40/1.43 c (0,0) CSP: 9000 int (0 aux), 0 bool (0 aux), 2 ctr, max domain size 9000
3.40/1.43 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.40/1.43 c (0,0) Constraint Name Generate Begin
3.40/1.44 c (0,0) Ctr:HOME/instance-4392383-1568442459.xml,Add:AllEqual:Eq:Num:Or:Var
3.40/1.44 c (0,0) Constraint Name Generate End
3.40/1.44 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.40/1.44 c (0,0) CSP to CSPinCNF Begin
3.40/1.48 c (0,0) translated 1 (10%) constraints
12.11/5.98 c (5,5) translated 2 (20%) constraints
12.22/6.00 c (5,5) ===========================================
12.22/6.00 c (5,5) Order
12.22/6.00 c (5,5) ===========================================
12.22/6.07 c (5,5) translated 901 (10%) constraints
12.68/6.12 c (5,5) translated 1801 (20%) constraints
12.68/6.17 c (5,5) translated 2701 (30%) constraints
13.09/6.22 c (5,5) translated 3601 (40%) constraints
13.09/6.26 c (5,5) translated 4501 (50%) constraints
13.45/6.30 c (5,5) translated 5402 (60%) constraints
13.45/6.34 c (5,5) translated 6302 (70%) constraints
13.45/6.38 c (5,5) translated 7202 (80%) constraints
13.85/6.41 c (5,5) translated 8102 (90%) constraints
13.85/6.44 c (5,5) translated 9002 (100%) constraints
13.85/6.45 c (5,5) CSP to CSPinCNF End
13.85/6.45 c (5,5) CSP: 9000 int (0 aux), 4 bool (4 aux), 18007 ctr, max domain size 9000
13.85/6.45 c (5,5) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
13.85/6.45 c (5,5) CSPinCNF Propagation Begin
14.25/6.56 c (6,6) 0 values, 0 unsatisfiable literals, and 1 valid clauses are removed
14.25/6.56 c (6,6) CSPinCNF Propagation End
14.25/6.57 c (6,6) CSP: 9000 int (0 aux), 4 bool (4 aux), 18006 ctr, max domain size 9000
14.25/6.57 c (6,6) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
14.25/6.57 c (6,6) Simplify CSPinCNF Begin
14.67/6.61 c (6,6) Simplify CSPinCNF End
14.67/6.62 c (6,6) CSP: 9000 int (0 aux), 4 bool (4 aux), 18006 ctr, max domain size 9000
14.67/6.62 c (6,6) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
14.67/6.62 c (6,6) Calculate Precise Domain Begin
14.67/6.62 c (6,6) 0 values are removed by re-calculation
14.67/6.62 c (6,6) Calculate Precise Domain End
14.67/6.62 c (6,6) CSP: 9000 int (0 aux), 4 bool (4 aux), 18006 ctr, max domain size 9000
14.67/6.62 c (6,6) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
14.67/6.62 c (6,6) CSPinCNF to SatSolver Begin
306.15/186.22 c (185,148) 1801 (10 %) CSP clauses are encoded (0 SAT variables, 97180200 SAT clauses)
339.54/222.59 c (222,181) 3602 (20 %) CSP clauses are encoded (0 SAT variables, 113387399 SAT clauses)
373.26/258.90 c (258,214) 5402 (30 %) CSP clauses are encoded (0 SAT variables, 129585599 SAT clauses)
407.87/295.91 c (295,247) 7203 (40 %) CSP clauses are encoded (0 SAT variables, 145792798 SAT clauses)
442.12/331.97 c (331,281) 9003 (50 %) CSP clauses are encoded (0 SAT variables, 161990998 SAT clauses)
476.43/368.71 c (368,314) 10804 (60 %) CSP clauses are encoded (0 SAT variables, 178198197 SAT clauses)
510.55/405.98 c (405,348) 12605 (70 %) CSP clauses are encoded (0 SAT variables, 194405396 SAT clauses)
544.57/442.52 c (441,381) 14405 (80 %) CSP clauses are encoded (0 SAT variables, 210603596 SAT clauses)
578.73/479.45 c (478,415) 16206 (90 %) CSP clauses are encoded (0 SAT variables, 226810795 SAT clauses)
613.75/516.90 c (516,449) 18006 (100 %) CSP clauses are encoded (0 SAT variables, 242982001 SAT clauses)
613.75/516.90 c (516,449) CSPinCNF to SatSolver End
613.75/516.90 c (516,449) Heap : 12332 MiB used (max 22431 MiB), NonHeap : 26 MiB used (max 0 MiB)
613.75/516.90 c (516,449) 80991004 bool, 242982002 clause
613.75/516.90 c (516,449) Export Begin
614.48/517.33 c (516,449) Export to HOME/scop-10659-serial-file.bin
614.48/517.33 c (516,449) Export End
614.48/517.33 c (516,449) Export File Size: 1.45 MB
614.48/517.33 c (516,449) 0,0,5,6,6,6,516,STOP-AFTER(DIMACS)
614.48/517.33 c END-Prog: Sat Sep 14 07:34:41 CEST 2019
0.00/517.43 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10659-serial-file.bin
614.61/517.90 c (0,0) Read Serial File Begin
614.61/517.90 c (0,0) HOME/scop-10659-serial-file.bin
616.18/518.40 c (0,0) Read Serial File End
616.18/518.41
616.18/518.41 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
616.18/518.41 (Solving Process)
616.18/518.41
616.18/518.44 c BEGIN-Prog: Sat Sep 14 07:34:43 CEST 2019
616.18/518.44 c PID: 10721
616.18/518.44 c IP: 172.20.3.105
616.18/518.44 c HOST: node105.alineos.net
616.18/518.44 c (0,0) SatSolver.solve Begin
616.18/518.44 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392383-1568442459.xml-scop-10662.cnf
616.18/518.47 c (0,0) c
616.18/518.47 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team)
616.18/518.47 c (0,0) c
616.18/518.47 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
616.18/518.47 c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
616.18/518.47 c (0,0) c ========================================[ Problem Statistics ]===========================================
616.18/518.47 c (0,0) c | |
654.61/556.60 c (38,0) receiving signal SIGTERM
654.61/556.60 s UNKNOWN
654.61/556.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
654.61/556.61 c (scop.sh) Remove HOME/scop-10659-serial-file.bin.
654.61/556.61 c (scop.sh) Killing background jobs.
654.61/556.61 c (38,0) receiving signal SIGTERM
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 (15182 MiB free)
memory of node 1: 16384 MiB (15477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392383-1568442459/watcher-4392383-1568442459 -o /tmp/evaluation-result-4392383-1568442459/solver-4392383-1568442459 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568433701-9897 --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-4392383-1568442459.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 thread
solver pid=10659, runsolver pid=10656
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 8.10 8.20 8.20 2/210 10681
/proc/meminfo: memFree=31302360/32770624 swapFree=66937152/67108860
[pid=10659] ppid=10656 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10659/stat : 10659 (scop.sh) S 10656 10659 9870 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420504274 115843072 348 33554432000 4194304 5098028 140720508001824 140720507999080 139829403079292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23343104 140720508003109 140720508003436 140720508003436 140720508006349 0
/proc/10659/statm: 28282 348 296 221 0 87 0
[pid=10662] ppid=10659 vsize=27314120 memory=106220 CPUtime=0.11 cores=0-7
/proc/10662/stat : 10662 (java) S 10659 10659 9870 0 -1 1077944320 6676 0 0 0 9 2 0 0 20 0 20 0 420504274 27969658880 26555 33554432000 4194304 4196468 140723492986032 140723492968576 140217270230775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
/proc/10662/statm: 6828530 26555 2804 1 0 6790935 0
[pid=10662/tid=10663] ppid=10659 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/10662/task/10663/stat : 10663 (java) R 10659 10659 9870 0 -1 4202560 4752 0 0 0 7 2 0 0 20 0 20 0 420504275 27969658880 26620 33554432000 4194304 4196468 140723492986032 140217242050936 140217255911965 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10664] ppid=10659 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10662/task/10664/stat : 10664 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 26620 33554432000 4194304 4196468 140723492986032 140217274472848 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10665] ppid=10659 vsize=27314120 memory=140390457624192 CPUtime=0 cores=0-7
/proc/10662/task/10665/stat : 10665 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 26620 33554432000 4194304 4196468 140723492986032 140217088629008 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10666] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10666/stat : 10666 (java) S 10659 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 26620 33554432000 4194304 4196468 140723492986032 140217087576720 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10667] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10667/stat : 10667 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 26620 33554432000 4194304 4196468 140723492986032 140217086523920 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10668] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10668/stat : 10668 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 26620 33554432000 4194304 4196468 140723492986032 140217085471632 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10669] ppid=10659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10662/task/10669/stat : 10669 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 26620 33554432000 4194304 4196468 140723492986032 140217084418832 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10670] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10670/stat : 10670 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 26620 33554432000 4194304 4196468 140723492986032 140217083366544 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10671] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10671/stat : 10671 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 26620 33554432000 4194304 4196468 140723492986032 140217082313744 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10672] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10672/stat : 10672 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504279 27969658880 26620 33554432000 4194304 4196468 140723492986032 140216529524848 140217270241922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10673] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10673/stat : 10673 (java) S 10659 10659 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420504279 27969658880 26620 33554432000 4194304 4196468 140723492986032 140214911623968 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10674] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10674/stat : 10674 (java) S 10659 10659 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420504279 27969658880 26620 33554432000 4194304 4196468 140723492986032 140214777402480 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10675] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10675/stat : 10675 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 26620 33554432000 4194304 4196468 140723492986032 140214402898000 140217270249371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10676] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10676/stat : 10676 (java) S 10659 10659 9870 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 26620 33554432000 4194304 4196468 140723492986032 140216528472688 140217270241922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10677] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10677/stat : 10677 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 26620 33554432000 4194304 4196468 140723492986032 140216527419888 140217270241922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10678] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10678/stat : 10678 (java) S 10659 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 26620 33554432000 4194304 4196468 140723492986032 140216526367600 140217270241922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10679] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10679/stat : 10679 (java) R 10659 10659 9870 0 -1 4202560 277 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 26620 33554432000 4194304 4196468 140723492986032 140216525314800 140217254483115 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10680] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10680/stat : 10680 (java) S 10659 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 26620 33554432000 4194304 4196468 140723492986032 140213904992608 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10681] ppid=10659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10662/task/10681/stat : 10681 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 26620 33554432000 4194304 4196468 140723492986032 140216524261680 140217270241922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107612 KiB
[startup+0.213171 s]*
/proc/loadavg: 8.10 8.20 8.20 2/210 10681
/proc/meminfo: memFree=31279252/32770624 swapFree=66937152/67108860
[pid=10659] ppid=10656 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10659/stat : 10659 (scop.sh) S 10656 10659 9870 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420504274 115843072 348 33554432000 4194304 5098028 140720508001824 140720507999080 139829403079292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23343104 140720508003109 140720508003436 140720508003436 140720508006349 0
/proc/10659/statm: 28282 348 296 221 0 87 0
[pid=10662] ppid=10659 vsize=27314120 memory=123668 CPUtime=0.25 cores=0-7
/proc/10662/stat : 10662 (java) S 10659 10659 9870 0 -1 1077944320 12169 0 0 0 21 4 0 0 20 0 20 0 420504274 27969658880 30917 33554432000 4194304 4196468 140723492986032 140723492968576 140217270230775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
/proc/10662/statm: 6828530 30917 2959 1 0 6790935 0
[pid=10662/tid=10663] ppid=10659 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10662/task/10663/stat : 10663 (java) R 10659 10659 9870 0 -1 4202560 9861 0 0 0 17 3 0 0 20 0 20 0 420504275 27969658880 30917 33554432000 4194304 4196468 140723492986032 140217242014336 140217254311262 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10664] ppid=10659 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/10662/task/10664/stat : 10664 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 30917 33554432000 4194304 4196468 140723492986032 140217274472848 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10665] ppid=10659 vsize=27314120 memory=4121274005575386784 CPUtime=0 cores=0-7
/proc/10662/task/10665/stat : 10665 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 30917 33554432000 4194304 4196468 140723492986032 140217088629008 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10666] ppid=10659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10662/task/10666/stat : 10666 (java) S 10659 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 30917 33554432000 4194304 4196468 140723492986032 140217087576720 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10667] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10667/stat : 10667 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 30917 33554432000 4194304 4196468 140723492986032 140217086523920 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10668] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10668/stat : 10668 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 30917 33554432000 4194304 4196468 140723492986032 140217085471632 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10669] ppid=10659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10662/task/10669/stat : 10669 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 30917 33554432000 4194304 4196468 140723492986032 140217084418832 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10670] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10670/stat : 10670 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 30917 33554432000 4194304 4196468 140723492986032 140217083366544 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10671] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10671/stat : 10671 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 30917 33554432000 4194304 4196468 140723492986032 140217082313744 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10672] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10672/stat : 10672 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504279 27969658880 30917 33554432000 4194304 4196468 140723492986032 140216529524848 140217270241922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10673] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10673/stat : 10673 (java) S 10659 10659 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420504279 27969658880 30917 33554432000 4194304 4196468 140723492986032 140214911623968 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10674] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10674/stat : 10674 (java) S 10659 10659 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420504279 27969658880 30917 33554432000 4194304 4196468 140723492986032 140214777402480 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10675] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10675/stat : 10675 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 30917 33554432000 4194304 4196468 140723492986032 140214402898000 140217270249371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10676] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10676/stat : 10676 (java) S 10659 10659 9870 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 30917 33554432000 4194304 4196468 140723492986032 140216528472688 140217270241922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10677] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10677/stat : 10677 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 30917 33554432000 4194304 4196468 140723492986032 140216527419888 140217270241922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10678] ppid=10659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10662/task/10678/stat : 10678 (java) S 10659 10659 9870 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 30917 33554432000 4194304 4196468 140723492986032 140216526367600 140217270241922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10679] ppid=10659 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10662/task/10679/stat : 10679 (java) S 10659 10659 9870 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 420504282 27969658880 30917 33554432000 4194304 4196468 140723492986032 140216525314800 140217270241922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10680] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10680/stat : 10680 (java) S 10659 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 30917 33554432000 4194304 4196468 140723492986032 140213904992608 140217270240981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10681] ppid=10659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10662/task/10681/stat : 10681 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 30917 33554432000 4194304 4196468 140723492986032 140216524261680 140217270241922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125060 KiB
[startup+0.487157 s]*
/proc/loadavg: 8.10 8.20 8.20 2/210 10681
/proc/meminfo: memFree=31257880/32770624 swapFree=66937152/67108860
[pid=10659] ppid=10656 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10659/stat : 10659 (scop.sh) S 10656 10659 9870 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420504274 115843072 348 33554432000 4194304 5098028 140720508001824 140720507999080 139829403079292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23343104 140720508003109 140720508003436 140720508003436 140720508006349 0
/proc/10659/statm: 28282 348 296 221 0 87 0
[pid=10662] ppid=10659 vsize=27314120 memory=149072 CPUtime=0.63 cores=0-7
/proc/10662/stat : 10662 (java) S 10659 10659 9870 0 -1 1077944320 17820 0 0 0 58 5 0 0 20 0 20 0 420504274 27969658880 37268 33554432000 4194304 4196468 140723492986032 140723492968576 140217270230775 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
/proc/10662/statm: 6828530 37268 3015 1 0 6790935 0
[pid=10662/tid=10663] ppid=10659 vsize=27314120 memory=8317482817917895235 CPUtime=0.47 cores=0-7
/proc/10662/task/10663/stat : 10663 (java) R 10659 10659 9870 0 -1 4202560 15296 0 0 0 43 4 0 0 20 0 20 0 420504275 27969658880 37268 33554432000 4194304 4196468 140723492986032 140217242048952 140217270242710 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10664] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10664/stat : 10664 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 37268 33554432000 4194304 4196468 140723492986032 140217274472848 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10665] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10665/stat : 10665 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 37268 33554432000 4194304 4196468 140723492986032 140217088629008 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10666] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10666/stat : 10666 (java) S 10659 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 37268 33554432000 4194304 4196468 140723492986032 140217087576720 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10667] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10667/stat : 10667 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 37268 33554432000 4194304 4196468 140723492986032 140217086523920 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10668] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10668/stat : 10668 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 37268 33554432000 4194304 4196468 140723492986032 140217085471632 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10669] ppid=10659 vsize=27314120 memory=140390334294703 CPUtime=0 cores=0-7
/proc/10662/task/10669/stat : 10669 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 37268 33554432000 4194304 4196468 140723492986032 140217084418832 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10670] ppid=10659 vsize=27314120 memory=140390334297008 CPUtime=0 cores=0-7
/proc/10662/task/10670/stat : 10670 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 37268 33554432000 4194304 4196468 140723492986032 140217083366544 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10671] ppid=10659 vsize=27314120 memory=140390334299312 CPUtime=0 cores=0-7
/proc/10662/task/10671/stat : 10671 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27969658880 37268 33554432000 4194304 4196468 140723492986032 140217082313744 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10672] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10672/stat : 10672 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504279 27969658880 37268 33554432000 4194304 4196468 140723492986032 140216529524848 140217270241922 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10673] ppid=10659 vsize=27314120 memory=280780668612496 CPUtime=0 cores=0-7
/proc/10662/task/10673/stat : 10673 (java) S 10659 10659 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420504279 27969658880 37268 33554432000 4194304 4196468 140723492986032 140214911623968 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10674] ppid=10659 vsize=27314120 memory=280780668610192 CPUtime=0 cores=0-7
/proc/10662/task/10674/stat : 10674 (java) S 10659 10659 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420504279 27969658880 37268 33554432000 4194304 4196468 140723492986032 140214777402480 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10675] ppid=10659 vsize=27314120 memory=280780668617104 CPUtime=0 cores=0-7
/proc/10662/task/10675/stat : 10675 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 37268 33554432000 4194304 4196468 140723492986032 140214402898000 140217270249371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10676] ppid=10659 vsize=27314120 memory=280780668558384 CPUtime=0.01 cores=0-7
/proc/10662/task/10676/stat : 10676 (java) S 10659 10659 9870 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 20 0 420504282 27969658880 37268 33554432000 4194304 4196468 140723492986032 140216528472688 140217270241922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10677] ppid=10659 vsize=27314120 memory=280780668630928 CPUtime=0 cores=0-7
/proc/10662/task/10677/stat : 10677 (java) S 10659 10659 9870 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 37268 33554432000 4194304 4196468 140723492986032 140216527419888 140217270241922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10678] ppid=10659 vsize=27314120 memory=280780668637840 CPUtime=0.02 cores=0-7
/proc/10662/task/10678/stat : 10678 (java) S 10659 10659 9870 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 20 0 420504282 27969658880 37268 33554432000 4194304 4196468 140723492986032 140216526367600 140217270241922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10679] ppid=10659 vsize=27314120 memory=280780668635536 CPUtime=0.09 cores=0-7
/proc/10662/task/10679/stat : 10679 (java) R 10659 10659 9870 0 -1 4202560 520 0 0 0 9 0 0 0 20 0 20 0 420504282 27969658880 37268 33554432000 4194304 4196468 140723492986032 140216525314800 140217270242710 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10680] ppid=10659 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10680/stat : 10680 (java) S 10659 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 37268 33554432000 4194304 4196468 140723492986032 140213904992608 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10681] ppid=10659 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10662/task/10681/stat : 10681 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504282 27969658880 37268 33554432000 4194304 4196468 140723492986032 140216524261680 140217270241922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 150464 KiB
[startup+0.709947 s]
/proc/loadavg: 8.10 8.20 8.20 2/210 10681
/proc/meminfo: memFree=31249636/32770624 swapFree=66937152/67108860
[pid=10659] ppid=10656 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10659/stat : 10659 (scop.sh) S 10656 10659 9870 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420504274 115843072 348 33554432000 4194304 5098028 140720508001824 140720507999080 139829403079292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23343104 140720508003109 140720508003436 140720508003436 140720508006349 0
/proc/10659/statm: 28282 348 296 221 0 87 0
[pid=10662] ppid=10659 vsize=27322516 memory=166556 CPUtime=1.02 cores=0-7
/proc/10662/stat : 10662 (java) S 10659 10659 9870 0 -1 1077944320 20887 0 0 0 95 7 0 0 20 0 20 0 420504274 27978256384 41639 33554432000 4194304 4196468 140723492986032 140723492968576 140217270230775 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
/proc/10662/statm: 6830629 41639 3202 1 0 6791959 0
[pid=10662/tid=10663] ppid=10659 vsize=27322516 memory=4409363991269474336 CPUtime=0.68 cores=0-7
/proc/10662/task/10663/stat : 10663 (java) R 10659 10659 9870 0 -1 4202560 17730 0 0 0 63 5 0 0 20 0 20 0 420504275 27978256384 41639 33554432000 4194304 4196468 140723492986032 140217242070352 140217254311262 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10664] ppid=10659 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10664/stat : 10664 (java) S 10659 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420504277 27978256384 41639 33554432000 4194304 4196468 140723492986032 140217274472848 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10665] ppid=10659 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10665/stat : 10665 (java) S 10659 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420504277 27978256384 41639 33554432000 4194304 4196468 140723492986032 140217088629008 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
[pid=10662/tid=10666] ppid=10659 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10662/task/10666/stat : 10666 (java) S 10659 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420504277 27978256384 41639 33554432000 4194304 4196468 140723492986032 140217087576720 140217270240981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13189120 140723492991723 140723492992150 140723492992150 140723492995023 0
################
# More data... #
################
[pid=10721/tid=10736] ppid=10659 vsize=8414124 memory=616 CPUtime=0.2 cores=0-7
/proc/10721/task/10736/stat : 10736 (java) S 10659 10659 9870 0 -1 1077944384 422 0 0 0 20 0 0 0 20 0 24 0 420556025 8616062976 36904 33554432000 4194304 4196468 140735659245904 139787804469616 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10737] ppid=10659 vsize=8414124 memory=2832 CPUtime=0.14 cores=0-7
/proc/10721/task/10737/stat : 10737 (java) S 10659 10659 9870 0 -1 1077944384 708 0 0 0 14 0 0 0 20 0 24 0 420556025 8616062976 36904 33554432000 4194304 4196468 140735659245904 139787803416560 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10738] ppid=10659 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/10721/task/10738/stat : 10738 (java) S 10659 10659 9870 0 -1 1077944384 571 0 0 0 21 0 0 0 20 0 24 0 420556025 8616062976 36904 33554432000 4194304 4196468 140735659245904 139787802364016 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10739] ppid=10659 vsize=8414124 memory=1899419 CPUtime=0 cores=0-7
/proc/10721/task/10739/stat : 10739 (java) S 10659 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420556025 8616062976 36904 33554432000 4194304 4196468 140735659245904 139786287311840 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10740] ppid=10659 vsize=8414124 memory=5936 CPUtime=0 cores=0-7
/proc/10721/task/10740/stat : 10740 (java) S 10659 10659 9870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420556025 8616062976 36904 33554432000 4194304 4196468 140735659245904 139787801312432 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10742] ppid=10659 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/10721/task/10742/stat : 10742 (java) S 10659 10659 9870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420556121 8616062976 36904 33554432000 4194304 4196468 140735659245904 139787793278400 139788847279897 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10744] ppid=10659 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/10721/task/10744/stat : 10744 (java) S 10659 10659 9870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420556121 8616062976 36904 33554432000 4194304 4196468 140735659245904 139785616211504 139788847277213 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10745] ppid=10659 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/10721/task/10745/stat : 10745 (java) S 10659 10659 9870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420556121 8616062976 36904 33554432000 4194304 4196468 140735659245904 139785884647088 139788847277213 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10746] ppid=10659 vsize=8414124 memory=147616 CPUtime=0 cores=0-7
/proc/10721/task/10746/stat : 10746 (java) S 10659 10659 9870 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420556123 8616062976 36904 33554432000 4194304 4196468 140735659245904 139785347783600 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
Current children cumulated CPU time: 654.61 s
Current children cumulated vsize: 32475824 KiB
Current children cumulated memory: 18743420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+556.617 s]
# the end of solver process 10659 was just reported to runsolver
# cumulated CPU time of all completed processes: user=569.859 s, system=44.771 s
[startup+558.18 s]
# the end of solver process 10721 was just reported to runsolver
# cumulated CPU time of all completed processes: user=604.992 s, system=51.2464 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+556.901 s]
/proc/loadavg: 1.16 2.37 5.14 2/216 10753
/proc/meminfo: memFree=9797272/32770624 swapFree=66937164/67108860
[pid=10721] ppid=10656 vsize=8807348 memory=157856 CPUtime=1.87 cores=0-7
/proc/10721/stat : 10721 (java) S 10656 10659 9870 0 -1 1077944320 20273 0 0 0 167 20 0 0 20 0 26 0 420556018 9018724352 39464 33554432000 4194304 4196468 140735659245904 140735659228448 139788847255287 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
/proc/10721/statm: 2201837 39464 3210 1 0 2163181 0
[pid=10721/tid=10722] ppid=10656 vsize=8807348 memory=147616 CPUtime=1.04 cores=0-7
/proc/10721/task/10722/stat : 10722 (java) S 10656 10659 9870 0 -1 1077944384 16422 0 0 0 87 17 0 0 20 0 26 0 420556018 9018724352 39464 33554432000 4194304 4196468 140735659245904 139788819095456 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10723] ppid=10656 vsize=8807348 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10721/task/10723/stat : 10723 (java) S 10656 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420556020 9018724352 39464 33554432000 4194304 4196468 140735659245904 139788851498000 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10724] ppid=10656 vsize=8807348 memory=984 CPUtime=0 cores=0-7
/proc/10721/task/10724/stat : 10724 (java) S 10656 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 420556020 9018724352 39464 33554432000 4194304 4196468 140735659245904 139788651666576 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10725] ppid=10656 vsize=8807348 memory=2016 CPUtime=0 cores=0-7
/proc/10721/task/10725/stat : 10725 (java) S 10656 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420556020 9018724352 39464 33554432000 4194304 4196468 140735659245904 139788650613520 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10726] ppid=10656 vsize=8807348 memory=1412 CPUtime=0 cores=0-7
/proc/10721/task/10726/stat : 10726 (java) S 10656 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 420556020 9018724352 39464 33554432000 4194304 4196468 140735659245904 139788649560976 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10727] ppid=10656 vsize=8807348 memory=1548 CPUtime=0 cores=0-7
/proc/10721/task/10727/stat : 10727 (java) S 10656 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420556020 9018724352 39464 33554432000 4194304 4196468 140735659245904 139788648507920 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10728] ppid=10656 vsize=8807348 memory=4096 CPUtime=0 cores=0-7
/proc/10721/task/10728/stat : 10728 (java) S 10656 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420556020 9018724352 39464 33554432000 4194304 4196468 140735659245904 139788647455376 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10729] ppid=10656 vsize=8807348 memory=1412 CPUtime=0 cores=0-7
/proc/10721/task/10729/stat : 10729 (java) S 10656 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420556020 9018724352 39464 33554432000 4194304 4196468 140735659245904 139788646402320 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10730] ppid=10656 vsize=8807348 memory=3380 CPUtime=0 cores=0-7
/proc/10721/task/10730/stat : 10730 (java) S 10656 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420556020 9018724352 39464 33554432000 4194304 4196468 140735659245904 139788645349776 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10731] ppid=10656 vsize=8807348 memory=1472 CPUtime=0 cores=0-7
/proc/10721/task/10731/stat : 10731 (java) S 10656 10659 9870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 26 0 420556021 9018724352 39464 33554432000 4194304 4196468 140735659245904 139787806575344 139788847266434 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10732] ppid=10656 vsize=8807348 memory=147616 CPUtime=0 cores=0-7
/proc/10721/task/10732/stat : 10732 (java) S 10656 10659 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 26 0 420556022 9018724352 39464 33554432000 4194304 4196468 140735659245904 139787428161184 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10733] ppid=10656 vsize=8807348 memory=17513444 CPUtime=0 cores=0-7
/proc/10721/task/10733/stat : 10733 (java) S 10656 10659 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 420556022 9018724352 39464 33554432000 4194304 4196468 140735659245904 139787159725296 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10734] ppid=10656 vsize=8807348 memory=147616 CPUtime=0 cores=0-7
/proc/10721/task/10734/stat : 10734 (java) S 10656 10659 9870 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 26 0 420556025 9018724352 39464 33554432000 4194304 4196468 140735659245904 139786785216976 139788847273883 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10735] ppid=10656 vsize=8807348 memory=10940088 CPUtime=0.2 cores=0-7
/proc/10721/task/10735/stat : 10735 (java) S 10656 10659 9870 0 -1 1077944384 712 0 0 0 20 0 0 0 20 0 26 0 420556025 9018724352 39464 33554432000 4194304 4196468 140735659245904 139787805522160 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10736] ppid=10656 vsize=8807348 memory=3624 CPUtime=0.2 cores=0-7
/proc/10721/task/10736/stat : 10736 (java) S 10656 10659 9870 0 -1 1077944384 422 0 0 0 20 0 0 0 20 0 26 0 420556025 9018724352 39464 33554432000 4194304 4196468 140735659245904 139787804469616 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10737] ppid=10656 vsize=8807348 memory=26312 CPUtime=0.14 cores=0-7
/proc/10721/task/10737/stat : 10737 (java) S 10656 10659 9870 0 -1 1077944384 708 0 0 0 14 0 0 0 20 0 26 0 420556025 9018724352 39464 33554432000 4194304 4196468 140735659245904 139787803416560 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10738] ppid=10656 vsize=8807348 memory=984 CPUtime=0.21 cores=0-7
/proc/10721/task/10738/stat : 10738 (java) S 10656 10659 9870 0 -1 1077944384 571 0 0 0 21 0 0 0 20 0 26 0 420556025 9018724352 39464 33554432000 4194304 4196468 140735659245904 139787802364016 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10739] ppid=10656 vsize=8807348 memory=2016 CPUtime=0 cores=0-7
/proc/10721/task/10739/stat : 10739 (java) S 10656 10659 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 420556025 9018724352 39464 33554432000 4194304 4196468 140735659245904 139786287311840 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10740] ppid=10656 vsize=8807348 memory=1412 CPUtime=0 cores=0-7
/proc/10721/task/10740/stat : 10740 (java) S 10656 10659 9870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 26 0 420556025 9018724352 39464 33554432000 4194304 4196468 140735659245904 139787801312432 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10742] ppid=10656 vsize=8807348 memory=7396 CPUtime=0 cores=0-7
/proc/10721/task/10742/stat : 10742 (java) S 10656 10659 9870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 26 0 420556121 9018724352 39464 33554432000 4194304 4196468 140735659245904 139787793278400 139788847279897 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10744] ppid=10656 vsize=8807348 memory=4000 CPUtime=0 cores=0-7
/proc/10721/task/10744/stat : 10744 (java) S 10656 10659 9870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 26 0 420556121 9018724352 39464 33554432000 4194304 4196468 140735659245904 139785616211504 139788847277213 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10745] ppid=10656 vsize=8807348 memory=616 CPUtime=0 cores=0-7
/proc/10721/task/10745/stat : 10745 (java) S 10656 10659 9870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 26 0 420556121 9018724352 39464 33554432000 4194304 4196468 140735659245904 139785884647088 139788847277213 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10746] ppid=10656 vsize=8807348 memory=2832 CPUtime=0 cores=0-7
/proc/10721/task/10746/stat : 10746 (java) S 10656 10659 9870 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 26 0 420556123 9018724352 39464 33554432000 4194304 4196468 140735659245904 139785347783600 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10750] ppid=10656 vsize=8807348 memory=1624 CPUtime=0 cores=0-7
/proc/10721/task/10750/stat : 10750 (java) S 10656 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420559935 9018724352 39464 33554432000 4194304 4196468 140735659245904 139785079349920 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10753] ppid=10656 vsize=8807348 memory=1136 CPUtime=0 cores=0-7
/proc/10721/task/10753/stat : 10753 (java) S 10656 10659 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420559936 9018724352 39464 33554432000 4194304 4196468 140735659245904 139784810915104 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
Current cumulated CPU time of completed processes: 614.63 s
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 8807348 KiB
Current children cumulated memory: 157856 KiB
[startup+557.701 s]
/proc/loadavg: 1.16 2.37 5.14 2/216 10753
/proc/meminfo: memFree=17090520/32770624 swapFree=66937164/67108860
[pid=10721] ppid=10656 vsize=8544168 memory=157892 CPUtime=41.11 cores=0-7
/proc/10721/stat : 10721 (java) S 10656 10659 9870 0 -1 1077944320 20280 1659903 0 0 167 39 3346 559 20 0 22 0 420556018 8749228032 39473 33554432000 4194304 4196468 140735659245904 140735659228448 139788847255287 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
/proc/10721/statm: 2136042 39473 3212 1 0 2097386 0
[pid=10721/tid=10722] ppid=10656 vsize=8544168 memory=147616 CPUtime=40.09 cores=0-7
/proc/10721/task/10722/stat : 10722 (java) S 10656 10659 9870 0 -1 1077944384 16422 1659903 0 0 87 17 3346 559 20 0 22 0 420556018 8749228032 39473 33554432000 4194304 4196468 140735659245904 139788819095456 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10723] ppid=10656 vsize=8544168 memory=3624 CPUtime=39.05 cores=0-7
/proc/10721/task/10723/stat : 10723 (java) S 10656 10659 9870 0 -1 1077944384 2 1659903 0 0 0 0 3346 559 20 0 22 0 420556020 8749228032 39473 33554432000 4194304 4196468 140735659245904 139788851498000 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10724] ppid=10656 vsize=8544168 memory=6791534058613427641 CPUtime=39.05 cores=0-7
/proc/10721/task/10724/stat : 10724 (java) S 10656 10659 9870 0 -1 1077944384 3 1659903 0 0 0 0 3346 559 20 0 22 0 420556020 8749228032 39473 33554432000 4194304 4196468 140735659245904 139788651666576 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10725] ppid=10656 vsize=8544168 memory=1060 CPUtime=39.05 cores=0-7
/proc/10721/task/10725/stat : 10725 (java) S 10656 10659 9870 0 -1 1077944384 2 1659903 0 0 0 0 3346 559 20 0 22 0 420556020 8749228032 39473 33554432000 4194304 4196468 140735659245904 139788650613520 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10726] ppid=10656 vsize=8544168 memory=14012 CPUtime=39.05 cores=0-7
/proc/10721/task/10726/stat : 10726 (java) S 10656 10659 9870 0 -1 1077944384 1 1659903 0 0 0 0 3346 559 20 0 22 0 420556020 8749228032 39473 33554432000 4194304 4196468 140735659245904 139788649560976 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10727] ppid=10656 vsize=8544168 memory=11384 CPUtime=39.05 cores=0-7
/proc/10721/task/10727/stat : 10727 (java) S 10656 10659 9870 0 -1 1077944384 2 1659903 0 0 0 0 3346 559 20 0 22 0 420556020 8749228032 39473 33554432000 4194304 4196468 140735659245904 139788648507920 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10728] ppid=10656 vsize=8544168 memory=14056 CPUtime=39.05 cores=0-7
/proc/10721/task/10728/stat : 10728 (java) S 10656 10659 9870 0 -1 1077944384 2 1659903 0 0 0 0 3346 559 20 0 22 0 420556020 8749228032 39473 33554432000 4194304 4196468 140735659245904 139788647455376 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10729] ppid=10656 vsize=8544168 memory=2116 CPUtime=39.05 cores=0-7
/proc/10721/task/10729/stat : 10729 (java) S 10656 10659 9870 0 -1 1077944384 2 1659903 0 0 0 0 3346 559 20 0 22 0 420556020 8749228032 39473 33554432000 4194304 4196468 140735659245904 139788646402320 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10730] ppid=10656 vsize=8544168 memory=288230574492221466 CPUtime=39.05 cores=0-7
/proc/10721/task/10730/stat : 10730 (java) S 10656 10659 9870 0 -1 1077944384 2 1659903 0 0 0 0 3346 559 20 0 22 0 420556020 8749228032 39473 33554432000 4194304 4196468 140735659245904 139788645349776 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10731] ppid=10656 vsize=8544168 memory=288230621803970871 CPUtime=39.05 cores=0-7
/proc/10721/task/10731/stat : 10731 (java) S 10656 10659 9870 0 -1 1077944384 7 1659903 0 0 0 0 3346 559 20 0 22 0 420556021 8749228032 39473 33554432000 4194304 4196468 140735659245904 139787806574848 139788847266434 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10732] ppid=10656 vsize=8544168 memory=15825482151102897 CPUtime=39.05 cores=0-7
/proc/10721/task/10732/stat : 10732 (java) S 10656 10659 9870 0 -1 1077944384 13 1659903 0 0 0 0 3346 559 20 0 22 0 420556022 8749228032 39473 33554432000 4194304 4196468 140735659245904 139787428161184 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10733] ppid=10656 vsize=8544168 memory=5537792 CPUtime=39.05 cores=0-7
/proc/10721/task/10733/stat : 10733 (java) S 10656 10659 9870 0 -1 1077944384 1 1659903 0 0 0 0 3346 559 20 0 22 0 420556022 8749228032 39473 33554432000 4194304 4196468 140735659245904 139787159725296 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10735] ppid=10656 vsize=8544168 memory=1472 CPUtime=39.25 cores=0-7
/proc/10721/task/10735/stat : 10735 (java) S 10656 10659 9870 0 -1 1077944384 712 1659903 0 0 20 0 3346 559 20 0 22 0 420556025 8749228032 39473 33554432000 4194304 4196468 140735659245904 139787805522160 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10736] ppid=10656 vsize=8544168 memory=1472 CPUtime=39.25 cores=0-7
/proc/10721/task/10736/stat : 10736 (java) S 10656 10659 9870 0 -1 1077944384 423 1659903 0 0 20 0 3346 559 20 0 22 0 420556025 8749228032 39473 33554432000 4194304 4196468 140735659245904 139787804462496 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10737] ppid=10656 vsize=8544168 memory=147616 CPUtime=39.19 cores=0-7
/proc/10721/task/10737/stat : 10737 (java) S 10656 10659 9870 0 -1 1077944384 708 1659903 0 0 14 0 3346 559 20 0 22 0 420556025 8749228032 39473 33554432000 4194304 4196468 140735659245904 139787803416560 139788847266434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10738] ppid=10656 vsize=8544168 memory=26312 CPUtime=39.26 cores=0-7
/proc/10721/task/10738/stat : 10738 (java) S 10656 10659 9870 0 -1 1077944384 571 1659903 0 0 21 0 3346 559 20 0 22 0 420556025 8749228032 39473 33554432000 4194304 4196468 140735659245904 139787802358784 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10739] ppid=10656 vsize=8544168 memory=984 CPUtime=39.05 cores=0-7
/proc/10721/task/10739/stat : 10739 (java) S 10656 10659 9870 0 -1 1077944384 3 1659903 0 0 0 0 3346 559 20 0 22 0 420556025 8749228032 39473 33554432000 4194304 4196468 140735659245904 139786287311840 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10742] ppid=10656 vsize=8544168 memory=2016 CPUtime=39.05 cores=0-7
/proc/10721/task/10742/stat : 10742 (java) S 10656 10659 9870 0 -1 1077944384 24 1659903 0 0 0 0 3346 559 20 0 22 0 420556121 8749228032 39473 33554432000 4194304 4196468 140735659245904 139787793276064 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10746] ppid=10656 vsize=8544168 memory=1412 CPUtime=39.05 cores=0-7
/proc/10721/task/10746/stat : 10746 (java) S 10656 10659 9870 0 -1 1077944384 10 1659903 0 0 0 0 3346 559 20 0 22 0 420556123 8749228032 39473 33554432000 4194304 4196468 140735659245904 139785347773008 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10750] ppid=10656 vsize=8544168 memory=1548 CPUtime=39.23 cores=0-7
/proc/10721/task/10750/stat : 10750 (java) R 10656 10659 9870 0 -1 4202560 2 1659903 0 0 0 18 3346 559 20 0 22 0 420559935 8749228032 39473 33554432000 4194304 4196468 140735659245904 139785079349920 139788839940919 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
[pid=10721/tid=10753] ppid=10656 vsize=8544168 memory=7396 CPUtime=39.05 cores=0-7
/proc/10721/task/10753/stat : 10753 (java) S 10656 10659 9870 0 -1 1077944384 2 1659903 0 0 0 0 3346 559 20 0 22 0 420559936 8749228032 39473 33554432000 4194304 4196468 140735659245904 139784810914256 139788847265493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19718144 140735659250679 140735659250838 140735659250838 140735659253711 0
Current cumulated CPU time of completed processes: 614.63 s
Current children cumulated CPU time: 41.11 s
Current children cumulated vsize: 8544168 KiB
Current children cumulated memory: 157892 KiB
[startup+558.1 s]*
/proc/loadavg: 1.16 2.37 5.14 2/191 10753
/proc/meminfo: memFree=30723628/32770624 swapFree=66937164/67108860
Current cumulated CPU time of completed processes: 614.63 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 558.18
CPU time (s): 656.239
CPU user time (s): 604.992
CPU system time (s): 51.2464
CPU usage (%): 117.568
Max. virtual memory (cumulated for all children) (KiB): 32475824
Max. memory (cumulated for all children) (KiB): 18743420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 604.992
system time used= 51.2464
maximum resident set size= 18594544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1926206
page faults= 0
swaps= 0
block input operations= 192
block output operations= 9840968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28953
involuntary context switches= 4076
# summary of solver processes directly reported to runsolver:
# pid: 10659,10721
# total CPU time (s): 656.239
# total CPU user time (s): 604.992
# total CPU system time (s): 51.2464
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68883 second user time and 5.62028 second system time
The end