0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Jul 26 10:43:23 CEST 2018
0.67/0.55 c PID: 7754
0.67/0.55 c IP: 172.20.3.107
0.67/0.55 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.44/0.98 c (0,0) Parsing End
1.44/0.99 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 64
1.44/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.44/0.99 c (0,0) Constraint Name Generate Begin
1.44/1.00 c (0,0) Ctr:HOME/instance-4295894-1532594602.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
1.44/1.00 c (0,0) Constraint Name Generate End
1.44/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.44/1.00 c (0,0) CSP to CSPinCNF Begin
2.85/1.41 c (0,0) translated 12 (10%) constraints
2.85/1.47 c (0,0) translated 23 (20%) constraints
3.12/1.52 c (0,0) translated 35 (30%) constraints
3.12/1.57 c (1,1) translated 46 (40%) constraints
3.43/1.61 c (1,1) translated 57 (50%) constraints
3.43/1.62 c (1,1) translated 69 (60%) constraints
3.43/1.63 c (1,1) translated 80 (70%) constraints
3.43/1.63 c (1,1) translated 92 (80%) constraints
3.43/1.63 c (1,1) translated 103 (90%) constraints
3.43/1.64 c (1,1) translated 114 (100%) constraints
3.78/1.71 c (1,1) STATISTICS1:HOME/instance-4295894-1532594602.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,120,4128,64,64,8,3,64:112;8:336;1:112,64:3640;8:4256;1:600,8:32;3:3584;2:448;1:64,3:112;2:448;1:11024,
3.78/1.71 c (1,1) ===========================================
3.78/1.71 c (1,1) Both Encoding selects:
3.78/1.71 c (1,1) Order
3.78/1.71 c (1,1) ===========================================
3.78/1.77 c (1,1) translated 413 (10%) constraints
4.16/1.86 c (1,1) translated 826 (20%) constraints
4.51/1.93 c (1,1) translated 1239 (30%) constraints
4.51/1.98 c (1,1) translated 1652 (40%) constraints
4.85/2.02 c (1,1) translated 2064 (50%) constraints
4.85/2.07 c (1,1) translated 2477 (60%) constraints
5.16/2.11 c (1,1) translated 2890 (70%) constraints
5.16/2.14 c (1,1) translated 3303 (80%) constraints
5.16/2.18 c (1,1) translated 3716 (90%) constraints
5.44/2.21 c (1,1) translated 4128 (100%) constraints
5.44/2.22 c (1,1) CSP to CSPinCNF End
5.44/2.22 c (1,1) CSP: 120 int (0 aux), 512 bool (512 aux), 11360 ctr, max domain size 64
5.44/2.22 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.44/2.22 c (1,1) CSPinCNF Propagation Begin
5.78/2.39 c (1,1) 232 values, 1860 unsatisfiable literals, and 2592 valid clauses are removed
5.78/2.39 c (1,1) CSPinCNF Propagation End
5.78/2.39 c (1,1) CSP: 208 int (88 aux), 424 bool (424 aux), 8768 ctr, max domain size 62
5.78/2.39 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.78/2.39 c (1,1) Simplify CSPinCNF Begin
6.10/2.45 c (1,1) Simplify CSPinCNF End
6.10/2.45 c (1,1) CSP: 208 int (88 aux), 1256 bool (1256 aux), 9600 ctr, max domain size 62
6.10/2.45 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.10/2.45 c (1,1) Calculate Precise Domain Begin
6.10/2.45 c (1,1) 0 values are removed by re-calculation
6.10/2.45 c (1,1) Calculate Precise Domain End
6.10/2.45 c (1,1) CSP: 208 int (88 aux), 1256 bool (1256 aux), 9600 ctr, max domain size 62
6.10/2.45 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.10/2.45 c (1,1) CSPinCNF to SatSolver Begin
6.74/2.60 c (2,2) 960 (10 %) CSP clauses are encoded (4732 SAT variables, 7407 SAT clauses)
6.74/2.62 c (2,2) 1920 (20 %) CSP clauses are encoded (4732 SAT variables, 9387 SAT clauses)
6.74/2.63 c (2,2) 2880 (30 %) CSP clauses are encoded (4732 SAT variables, 10347 SAT clauses)
6.74/2.63 c (2,2) 3840 (40 %) CSP clauses are encoded (4732 SAT variables, 11307 SAT clauses)
6.74/2.64 c (2,2) 4800 (50 %) CSP clauses are encoded (4732 SAT variables, 12267 SAT clauses)
6.74/2.65 c (2,2) 5760 (60 %) CSP clauses are encoded (4732 SAT variables, 13227 SAT clauses)
6.74/2.66 c (2,2) 6720 (70 %) CSP clauses are encoded (4732 SAT variables, 14187 SAT clauses)
6.74/2.67 c (2,2) 7680 (80 %) CSP clauses are encoded (4732 SAT variables, 15147 SAT clauses)
6.74/2.68 c (2,2) 8640 (90 %) CSP clauses are encoded (4732 SAT variables, 16107 SAT clauses)
7.05/2.71 c (2,2) 9600 (100 %) CSP clauses are encoded (4732 SAT variables, 22906 SAT clauses)
7.05/2.71 c (2,2) CSPinCNF to SatSolver End
7.05/2.71 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.05/2.78 c (2,2) STATISTICS2:HOME/instance-4295894-1532594602.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,1464,9600,64,62,6,3,64:60;49:40;36:12;8:240;7:296;6:136;1:160,62:2480;61:1220;53:1908;52:208;44:528;8:4020;7:2320;6:596;2:9520;1:160,6:28;3:2704;2:6756;1:112,3:112;2:832;1:20960,
7.05/2.78 c (2,2) SatSolver.solve Begin
7.05/2.78 c (2,2) 4732 bool, 22940 clause
7.05/2.78 c (2,2) 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-4295894-1532594602.xml-scop-7754.cnf HOME/instance-4295894-1532594602.xml-scop-7754.cnf.out
55.70/50.50 c (49,0) c This is COMiniSatPS.
55.70/50.50 c (49,0) c WARNING: for repeatability, setting FPU to use double precision
55.70/50.50 c (49,0) c ============================[ Problem Statistics ]=============================
55.70/50.50 c (49,0) c | |
55.70/50.50 c (49,0) c | Number of variables: 4732 |
55.70/50.50 c (49,0) c | Number of clauses: 22940 |
55.70/50.50 c (49,0) c | Parse time: 0.01 s |
55.70/50.50 c (49,0) c | Eliminated clauses: 0.08 Mb |
55.70/50.50 c (49,0) c Reduced to 2627 vars, 17137 cls (grow=0)
55.70/50.50 c (49,0) c No iterative elimination performed. (vars=2627, c/v ratio=6.5)
55.70/50.50 c (49,0) c | Simplification time: 0.02 s |
55.70/50.50 c (49,0) c | |
55.70/50.50 c (49,0) c ============================[ Search Statistics ]==============================
55.70/50.50 c (49,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
55.70/50.50 c (49,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
55.70/50.50 c (49,0) c ===============================================================================
55.70/50.50 c (49,0) c ===============================================================================
55.70/50.50 c (49,0) c restarts : 38
55.70/50.50 c (49,0) c conflicts : 211610 (4437 /sec)
55.70/50.50 c (49,0) c decisions : 221616 (0.00 % random) (4647 /sec)
55.70/50.50 c (49,0) c propagations : 126203256 (2646239 /sec)
55.70/50.50 c (49,0) c conflict literals : 6184300 (39.11 % deleted)
55.70/50.50 c (49,0) c CPU time : 47.6915 s
55.70/50.50 c (49,0)
55.70/50.50 c (49,0) s UNSATISFIABLE
55.70/50.50 c (49,2) SatSolver.solve End
55.70/50.50 c (49,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
55.70/50.50 c (49,2) Show results Begin
55.70/50.50 s UNSATISFIABLE
55.70/50.50 c (49,2) Show results End
55.70/50.50 c (49,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
55.70/50.50 c (49,2) 0,0,1,1,1,1,2,49,49,STOP-AFTER(ALL)
55.70/50.50 c END-Prog: Thu Jul 26 10:44:13 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 (4905 MiB free)
memory of node 1: 16384 MiB (7804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295894-1532594602/watcher-4295894-1532594602 -o /tmp/evaluation-result-4295894-1532594602/solver-4295894-1532594602 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532594602-7725 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295894-1532594602.xml
running on 4 cores: 1,3,5,7
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
solver pid=7754, runsolver pid=7747
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 0.82 0.77 0.85 4/216 7784
/proc/meminfo: memFree=12891896/32770624 swapFree=67108860/67108860
[pid=7754] ppid=7747 vsize=15011656 memory=75012 CPUtime=0.11 cores=1,3,5,7
/proc/7754/stat : 7754 (java) S 7747 7754 6157 0 -1 1077944320 7010 0 0 0 10 1 0 0 20 0 15 0 77023427 15371935744 18753 33554432000 4194304 4196468 140730262097344 140730262079888 140467508322039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
/proc/7754/statm: 3752914 18753 2757 1 0 3715374 0
[pid=7754/tid=7758] ppid=7747 vsize=15011656 memory=-3103912127665269909 CPUtime=0.09 cores=1,3,5,7
/proc/7754/task/7758/stat : 7758 (java) R 7747 7754 6157 0 -1 4202560 5347 0 0 0 8 1 0 0 20 0 15 0 77023428 15371935744 19017 33554432000 4194304 4196468 140730262097344 140467480133288 140467488597867 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7763] ppid=7747 vsize=15011656 memory=5793854918072883641 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7763/stat : 7763 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 19017 33554432000 4194304 4196468 140730262097344 140467512564624 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7764] ppid=7747 vsize=15011656 memory=139667062990464 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7764/stat : 7764 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 19017 33554432000 4194304 4196468 140730262097344 140467311340304 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7765] ppid=7747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7765/stat : 7765 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 19017 33554432000 4194304 4196468 140730262097344 140467310288016 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7766] ppid=7747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7766/stat : 7766 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 19017 33554432000 4194304 4196468 140730262097344 140467309235216 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7768] ppid=7747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7768/stat : 7768 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023431 15371935744 19017 33554432000 4194304 4196468 140730262097344 140466915813488 140467508333186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7770] ppid=7747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7770/stat : 7770 (java) S 7747 7754 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77023431 15371935744 19083 33554432000 4194304 4196468 140730262097344 140466200765216 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7772] ppid=7747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7772/stat : 7772 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023431 15371935744 19083 33554432000 4194304 4196468 140730262097344 140465965884528 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7773] ppid=7747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7773/stat : 7773 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 19083 33554432000 4194304 4196468 140730262097344 140465591375952 140467508340635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7775] ppid=7747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7775/stat : 7775 (java) S 7747 7754 6157 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 19083 33554432000 4194304 4196468 140730262097344 140466914761328 140467508333186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7776] ppid=7747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7776/stat : 7776 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 19083 33554432000 4194304 4196468 140730262097344 140466913708528 140467508333186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7778] ppid=7747 vsize=15011656 memory=139667062990464 CPUtime=0.01 cores=1,3,5,7
/proc/7754/task/7778/stat : 7778 (java) S 7747 7754 6157 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 77023434 15371935744 19083 33554432000 4194304 4196468 140730262097344 140466912656240 140467508333186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7781] ppid=7747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7781/stat : 7781 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 19083 33554432000 4194304 4196468 140730262097344 140465093471200 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7783] ppid=7747 vsize=15011656 memory=139667062990464 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7783/stat : 7783 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 19083 33554432000 4194304 4196468 140730262097344 140466911603120 140467508333186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 75012 KiB
[startup+0.210596 s]*
/proc/loadavg: 0.82 0.77 0.85 4/216 7784
/proc/meminfo: memFree=12864488/32770624 swapFree=67108860/67108860
[pid=7754] ppid=7747 vsize=15011656 memory=87856 CPUtime=0.25 cores=1,3,5,7
/proc/7754/stat : 7754 (java) S 7747 7754 6157 0 -1 1077944320 10363 0 0 0 23 2 0 0 20 0 15 0 77023427 15371935744 21899 33554432000 4194304 4196468 140730262097344 140730262079888 140467508322039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
/proc/7754/statm: 3752914 21899 2878 1 0 3715374 0
[pid=7754/tid=7758] ppid=7747 vsize=15011656 memory=7377246124687064083 CPUtime=0.2 cores=1,3,5,7
/proc/7754/task/7758/stat : 7758 (java) R 7747 7754 6157 0 -1 4202560 8272 0 0 0 18 2 0 0 20 0 15 0 77023428 15371935744 21964 33554432000 4194304 4196468 140730262097344 140467480150880 140467492402556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7763] ppid=7747 vsize=15011656 memory=4211973393267781002 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7763/stat : 7763 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 21964 33554432000 4194304 4196468 140730262097344 140467512564624 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7764] ppid=7747 vsize=15011656 memory=139667062990464 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7764/stat : 7764 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 21964 33554432000 4194304 4196468 140730262097344 140467311340304 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7765] ppid=7747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7765/stat : 7765 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 21964 33554432000 4194304 4196468 140730262097344 140467310288016 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7766] ppid=7747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7766/stat : 7766 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 21964 33554432000 4194304 4196468 140730262097344 140467309235216 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7768] ppid=7747 vsize=15011656 memory=139667062990464 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7768/stat : 7768 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023431 15371935744 21964 33554432000 4194304 4196468 140730262097344 140466915813488 140467508333186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7770] ppid=7747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7770/stat : 7770 (java) S 7747 7754 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77023431 15371935744 21964 33554432000 4194304 4196468 140730262097344 140466200765216 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7772] ppid=7747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7772/stat : 7772 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023431 15371935744 21964 33554432000 4194304 4196468 140730262097344 140465965884528 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7773] ppid=7747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7773/stat : 7773 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 21964 33554432000 4194304 4196468 140730262097344 140465591375952 140467508340635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7775] ppid=7747 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7754/task/7775/stat : 7775 (java) R 7747 7754 6157 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 77023434 15371935744 21964 33554432000 4194304 4196468 140730262097344 140466914761328 140467508333186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7776] ppid=7747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7776/stat : 7776 (java) R 7747 7754 6157 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 21964 33554432000 4194304 4196468 140730262097344 140466913708528 140467487485200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7778] ppid=7747 vsize=15011656 memory=139667062990464 CPUtime=0.03 cores=1,3,5,7
/proc/7754/task/7778/stat : 7778 (java) S 7747 7754 6157 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 15 0 77023434 15371935744 21964 33554432000 4194304 4196468 140730262097344 140466912656240 140467508333186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7781] ppid=7747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7781/stat : 7781 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 21964 33554432000 4194304 4196468 140730262097344 140465093471200 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7783] ppid=7747 vsize=15011656 memory=139667062990464 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7783/stat : 7783 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 21964 33554432000 4194304 4196468 140730262097344 140466911603120 140467508333186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87856 KiB
[startup+0.310574 s]*
/proc/loadavg: 0.82 0.77 0.85 5/216 7784
/proc/meminfo: memFree=12856656/32770624 swapFree=67108860/67108860
[pid=7754] ppid=7747 vsize=15011656 memory=91756 CPUtime=0.43 cores=1,3,5,7
/proc/7754/stat : 7754 (java) S 7747 7754 6157 0 -1 1077944320 10981 0 0 0 40 3 0 0 20 0 15 0 77023427 15371935744 22939 33554432000 4194304 4196468 140730262097344 140730262079888 140467508322039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
/proc/7754/statm: 3752914 22939 3020 1 0 3715374 0
[pid=7754/tid=7758] ppid=7747 vsize=15011656 memory=7377246124687064083 CPUtime=0.29 cores=1,3,5,7
/proc/7754/task/7758/stat : 7758 (java) R 7747 7754 6157 0 -1 4202560 8705 0 0 0 27 2 0 0 20 0 15 0 77023428 15371935744 22939 33554432000 4194304 4196468 140730262097344 140467480126192 140467489885520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7763] ppid=7747 vsize=15011656 memory=4211973393267781002 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7763/stat : 7763 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 22939 33554432000 4194304 4196468 140730262097344 140467512564624 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7764] ppid=7747 vsize=15011656 memory=139667062992829 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7764/stat : 7764 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 22939 33554432000 4194304 4196468 140730262097344 140467311340304 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7765] ppid=7747 vsize=15011656 memory=139666900763165 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7765/stat : 7765 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 22939 33554432000 4194304 4196468 140730262097344 140467310288016 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7766] ppid=7747 vsize=15011656 memory=139666900766159 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7766/stat : 7766 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15371935744 22939 33554432000 4194304 4196468 140730262097344 140467309235216 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7768] ppid=7747 vsize=15011656 memory=139667062996648 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7768/stat : 7768 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023431 15371935744 22939 33554432000 4194304 4196468 140730262097344 140466915813488 140467508333186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7770] ppid=7747 vsize=15011656 memory=139666900775375 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7770/stat : 7770 (java) S 7747 7754 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77023431 15371935744 22939 33554432000 4194304 4196468 140730262097344 140466200765216 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7772] ppid=7747 vsize=15011656 memory=279333801541520 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7772/stat : 7772 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023431 15371935744 22939 33554432000 4194304 4196468 140730262097344 140465965884528 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7773] ppid=7747 vsize=15011656 memory=279333801539216 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7773/stat : 7773 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 22939 33554432000 4194304 4196468 140730262097344 140465591375952 140467508340635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7775] ppid=7747 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7754/task/7775/stat : 7775 (java) S 7747 7754 6157 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 15 0 77023434 15371935744 22939 33554432000 4194304 4196468 140730262097344 140466914761328 140467508333186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7776] ppid=7747 vsize=15011656 memory=2208 CPUtime=0.02 cores=1,3,5,7
/proc/7754/task/7776/stat : 7776 (java) R 7747 7754 6157 0 -1 4202560 79 0 0 0 2 0 0 0 20 0 15 0 77023434 15371935744 22939 33554432000 4194304 4196468 140730262097344 140466913708528 140467485956688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7778] ppid=7747 vsize=15011656 memory=139667062990464 CPUtime=0.07 cores=1,3,5,7
/proc/7754/task/7778/stat : 7778 (java) S 7747 7754 6157 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 15 0 77023434 15371935744 22939 33554432000 4194304 4196468 140730262097344 140466912656240 140467508333186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7781] ppid=7747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7781/stat : 7781 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 22939 33554432000 4194304 4196468 140730262097344 140465093471200 140467508332245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7783] ppid=7747 vsize=15011656 memory=139667062990464 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7783/stat : 7783 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023434 15371935744 22939 33554432000 4194304 4196468 140730262097344 140466911603120 140467508333186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91756 KiB
[startup+0.700788 s]
/proc/loadavg: 0.82 0.77 0.85 4/216 7784
/proc/meminfo: memFree=12807108/32770624 swapFree=67108860/67108860
[pid=7754] ppid=7747 vsize=15020052 memory=131968 CPUtime=1.02 cores=1,3,5,7
/proc/7754/stat : 7754 (java) S 7747 7754 6157 0 -1 1077944320 18216 0 0 0 97 5 0 0 20 0 15 0 77023427 15380533248 32992 33554432000 4194304 4196468 140730262097344 140730262079888 140467508322039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
/proc/7754/statm: 3755013 32992 3155 1 0 3716398 0
[pid=7754/tid=7758] ppid=7747 vsize=15020052 memory=1232 CPUtime=0.67 cores=1,3,5,7
/proc/7754/task/7758/stat : 7758 (java) R 7747 7754 6157 0 -1 4202560 15468 0 0 0 63 4 0 0 20 0 15 0 77023428 15380533248 32992 33554432000 4194304 4196468 140730262097344 140467480143424 140467508333974 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7763] ppid=7747 vsize=15020052 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7763/stat : 7763 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15380533248 32992 33554432000 4194304 4196468 140730262097344 140467512564624 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7764] ppid=7747 vsize=15020052 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7764/stat : 7764 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15380533248 32992 33554432000 4194304 4196468 140730262097344 140467311340304 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7765] ppid=7747 vsize=15020052 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7765/stat : 7765 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15380533248 32992 33554432000 4194304 4196468 140730262097344 140467310288016 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7766] ppid=7747 vsize=15020052 memory=7811323491934034025 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7766/stat : 7766 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15380533248 32992 33554432000 4194304 4196468 140730262097344 140467309235216 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7768] ppid=7747 vsize=15020052 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7768/stat : 7768 (java) S 7747 7754 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77023431 15380533248 32992 33554432000 4194304 4196468 140730262097344 140466915813488 140467508333186 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7770] ppid=7747 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7770/stat : 7770 (java) S 7747 7754 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77023431 15380533248 32992 33554432000 4194304 4196468 140730262097344 140466200765216 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7772] ppid=7747 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7772/stat : 7772 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023431 15380533248 32992 33554432000 4194304 4196468 140730262097344 140465965884528 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7773] ppid=7747 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7773/stat : 7773 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023434 15380533248 32992 33554432000 4194304 4196468 140730262097344 140465591375952 140467508340635 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7775] ppid=7747 vsize=15020052 memory=70 CPUtime=0.06 cores=1,3,5,7
/proc/7754/task/7775/stat : 7775 (java) R 7747 7754 6157 0 -1 4202560 601 0 0 0 6 0 0 0 20 0 15 0 77023434 15380533248 32992 33554432000 4194304 4196468 140730262097344 140466914761328 140467501307081 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7776] ppid=7747 vsize=15020052 memory=3 CPUtime=0.09 cores=1,3,5,7
/proc/7754/task/7776/stat : 7776 (java) R 7747 7754 6157 0 -1 1077944384 328 0 0 0 9 0 0 0 20 0 15 0 77023434 15380533248 32992 33554432000 4194304 4196468 140730262097344 140466913708528 140467508333186 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7778] ppid=7747 vsize=15020052 memory=217 CPUtime=0.16 cores=1,3,5,7
/proc/7754/task/7778/stat : 7778 (java) R 7747 7754 6157 0 -1 4202560 478 0 0 0 16 0 0 0 20 0 15 0 77023434 15380533248 32992 33554432000 4194304 4196468 140730262097344 140466912656240 140467501418796 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7781] ppid=7747 vsize=15020052 memory=279333801725424 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7781/stat : 7781 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023434 15380533248 32992 33554432000 4194304 4196468 140730262097344 140465093471200 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7783] ppid=7747 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7783/stat : 7783 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023434 15380533248 32992 33554432000 4194304 4196468 140730262097344 140466911603120 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 131968 KiB
[startup+1.50166 s]
/proc/loadavg: 0.82 0.77 0.85 6/216 7784
/proc/meminfo: memFree=12744636/32770624 swapFree=67108860/67108860
[pid=7754] ppid=7747 vsize=15022100 memory=191992 CPUtime=3.12 cores=1,3,5,7
/proc/7754/stat : 7754 (java) S 7747 7754 6157 0 -1 1077944320 22477 0 0 0 305 7 0 0 20 0 15 0 77023427 15382630400 47998 33554432000 4194304 4196468 140730262097344 140730262079888 140467508322039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
/proc/7754/statm: 3755525 47998 3203 1 0 3716910 0
[pid=7754/tid=7758] ppid=7747 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/7754/task/7758/stat : 7758 (java) R 7747 7754 6157 0 -1 4202560 16586 0 0 0 142 5 0 0 20 0 15 0 77023428 15382630400 47998 33554432000 4194304 4196468 140730262097344 140467480148704 140466996877454 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7763] ppid=7747 vsize=15022100 memory=-6224114675947544361 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7763/stat : 7763 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15382630400 47998 33554432000 4194304 4196468 140730262097344 140467512564624 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7764] ppid=7747 vsize=15022100 memory=-6940709513066604646 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7764/stat : 7764 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15382630400 47998 33554432000 4194304 4196468 140730262097344 140467311340304 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7765] ppid=7747 vsize=15022100 memory=-6305716117773509760 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7765/stat : 7765 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023429 15382630400 47998 33554432000 4194304 4196468 140730262097344 140467310288016 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7766] ppid=7747 vsize=15022100 memory=-6305718316880584064 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7766/stat : 7766 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023429 15382630400 47998 33554432000 4194304 4196468 140730262097344 140467309235216 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7768] ppid=7747 vsize=15022100 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7768/stat : 7768 (java) S 7747 7754 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77023431 15382630400 47998 33554432000 4194304 4196468 140730262097344 140466915813488 140467508333186 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
################
# More data... #
################
/proc/7754/task/7783/stat : 7783 (java) S 7747 7754 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466911603120 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7786] ppid=7747 vsize=15683912 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7786/stat : 7786 (java) S 7747 7754 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77023707 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466905891776 140467508346649 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7788] ppid=7747 vsize=15683912 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7788/stat : 7788 (java) S 7747 7754 6157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77023708 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464556588464 140467508343965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7789] ppid=7747 vsize=15683912 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7789/stat : 7789 (java) S 7747 7754 6157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 77023708 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464288153392 140467508343965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7790] ppid=7747 vsize=15683912 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7790/stat : 7790 (java) S 7747 7754 6157 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 77023710 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464825032096 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
Current children cumulated CPU time: 54.8 s
Current children cumulated vsize: 15726592 KiB
Current children cumulated memory: 517452 KiB
[startup+50.0008 s]*
/proc/loadavg: 1.45 0.95 0.91 3/226 7796
/proc/meminfo: memFree=9336832/32770624 swapFree=67108860/67108860
[pid=7754] ppid=7747 vsize=15683912 memory=493328 CPUtime=8.01 cores=1,3,5,7
/proc/7754/stat : 7754 (java) S 7747 7754 6157 0 -1 1077944320 27710 0 0 0 788 13 0 0 20 0 19 0 77023427 16060325888 123332 33554432000 4194304 4196468 140730262097344 140730262079888 140467508322039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
/proc/7754/statm: 3920978 123332 3228 1 0 3881834 0
[pid=7785] ppid=7754 vsize=42680 memory=24124 CPUtime=47.2 cores=1,3,5,7
/proc/7785/stat : 7785 (minisat_release) R 7754 7754 6157 0 -1 4202496 15496 0 0 0 4719 1 0 0 20 0 1 0 77023707 43704320 6031 33554432000 4194304 4308513 140730444863232 140730444860136 4275920 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 15269888 140730444866225 140730444866734 140730444866734 140730444869573 0
/proc/7785/statm: 10670 6031 353 28 0 6910 0
[pid=7754/tid=7758] ppid=7747 vsize=15683912 memory=-5059952977386882957 CPUtime=2.79 cores=1,3,5,7
/proc/7754/task/7758/stat : 7758 (java) S 7747 7754 6157 0 -1 1077944384 17533 0 0 0 270 9 0 0 20 0 19 0 77023428 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467480161280 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7763] ppid=7747 vsize=15683912 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7763/stat : 7763 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467512564624 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7764] ppid=7747 vsize=15683912 memory=13044 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7764/stat : 7764 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467311340304 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7765] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7765/stat : 7765 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467310288016 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7766] ppid=7747 vsize=15683912 memory=301741382048153914 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7766/stat : 7766 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467309235216 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7768] ppid=7747 vsize=15683912 memory=15258134151170443 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7768/stat : 7768 (java) S 7747 7754 6157 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 77023431 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466915813488 140467508333186 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7770] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7770/stat : 7770 (java) S 7747 7754 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 77023431 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466200765216 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7772] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7772/stat : 7772 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77023431 16060325888 123332 33554432000 4194304 4196468 140730262097344 140465965884528 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7773] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7773/stat : 7773 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140465591375952 140467508340635 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7775] ppid=7747 vsize=15683912 memory=0 CPUtime=2.04 cores=1,3,5,7
/proc/7754/task/7775/stat : 7775 (java) S 7747 7754 6157 0 -1 1077944384 2517 0 0 0 203 1 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466914761328 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7776] ppid=7747 vsize=15683912 memory=0 CPUtime=2.03 cores=1,3,5,7
/proc/7754/task/7776/stat : 7776 (java) S 7747 7754 6157 0 -1 1077944384 2615 0 0 0 203 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466913708528 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7778] ppid=7747 vsize=15683912 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/7754/task/7778/stat : 7778 (java) S 7747 7754 6157 0 -1 1077944384 3646 0 0 0 109 1 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466912656240 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7781] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7781/stat : 7781 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140465093471200 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7783] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7783/stat : 7783 (java) S 7747 7754 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466911603120 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7786] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7786/stat : 7786 (java) S 7747 7754 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77023707 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466905891776 140467508346649 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7788] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7788/stat : 7788 (java) S 7747 7754 6157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77023708 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464556588464 140467508343965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7789] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7789/stat : 7789 (java) S 7747 7754 6157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 77023708 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464288153392 140467508343965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7790] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7790/stat : 7790 (java) S 7747 7754 6157 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 77023710 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464825032096 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
Current children cumulated CPU time: 55.21 s
Current children cumulated vsize: 15726592 KiB
Current children cumulated memory: 517452 KiB
[startup+50.4008 s]
/proc/loadavg: 1.45 0.95 0.91 3/226 7796
/proc/meminfo: memFree=9336832/32770624 swapFree=67108860/67108860
[pid=7754] ppid=7747 vsize=15683912 memory=493328 CPUtime=8.01 cores=1,3,5,7
/proc/7754/stat : 7754 (java) S 7747 7754 6157 0 -1 1077944320 27710 0 0 0 788 13 0 0 20 0 19 0 77023427 16060325888 123332 33554432000 4194304 4196468 140730262097344 140730262079888 140467508322039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
/proc/7754/statm: 3920978 123332 3228 1 0 3881834 0
[pid=7785] ppid=7754 vsize=42680 memory=24124 CPUtime=47.59 cores=1,3,5,7
/proc/7785/stat : 7785 (minisat_release) R 7754 7754 6157 0 -1 4202496 15497 0 0 0 4758 1 0 0 20 0 1 0 77023707 43704320 6031 33554432000 4194304 4308513 140730444863232 140730444860136 4276414 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 15269888 140730444866225 140730444866734 140730444866734 140730444869573 0
/proc/7785/statm: 10670 6031 353 28 0 6910 0
[pid=7754/tid=7758] ppid=7747 vsize=15683912 memory=3093288 CPUtime=2.79 cores=1,3,5,7
/proc/7754/task/7758/stat : 7758 (java) S 7747 7754 6157 0 -1 1077944384 17533 0 0 0 270 9 0 0 20 0 19 0 77023428 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467480161280 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7763] ppid=7747 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7763/stat : 7763 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467512564624 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7764] ppid=7747 vsize=15683912 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7764/stat : 7764 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467311340304 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7765] ppid=7747 vsize=15683912 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7765/stat : 7765 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467310288016 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7766] ppid=7747 vsize=15683912 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7766/stat : 7766 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467309235216 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7768] ppid=7747 vsize=15683912 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7768/stat : 7768 (java) S 7747 7754 6157 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 77023431 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466915813488 140467508333186 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7770] ppid=7747 vsize=15683912 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7770/stat : 7770 (java) S 7747 7754 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 77023431 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466200765216 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7772] ppid=7747 vsize=15683912 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7772/stat : 7772 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77023431 16060325888 123332 33554432000 4194304 4196468 140730262097344 140465965884528 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7773] ppid=7747 vsize=15683912 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7773/stat : 7773 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140465591375952 140467508340635 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7775] ppid=7747 vsize=15683912 memory=1200 CPUtime=2.04 cores=1,3,5,7
/proc/7754/task/7775/stat : 7775 (java) S 7747 7754 6157 0 -1 1077944384 2517 0 0 0 203 1 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466914761328 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7776] ppid=7747 vsize=15683912 memory=15876 CPUtime=2.03 cores=1,3,5,7
/proc/7754/task/7776/stat : 7776 (java) S 7747 7754 6157 0 -1 1077944384 2615 0 0 0 203 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466913708528 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7778] ppid=7747 vsize=15683912 memory=493328 CPUtime=1.1 cores=1,3,5,7
/proc/7754/task/7778/stat : 7778 (java) S 7747 7754 6157 0 -1 1077944384 3646 0 0 0 109 1 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466912656240 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7781] ppid=7747 vsize=15683912 memory=24124 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7781/stat : 7781 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140465093471200 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7783] ppid=7747 vsize=15683912 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7783/stat : 7783 (java) S 7747 7754 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466911603120 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7786] ppid=7747 vsize=15683912 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7786/stat : 7786 (java) S 7747 7754 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77023707 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466905891776 140467508346649 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7788] ppid=7747 vsize=15683912 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7788/stat : 7788 (java) S 7747 7754 6157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77023708 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464556588464 140467508343965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7789] ppid=7747 vsize=15683912 memory=13044 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7789/stat : 7789 (java) S 7747 7754 6157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 77023708 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464288153392 140467508343965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7790] ppid=7747 vsize=15683912 memory=792 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7790/stat : 7790 (java) S 7747 7754 6157 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 77023710 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464825032096 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
Current children cumulated CPU time: 55.6 s
Current children cumulated vsize: 15726592 KiB
Current children cumulated memory: 517452 KiB
[startup+50.5008 s]
/proc/loadavg: 1.45 0.95 0.91 3/226 7796
/proc/meminfo: memFree=9336832/32770624 swapFree=67108860/67108860
[pid=7754] ppid=7747 vsize=15683912 memory=493328 CPUtime=8.01 cores=1,3,5,7
/proc/7754/stat : 7754 (java) S 7747 7754 6157 0 -1 1077944320 27710 0 0 0 788 13 0 0 20 0 19 0 77023427 16060325888 123332 33554432000 4194304 4196468 140730262097344 140730262079888 140467508322039 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
/proc/7754/statm: 3920978 123332 3228 1 0 3881834 0
[pid=7785] ppid=7754 vsize=42680 memory=24124 CPUtime=47.69 cores=1,3,5,7
/proc/7785/stat : 7785 (minisat_release) R 7754 7754 6157 0 -1 4202496 15497 0 0 0 4768 1 0 0 20 0 1 0 77023707 43704320 6031 33554432000 4194304 4308513 140730444863232 140730444860136 4250450 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 15269888 140730444866225 140730444866734 140730444866734 140730444869573 0
/proc/7785/statm: 10670 6031 353 28 0 6910 0
[pid=7754/tid=7758] ppid=7747 vsize=15683912 memory=493328 CPUtime=2.79 cores=1,3,5,7
/proc/7754/task/7758/stat : 7758 (java) S 7747 7754 6157 0 -1 1077944384 17533 0 0 0 270 9 0 0 20 0 19 0 77023428 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467480161280 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7763] ppid=7747 vsize=15683912 memory=493328 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7763/stat : 7763 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467512564624 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7764] ppid=7747 vsize=15683912 memory=18644 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7764/stat : 7764 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467311340304 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7765] ppid=7747 vsize=15683912 memory=55 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7765/stat : 7765 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467310288016 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7766] ppid=7747 vsize=15683912 memory=-7001736328920018669 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7766/stat : 7766 (java) S 7747 7754 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77023429 16060325888 123332 33554432000 4194304 4196468 140730262097344 140467309235216 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7768] ppid=7747 vsize=15683912 memory=493328 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7768/stat : 7768 (java) S 7747 7754 6157 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 77023431 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466915813488 140467508333186 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7770] ppid=7747 vsize=15683912 memory=24124 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7770/stat : 7770 (java) S 7747 7754 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 77023431 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466200765216 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7772] ppid=7747 vsize=15683912 memory=17164 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7772/stat : 7772 (java) S 7747 7754 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77023431 16060325888 123332 33554432000 4194304 4196468 140730262097344 140465965884528 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7773] ppid=7747 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7773/stat : 7773 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140465591375952 140467508340635 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7775] ppid=7747 vsize=15683912 memory=493328 CPUtime=2.04 cores=1,3,5,7
/proc/7754/task/7775/stat : 7775 (java) S 7747 7754 6157 0 -1 1077944384 2517 0 0 0 203 1 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466914761328 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7776] ppid=7747 vsize=15683912 memory=24124 CPUtime=2.03 cores=1,3,5,7
/proc/7754/task/7776/stat : 7776 (java) S 7747 7754 6157 0 -1 1077944384 2615 0 0 0 203 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466913708528 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7778] ppid=7747 vsize=15683912 memory=24104 CPUtime=1.1 cores=1,3,5,7
/proc/7754/task/7778/stat : 7778 (java) S 7747 7754 6157 0 -1 1077944384 3646 0 0 0 109 1 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466912656240 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7781] ppid=7747 vsize=15683912 memory=493328 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7781/stat : 7781 (java) S 7747 7754 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140465093471200 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7783] ppid=7747 vsize=15683912 memory=24124 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7783/stat : 7783 (java) S 7747 7754 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 77023434 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466911603120 140467508333186 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7786] ppid=7747 vsize=15683912 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7786/stat : 7786 (java) S 7747 7754 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77023707 16060325888 123332 33554432000 4194304 4196468 140730262097344 140466905891776 140467508346649 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7788] ppid=7747 vsize=15683912 memory=493328 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7788/stat : 7788 (java) S 7747 7754 6157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77023708 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464556588464 140467508343965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7789] ppid=7747 vsize=15683912 memory=493328 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7789/stat : 7789 (java) S 7747 7754 6157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 77023708 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464288153392 140467508343965 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
[pid=7754/tid=7790] ppid=7747 vsize=15683912 memory=24124 CPUtime=0 cores=1,3,5,7
/proc/7754/task/7790/stat : 7790 (java) S 7747 7754 6157 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 77023710 16060325888 123332 33554432000 4194304 4196468 140730262097344 140464825032096 140467508332245 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140730262098932 140730262099209 140730262099209 140730262101967 0
Current children cumulated CPU time: 55.7 s
Current children cumulated vsize: 15726592 KiB
Current children cumulated memory: 517452 KiB
Child status: 0
Real time (s): 50.5174
CPU time (s): 55.7452
CPU user time (s): 55.5764
CPU system time (s): 0.168783
CPU usage (%): 110.348
Max. virtual memory (cumulated for all children) (KiB): 15726592
Max. memory (cumulated for all children) (KiB): 517452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.5764
system time used= 0.168783
maximum resident set size= 493948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43246
page faults= 0
swaps= 0
block input operations= 840
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4858
involuntary context switches= 71
# summary of solver processes directly reported to runsolver:
# pid: 7754
# total CPU time (s): 55.7452
# total CPU user time (s): 55.5764
# total CPU system time (s): 0.168783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.341968 second user time and 0.526741 second system time
The end