0.55/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 17:28:31 CEST 2018
0.67/0.54 c PID: 17328
0.67/0.54 c IP: 172.20.3.102
0.67/0.54 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
5.17/2.03 c (1,1) Parsing End
5.17/2.04 c (1,1) CSP: 175 int (0 aux), 0 bool (0 aux), 6309 ctr, max domain size 5
5.17/2.04 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.17/2.04 c (1,1) Constraint Name Generate Begin
5.17/2.08 c (1,1) Ctr:HOME/instance-4294450-1532359711.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
5.17/2.08 c (1,1) Constraint Name Generate End
5.17/2.08 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.17/2.08 c (1,1) CSP to CSPinCNF Begin
6.04/2.33 c (1,1) translated 631 (10%) constraints
6.04/2.39 c (1,1) translated 1262 (20%) constraints
6.32/2.43 c (1,1) translated 1893 (30%) constraints
6.32/2.47 c (1,1) translated 2524 (40%) constraints
6.62/2.50 c (1,1) translated 3155 (50%) constraints
6.62/2.53 c (2,1) translated 3786 (60%) constraints
6.62/2.56 c (2,2) translated 4417 (70%) constraints
6.62/2.58 c (2,2) translated 5048 (80%) constraints
6.90/2.61 c (2,2) translated 5679 (90%) constraints
7.99/2.98 c (2,2) translated 6309 (100%) constraints
9.21/3.40 c (2,2) STATISTICS1:HOME/instance-4294450-1532359711.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1308,8686,16777216,5,4,25,16777216:70;5:11309;1:1897,5:24167;2:3399;1:4020,4:6558;3:905;2:1133;1:90,25:70;2:13206;1:5199,
9.21/3.40 c (2,2) ===========================================
9.21/3.40 c (2,2) Both Encoding selects:
9.21/3.40 c (2,2) Order
9.21/3.40 c (2,2) ===========================================
9.53/3.48 c (2,2) translated 869 (10%) constraints
9.86/3.55 c (3,3) translated 1738 (20%) constraints
10.16/3.62 c (3,3) translated 2606 (30%) constraints
10.16/3.68 c (3,3) translated 3475 (40%) constraints
10.46/3.73 c (3,3) translated 4343 (50%) constraints
10.46/3.78 c (3,3) translated 5212 (60%) constraints
10.76/3.83 c (3,3) translated 6081 (70%) constraints
11.11/3.94 c (3,3) translated 6949 (80%) constraints
11.47/4.03 c (3,3) translated 7818 (90%) constraints
11.47/4.08 c (3,3) translated 8686 (100%) constraints
11.47/4.09 c (3,3) CSP to CSPinCNF End
11.47/4.09 c (3,3) CSP: 280 int (105 aux), 2008 bool (2008 aux), 10706 ctr, max domain size 6
11.47/4.09 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.47/4.09 c (3,3) CSPinCNF Propagation Begin
12.08/4.29 c (3,3) 345 values, 3018 unsatisfiable literals, and 2443 valid clauses are removed
12.08/4.29 c (3,3) CSPinCNF Propagation End
12.08/4.29 c (3,3) CSP: 550 int (375 aux), 1738 bool (1738 aux), 8263 ctr, max domain size 6
12.08/4.29 c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.08/4.29 c (3,3) Simplify CSPinCNF Begin
13.02/4.52 c (3,3) Simplify CSPinCNF End
13.02/4.52 c (3,3) CSP: 550 int (375 aux), 5639 bool (5639 aux), 12164 ctr, max domain size 6
13.02/4.52 c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.02/4.52 c (3,3) Calculate Precise Domain Begin
13.02/4.57 c (4,4) 0 values are removed by re-calculation
13.02/4.57 c (4,4) Calculate Precise Domain End
13.02/4.57 c (4,4) CSP: 550 int (375 aux), 5639 bool (5639 aux), 12164 ctr, max domain size 6
13.02/4.57 c (4,4) Heap : 957 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.02/4.57 c (4,4) CSPinCNF to SatSolver Begin
13.66/4.73 c (4,4) 1217 (10 %) CSP clauses are encoded (6689 SAT variables, 5402 SAT clauses)
13.66/4.78 c (4,4) 2433 (20 %) CSP clauses are encoded (6689 SAT variables, 10234 SAT clauses)
13.98/4.83 c (4,4) 3650 (30 %) CSP clauses are encoded (6689 SAT variables, 14507 SAT clauses)
13.98/4.87 c (4,4) 4866 (40 %) CSP clauses are encoded (6689 SAT variables, 18755 SAT clauses)
13.98/4.90 c (4,4) 6082 (50 %) CSP clauses are encoded (6689 SAT variables, 21291 SAT clauses)
14.27/4.91 c (4,4) 7299 (60 %) CSP clauses are encoded (6689 SAT variables, 22508 SAT clauses)
14.60/5.02 c (4,4) 8515 (70 %) CSP clauses are encoded (6689 SAT variables, 31579 SAT clauses)
15.18/5.20 c (4,4) 9732 (80 %) CSP clauses are encoded (6689 SAT variables, 48506 SAT clauses)
15.47/5.38 c (4,4) 10948 (90 %) CSP clauses are encoded (6689 SAT variables, 73287 SAT clauses)
15.47/5.39 c (4,4) 12164 (100 %) CSP clauses are encoded (6689 SAT variables, 76267 SAT clauses)
15.47/5.39 c (4,4) CSPinCNF to SatSolver End
15.47/5.39 c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.00/5.50 c (4,4) STATISTICS2:HOME/instance-4294450-1532359711.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,6189,12164,512,6,4,10,512:60;256:120;36:60;5:4109;1:59,6:360;5:10677;2:28698;1:59,4:4730;3:483;2:6686;1:265,10:60;9:120;3:60;2:4168;1:29598,
16.00/5.50 c (4,4) SatSolver.solve Begin
16.00/5.50 c (4,4) 6689 bool, 76271 clause
16.00/5.50 c (4,4) 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-4294450-1532359711.xml-scop-17328.cnf HOME/instance-4294450-1532359711.xml-scop-17328.cnf.out
64.50/53.61 c (53,0) c This is COMiniSatPS.
64.50/53.61 c (53,0) c WARNING: for repeatability, setting FPU to use double precision
64.50/53.61 c (53,0) c ============================[ Problem Statistics ]=============================
64.50/53.61 c (53,0) c | |
64.50/53.61 c (53,0) c | Number of variables: 6689 |
64.50/53.61 c (53,0) c | Number of clauses: 76271 |
64.50/53.61 c (53,0) c | Parse time: 0.03 s |
64.50/53.61 c (53,0) c | Eliminated clauses: 0.03 Mb |
64.50/53.61 c (53,0) c Reduced to 5341 vars, 73681 cls (grow=0)
64.50/53.61 c (53,0) c No iterative elimination performed. (vars=5341, c/v ratio=13.8)
64.50/53.61 c (53,0) c | Simplification time: 0.15 s |
64.50/53.61 c (53,0) c | |
64.50/53.61 c (53,0) c ============================[ Search Statistics ]==============================
64.50/53.61 c (53,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
64.50/53.61 c (53,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
64.50/53.61 c (53,0) c ===============================================================================
64.50/53.61 c (53,0) c ===============================================================================
64.50/53.61 c (53,0) c restarts : 69
64.50/53.61 c (53,0) c conflicts : 321427 (6688 /sec)
64.50/53.61 c (53,0) c decisions : 414818 (0.00 % random) (8631 /sec)
64.50/53.61 c (53,0) c propagations : 107158944 (2229528 /sec)
64.50/53.61 c (53,0) c conflict literals : 19209300 (20.36 % deleted)
64.50/53.61 c (53,0) c CPU time : 48.0635 s
64.50/53.61 c (53,0)
64.50/53.61 c (53,0) s UNSATISFIABLE
64.50/53.61 c (53,5) SatSolver.solve End
64.50/53.61 c (53,5) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
64.50/53.61 c (53,5) Show results Begin
64.50/53.61 s UNSATISFIABLE
64.50/53.61 c (53,5) Show results End
64.50/53.61 c (53,5) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
64.50/53.61 c (53,5) 1,1,3,3,3,4,4,53,53,STOP-AFTER(ALL)
64.50/53.61 c END-Prog: Mon Jul 23 17:29:24 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 (3937 MiB free)
memory of node 1: 16384 MiB (10504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294450-1532359711/watcher-4294450-1532359711 -o /tmp/evaluation-result-4294450-1532359711/solver-4294450-1532359711 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294450-1532359711.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=17328, runsolver pid=17325
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 2.25 2.10 2.08 3/220 17343
/proc/meminfo: memFree=14728472/32770624 swapFree=67108860/67108860
[pid=17328] ppid=17325 vsize=15011656 memory=74208 CPUtime=0.11 cores=1,3,5,7
/proc/17328/stat : 17328 (java) S 17325 17328 8919 0 -1 1077944320 7201 0 0 0 10 1 0 0 20 0 15 0 53534251 15371935744 18486 33554432000 4194304 4196468 140729759051856 140729759034400 140285292482295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
/proc/17328/statm: 3752914 18552 2782 1 0 3715374 0
[pid=17328/tid=17330] ppid=17325 vsize=15011656 memory=-6727144656924359504 CPUtime=0.09 cores=1,3,5,7
/proc/17328/task/17330/stat : 17330 (java) R 17325 17328 8919 0 -1 4202560 5464 0 0 0 8 1 0 0 20 0 15 0 53534251 15371935744 18684 33554432000 4194304 4196468 140729759051856 140285264308624 140285272759120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17331] ppid=17325 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17331/stat : 17331 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 18684 33554432000 4194304 4196468 140729759051856 140285296725136 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17332] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17332/stat : 17332 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 18684 33554432000 4194304 4196468 140729759051856 140285110881296 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17333] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17333/stat : 17333 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 18684 33554432000 4194304 4196468 140729759051856 140285109828496 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17334] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17334/stat : 17334 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 18684 33554432000 4194304 4196468 140729759051856 140285108775696 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17335] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17335/stat : 17335 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53534254 15371935744 18750 33554432000 4194304 4196468 140729759051856 140284062005616 140285292493442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17336] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17336/stat : 17336 (java) S 17325 17328 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53534255 15371935744 18750 33554432000 4194304 4196468 140729759051856 140283966645280 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17337] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17337/stat : 17337 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534255 15371935744 18750 33554432000 4194304 4196468 140729759051856 140283698209648 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17338] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17338/stat : 17338 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53534257 15371935744 18750 33554432000 4194304 4196468 140729759051856 140283323701072 140285292500891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17339] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17339/stat : 17339 (java) S 17325 17328 8919 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 53534257 15371935744 18750 33554432000 4194304 4196468 140729759051856 140284060953456 140285292493442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17340] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17340/stat : 17340 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53534257 15371935744 18750 33554432000 4194304 4196468 140729759051856 140284059900656 140285292493442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17341] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0.01 cores=1,3,5,7
/proc/17328/task/17341/stat : 17341 (java) S 17325 17328 8919 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 53534257 15371935744 18750 33554432000 4194304 4196468 140729759051856 140284058847856 140285292493442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17342] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17342/stat : 17342 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53534258 15371935744 18750 33554432000 4194304 4196468 140729759051856 140282825796320 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17343] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17343/stat : 17343 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534258 15371935744 18750 33554432000 4194304 4196468 140729759051856 140284057795248 140285292493442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74208 KiB
[startup+0.210494 s]*
/proc/loadavg: 2.25 2.10 2.08 4/220 17343
/proc/meminfo: memFree=14714584/32770624 swapFree=67108860/67108860
[pid=17328] ppid=17325 vsize=15011656 memory=86248 CPUtime=0.26 cores=1,3,5,7
/proc/17328/stat : 17328 (java) S 17325 17328 8919 0 -1 1077944320 10494 0 0 0 24 2 0 0 20 0 15 0 53534251 15371935744 21562 33554432000 4194304 4196468 140729759051856 140729759034400 140285292482295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
/proc/17328/statm: 3752914 21562 2886 1 0 3715374 0
[pid=17328/tid=17330] ppid=17325 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/17328/task/17330/stat : 17330 (java) R 17325 17328 8919 0 -1 4202560 8395 0 0 0 18 1 0 0 20 0 15 0 53534251 15371935744 21562 33554432000 4194304 4196468 140729759051856 140285264303120 140285270484839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17331] ppid=17325 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17331/stat : 17331 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 21562 33554432000 4194304 4196468 140729759051856 140285296725136 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17332] ppid=17325 vsize=15011656 memory=288371088314144384 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17332/stat : 17332 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 21562 33554432000 4194304 4196468 140729759051856 140285110881296 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17333] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17333/stat : 17333 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 21562 33554432000 4194304 4196468 140729759051856 140285109828496 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17334] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17334/stat : 17334 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 21562 33554432000 4194304 4196468 140729759051856 140285108775696 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17335] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17335/stat : 17335 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53534254 15371935744 21562 33554432000 4194304 4196468 140729759051856 140284062005616 140285292493442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17336] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17336/stat : 17336 (java) S 17325 17328 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53534255 15371935744 21562 33554432000 4194304 4196468 140729759051856 140283966645280 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17337] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17337/stat : 17337 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534255 15371935744 21562 33554432000 4194304 4196468 140729759051856 140283698209648 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17338] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17338/stat : 17338 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53534257 15371935744 21562 33554432000 4194304 4196468 140729759051856 140283323701072 140285292500891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17339] ppid=17325 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17328/task/17339/stat : 17339 (java) R 17325 17328 8919 0 -1 4202560 461 0 0 0 1 0 0 0 20 0 15 0 53534257 15371935744 21562 33554432000 4194304 4196468 140729759051856 140284060953456 140285271645456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17340] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17340/stat : 17340 (java) R 17325 17328 8919 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 53534257 15371935744 21562 33554432000 4194304 4196468 140729759051856 140284059900656 140285292493442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17341] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0.03 cores=1,3,5,7
/proc/17328/task/17341/stat : 17341 (java) S 17325 17328 8919 0 -1 1077944384 289 0 0 0 3 0 0 0 20 0 15 0 53534257 15371935744 21562 33554432000 4194304 4196468 140729759051856 140284058847856 140285292493442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17342] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17342/stat : 17342 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53534258 15371935744 21562 33554432000 4194304 4196468 140729759051856 140282825796320 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17343] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17343/stat : 17343 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534258 15371935744 21562 33554432000 4194304 4196468 140729759051856 140284057795248 140285292493442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86248 KiB
[startup+0.310581 s]*
/proc/loadavg: 2.25 2.10 2.08 4/220 17343
/proc/meminfo: memFree=14711420/32770624 swapFree=67108860/67108860
[pid=17328] ppid=17325 vsize=15011656 memory=89720 CPUtime=0.44 cores=1,3,5,7
/proc/17328/stat : 17328 (java) S 17325 17328 8919 0 -1 1077944320 11040 0 0 0 41 3 0 0 20 0 15 0 53534251 15371935744 22430 33554432000 4194304 4196468 140729759051856 140729759034400 140285292482295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
/proc/17328/statm: 3752914 22430 2990 1 0 3715374 0
[pid=17328/tid=17330] ppid=17325 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/17328/task/17330/stat : 17330 (java) R 17325 17328 8919 0 -1 4202560 8768 0 0 0 28 2 0 0 20 0 15 0 53534251 15371935744 22430 33554432000 4194304 4196468 140729759051856 140285264309920 140285277647950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17331] ppid=17325 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17331/stat : 17331 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 22430 33554432000 4194304 4196468 140729759051856 140285296725136 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17332] ppid=17325 vsize=15011656 memory=288371088314144384 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17332/stat : 17332 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 22430 33554432000 4194304 4196468 140729759051856 140285110881296 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17333] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17333/stat : 17333 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 22430 33554432000 4194304 4196468 140729759051856 140285109828496 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17334] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17334/stat : 17334 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53534253 15371935744 22430 33554432000 4194304 4196468 140729759051856 140285108775696 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17335] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17335/stat : 17335 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53534254 15371935744 22430 33554432000 4194304 4196468 140729759051856 140284062005616 140285292493442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17336] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17336/stat : 17336 (java) S 17325 17328 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53534255 15371935744 22430 33554432000 4194304 4196468 140729759051856 140283966645280 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17337] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17337/stat : 17337 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534255 15371935744 22430 33554432000 4194304 4196468 140729759051856 140283698209648 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17338] ppid=17325 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17338/stat : 17338 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53534257 15371935744 22430 33554432000 4194304 4196468 140729759051856 140283323701072 140285292500891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17339] ppid=17325 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17328/task/17339/stat : 17339 (java) R 17325 17328 8919 0 -1 1077944384 563 0 0 0 3 0 0 0 20 0 15 0 53534257 15371935744 22430 33554432000 4194304 4196468 140729759051856 140284060953456 140285292493442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17340] ppid=17325 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17328/task/17340/stat : 17340 (java) S 17325 17328 8919 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 53534257 15371935744 22430 33554432000 4194304 4196468 140729759051856 140284059900656 140285292493442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17341] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0.07 cores=1,3,5,7
/proc/17328/task/17341/stat : 17341 (java) R 17325 17328 8919 0 -1 4202560 308 0 0 0 7 0 0 0 20 0 15 0 53534257 15371935744 22430 33554432000 4194304 4196468 140729759051856 140284058847856 140285271077810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17342] ppid=17325 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17342/stat : 17342 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53534258 15371935744 22430 33554432000 4194304 4196468 140729759051856 140282825796320 140285292492501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17343] ppid=17325 vsize=15011656 memory=140712162432640 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17343/stat : 17343 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534258 15371935744 22430 33554432000 4194304 4196468 140729759051856 140284057795248 140285292493442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89720 KiB
[startup+0.705722 s]
/proc/loadavg: 2.25 2.10 2.08 6/220 17343
/proc/meminfo: memFree=14687236/32770624 swapFree=67108860/67108860
[pid=17328] ppid=17325 vsize=15017928 memory=131648 CPUtime=1.08 cores=1,3,5,7
/proc/17328/stat : 17328 (java) S 17325 17328 8919 0 -1 1077944320 18069 0 0 0 103 5 0 0 20 0 15 0 53534251 15378358272 32912 33554432000 4194304 4196468 140729759051856 140729759034400 140285292482295 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
/proc/17328/statm: 3754482 32912 3155 1 0 3715886 0
[pid=17328/tid=17330] ppid=17325 vsize=15017928 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/17328/task/17330/stat : 17330 (java) R 17325 17328 8919 0 -1 4202560 15224 0 0 0 64 4 0 0 20 0 15 0 53534251 15378358272 32912 33554432000 4194304 4196468 140729759051856 140285264319696 140284788768832 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17331] ppid=17325 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17331/stat : 17331 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15378358272 32912 33554432000 4194304 4196468 140729759051856 140285296725136 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17332] ppid=17325 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17332/stat : 17332 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15378358272 32912 33554432000 4194304 4196468 140729759051856 140285110881296 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17333] ppid=17325 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17333/stat : 17333 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15378358272 32912 33554432000 4194304 4196468 140729759051856 140285109828496 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17334] ppid=17325 vsize=15017928 memory=215165312194326 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17334/stat : 17334 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53534253 15378358272 32912 33554432000 4194304 4196468 140729759051856 140285108775696 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17335] ppid=17325 vsize=15017928 memory=287128 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17335/stat : 17335 (java) S 17325 17328 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53534254 15378358272 32912 33554432000 4194304 4196468 140729759051856 140284062005616 140285292493442 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17336] ppid=17325 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17336/stat : 17336 (java) S 17325 17328 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53534255 15378358272 32912 33554432000 4194304 4196468 140729759051856 140283966645280 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17337] ppid=17325 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17337/stat : 17337 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534255 15378358272 32912 33554432000 4194304 4196468 140729759051856 140283698209648 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17338] ppid=17325 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17338/stat : 17338 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53534257 15378358272 32912 33554432000 4194304 4196468 140729759051856 140283323701072 140285292500891 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17339] ppid=17325 vsize=15017928 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17328/task/17339/stat : 17339 (java) R 17325 17328 8919 0 -1 4202560 615 0 0 0 9 0 0 0 20 0 15 0 53534257 15378358272 32912 33554432000 4194304 4196468 140729759051856 140284060946480 140285270648776 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17340] ppid=17325 vsize=15017928 memory=-3472574513799858009 CPUtime=0.1 cores=1,3,5,7
/proc/17328/task/17340/stat : 17340 (java) R 17325 17328 8919 0 -1 4202560 393 0 0 0 10 0 0 0 20 0 15 0 53534257 15378358272 32912 33554432000 4194304 4196468 140729759051856 140284059881672 140285275996371 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17341] ppid=17325 vsize=15017928 memory=6944656592387989600 CPUtime=0.18 cores=1,3,5,7
/proc/17328/task/17341/stat : 17341 (java) R 17325 17328 8919 0 -1 4202560 500 0 0 0 18 0 0 0 20 0 15 0 53534257 15378358272 32912 33554432000 4194304 4196468 140729759051856 140284058847984 140285271616823 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17342] ppid=17325 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17342/stat : 17342 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53534258 15378358272 32912 33554432000 4194304 4196468 140729759051856 140282825796320 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17343] ppid=17325 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17343/stat : 17343 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534258 15378358272 32912 33554432000 4194304 4196468 140729759051856 140284057795248 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131648 KiB
[startup+1.50079 s]
/proc/loadavg: 2.25 2.10 2.08 5/220 17343
/proc/meminfo: memFree=14602412/32770624 swapFree=67108860/67108860
[pid=17328] ppid=17325 vsize=15022100 memory=249096 CPUtime=3.63 cores=1,3,5,7
/proc/17328/stat : 17328 (java) S 17325 17328 8919 0 -1 1077944320 21377 0 0 0 355 8 0 0 20 0 15 0 53534251 15382630400 62274 33554432000 4194304 4196468 140729759051856 140729759034400 140285292482295 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
/proc/17328/statm: 3755525 62274 3205 1 0 3716910 0
[pid=17328/tid=17330] ppid=17325 vsize=15022100 memory=127 CPUtime=1.47 cores=1,3,5,7
/proc/17328/task/17330/stat : 17330 (java) R 17325 17328 8919 0 -1 4202560 16118 0 0 0 141 6 0 0 20 0 15 0 53534251 15382630400 62274 33554432000 4194304 4196468 140729759051856 140285264313968 140284791710727 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17331] ppid=17325 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17331/stat : 17331 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15382630400 62274 33554432000 4194304 4196468 140729759051856 140285296725136 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17332] ppid=17325 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17332/stat : 17332 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15382630400 62274 33554432000 4194304 4196468 140729759051856 140285110881296 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17333] ppid=17325 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17333/stat : 17333 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53534253 15382630400 62274 33554432000 4194304 4196468 140729759051856 140285109828496 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17334] ppid=17325 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17334/stat : 17334 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53534253 15382630400 62274 33554432000 4194304 4196468 140729759051856 140285108775696 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17335] ppid=17325 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17335/stat : 17335 (java) S 17325 17328 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53534254 15382630400 62274 33554432000 4194304 4196468 140729759051856 140284062005616 140285292493442 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
################
# More data... #
################
/proc/17328/task/17343/stat : 17343 (java) S 17325 17328 8919 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 53534258 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284057795248 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17345] ppid=17325 vsize=15683912 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17345/stat : 17345 (java) S 17325 17328 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53534803 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284369626304 140285292506905 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17347] ppid=17325 vsize=15683912 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17347/stat : 17347 (java) S 17325 17328 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53534804 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282288913584 140285292504221 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17348] ppid=17325 vsize=15683912 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17348/stat : 17348 (java) S 17325 17328 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53534804 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282020479024 140285292504221 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17349] ppid=17325 vsize=15683912 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17349/stat : 17349 (java) S 17325 17328 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 53534807 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282557357728 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
Current children cumulated CPU time: 62.1 s
Current children cumulated vsize: 15753552 KiB
Current children cumulated memory: 1412868 KiB
[startup+52.8009 s]
/proc/loadavg: 2.18 2.12 2.09 3/225 17349
/proc/meminfo: memFree=13381084/32770624 swapFree=67108860/67108860
[pid=17328] ppid=17325 vsize=15683912 memory=1359116 CPUtime=16.42 cores=1,3,5,7
/proc/17328/stat : 17328 (java) S 17325 17328 8919 0 -1 1077944320 33189 0 0 0 1612 30 0 0 20 0 19 0 53534251 16060325888 339779 33554432000 4194304 4196468 140729759051856 140729759034400 140285292482295 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
/proc/17328/statm: 3920978 339779 3241 1 0 3881834 0
[pid=17344] ppid=17328 vsize=69640 memory=53752 CPUtime=47.28 cores=1,3,5,7
/proc/17344/stat : 17344 (minisat_release) R 17328 17328 8919 0 -1 4202496 26799 0 0 0 4725 3 0 0 20 0 1 0 53534803 71311360 13438 33554432000 4194304 4308513 140732692108896 140732692105896 4276465 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 20271104 140732692116143 140732692116654 140732692116654 140732692119493 0
/proc/17344/statm: 17410 13438 354 28 0 13650 0
[pid=17328/tid=17330] ppid=17325 vsize=15683912 memory=9047017150487036571 CPUtime=5.52 cores=1,3,5,7
/proc/17328/task/17330/stat : 17330 (java) S 17325 17328 8919 0 -1 1077944384 18056 0 0 0 528 24 0 0 20 0 19 0 53534251 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285264321536 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17331] ppid=17325 vsize=15683912 memory=-7824251494390520680 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17331/stat : 17331 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285296725136 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17332] ppid=17325 vsize=15683912 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17332/stat : 17332 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285110881296 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17333] ppid=17325 vsize=15683912 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17333/stat : 17333 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285109828496 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17334] ppid=17325 vsize=15683912 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17334/stat : 17334 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285108775696 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17335] ppid=17325 vsize=15683912 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17335/stat : 17335 (java) S 17325 17328 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53534254 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284062005616 140285292493442 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17336] ppid=17325 vsize=15683912 memory=3248 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17336/stat : 17336 (java) S 17325 17328 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53534255 16060325888 339779 33554432000 4194304 4196468 140729759051856 140283966645280 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17337] ppid=17325 vsize=15683912 memory=-7824251494390520680 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17337/stat : 17337 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534255 16060325888 339779 33554432000 4194304 4196468 140729759051856 140283698209648 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17338] ppid=17325 vsize=15683912 memory=53752 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17338/stat : 17338 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140283323701072 140285292500891 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17339] ppid=17325 vsize=15683912 memory=1412 CPUtime=4.61 cores=1,3,5,7
/proc/17328/task/17339/stat : 17339 (java) S 17325 17328 8919 0 -1 1077944384 6218 0 0 0 460 1 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284060953456 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17340] ppid=17325 vsize=15683912 memory=3468 CPUtime=4.7 cores=1,3,5,7
/proc/17328/task/17340/stat : 17340 (java) S 17325 17328 8919 0 -1 1077944384 3513 0 0 0 469 1 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284059900656 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17341] ppid=17325 vsize=15683912 memory=1863292 CPUtime=1.53 cores=1,3,5,7
/proc/17328/task/17341/stat : 17341 (java) S 17325 17328 8919 0 -1 1077944384 4003 0 0 0 151 2 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284058847856 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17342] ppid=17325 vsize=15683912 memory=58520 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17342/stat : 17342 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53534258 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282825796320 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17343] ppid=17325 vsize=15683912 memory=1412 CPUtime=0.01 cores=1,3,5,7
/proc/17328/task/17343/stat : 17343 (java) S 17325 17328 8919 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 53534258 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284057795248 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17345] ppid=17325 vsize=15683912 memory=177 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17345/stat : 17345 (java) S 17325 17328 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53534803 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284369626304 140285292506905 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17347] ppid=17325 vsize=15683912 memory=-7384994778349281184 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17347/stat : 17347 (java) S 17325 17328 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53534804 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282288913584 140285292504221 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17348] ppid=17325 vsize=15683912 memory=9265 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17348/stat : 17348 (java) S 17325 17328 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53534804 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282020479024 140285292504221 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17349] ppid=17325 vsize=15683912 memory=3688504394070112753 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17349/stat : 17349 (java) S 17325 17328 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 53534807 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282557357728 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
Current children cumulated CPU time: 63.7 s
Current children cumulated vsize: 15753552 KiB
Current children cumulated memory: 1412868 KiB
[startup+53.2008 s]
/proc/loadavg: 2.18 2.12 2.09 3/225 17349
/proc/meminfo: memFree=13381084/32770624 swapFree=67108860/67108860
[pid=17328] ppid=17325 vsize=15683912 memory=1359116 CPUtime=16.42 cores=1,3,5,7
/proc/17328/stat : 17328 (java) S 17325 17328 8919 0 -1 1077944320 33189 0 0 0 1612 30 0 0 20 0 19 0 53534251 16060325888 339779 33554432000 4194304 4196468 140729759051856 140729759034400 140285292482295 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
/proc/17328/statm: 3920978 339779 3241 1 0 3881834 0
[pid=17344] ppid=17328 vsize=69640 memory=53752 CPUtime=47.68 cores=1,3,5,7
/proc/17344/stat : 17344 (minisat_release) R 17328 17328 8919 0 -1 4202496 26799 0 0 0 4765 3 0 0 20 0 1 0 53534803 71311360 13438 33554432000 4194304 4308513 140732692108896 140732692105896 140321345364920 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 20271104 140732692116143 140732692116654 140732692116654 140732692119493 0
/proc/17344/statm: 17410 13438 354 28 0 13650 0
[pid=17328/tid=17330] ppid=17325 vsize=15683912 memory=-7824251494390520680 CPUtime=5.52 cores=1,3,5,7
/proc/17328/task/17330/stat : 17330 (java) S 17325 17328 8919 0 -1 1077944384 18056 0 0 0 528 24 0 0 20 0 19 0 53534251 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285264321536 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17331] ppid=17325 vsize=15683912 memory=53752 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17331/stat : 17331 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285296725136 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17332] ppid=17325 vsize=15683912 memory=7751995073768813331 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17332/stat : 17332 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285110881296 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17333] ppid=17325 vsize=15683912 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17333/stat : 17333 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285109828496 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17334] ppid=17325 vsize=15683912 memory=281424108318464 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17334/stat : 17334 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285108775696 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17335] ppid=17325 vsize=15683912 memory=6298673690012637282 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17335/stat : 17335 (java) S 17325 17328 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53534254 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284062005616 140285292493442 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17336] ppid=17325 vsize=15683912 memory=140712054168704 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17336/stat : 17336 (java) S 17325 17328 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53534255 16060325888 339779 33554432000 4194304 4196468 140729759051856 140283966645280 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17337] ppid=17325 vsize=15683912 memory=53752 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17337/stat : 17337 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534255 16060325888 339779 33554432000 4194304 4196468 140729759051856 140283698209648 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17338] ppid=17325 vsize=15683912 memory=1359116 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17338/stat : 17338 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140283323701072 140285292500891 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17339] ppid=17325 vsize=15683912 memory=29984 CPUtime=4.61 cores=1,3,5,7
/proc/17328/task/17339/stat : 17339 (java) S 17325 17328 8919 0 -1 1077944384 6218 0 0 0 460 1 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284060953456 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17340] ppid=17325 vsize=15683912 memory=26660 CPUtime=4.7 cores=1,3,5,7
/proc/17328/task/17340/stat : 17340 (java) S 17325 17328 8919 0 -1 1077944384 3513 0 0 0 469 1 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284059900656 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17341] ppid=17325 vsize=15683912 memory=281424109581072 CPUtime=1.53 cores=1,3,5,7
/proc/17328/task/17341/stat : 17341 (java) S 17325 17328 8919 0 -1 1077944384 4003 0 0 0 151 2 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284058847856 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17342] ppid=17325 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17342/stat : 17342 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53534258 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282825796320 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17343] ppid=17325 vsize=15683912 memory=1224 CPUtime=0.01 cores=1,3,5,7
/proc/17328/task/17343/stat : 17343 (java) S 17325 17328 8919 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 53534258 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284057795248 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17345] ppid=17325 vsize=15683912 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17345/stat : 17345 (java) S 17325 17328 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53534803 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284369626304 140285292506905 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17347] ppid=17325 vsize=15683912 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17347/stat : 17347 (java) S 17325 17328 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53534804 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282288913584 140285292504221 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17348] ppid=17325 vsize=15683912 memory=10960 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17348/stat : 17348 (java) S 17325 17328 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53534804 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282020479024 140285292504221 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17349] ppid=17325 vsize=15683912 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17349/stat : 17349 (java) S 17325 17328 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 53534807 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282557357728 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
Current children cumulated CPU time: 64.1 s
Current children cumulated vsize: 15753552 KiB
Current children cumulated memory: 1412868 KiB
[startup+53.6009 s]
/proc/loadavg: 2.18 2.12 2.09 3/225 17349
/proc/meminfo: memFree=13381084/32770624 swapFree=67108860/67108860
[pid=17328] ppid=17325 vsize=15683912 memory=1359116 CPUtime=16.42 cores=1,3,5,7
/proc/17328/stat : 17328 (java) S 17325 17328 8919 0 -1 1077944320 33189 0 0 0 1612 30 0 0 20 0 19 0 53534251 16060325888 339779 33554432000 4194304 4196468 140729759051856 140729759034400 140285292482295 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
/proc/17328/statm: 3920978 339779 3241 1 0 3881834 0
[pid=17344] ppid=17328 vsize=69640 memory=53752 CPUtime=48.08 cores=1,3,5,7
/proc/17344/stat : 17344 (minisat_release) R 17328 17328 8919 0 -1 4202496 26799 0 0 0 4805 3 0 0 20 0 1 0 53534803 71311360 13438 33554432000 4194304 4308513 140732692108896 140732692105896 4250423 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 20271104 140732692116143 140732692116654 140732692116654 140732692119493 0
/proc/17344/statm: 17410 13438 354 28 0 13650 0
[pid=17328/tid=17330] ppid=17325 vsize=15683912 memory=1359116 CPUtime=5.52 cores=1,3,5,7
/proc/17328/task/17330/stat : 17330 (java) S 17325 17328 8919 0 -1 1077944384 18056 0 0 0 528 24 0 0 20 0 19 0 53534251 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285264321536 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17331] ppid=17325 vsize=15683912 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17331/stat : 17331 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285296725136 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17332] ppid=17325 vsize=15683912 memory=17112 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17332/stat : 17332 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285110881296 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17333] ppid=17325 vsize=15683912 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17333/stat : 17333 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285109828496 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17334] ppid=17325 vsize=15683912 memory=-7824251494390520680 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17334/stat : 17334 (java) S 17325 17328 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53534253 16060325888 339779 33554432000 4194304 4196468 140729759051856 140285108775696 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17335] ppid=17325 vsize=15683912 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17335/stat : 17335 (java) S 17325 17328 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53534254 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284062005616 140285292493442 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17336] ppid=17325 vsize=15683912 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17336/stat : 17336 (java) S 17325 17328 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53534255 16060325888 339779 33554432000 4194304 4196468 140729759051856 140283966645280 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17337] ppid=17325 vsize=15683912 memory=6768 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17337/stat : 17337 (java) S 17325 17328 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53534255 16060325888 339779 33554432000 4194304 4196468 140729759051856 140283698209648 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17338] ppid=17325 vsize=15683912 memory=832 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17338/stat : 17338 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140283323701072 140285292500891 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17339] ppid=17325 vsize=15683912 memory=1696 CPUtime=4.61 cores=1,3,5,7
/proc/17328/task/17339/stat : 17339 (java) S 17325 17328 8919 0 -1 1077944384 6218 0 0 0 460 1 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284060953456 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17340] ppid=17325 vsize=15683912 memory=920 CPUtime=4.7 cores=1,3,5,7
/proc/17328/task/17340/stat : 17340 (java) S 17325 17328 8919 0 -1 1077944384 3513 0 0 0 469 1 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284059900656 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17341] ppid=17325 vsize=15683912 memory=53752 CPUtime=1.53 cores=1,3,5,7
/proc/17328/task/17341/stat : 17341 (java) S 17325 17328 8919 0 -1 1077944384 4003 0 0 0 151 2 0 0 20 0 19 0 53534257 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284058847856 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17342] ppid=17325 vsize=15683912 memory=960 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17342/stat : 17342 (java) S 17325 17328 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53534258 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282825796320 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17343] ppid=17325 vsize=15683912 memory=1240 CPUtime=0.01 cores=1,3,5,7
/proc/17328/task/17343/stat : 17343 (java) S 17325 17328 8919 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 53534258 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284057795248 140285292493442 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17345] ppid=17325 vsize=15683912 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17345/stat : 17345 (java) S 17325 17328 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53534803 16060325888 339779 33554432000 4194304 4196468 140729759051856 140284369626304 140285292506905 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17347] ppid=17325 vsize=15683912 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17347/stat : 17347 (java) S 17325 17328 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53534804 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282288913584 140285292504221 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17348] ppid=17325 vsize=15683912 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17348/stat : 17348 (java) S 17325 17328 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53534804 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282020479024 140285292504221 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
[pid=17328/tid=17349] ppid=17325 vsize=15683912 memory=928 CPUtime=0 cores=1,3,5,7
/proc/17328/task/17349/stat : 17349 (java) S 17325 17328 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 53534807 16060325888 339779 33554432000 4194304 4196468 140729759051856 140282557357728 140285292492501 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140729759060980 140729759061257 140729759061257 140729759064015 0
Current children cumulated CPU time: 64.5 s
Current children cumulated vsize: 15753552 KiB
Current children cumulated memory: 1412868 KiB
Child status: 0
Real time (s): 53.6315
CPU time (s): 64.5419
CPU user time (s): 64.1971
CPU system time (s): 0.344847
CPU usage (%): 120.343
Max. virtual memory (cumulated for all children) (KiB): 15753552
Max. memory (cumulated for all children) (KiB): 1412868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.1971
system time used= 0.344847
maximum resident set size= 1360024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5357
involuntary context switches= 93
# summary of solver processes directly reported to runsolver:
# pid: 17328
# total CPU time (s): 64.5419
# total CPU user time (s): 64.1971
# total CPU system time (s): 0.344847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.341805 second user time and 0.617907 second system time
The end