0.67/0.53
0.67/0.53 scop order+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 15:23:25 CEST 2018
0.67/0.55 c PID: 9583
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.19/0.84 c (0,0) Parsing End
1.19/0.84 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 18 ctr, max domain size 12
1.19/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.19/0.84 c (0,0) Constraint Name Generate Begin
1.19/0.85 c (0,0) Ctr:HOME/instance-4294249-1532352205.xml,Add:Element:Eq:IntVar:Num
1.19/0.85 c (0,0) Constraint Name Generate End
1.19/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.85 c (0,0) CSP to CSPinCNF Begin
1.36/0.97 c (0,0) translated 2 (10%) constraints
1.36/1.00 c (0,0) translated 4 (20%) constraints
1.56/1.02 c (0,0) translated 6 (30%) constraints
1.56/1.03 c (0,0) translated 8 (40%) constraints
1.56/1.04 c (0,0) translated 9 (50%) constraints
1.56/1.05 c (0,0) translated 11 (60%) constraints
1.56/1.06 c (0,0) translated 13 (70%) constraints
1.56/1.07 c (0,0) translated 15 (80%) constraints
1.56/1.07 c (0,0) translated 17 (90%) constraints
1.56/1.07 c (0,0) translated 18 (100%) constraints
1.82/1.11 c (0,0) STATISTICS1:HOME/instance-4294249-1532352205.xml,Add:Element:Eq:IntVar:Num,24,150,10,10,3,2,10:2;9:2;8:2;7:2;6:2;5:2,10:26;9:26;8:26;7:26;6:170;5:26,3:144;1:6,2:12;1:432,
1.82/1.11 c (0,0) ===========================================
1.82/1.11 c (0,0) Order
1.82/1.11 c (0,0) ===========================================
1.82/1.15 c (0,0) translated 15 (10%) constraints
1.82/1.16 c (0,0) translated 30 (20%) constraints
1.82/1.18 c (0,0) translated 45 (30%) constraints
1.82/1.19 c (0,0) translated 60 (40%) constraints
2.02/1.20 c (0,0) translated 75 (50%) constraints
2.02/1.21 c (0,0) translated 90 (60%) constraints
2.02/1.22 c (0,0) translated 105 (70%) constraints
2.02/1.22 c (0,0) translated 120 (80%) constraints
2.02/1.23 c (0,0) translated 135 (90%) constraints
2.02/1.24 c (0,0) translated 150 (100%) constraints
2.02/1.24 c (0,0) CSP to CSPinCNF End
2.02/1.24 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 444 ctr, max domain size 10
2.02/1.24 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.24 c (0,0) CSPinCNF Propagation Begin
2.02/1.28 c (0,0) 0 values, 78 unsatisfiable literals, and 102 valid clauses are removed
2.02/1.28 c (0,0) CSPinCNF Propagation End
2.02/1.28 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.02/1.28 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.28 c (0,0) Simplify CSPinCNF Begin
2.02/1.29 c (0,0) Simplify CSPinCNF End
2.02/1.29 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.02/1.29 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.29 c (0,0) Calculate Precise Domain Begin
2.02/1.29 c (0,0) 0 values are removed by re-calculation
2.02/1.29 c (0,0) Calculate Precise Domain End
2.02/1.29 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.02/1.29 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.29 c (0,0) CSPinCNF to SatSolver Begin
2.28/1.32 c (0,0) 35 (10 %) CSP clauses are encoded (210 SAT variables, 148 SAT clauses)
2.28/1.32 c (0,0) 69 (20 %) CSP clauses are encoded (210 SAT variables, 182 SAT clauses)
2.28/1.33 c (0,0) 103 (30 %) CSP clauses are encoded (210 SAT variables, 216 SAT clauses)
2.28/1.33 c (0,0) 137 (40 %) CSP clauses are encoded (210 SAT variables, 250 SAT clauses)
2.28/1.33 c (0,0) 171 (50 %) CSP clauses are encoded (210 SAT variables, 284 SAT clauses)
2.28/1.34 c (0,0) 206 (60 %) CSP clauses are encoded (210 SAT variables, 319 SAT clauses)
2.28/1.34 c (0,0) 240 (70 %) CSP clauses are encoded (210 SAT variables, 353 SAT clauses)
2.28/1.34 c (0,0) 274 (80 %) CSP clauses are encoded (210 SAT variables, 387 SAT clauses)
2.28/1.34 c (0,0) 308 (90 %) CSP clauses are encoded (210 SAT variables, 421 SAT clauses)
2.28/1.36 c (0,0) 342 (100 %) CSP clauses are encoded (210 SAT variables, 518 SAT clauses)
2.28/1.36 c (0,0) CSPinCNF to SatSolver End
2.28/1.36 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.28/1.37 c (0,0) STATISTICS2:HOME/instance-4294249-1532352205.xml,Add:Element:Eq:IntVar:Num,96,342,10,10,3,2,10:2;9:2;8:2;7:2;6:2;5:2,10:40;9:36;8:32;7:28;6:264;5:20;2:330,3:66;2:264;1:12,2:12;1:726,
2.28/1.37 c (0,0) SatSolver.solve Begin
2.28/1.37 c (0,0) 210 bool, 522 clause
2.28/1.37 c (0,0) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294249-1532352205.xml-scop-9583.cnf HOME/instance-4294249-1532352205.xml-scop-9583.cnf.out
2.28/1.39 c (0,0) c This is COMiniSatPS.
2.28/1.39 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
2.28/1.39 c (0,0) c ============================[ Problem Statistics ]=============================
2.28/1.39 c (0,0) c | |
2.28/1.39 c (0,0) c | Number of variables: 210 |
2.28/1.39 c (0,0) c | Number of clauses: 522 |
2.28/1.39 c (0,0) c | Parse time: 0.00 s |
2.28/1.39 c (0,0) c | Eliminated clauses: 0.00 Mb |
2.28/1.39 c (0,0) c Reduced to 98 vars, 318 cls (grow=0)
2.28/1.39 c (0,0) c No iterative elimination performed. (vars=98, c/v ratio=3.2)
2.28/1.39 c (0,0) c | Simplification time: 0.00 s |
2.28/1.39 c (0,0) c | |
2.28/1.39 c (0,0) c ============================[ Search Statistics ]==============================
2.28/1.39 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2.28/1.40 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.28/1.40 c (0,0) c ===============================================================================
2.28/1.40 c (0,0) c ===============================================================================
2.28/1.40 c (0,0) c restarts : 1
2.28/1.40 c (0,0) c conflicts : 288 (74017 /sec)
2.28/1.40 c (0,0) c decisions : 346 (0.00 % random) (88923 /sec)
2.28/1.40 c (0,0) c propagations : 7781 (1999743 /sec)
2.28/1.40 c (0,0) c conflict literals : 1786 (28.30 % deleted)
2.28/1.40 c (0,0) c CPU time : 0.003891 s
2.28/1.40 c (0,0)
2.28/1.40 c (0,0) s UNSATISFIABLE
2.51/1.43 c (0,0) SatSolver.solve End
2.51/1.43 c (0,0) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.51/1.43 c (0,0) Show results Begin
2.51/1.43 s UNSATISFIABLE
2.51/1.43 c (0,0) Show results End
2.51/1.43 c (0,0) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.51/1.43 c (0,0) 0,0,0,0,0,0,0,0,0,STOP-AFTER(ALL)
2.51/1.43 c END-Prog: Mon Jul 23 15:23:26 CEST 2018
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 (4337 MiB free)
memory of node 1: 16384 MiB (11348 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294249-1532352205/watcher-4294249-1532352205 -o /tmp/evaluation-result-4294249-1532352205/solver-4294249-1532352205 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294249-1532352205.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9583, runsolver pid=9580
[startup+0.100569 s]*
/proc/loadavg: 2.37 2.12 2.08 3/220 9598
/proc/meminfo: memFree=16001880/32770624 swapFree=67108860/67108860
[pid=9583] ppid=9580 vsize=15011656 memory=71756 CPUtime=0.1 cores=0,2,4,6
/proc/9583/stat : 9583 (java) S 9580 9583 2271 0 -1 1077944320 6192 0 0 0 9 1 0 0 20 0 15 0 52783644 15371935744 17939 33554432000 4194304 4196468 140734343017776 140734343000320 139950785130231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
/proc/9583/statm: 3752914 17939 2756 1 0 3715374 0
[pid=9583/tid=9585] ppid=9580 vsize=15011656 memory=4282260925775451027 CPUtime=0.09 cores=0,2,4,6
/proc/9583/task/9585/stat : 9585 (java) R 9580 9583 2271 0 -1 4202560 4314 0 0 0 8 1 0 0 20 0 15 0 52783644 15371935744 18005 33554432000 4194304 4196468 140734343017776 139950756919344 139950768317040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9586] ppid=9580 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9586/stat : 9586 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 18005 33554432000 4194304 4196468 140734343017776 139950789372176 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9587] ppid=9580 vsize=15011656 memory=139816236004992 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9587/stat : 9587 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 18005 33554432000 4194304 4196468 140734343017776 139950580455824 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9588] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9588/stat : 9588 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 18005 33554432000 4194304 4196468 140734343017776 139950579403280 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9589] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9589/stat : 9589 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 18005 33554432000 4194304 4196468 140734343017776 139950578350736 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9590] ppid=9580 vsize=15011656 memory=139816236004992 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9590/stat : 9590 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783648 15371935744 18005 33554432000 4194304 4196468 140734343017776 139949756082672 139950785141378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9591] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9591/stat : 9591 (java) S 9580 9583 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783648 15371935744 18005 33554432000 4194304 4196468 140734343017776 139949361849760 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9592] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9592/stat : 9592 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783648 15371935744 18005 33554432000 4194304 4196468 140734343017776 139949093414384 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9593] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9593/stat : 9593 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 18005 33554432000 4194304 4196468 140734343017776 139948718906064 139950785148827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9594] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9594/stat : 9594 (java) S 9580 9583 2271 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 18005 33554432000 4194304 4196468 140734343017776 139949755029488 139950785141378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9595] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9595/stat : 9595 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 18005 33554432000 4194304 4196468 140734343017776 139949753976944 139950785141378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9596] ppid=9580 vsize=15011656 memory=139816236004992 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9596/stat : 9596 (java) R 9580 9583 2271 0 -1 4202560 263 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 18005 33554432000 4194304 4196468 140734343017776 139949752924400 139950777085107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9597] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9597/stat : 9597 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 18070 33554432000 4194304 4196468 140734343017776 139948221000288 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9598] ppid=9580 vsize=15011656 memory=139816236004992 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9598/stat : 9598 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 18070 33554432000 4194304 4196468 140734343017776 139949751872304 139950785141378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71756 KiB
[startup+0.210803 s]*
/proc/loadavg: 2.37 2.12 2.08 3/220 9598
/proc/meminfo: memFree=15988672/32770624 swapFree=67108860/67108860
[pid=9583] ppid=9580 vsize=15011656 memory=85628 CPUtime=0.25 cores=0,2,4,6
/proc/9583/stat : 9583 (java) S 9580 9583 2271 0 -1 1077944320 9843 0 0 0 22 3 0 0 20 0 15 0 52783644 15371935744 21407 33554432000 4194304 4196468 140734343017776 140734343000320 139950785130231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
/proc/9583/statm: 3752914 21407 2879 1 0 3715374 0
[pid=9583/tid=9585] ppid=9580 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/9583/task/9585/stat : 9585 (java) R 9580 9583 2271 0 -1 4202560 7747 0 0 0 18 2 0 0 20 0 15 0 52783644 15371935744 21407 33554432000 4194304 4196468 140734343017776 139950756956624 139950785151578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9586] ppid=9580 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9586/stat : 9586 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 21407 33554432000 4194304 4196468 140734343017776 139950789372176 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9587] ppid=9580 vsize=15011656 memory=13712416359102104 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9587/stat : 9587 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 21407 33554432000 4194304 4196468 140734343017776 139950580455824 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9588] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9588/stat : 9588 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 21407 33554432000 4194304 4196468 140734343017776 139950579403280 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9589] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9589/stat : 9589 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 21407 33554432000 4194304 4196468 140734343017776 139950578350736 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9590] ppid=9580 vsize=15011656 memory=139816236004992 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9590/stat : 9590 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783648 15371935744 21407 33554432000 4194304 4196468 140734343017776 139949756082672 139950785141378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9591] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9591/stat : 9591 (java) S 9580 9583 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783648 15371935744 21407 33554432000 4194304 4196468 140734343017776 139949361849760 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9592] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9592/stat : 9592 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783648 15371935744 21407 33554432000 4194304 4196468 140734343017776 139949093414384 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9593] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9593/stat : 9593 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 21407 33554432000 4194304 4196468 140734343017776 139948718906064 139950785148827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9594] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9594/stat : 9594 (java) S 9580 9583 2271 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 21407 33554432000 4194304 4196468 140734343017776 139949755029488 139950785141378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9595] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9595/stat : 9595 (java) S 9580 9583 2271 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 21407 33554432000 4194304 4196468 140734343017776 139949753976944 139950785141378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9596] ppid=9580 vsize=15011656 memory=139816236004992 CPUtime=0.03 cores=0,2,4,6
/proc/9583/task/9596/stat : 9596 (java) R 9580 9583 2271 0 -1 4202560 287 0 0 0 3 0 0 0 20 0 15 0 52783651 15371935744 21407 33554432000 4194304 4196468 140734343017776 139949752924400 139950769210718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9597] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9597/stat : 9597 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 21407 33554432000 4194304 4196468 140734343017776 139948221000288 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9598] ppid=9580 vsize=15011656 memory=139816236004992 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9598/stat : 9598 (java) R 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 21407 33554432000 4194304 4196468 140734343017776 139949751872304 139950785141378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85628 KiB
[startup+0.310639 s]*
/proc/loadavg: 2.37 2.12 2.08 3/220 9598
/proc/meminfo: memFree=15984864/32770624 swapFree=67108860/67108860
[pid=9583] ppid=9580 vsize=15011656 memory=89972 CPUtime=0.43 cores=0,2,4,6
/proc/9583/stat : 9583 (java) S 9580 9583 2271 0 -1 1077944320 10458 0 0 0 40 3 0 0 20 0 15 0 52783644 15371935744 22493 33554432000 4194304 4196468 140734343017776 140734343000320 139950785130231 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
/proc/9583/statm: 3752914 22493 3024 1 0 3715374 0
[pid=9583/tid=9585] ppid=9580 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/9583/task/9585/stat : 9585 (java) R 9580 9583 2271 0 -1 4202560 8176 0 0 0 27 2 0 0 20 0 15 0 52783644 15371935744 22493 33554432000 4194304 4196468 140734343017776 139950756934384 139950766694714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9586] ppid=9580 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9586/stat : 9586 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 22493 33554432000 4194304 4196468 140734343017776 139950789372176 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9587] ppid=9580 vsize=15011656 memory=13572600123463919 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9587/stat : 9587 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 22493 33554432000 4194304 4196468 140734343017776 139950580455824 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9588] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9588/stat : 9588 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 22493 33554432000 4194304 4196468 140734343017776 139950579403280 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9589] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9589/stat : 9589 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15371935744 22493 33554432000 4194304 4196468 140734343017776 139950578350736 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9590] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9590/stat : 9590 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783648 15371935744 22493 33554432000 4194304 4196468 140734343017776 139949756082672 139950785141378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9591] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9591/stat : 9591 (java) S 9580 9583 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783648 15371935744 22493 33554432000 4194304 4196468 140734343017776 139949361849760 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9592] ppid=9580 vsize=15011656 memory=139816236004992 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9592/stat : 9592 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783648 15371935744 22493 33554432000 4194304 4196468 140734343017776 139949093414384 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9593] ppid=9580 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9593/stat : 9593 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 22493 33554432000 4194304 4196468 140734343017776 139948718906064 139950785148827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9594] ppid=9580 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9583/task/9594/stat : 9594 (java) S 9580 9583 2271 0 -1 1077944384 548 0 0 0 2 0 0 0 20 0 15 0 52783651 15371935744 22493 33554432000 4194304 4196468 140734343017776 139949755029488 139950785141378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9595] ppid=9580 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9583/task/9595/stat : 9595 (java) S 9580 9583 2271 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 15 0 52783651 15371935744 22493 33554432000 4194304 4196468 140734343017776 139949753976944 139950785141378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9596] ppid=9580 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9583/task/9596/stat : 9596 (java) S 9580 9583 2271 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 15 0 52783651 15371935744 22493 33554432000 4194304 4196468 140734343017776 139949752924400 139950785141378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9597] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9597/stat : 9597 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 22493 33554432000 4194304 4196468 140734343017776 139948221000288 139950785140437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9598] ppid=9580 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9598/stat : 9598 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783651 15371935744 22493 33554432000 4194304 4196468 140734343017776 139949751872304 139950785141378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89972 KiB
[startup+0.700685 s]
/proc/loadavg: 2.37 2.12 2.08 3/220 9598
/proc/meminfo: memFree=15960804/32770624 swapFree=67108860/67108860
[pid=9583] ppid=9580 vsize=15020052 memory=129652 CPUtime=1 cores=0,2,4,6
/proc/9583/stat : 9583 (java) S 9580 9583 2271 0 -1 1077944320 17651 0 0 0 95 5 0 0 20 0 15 0 52783644 15380533248 32413 33554432000 4194304 4196468 140734343017776 140734343000320 139950785130231 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
/proc/9583/statm: 3755013 32413 3155 1 0 3716398 0
[pid=9583/tid=9585] ppid=9580 vsize=15020052 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/9583/task/9585/stat : 9585 (java) R 9580 9583 2271 0 -1 4202560 14935 0 0 0 63 4 0 0 20 0 15 0 52783644 15380533248 32413 33554432000 4194304 4196468 140734343017776 139950756967568 139950769173861 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9586] ppid=9580 vsize=15020052 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9586/stat : 9586 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15380533248 32413 33554432000 4194304 4196468 140734343017776 139950789372176 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9587] ppid=9580 vsize=15020052 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9587/stat : 9587 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15380533248 32413 33554432000 4194304 4196468 140734343017776 139950580455824 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9588] ppid=9580 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9588/stat : 9588 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15380533248 32413 33554432000 4194304 4196468 140734343017776 139950579403280 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9589] ppid=9580 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9589/stat : 9589 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15380533248 32413 33554432000 4194304 4196468 140734343017776 139950578350736 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9590] ppid=9580 vsize=15020052 memory=279632167610144 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9590/stat : 9590 (java) S 9580 9583 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52783648 15380533248 32413 33554432000 4194304 4196468 140734343017776 139949756082672 139950785141378 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9591] ppid=9580 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9591/stat : 9591 (java) S 9580 9583 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783648 15380533248 32413 33554432000 4194304 4196468 140734343017776 139949361849760 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9592] ppid=9580 vsize=15020052 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9592/stat : 9592 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783648 15380533248 32413 33554432000 4194304 4196468 140734343017776 139949093414384 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9593] ppid=9580 vsize=15020052 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9593/stat : 9593 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15380533248 32413 33554432000 4194304 4196468 140734343017776 139948718906064 139950785148827 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9594] ppid=9580 vsize=15020052 memory=8380 CPUtime=0.08 cores=0,2,4,6
/proc/9583/task/9594/stat : 9594 (java) S 9580 9583 2271 0 -1 1077944384 773 0 0 0 8 0 0 0 20 0 15 0 52783651 15380533248 32413 33554432000 4194304 4196468 140734343017776 139949755029488 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9595] ppid=9580 vsize=15020052 memory=7307210974946176466 CPUtime=0.07 cores=0,2,4,6
/proc/9583/task/9595/stat : 9595 (java) S 9580 9583 2271 0 -1 1077944384 161 0 0 0 7 0 0 0 20 0 15 0 52783651 15380533248 32413 33554432000 4194304 4196468 140734343017776 139949753976944 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9596] ppid=9580 vsize=15020052 memory=7302135314614015847 CPUtime=0.15 cores=0,2,4,6
/proc/9583/task/9596/stat : 9596 (java) S 9580 9583 2271 0 -1 1077944384 440 0 0 0 15 0 0 0 20 0 15 0 52783651 15380533248 32413 33554432000 4194304 4196468 140734343017776 139949752924400 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9597] ppid=9580 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9597/stat : 9597 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15380533248 32413 33554432000 4194304 4196468 140734343017776 139948221000288 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9598] ppid=9580 vsize=15020052 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9598/stat : 9598 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783651 15380533248 32413 33554432000 4194304 4196468 140734343017776 139949751872304 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129652 KiB
[startup+1.4433 s]
# the end of solver process 9583 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.49796 s, system=0.089158 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800809 s]
/proc/loadavg: 2.37 2.12 2.08 3/220 9598
/proc/meminfo: memFree=15960804/32770624 swapFree=67108860/67108860
[pid=9583] ppid=9580 vsize=15020052 memory=133480 CPUtime=1.19 cores=0,2,4,6
/proc/9583/stat : 9583 (java) S 9580 9583 2271 0 -1 1077944320 18126 0 0 0 114 5 0 0 20 0 15 0 52783644 15380533248 33370 33554432000 4194304 4196468 140734343017776 140734343000320 139950785130231 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
/proc/9583/statm: 3755013 33370 3157 1 0 3716398 0
[pid=9583/tid=9585] ppid=9580 vsize=15020052 memory=644 CPUtime=0.77 cores=0,2,4,6
/proc/9583/task/9585/stat : 9585 (java) R 9580 9583 2271 0 -1 4202560 15277 0 0 0 73 4 0 0 20 0 15 0 52783644 15380533248 33370 33554432000 4194304 4196468 140734343017776 139950756956672 139950785152157 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9586] ppid=9580 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9586/stat : 9586 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15380533248 33370 33554432000 4194304 4196468 140734343017776 139950789372176 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9587] ppid=9580 vsize=15020052 memory=279632168148704 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9587/stat : 9587 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15380533248 33370 33554432000 4194304 4196468 140734343017776 139950580455824 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9588] ppid=9580 vsize=15020052 memory=3184237736160045168 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9588/stat : 9588 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15380533248 33370 33554432000 4194304 4196468 140734343017776 139950579403280 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9589] ppid=9580 vsize=15020052 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9589/stat : 9589 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15380533248 33370 33554432000 4194304 4196468 140734343017776 139950578350736 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9590] ppid=9580 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9590/stat : 9590 (java) S 9580 9583 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52783648 15380533248 33370 33554432000 4194304 4196468 140734343017776 139949756082672 139950785141378 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9591] ppid=9580 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9591/stat : 9591 (java) S 9580 9583 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783648 15380533248 33370 33554432000 4194304 4196468 140734343017776 139949361849760 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9592] ppid=9580 vsize=15020052 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9592/stat : 9592 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783648 15380533248 33370 33554432000 4194304 4196468 140734343017776 139949093414384 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9593] ppid=9580 vsize=15020052 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9593/stat : 9593 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15380533248 33370 33554432000 4194304 4196468 140734343017776 139948718906064 139950785148827 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9594] ppid=9580 vsize=15020052 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9583/task/9594/stat : 9594 (java) S 9580 9583 2271 0 -1 1077944384 787 0 0 0 11 0 0 0 20 0 15 0 52783651 15380533248 33370 33554432000 4194304 4196468 140734343017776 139949755029488 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9595] ppid=9580 vsize=15020052 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9583/task/9595/stat : 9595 (java) S 9580 9583 2271 0 -1 1077944384 169 0 0 0 9 0 0 0 20 0 15 0 52783651 15380533248 33370 33554432000 4194304 4196468 140734343017776 139949753976944 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9596] ppid=9580 vsize=15020052 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/9583/task/9596/stat : 9596 (java) S 9580 9583 2271 0 -1 1077944384 550 0 0 0 20 0 0 0 20 0 15 0 52783651 15380533248 33370 33554432000 4194304 4196468 140734343017776 139949752924400 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9597] ppid=9580 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9597/stat : 9597 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15380533248 33370 33554432000 4194304 4196468 140734343017776 139948221000288 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9598] ppid=9580 vsize=15020052 memory=181004820035797 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9598/stat : 9598 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783651 15380533248 33370 33554432000 4194304 4196468 140734343017776 139949751872304 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 133480 KiB
[startup+1.20066 s]
/proc/loadavg: 2.37 2.12 2.08 5/220 9598
/proc/meminfo: memFree=15934192/32770624 swapFree=67108860/67108860
[pid=9583] ppid=9580 vsize=15022100 memory=156336 CPUtime=2.02 cores=0,2,4,6
/proc/9583/stat : 9583 (java) S 9580 9583 2271 0 -1 1077944320 20681 0 0 0 196 6 0 0 20 0 15 0 52783644 15382630400 39084 33554432000 4194304 4196468 140734343017776 140734343000320 139950785130231 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
/proc/9583/statm: 3755525 39084 3196 1 0 3716910 0
[pid=9583/tid=9585] ppid=9580 vsize=15022100 memory=8785 CPUtime=1.17 cores=0,2,4,6
/proc/9583/task/9585/stat : 9585 (java) R 9580 9583 2271 0 -1 4202560 15997 0 0 0 112 5 0 0 20 0 15 0 52783644 15382630400 39084 33554432000 4194304 4196468 140734343017776 139950756965312 139950766536449 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9586] ppid=9580 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9586/stat : 9586 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15382630400 39084 33554432000 4194304 4196468 140734343017776 139950789372176 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9587] ppid=9580 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9587/stat : 9587 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15382630400 39084 33554432000 4194304 4196468 140734343017776 139950580455824 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9588] ppid=9580 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9588/stat : 9588 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15382630400 39084 33554432000 4194304 4196468 140734343017776 139950579403280 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9589] ppid=9580 vsize=15022100 memory=12545 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9589/stat : 9589 (java) S 9580 9583 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783646 15382630400 39084 33554432000 4194304 4196468 140734343017776 139950578350736 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9590] ppid=9580 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9590/stat : 9590 (java) S 9580 9583 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52783648 15382630400 39084 33554432000 4194304 4196468 140734343017776 139949756082672 139950785141378 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9591] ppid=9580 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9591/stat : 9591 (java) S 9580 9583 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783648 15382630400 39084 33554432000 4194304 4196468 140734343017776 139949361849760 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9592] ppid=9580 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9592/stat : 9592 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783648 15382630400 39084 33554432000 4194304 4196468 140734343017776 139949093414384 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9593] ppid=9580 vsize=15022100 memory=-3472574944341025154 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9593/stat : 9593 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15382630400 39084 33554432000 4194304 4196468 140734343017776 139948718906064 139950785148827 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9594] ppid=9580 vsize=15022100 memory=6944656575208382560 CPUtime=0.21 cores=0,2,4,6
/proc/9583/task/9594/stat : 9594 (java) S 9580 9583 2271 0 -1 1077944384 1012 0 0 0 21 0 0 0 20 0 15 0 52783651 15382630400 39084 33554432000 4194304 4196468 140734343017776 139949755029488 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9595] ppid=9580 vsize=15022100 memory=6655300316396806240 CPUtime=0.14 cores=0,2,4,6
/proc/9583/task/9595/stat : 9595 (java) R 9580 9583 2271 0 -1 1077944384 213 0 0 0 14 0 0 0 20 0 15 0 52783651 15382630400 39084 33554432000 4194304 4196468 140734343017776 139949753976944 139950785141378 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9596] ppid=9580 vsize=15022100 memory=170926135 CPUtime=0.48 cores=0,2,4,6
/proc/9583/task/9596/stat : 9596 (java) S 9580 9583 2271 0 -1 1077944384 2117 0 0 0 48 0 0 0 20 0 15 0 52783651 15382630400 39084 33554432000 4194304 4196468 140734343017776 139949752922192 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9597] ppid=9580 vsize=15022100 memory=8244515594115246183 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9597/stat : 9597 (java) S 9580 9583 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783651 15382630400 39084 33554432000 4194304 4196468 140734343017776 139948221000288 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9598] ppid=9580 vsize=15022100 memory=301741373374332954 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9598/stat : 9598 (java) S 9580 9583 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783651 15382630400 39084 33554432000 4194304 4196468 140734343017776 139949751872304 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 156336 KiB
[startup+1.40102 s]
/proc/loadavg: 2.37 2.12 2.08 5/220 9598
/proc/meminfo: memFree=15934192/32770624 swapFree=67108860/67108860
[pid=9583] ppid=9580 vsize=15354176 memory=174496 CPUtime=2.51 cores=0,2,4,6
/proc/9583/stat : 9583 (java) S 9580 9583 2271 0 -1 1077944320 21728 458 0 0 244 7 0 0 20 0 16 0 52783644 15722676224 43624 33554432000 4194304 4196468 140734343017776 140734343000320 139950785130231 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
/proc/9583/statm: 3838544 43624 3213 1 0 3799400 0
[pid=9583/tid=9585] ppid=9580 vsize=15354176 memory=-8562923391273570683 CPUtime=1.36 cores=0,2,4,6
/proc/9583/task/9585/stat : 9585 (java) R 9580 9583 2271 0 -1 4202560 16503 458 0 0 131 5 0 0 20 0 16 0 52783644 15722676224 43624 33554432000 4194304 4196468 140734343017776 139950756955320 139950770811421 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9586] ppid=9580 vsize=15354176 memory=3047711604724501878 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9586/stat : 9586 (java) S 9580 9583 2271 0 -1 1077944384 2 458 0 0 0 0 0 0 20 0 16 0 52783646 15722676224 43624 33554432000 4194304 4196468 140734343017776 139950789372176 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9587] ppid=9580 vsize=15354176 memory=7969307142447265299 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9587/stat : 9587 (java) S 9580 9583 2271 0 -1 1077944384 2 458 0 0 0 0 0 0 20 0 16 0 52783646 15722676224 43624 33554432000 4194304 4196468 140734343017776 139950580455824 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9588] ppid=9580 vsize=15354176 memory=-6518611492189750934 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9588/stat : 9588 (java) S 9580 9583 2271 0 -1 1077944384 2 458 0 0 0 0 0 0 20 0 16 0 52783646 15722676224 43624 33554432000 4194304 4196468 140734343017776 139950579403280 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9589] ppid=9580 vsize=15354176 memory=7974038411334692957 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9589/stat : 9589 (java) S 9580 9583 2271 0 -1 1077944384 2 458 0 0 0 0 0 0 20 0 16 0 52783646 15722676224 43624 33554432000 4194304 4196468 140734343017776 139950578350736 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9590] ppid=9580 vsize=15354176 memory=1399051139730258233 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9590/stat : 9590 (java) S 9580 9583 2271 0 -1 1077944384 5 458 0 0 0 0 0 0 20 0 16 0 52783648 15722676224 43624 33554432000 4194304 4196468 140734343017776 139949756082672 139950785141378 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9591] ppid=9580 vsize=15354176 memory=-8452003575945937085 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9591/stat : 9591 (java) S 9580 9583 2271 0 -1 1077944384 13 458 0 0 0 0 0 0 20 0 16 0 52783648 15722676224 43624 33554432000 4194304 4196468 140734343017776 139949361849760 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9592] ppid=9580 vsize=15354176 memory=-2752621353146282308 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9592/stat : 9592 (java) S 9580 9583 2271 0 -1 1077944384 1 458 0 0 0 0 0 0 20 0 16 0 52783648 15722676224 43624 33554432000 4194304 4196468 140734343017776 139949093414384 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9593] ppid=9580 vsize=15354176 memory=139816236013329 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9593/stat : 9593 (java) S 9580 9583 2271 0 -1 1077944384 3 458 0 0 0 0 0 0 20 0 16 0 52783651 15722676224 43624 33554432000 4194304 4196468 140734343017776 139948718906064 139950785148827 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9594] ppid=9580 vsize=15354176 memory=139816236015153 CPUtime=0.26 cores=0,2,4,6
/proc/9583/task/9594/stat : 9594 (java) S 9580 9583 2271 0 -1 1077944384 1060 458 0 0 26 0 0 0 20 0 16 0 52783651 15722676224 43624 33554432000 4194304 4196468 140734343017776 139949755019600 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9595] ppid=9580 vsize=15354176 memory=8027502961294923367 CPUtime=0.22 cores=0,2,4,6
/proc/9583/task/9595/stat : 9595 (java) S 9580 9583 2271 0 -1 1077944384 348 458 0 0 22 0 0 0 20 0 16 0 52783651 15722676224 43624 33554432000 4194304 4196468 140734343017776 139949753963728 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9596] ppid=9580 vsize=15354176 memory=7593441059484101992 CPUtime=0.62 cores=0,2,4,6
/proc/9583/task/9596/stat : 9596 (java) R 9580 9583 2271 0 -1 4202560 2416 458 0 0 62 0 0 0 20 0 16 0 52783651 15722676224 43624 33554432000 4194304 4196468 140734343017776 139949752921656 139950778227067 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9597] ppid=9580 vsize=15354176 memory=7522540151678521688 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9597/stat : 9597 (java) S 9580 9583 2271 0 -1 1077944384 3 458 0 0 0 0 0 0 20 0 16 0 52783651 15722676224 43624 33554432000 4194304 4196468 140734343017776 139948221000288 139950785140437 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
[pid=9583/tid=9598] ppid=9580 vsize=15354176 memory=33 CPUtime=0 cores=0,2,4,6
/proc/9583/task/9598/stat : 9598 (java) S 9580 9583 2271 0 -1 1077944384 1 458 0 0 0 0 0 0 20 0 16 0 52783651 15722676224 43624 33554432000 4194304 4196468 140734343017776 139949751872304 139950785141378 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140734343025651 140734343025929 140734343025929 140734343028687 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 15354176 KiB
Current children cumulated memory: 174496 KiB
Child status: 0
Real time (s): 1.44337
CPU time (s): 2.58712
CPU user time (s): 2.49796
CPU system time (s): 0.089158
CPU usage (%): 179.242
Max. virtual memory (cumulated for all children) (KiB): 15354176
Max. memory (cumulated for all children) (KiB): 174496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.49796
system time used= 0.089158
maximum resident set size= 182004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22404
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3157
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 9583
# total CPU time (s): 2.58712
# total CPU user time (s): 2.49796
# total CPU system time (s): 0.089158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030713 second user time and 0.064838 second system time
The end