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: Wed Jul 25 20:29:17 CEST 2018
0.67/0.55 c PID: 881
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.22/0.85 c (0,0) Parsing End
1.22/0.86 c (0,0) CSP: 37 int (0 aux), 0 bool (0 aux), 28 ctr, max domain size 37
1.22/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.86 c (0,0) Constraint Name Generate Begin
1.22/0.86 c (0,0) Ctr:HOME/instance-4295552-1532543356.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.22/0.86 c (0,0) Constraint Name Generate End
1.22/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.86 c (0,0) CSP to CSPinCNF Begin
2.09/1.22 c (0,0) translated 3 (10%) constraints
2.09/1.23 c (0,0) translated 6 (20%) constraints
2.09/1.23 c (0,0) translated 9 (30%) constraints
2.09/1.24 c (0,0) translated 12 (40%) constraints
2.09/1.24 c (0,0) translated 14 (50%) constraints
2.09/1.24 c (0,0) translated 17 (60%) constraints
2.09/1.24 c (0,0) translated 20 (70%) constraints
2.09/1.24 c (0,0) translated 23 (80%) constraints
2.09/1.24 c (0,0) translated 26 (90%) constraints
2.09/1.25 c (0,0) translated 28 (100%) constraints
2.09/1.30 c (0,0) STATISTICS1:HOME/instance-4295552-1532543356.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,37,695,1366263369,37,37,7,1366263369:2;1315661022:4;39711952:12;1073296:12;20412:4;19656:8;37:171;28:294;27:133;26:74,37:779;28:492;27:172;26:86,37:2;2:666;1:27,7:6;6:12;5:12;4:12;2:672;1:74,
2.09/1.30 c (0,0) ===========================================
2.09/1.30 c (0,0) Both Encoding selects:
2.09/1.30 c (0,0) Order
2.34/1.30 c (0,0) ===========================================
2.34/1.32 c (0,0) translated 70 (10%) constraints
2.34/1.34 c (0,0) translated 139 (20%) constraints
2.34/1.35 c (0,0) translated 209 (30%) constraints
2.34/1.36 c (0,0) translated 278 (40%) constraints
2.34/1.37 c (0,0) translated 348 (50%) constraints
2.34/1.38 c (0,0) translated 417 (60%) constraints
2.34/1.38 c (0,0) translated 487 (70%) constraints
2.34/1.39 c (0,0) translated 556 (80%) constraints
2.34/1.39 c (0,0) translated 626 (90%) constraints
2.62/1.45 c (0,0) translated 695 (100%) constraints
2.62/1.45 c (0,0) CSP to CSPinCNF End
2.62/1.45 c (0,0) CSP: 85 int (48 aux), 0 bool (0 aux), 812 ctr, max domain size 66
2.62/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.62/1.45 c (0,0) CSPinCNF Propagation Begin
2.62/1.48 c (0,0) 0 values, 20 unsatisfiable literals, and 0 valid clauses are removed
2.62/1.48 c (0,0) CSPinCNF Propagation End
2.62/1.48 c (0,0) CSP: 85 int (48 aux), 0 bool (0 aux), 812 ctr, max domain size 66
2.62/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.62/1.48 c (0,0) Simplify CSPinCNF Begin
2.92/1.58 c (1,1) Simplify CSPinCNF End
2.92/1.58 c (1,1) CSP: 85 int (48 aux), 1332 bool (1332 aux), 2144 ctr, max domain size 66
2.92/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.92/1.58 c (1,1) Calculate Precise Domain Begin
2.92/1.59 c (1,1) 6 values are removed by re-calculation
2.92/1.59 c (1,1) Calculate Precise Domain End
2.92/1.59 c (1,1) CSP: 85 int (48 aux), 1332 bool (1332 aux), 2144 ctr, max domain size 66
2.92/1.59 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.92/1.59 c (1,1) CSPinCNF to SatSolver Begin
3.54/1.71 c (1,1) 215 (10 %) CSP clauses are encoded (5066 SAT variables, 7377 SAT clauses)
3.54/1.74 c (1,1) 429 (20 %) CSP clauses are encoded (5066 SAT variables, 11158 SAT clauses)
3.54/1.76 c (1,1) 644 (30 %) CSP clauses are encoded (5066 SAT variables, 15130 SAT clauses)
3.54/1.79 c (1,1) 858 (40 %) CSP clauses are encoded (5066 SAT variables, 19310 SAT clauses)
3.87/1.82 c (1,1) 1072 (50 %) CSP clauses are encoded (5066 SAT variables, 24128 SAT clauses)
3.87/1.84 c (1,1) 1287 (60 %) CSP clauses are encoded (5066 SAT variables, 28412 SAT clauses)
3.87/1.86 c (1,1) 1501 (70 %) CSP clauses are encoded (5066 SAT variables, 33103 SAT clauses)
3.87/1.88 c (1,1) 1716 (80 %) CSP clauses are encoded (5066 SAT variables, 37445 SAT clauses)
3.87/1.89 c (1,1) 1930 (90 %) CSP clauses are encoded (5066 SAT variables, 41878 SAT clauses)
5.09/2.29 c (1,1) 2144 (100 %) CSP clauses are encoded (5066 SAT variables, 195141 SAT clauses)
5.09/2.29 c (1,1) CSPinCNF to SatSolver End
5.09/2.29 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.32/2.32 c (1,1) STATISTICS2:HOME/instance-4295552-1532543356.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,1417,2144,4096,66,35,3,4096:2;4032:4;3969:2;3968:4;2368:2;2331:6;2294:4;2209:4;2116:2;1369:24;1175:4;1150:2;1036:24;999:16;962:14;728:10;702:2;700:2;675:6;650:4;37:342;28:258;27:212;26:310;25:216,66:12;65:4;64:56;63:32;62:16;47:32;46:16;37:1520;28:486;27:324;26:402;25:244;2:2664,35:1;19:1;2:1998;1:144,3:138;2:1338;1:2718,
5.32/2.32 c (1,1) SatSolver.solve Begin
5.32/2.32 c (1,1) 5066 bool, 195165 clause
5.32/2.32 c (1,1) 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-4295552-1532543356.xml-scop-881.cnf HOME/instance-4295552-1532543356.xml-scop-881.cnf.out
8.74/5.53 c (5,0) c This is COMiniSatPS.
8.74/5.53 c (5,0) c WARNING: for repeatability, setting FPU to use double precision
8.74/5.53 c (5,0) c ============================[ Problem Statistics ]=============================
8.74/5.53 c (5,0) c | |
8.74/5.53 c (5,0) c | Number of variables: 5066 |
8.74/5.53 c (5,0) c | Number of clauses: 194754 |
8.74/5.53 c (5,0) c | Parse time: 0.05 s |
8.74/5.53 c (5,0) c | Eliminated clauses: 0.01 Mb |
8.74/5.53 c (5,0) c Reduced to 4349 vars, 192585 cls (grow=0)
8.74/5.53 c (5,0) c No iterative elimination performed. (vars=4349, c/v ratio=44.3)
8.74/5.53 c (5,0) c | Simplification time: 0.20 s |
8.74/5.53 c (5,0) c | |
8.74/5.53 c (5,0) c ============================[ Search Statistics ]==============================
8.74/5.53 c (5,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
8.74/5.53 c (5,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.74/5.53 c (5,0) c ===============================================================================
8.74/5.53 c (5,0) c ===============================================================================
8.74/5.53 c (5,0) c restarts : 43
8.74/5.53 c (5,0) c conflicts : 14392 (4522 /sec)
8.74/5.53 c (5,0) c decisions : 19833 (0.00 % random) (6232 /sec)
8.74/5.53 c (5,0) c propagations : 9970775 (3133065 /sec)
8.74/5.53 c (5,0) c conflict literals : 203068 (29.02 % deleted)
8.74/5.53 c (5,0) c CPU time : 3.18243 s
8.74/5.53 c (5,0)
8.74/5.53 c (5,0) s UNSATISFIABLE
8.74/5.54 c (5,1) SatSolver.solve End
8.74/5.54 c (5,1) Heap : 675 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.74/5.54 c (5,1) Show results Begin
8.74/5.54 s UNSATISFIABLE
8.74/5.54 c (5,1) Show results End
8.74/5.54 c (5,1) Heap : 675 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.74/5.54 c (5,1) 0,0,0,0,1,1,1,5,5,STOP-AFTER(ALL)
8.74/5.54 c END-Prog: Wed Jul 25 20:29:22 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 (5068 MiB free)
memory of node 1: 16384 MiB (15589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295552-1532543356/watcher-4295552-1532543356 -o /tmp/evaluation-result-4295552-1532543356/solver-4295552-1532543356 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295552-1532543356.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=881, runsolver pid=878
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 2.48 2.35 2.22 3/220 897
/proc/meminfo: memFree=21094632/32770624 swapFree=67076520/67108860
[pid=881] ppid=878 vsize=15011656 memory=70008 CPUtime=0.11 cores=1,3,5,7
/proc/881/stat : 881 (java) S 878 881 29212 0 -1 1077944320 6243 0 0 0 9 2 0 0 20 0 15 0 71898763 15371935744 17502 33554432000 4194304 4196468 140731951673376 140731951655920 140360644660983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
/proc/881/statm: 3752914 17502 2780 1 0 3715374 0
[pid=881/tid=883] ppid=878 vsize=15011656 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/881/task/883/stat : 883 (java) R 878 881 29212 0 -1 4202560 4907 0 0 0 8 1 0 0 20 0 15 0 71898763 15371935744 18162 33554432000 4194304 4196468 140731951673376 140360616487312 140360644682909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=884] ppid=878 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/881/task/884/stat : 884 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 18162 33554432000 4194304 4196468 140731951673376 140360648903696 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=885] ppid=878 vsize=15011656 memory=139751060724151 CPUtime=0 cores=1,3,5,7
/proc/881/task/885/stat : 885 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 18162 33554432000 4194304 4196468 140731951673376 140360105192592 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=886] ppid=878 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/886/stat : 886 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 18162 33554432000 4194304 4196468 140731951673376 140360104139536 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=887] ppid=878 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/881/task/887/stat : 887 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 18162 33554432000 4194304 4196468 140731951673376 140360103086992 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=888] ppid=878 vsize=15011656 memory=139751060694656 CPUtime=0 cores=1,3,5,7
/proc/881/task/888/stat : 888 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898766 15371935744 18162 33554432000 4194304 4196468 140731951673376 140359682849008 140360644672130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=889] ppid=878 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/881/task/889/stat : 889 (java) S 878 881 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71898767 15371935744 18162 33554432000 4194304 4196468 140731951673376 140359195681952 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=890] ppid=878 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/890/stat : 890 (java) S 878 881 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71898767 15371935744 18162 33554432000 4194304 4196468 140731951673376 140359061459696 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=891] ppid=878 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/891/stat : 891 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 18162 33554432000 4194304 4196468 140731951673376 140358686955472 140360644679579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=892] ppid=878 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/892/stat : 892 (java) S 878 881 29212 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 18162 33554432000 4194304 4196468 140731951673376 140359681796848 140360644672130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=893] ppid=878 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/881/task/893/stat : 893 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 18162 33554432000 4194304 4196468 140731951673376 140359680744304 140360644672130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=895] ppid=878 vsize=15011656 memory=139751060694656 CPUtime=0 cores=1,3,5,7
/proc/881/task/895/stat : 895 (java) R 878 881 29212 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 18162 33554432000 4194304 4196468 140731951673376 140359679691248 140360644672130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=896] ppid=878 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/881/task/896/stat : 896 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 18162 33554432000 4194304 4196468 140731951673376 140358189050720 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=897] ppid=878 vsize=15011656 memory=139751060694656 CPUtime=0 cores=1,3,5,7
/proc/881/task/897/stat : 897 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898770 15371935744 18162 33554432000 4194304 4196468 140731951673376 140359678638640 140360644672130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70008 KiB
[startup+0.210758 s]*
/proc/loadavg: 2.48 2.35 2.22 3/220 897
/proc/meminfo: memFree=21080432/32770624 swapFree=67076520/67108860
[pid=881] ppid=878 vsize=15011656 memory=83628 CPUtime=0.25 cores=1,3,5,7
/proc/881/stat : 881 (java) S 878 881 29212 0 -1 1077944320 9909 0 0 0 22 3 0 0 20 0 15 0 71898763 15371935744 20907 33554432000 4194304 4196468 140731951673376 140731951655920 140360644660983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
/proc/881/statm: 3752914 20907 2895 1 0 3715374 0
[pid=881/tid=883] ppid=878 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/881/task/883/stat : 883 (java) R 878 881 29212 0 -1 4202560 7793 0 0 0 18 2 0 0 20 0 15 0 71898763 15371935744 20972 33554432000 4194304 4196468 140731951673376 140360616480368 140360628704613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=884] ppid=878 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/881/task/884/stat : 884 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 20972 33554432000 4194304 4196468 140731951673376 140360648903696 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=885] ppid=878 vsize=15011656 memory=139751060724151 CPUtime=0 cores=1,3,5,7
/proc/881/task/885/stat : 885 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 20972 33554432000 4194304 4196468 140731951673376 140360105192592 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=886] ppid=878 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/886/stat : 886 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 20972 33554432000 4194304 4196468 140731951673376 140360104139536 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=887] ppid=878 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/881/task/887/stat : 887 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 20972 33554432000 4194304 4196468 140731951673376 140360103086992 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=888] ppid=878 vsize=15011656 memory=139751060694656 CPUtime=0 cores=1,3,5,7
/proc/881/task/888/stat : 888 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898766 15371935744 20972 33554432000 4194304 4196468 140731951673376 140359682849008 140360644672130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=889] ppid=878 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/881/task/889/stat : 889 (java) S 878 881 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71898767 15371935744 20972 33554432000 4194304 4196468 140731951673376 140359195681952 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=890] ppid=878 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/890/stat : 890 (java) S 878 881 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71898767 15371935744 20972 33554432000 4194304 4196468 140731951673376 140359061459696 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=891] ppid=878 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/891/stat : 891 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 20972 33554432000 4194304 4196468 140731951673376 140358686955472 140360644679579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=892] ppid=878 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/881/task/892/stat : 892 (java) R 878 881 29212 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 15 0 71898769 15371935744 20972 33554432000 4194304 4196468 140731951673376 140359681796848 140360644672130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=893] ppid=878 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/881/task/893/stat : 893 (java) R 878 881 29212 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 20972 33554432000 4194304 4196468 140731951673376 140359680744304 140360623824144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=895] ppid=878 vsize=15011656 memory=139751060694656 CPUtime=0.03 cores=1,3,5,7
/proc/881/task/895/stat : 895 (java) S 878 881 29212 0 -1 1077944384 309 0 0 0 3 0 0 0 20 0 15 0 71898769 15371935744 20972 33554432000 4194304 4196468 140731951673376 140359679691248 140360644672130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=896] ppid=878 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/881/task/896/stat : 896 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 20972 33554432000 4194304 4196468 140731951673376 140358189050720 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=897] ppid=878 vsize=15011656 memory=139751060694656 CPUtime=0 cores=1,3,5,7
/proc/881/task/897/stat : 897 (java) R 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898770 15371935744 20972 33554432000 4194304 4196468 140731951673376 140359678638640 140360644672130 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83628 KiB
[startup+0.310805 s]*
/proc/loadavg: 2.48 2.35 2.22 3/220 897
/proc/meminfo: memFree=21077392/32770624 swapFree=67076520/67108860
[pid=881] ppid=878 vsize=15011656 memory=87796 CPUtime=0.42 cores=1,3,5,7
/proc/881/stat : 881 (java) S 878 881 29212 0 -1 1077944320 10519 0 0 0 39 3 0 0 20 0 15 0 71898763 15371935744 21949 33554432000 4194304 4196468 140731951673376 140731951655920 140360644660983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
/proc/881/statm: 3752914 21949 2991 1 0 3715374 0
[pid=881/tid=883] ppid=878 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/881/task/883/stat : 883 (java) R 878 881 29212 0 -1 4202560 8226 0 0 0 27 2 0 0 20 0 15 0 71898763 15371935744 22015 33554432000 4194304 4196468 140731951673376 140360616490896 140360626224558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=884] ppid=878 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/884/stat : 884 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 22015 33554432000 4194304 4196468 140731951673376 140360648903696 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=885] ppid=878 vsize=15011656 memory=139751060724087 CPUtime=0 cores=1,3,5,7
/proc/881/task/885/stat : 885 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 22015 33554432000 4194304 4196468 140731951673376 140360105192592 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=886] ppid=878 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/886/stat : 886 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 22015 33554432000 4194304 4196468 140731951673376 140360104139536 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=887] ppid=878 vsize=15011656 memory=35 CPUtime=0 cores=1,3,5,7
/proc/881/task/887/stat : 887 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15371935744 22015 33554432000 4194304 4196468 140731951673376 140360103086992 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=888] ppid=878 vsize=15011656 memory=139751060694656 CPUtime=0 cores=1,3,5,7
/proc/881/task/888/stat : 888 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898766 15371935744 22015 33554432000 4194304 4196468 140731951673376 140359682849008 140360644672130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=889] ppid=878 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/881/task/889/stat : 889 (java) S 878 881 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71898767 15371935744 22015 33554432000 4194304 4196468 140731951673376 140359195681952 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=890] ppid=878 vsize=15011656 memory=19012 CPUtime=0 cores=1,3,5,7
/proc/881/task/890/stat : 890 (java) S 878 881 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71898767 15371935744 22015 33554432000 4194304 4196468 140731951673376 140359061459696 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=891] ppid=878 vsize=15011656 memory=21316 CPUtime=0 cores=1,3,5,7
/proc/881/task/891/stat : 891 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 22015 33554432000 4194304 4196468 140731951673376 140358686955472 140360644679579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=892] ppid=878 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/881/task/892/stat : 892 (java) S 878 881 29212 0 -1 1077944384 475 0 0 0 3 0 0 0 20 0 15 0 71898769 15371935744 22015 33554432000 4194304 4196468 140731951673376 140359681796848 140360644672130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=893] ppid=878 vsize=15011656 memory=35 CPUtime=0.02 cores=1,3,5,7
/proc/881/task/893/stat : 893 (java) S 878 881 29212 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 15 0 71898769 15371935744 22015 33554432000 4194304 4196468 140731951673376 140359680744304 140360644672130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=895] ppid=878 vsize=15011656 memory=139751060694656 CPUtime=0.07 cores=1,3,5,7
/proc/881/task/895/stat : 895 (java) S 878 881 29212 0 -1 1077944384 348 0 0 0 7 0 0 0 20 0 15 0 71898769 15371935744 22015 33554432000 4194304 4196468 140731951673376 140359679691248 140360644672130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=896] ppid=878 vsize=15011656 memory=35 CPUtime=0 cores=1,3,5,7
/proc/881/task/896/stat : 896 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71898769 15371935744 22015 33554432000 4194304 4196468 140731951673376 140358189050720 140360644671189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=897] ppid=878 vsize=15011656 memory=279501981642832 CPUtime=0 cores=1,3,5,7
/proc/881/task/897/stat : 897 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898770 15371935744 22015 33554432000 4194304 4196468 140731951673376 140359678638640 140360644672130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87796 KiB
[startup+0.700782 s]
/proc/loadavg: 2.48 2.35 2.22 3/220 897
/proc/meminfo: memFree=21052672/32770624 swapFree=67076520/67108860
[pid=881] ppid=878 vsize=15020052 memory=127720 CPUtime=1.01 cores=1,3,5,7
/proc/881/stat : 881 (java) S 878 881 29212 0 -1 1077944320 17717 0 0 0 96 5 0 0 20 0 15 0 71898763 15380533248 31930 33554432000 4194304 4196468 140731951673376 140731951655920 140360644660983 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
/proc/881/statm: 3755013 31930 3156 1 0 3716398 0
[pid=881/tid=883] ppid=878 vsize=15020052 memory=18624 CPUtime=0.68 cores=1,3,5,7
/proc/881/task/883/stat : 883 (java) R 878 881 29212 0 -1 4202560 14990 0 0 0 64 4 0 0 20 0 15 0 71898763 15380533248 31930 33554432000 4194304 4196468 140731951673376 140360616497008 140360644682909 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=884] ppid=878 vsize=15020052 memory=776 CPUtime=0 cores=1,3,5,7
/proc/881/task/884/stat : 884 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15380533248 31930 33554432000 4194304 4196468 140731951673376 140360648903696 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=885] ppid=878 vsize=15020052 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/881/task/885/stat : 885 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15380533248 31930 33554432000 4194304 4196468 140731951673376 140360105192592 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=886] ppid=878 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/886/stat : 886 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15380533248 31930 33554432000 4194304 4196468 140731951673376 140360104139536 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=887] ppid=878 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/887/stat : 887 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15380533248 31930 33554432000 4194304 4196468 140731951673376 140360103086992 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=888] ppid=878 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/888/stat : 888 (java) S 878 881 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71898766 15380533248 31930 33554432000 4194304 4196468 140731951673376 140359682849008 140360644672130 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=889] ppid=878 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/889/stat : 889 (java) S 878 881 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71898767 15380533248 31930 33554432000 4194304 4196468 140731951673376 140359195681952 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=890] ppid=878 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/890/stat : 890 (java) S 878 881 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71898767 15380533248 31930 33554432000 4194304 4196468 140731951673376 140359061459696 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=891] ppid=878 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/891/stat : 891 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71898769 15380533248 31930 33554432000 4194304 4196468 140731951673376 140358686955472 140360644679579 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=892] ppid=878 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/881/task/892/stat : 892 (java) R 878 881 29212 0 -1 4202560 696 0 0 0 9 0 0 0 20 0 15 0 71898769 15380533248 31930 33554432000 4194304 4196468 140731951673376 140359681786112 140360629589298 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=893] ppid=878 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/881/task/893/stat : 893 (java) R 878 881 29212 0 -1 1077944384 227 0 0 0 7 0 0 0 20 0 15 0 71898769 15380533248 31930 33554432000 4194304 4196468 140731951673376 140359680744304 140360644672130 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=895] ppid=878 vsize=15020052 memory=54 CPUtime=0.16 cores=1,3,5,7
/proc/881/task/895/stat : 895 (java) R 878 881 29212 0 -1 4202560 443 0 0 0 16 0 0 0 20 0 15 0 71898769 15380533248 31930 33554432000 4194304 4196468 140731951673376 140359679691248 140360644682330 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=896] ppid=878 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/896/stat : 896 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71898769 15380533248 31930 33554432000 4194304 4196468 140731951673376 140358189050720 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=897] ppid=878 vsize=15020052 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/881/task/897/stat : 897 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898770 15380533248 31930 33554432000 4194304 4196468 140731951673376 140359678638640 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127720 KiB
[startup+1.50077 s]
/proc/loadavg: 2.48 2.35 2.22 6/220 897
/proc/meminfo: memFree=21021840/32770624 swapFree=67076520/67108860
[pid=881] ppid=878 vsize=15024148 memory=179852 CPUtime=2.92 cores=1,3,5,7
/proc/881/stat : 881 (java) S 878 881 29212 0 -1 1077944320 21519 0 0 0 284 8 0 0 20 0 15 0 71898763 15384727552 44963 33554432000 4194304 4196468 140731951673376 140731951655920 140360644660983 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
/proc/881/statm: 3756037 44963 3202 1 0 3717422 0
[pid=881/tid=883] ppid=878 vsize=15024148 memory=87 CPUtime=1.46 cores=1,3,5,7
/proc/881/task/883/stat : 883 (java) R 878 881 29212 0 -1 4202560 16210 0 0 0 142 4 0 0 20 0 15 0 71898763 15384727552 44963 33554432000 4194304 4196468 140731951673376 140360616497200 140360154940683 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=884] ppid=878 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/884/stat : 884 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15384727552 44963 33554432000 4194304 4196468 140731951673376 140360648903696 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=885] ppid=878 vsize=15024148 memory=127720 CPUtime=0 cores=1,3,5,7
/proc/881/task/885/stat : 885 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15384727552 44963 33554432000 4194304 4196468 140731951673376 140360105192592 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=886] ppid=878 vsize=15024148 memory=18624 CPUtime=0 cores=1,3,5,7
/proc/881/task/886/stat : 886 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71898765 15384727552 44963 33554432000 4194304 4196468 140731951673376 140360104139536 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=887] ppid=878 vsize=15024148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/881/task/887/stat : 887 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71898765 15384727552 44963 33554432000 4194304 4196468 140731951673376 140360103086992 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=888] ppid=878 vsize=15024148 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/881/task/888/stat : 888 (java) S 878 881 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71898766 15384727552 44963 33554432000 4194304 4196468 140731951673376 140359682849008 140360644672130 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
################
# More data... #
################
/proc/881/task/897/stat : 897 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71898770 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359678638640 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=899] ppid=878 vsize=15681864 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/881/task/899/stat : 899 (java) S 878 881 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71898997 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360471074112 140360644685593 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=901] ppid=878 vsize=15681864 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/881/task/901/stat : 901 (java) S 878 881 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 71898998 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357652167984 140360644682909 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=902] ppid=878 vsize=15681864 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/881/task/902/stat : 902 (java) S 878 881 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71898998 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357383733168 140360644682909 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=903] ppid=878 vsize=15681864 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/881/task/903/stat : 903 (java) S 878 881 29212 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 71899000 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357920612128 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 15722376 KiB
Current children cumulated memory: 514568 KiB
[startup+5.20089 s]
/proc/loadavg: 2.36 2.32 2.21 3/225 903
/proc/meminfo: memFree=20647384/32770624 swapFree=67076520/67108860
[pid=881] ppid=878 vsize=15681864 memory=491588 CPUtime=5.6 cores=1,3,5,7
/proc/881/stat : 881 (java) S 878 881 29212 0 -1 1077944320 24360 0 0 0 546 14 0 0 20 0 19 0 71898763 16058228736 122897 33554432000 4194304 4196468 140731951673376 140731951655920 140360644660983 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
/proc/881/statm: 3920466 122897 3229 1 0 3881322 0
[pid=898] ppid=881 vsize=40512 memory=22980 CPUtime=2.84 cores=1,3,5,7
/proc/898/stat : 898 (minisat_release) R 881 881 29212 0 -1 4202496 9077 0 0 0 284 0 0 0 20 0 1 0 71898997 41484288 5745 33554432000 4194304 4308513 140728634676416 140728634673368 4275992 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 13803520 140728634679987 140728634680494 140728634680494 140728634683333 0
/proc/898/statm: 10128 5745 347 28 0 6368 0
[pid=881/tid=883] ppid=878 vsize=15681864 memory=416400 CPUtime=2.35 cores=1,3,5,7
/proc/881/task/883/stat : 883 (java) S 878 881 29212 0 -1 1077944384 16954 0 0 0 225 10 0 0 20 0 19 0 71898763 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360616500224 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=884] ppid=878 vsize=15681864 memory=7238798801035015221 CPUtime=0 cores=1,3,5,7
/proc/881/task/884/stat : 884 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360648903696 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=885] ppid=878 vsize=15681864 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/881/task/885/stat : 885 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360105192592 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=886] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/886/stat : 886 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360104139536 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=887] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/887/stat : 887 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360103086992 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=888] ppid=878 vsize=15681864 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/881/task/888/stat : 888 (java) S 878 881 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71898766 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359682849008 140360644672130 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=889] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/889/stat : 889 (java) S 878 881 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71898767 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359195681952 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=890] ppid=878 vsize=15681864 memory=23188 CPUtime=0 cores=1,3,5,7
/proc/881/task/890/stat : 890 (java) S 878 881 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 71898767 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359061459696 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=891] ppid=878 vsize=15681864 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/881/task/891/stat : 891 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140358686955472 140360644679579 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=892] ppid=878 vsize=15681864 memory=139750921322096 CPUtime=1.2 cores=1,3,5,7
/proc/881/task/892/stat : 892 (java) S 878 881 29212 0 -1 1077944384 2249 0 0 0 119 1 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359681796848 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=893] ppid=878 vsize=15681864 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/881/task/893/stat : 893 (java) S 878 881 29212 0 -1 1077944384 938 0 0 0 114 0 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359680744304 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=895] ppid=878 vsize=15681864 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/881/task/895/stat : 895 (java) S 878 881 29212 0 -1 1077944384 2804 0 0 0 86 1 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359679691248 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=896] ppid=878 vsize=15681864 memory=54 CPUtime=0 cores=1,3,5,7
/proc/881/task/896/stat : 896 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140358189050720 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=897] ppid=878 vsize=15681864 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/881/task/897/stat : 897 (java) D 878 881 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71898770 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359678638560 140360629517070 0 4 0 25189583 18446744072099953797 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=899] ppid=878 vsize=15681864 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/881/task/899/stat : 899 (java) S 878 881 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71898997 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360471074112 140360644685593 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=901] ppid=878 vsize=15681864 memory=-3195349257566499689 CPUtime=0 cores=1,3,5,7
/proc/881/task/901/stat : 901 (java) S 878 881 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 71898998 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357652167984 140360644682909 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=902] ppid=878 vsize=15681864 memory=8128038100524242582 CPUtime=0 cores=1,3,5,7
/proc/881/task/902/stat : 902 (java) S 878 881 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71898998 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357383733168 140360644682909 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=903] ppid=878 vsize=15681864 memory=-6352670693803649130 CPUtime=0 cores=1,3,5,7
/proc/881/task/903/stat : 903 (java) S 878 881 29212 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 71899000 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357920612128 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 15722376 KiB
Current children cumulated memory: 514568 KiB
[startup+5.40087 s]
/proc/loadavg: 2.36 2.32 2.21 3/225 903
/proc/meminfo: memFree=20647384/32770624 swapFree=67076520/67108860
[pid=881] ppid=878 vsize=15681864 memory=491588 CPUtime=5.6 cores=1,3,5,7
/proc/881/stat : 881 (java) S 878 881 29212 0 -1 1077944320 24362 0 0 0 546 14 0 0 20 0 19 0 71898763 16058228736 122897 33554432000 4194304 4196468 140731951673376 140731951655920 140360644660983 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
/proc/881/statm: 3920466 122897 3229 1 0 3881322 0
[pid=898] ppid=881 vsize=40512 memory=22988 CPUtime=3.04 cores=1,3,5,7
/proc/898/stat : 898 (minisat_release) R 881 881 29212 0 -1 4202496 9091 0 0 0 304 0 0 0 20 0 1 0 71898997 41484288 5747 33554432000 4194304 4308513 140728634676416 140728634673368 4276089 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 13803520 140728634679987 140728634680494 140728634680494 140728634683333 0
/proc/898/statm: 10128 5747 349 28 0 6368 0
[pid=881/tid=883] ppid=878 vsize=15681864 memory=4638778411501769832 CPUtime=2.35 cores=1,3,5,7
/proc/881/task/883/stat : 883 (java) S 878 881 29212 0 -1 1077944384 16954 0 0 0 225 10 0 0 20 0 19 0 71898763 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360616500224 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=884] ppid=878 vsize=15681864 memory=4638778402928612456 CPUtime=0 cores=1,3,5,7
/proc/881/task/884/stat : 884 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360648903696 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=885] ppid=878 vsize=15681864 memory=6935649255809901656 CPUtime=0 cores=1,3,5,7
/proc/881/task/885/stat : 885 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360105192592 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=886] ppid=878 vsize=15681864 memory=5866594245868016744 CPUtime=0 cores=1,3,5,7
/proc/881/task/886/stat : 886 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360104139536 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=887] ppid=878 vsize=15681864 memory=7228674683875386456 CPUtime=0 cores=1,3,5,7
/proc/881/task/887/stat : 887 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360103086992 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=888] ppid=878 vsize=15681864 memory=6227440793734370408 CPUtime=0 cores=1,3,5,7
/proc/881/task/888/stat : 888 (java) S 878 881 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71898766 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359682849008 140360644672130 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=889] ppid=878 vsize=15681864 memory=6935649255809901656 CPUtime=0 cores=1,3,5,7
/proc/881/task/889/stat : 889 (java) S 878 881 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71898767 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359195681952 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=890] ppid=878 vsize=15681864 memory=6935649255776347224 CPUtime=0 cores=1,3,5,7
/proc/881/task/890/stat : 890 (java) S 878 881 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 71898767 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359061459696 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=891] ppid=878 vsize=15681864 memory=6935649255759569234 CPUtime=0 cores=1,3,5,7
/proc/881/task/891/stat : 891 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140358686955472 140360644679579 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=892] ppid=878 vsize=15681864 memory=4638778398332698723 CPUtime=1.2 cores=1,3,5,7
/proc/881/task/892/stat : 892 (java) S 878 881 29212 0 -1 1077944384 2249 0 0 0 119 1 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359681796848 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=893] ppid=878 vsize=15681864 memory=4638778398332698721 CPUtime=1.14 cores=1,3,5,7
/proc/881/task/893/stat : 893 (java) S 878 881 29212 0 -1 1077944384 938 0 0 0 114 0 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359680744304 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=895] ppid=878 vsize=15681864 memory=4638778415813514344 CPUtime=0.87 cores=1,3,5,7
/proc/881/task/895/stat : 895 (java) S 878 881 29212 0 -1 1077944384 2804 0 0 0 86 1 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359679691248 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=896] ppid=878 vsize=15681864 memory=139751060694656 CPUtime=0 cores=1,3,5,7
/proc/881/task/896/stat : 896 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140358189050720 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=897] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/897/stat : 897 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71898770 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359678638640 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=899] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/899/stat : 899 (java) S 878 881 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71898997 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360471074112 140360644685593 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=901] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/901/stat : 901 (java) S 878 881 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 71898998 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357652167984 140360644682909 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=902] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/902/stat : 902 (java) S 878 881 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71898998 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357383733168 140360644682909 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=903] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/903/stat : 903 (java) S 878 881 29212 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 71899000 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357920612128 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
Current children cumulated CPU time: 8.64 s
Current children cumulated vsize: 15722376 KiB
Current children cumulated memory: 514576 KiB
[startup+5.50092 s]
/proc/loadavg: 2.36 2.32 2.21 3/225 903
/proc/meminfo: memFree=20647384/32770624 swapFree=67076520/67108860
[pid=881] ppid=878 vsize=15681864 memory=491588 CPUtime=5.6 cores=1,3,5,7
/proc/881/stat : 881 (java) S 878 881 29212 0 -1 1077944320 24362 0 0 0 546 14 0 0 20 0 19 0 71898763 16058228736 122897 33554432000 4194304 4196468 140731951673376 140731951655920 140360644660983 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
/proc/881/statm: 3920466 122897 3229 1 0 3881322 0
[pid=898] ppid=881 vsize=40512 memory=22988 CPUtime=3.14 cores=1,3,5,7
/proc/898/stat : 898 (minisat_release) R 881 881 29212 0 -1 4202496 9095 0 0 0 314 0 0 0 20 0 1 0 71898997 41484288 5747 33554432000 4194304 4308513 140728634676416 140728634673368 4275950 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 13803520 140728634679987 140728634680494 140728634680494 140728634683333 0
/proc/898/statm: 10128 5747 349 28 0 6368 0
[pid=881/tid=883] ppid=878 vsize=15681864 memory=18624 CPUtime=2.35 cores=1,3,5,7
/proc/881/task/883/stat : 883 (java) S 878 881 29212 0 -1 1077944384 16954 0 0 0 225 10 0 0 20 0 19 0 71898763 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360616500224 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=884] ppid=878 vsize=15681864 memory=776 CPUtime=0 cores=1,3,5,7
/proc/881/task/884/stat : 884 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360648903696 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=885] ppid=878 vsize=15681864 memory=279501841933304 CPUtime=0 cores=1,3,5,7
/proc/881/task/885/stat : 885 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360105192592 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=886] ppid=878 vsize=15681864 memory=279501841928592 CPUtime=0 cores=1,3,5,7
/proc/881/task/886/stat : 886 (java) S 878 881 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360104139536 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=887] ppid=878 vsize=15681864 memory=279501842169328 CPUtime=0 cores=1,3,5,7
/proc/881/task/887/stat : 887 (java) S 878 881 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71898765 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360103086992 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=888] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/888/stat : 888 (java) S 878 881 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 71898766 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359682849008 140360644672130 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=889] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/889/stat : 889 (java) S 878 881 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71898767 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359195681952 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=890] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/890/stat : 890 (java) S 878 881 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 71898767 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359061459696 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=891] ppid=878 vsize=15681864 memory=491540 CPUtime=0 cores=1,3,5,7
/proc/881/task/891/stat : 891 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140358686955472 140360644679579 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=892] ppid=878 vsize=15681864 memory=1508 CPUtime=1.2 cores=1,3,5,7
/proc/881/task/892/stat : 892 (java) S 878 881 29212 0 -1 1077944384 2249 0 0 0 119 1 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359681796848 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=893] ppid=878 vsize=15681864 memory=3328 CPUtime=1.14 cores=1,3,5,7
/proc/881/task/893/stat : 893 (java) S 878 881 29212 0 -1 1077944384 938 0 0 0 114 0 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359680744304 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=895] ppid=878 vsize=15681864 memory=3032 CPUtime=0.87 cores=1,3,5,7
/proc/881/task/895/stat : 895 (java) S 878 881 29212 0 -1 1077944384 2804 0 0 0 86 1 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359679691248 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=896] ppid=878 vsize=15681864 memory=54 CPUtime=0 cores=1,3,5,7
/proc/881/task/896/stat : 896 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71898769 16058228736 122897 33554432000 4194304 4196468 140731951673376 140358189050720 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=897] ppid=878 vsize=15681864 memory=23841 CPUtime=0 cores=1,3,5,7
/proc/881/task/897/stat : 897 (java) S 878 881 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71898770 16058228736 122897 33554432000 4194304 4196468 140731951673376 140359678638640 140360644672130 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=899] ppid=878 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/881/task/899/stat : 899 (java) S 878 881 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71898997 16058228736 122897 33554432000 4194304 4196468 140731951673376 140360471074112 140360644685593 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=901] ppid=878 vsize=15681864 memory=-7674914008656224160 CPUtime=0 cores=1,3,5,7
/proc/881/task/901/stat : 901 (java) S 878 881 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 71898998 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357652167984 140360644682909 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=902] ppid=878 vsize=15681864 memory=279501842046104 CPUtime=0 cores=1,3,5,7
/proc/881/task/902/stat : 902 (java) S 878 881 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71898998 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357383733168 140360644682909 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
[pid=881/tid=903] ppid=878 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/881/task/903/stat : 903 (java) S 878 881 29212 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 71899000 16058228736 122897 33554432000 4194304 4196468 140731951673376 140357920612128 140360644671189 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140731951678452 140731951678729 140731951678729 140731951681487 0
Current children cumulated CPU time: 8.74 s
Current children cumulated vsize: 15722376 KiB
Current children cumulated memory: 514576 KiB
Child status: 0
Real time (s): 5.55085
CPU time (s): 8.8231
CPU user time (s): 8.65673
CPU system time (s): 0.166369
CPU usage (%): 158.951
Max. virtual memory (cumulated for all children) (KiB): 15722376
Max. memory (cumulated for all children) (KiB): 514576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.65673
system time used= 0.166369
maximum resident set size= 493720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3893
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 881
# total CPU time (s): 8.8231
# total CPU user time (s): 8.65673
# total CPU system time (s): 0.166369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065679 second user time and 0.095993 second system time
The end