0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-22843-serial-file.bin HOME/instance-4305660-1534075026.xml
0.55/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 13:57:07 CEST 2018
0.67/0.54 c PID: 22846
0.67/0.54 c IP: 172.20.3.103
0.67/0.54 c HOST: node103.alineos.net
0.67/0.55 c (0,0) Parsing Begin
4.77/2.07 c (1,1) Parsing End
4.77/2.07 c (1,1) CSP: 175 int (0 aux), 0 bool (0 aux), 6309 ctr, max domain size 5
4.77/2.07 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.77/2.07 c (1,1) Constraint Name Generate Begin
5.08/2.11 c (1,1) Ctr:HOME/instance-4305660-1534075026.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
5.08/2.11 c (1,1) Constraint Name Generate End
5.08/2.11 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.08/2.11 c (1,1) CSP to CSPinCNF Begin
5.54/2.36 c (1,1) translated 631 (10%) constraints
5.90/2.41 c (1,1) translated 1262 (20%) constraints
5.90/2.45 c (1,1) translated 1893 (30%) constraints
5.90/2.49 c (1,1) translated 2524 (40%) constraints
6.18/2.52 c (2,1) translated 3155 (50%) constraints
6.18/2.55 c (2,2) translated 3786 (60%) constraints
6.18/2.59 c (2,2) translated 4417 (70%) constraints
6.47/2.62 c (2,2) translated 5048 (80%) constraints
6.47/2.65 c (2,2) translated 5679 (90%) constraints
7.92/3.02 c (2,2) translated 6309 (100%) constraints
9.09/3.47 c (2,2) STATISTICS1:HOME/instance-4305660-1534075026.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.09/3.47 c (2,2) ==========================================
9.09/3.47 c (2,2) Both Encoding selects:
9.09/3.47 c (2,2) Order
9.09/3.47 c (2,2) ==========================================
9.42/3.56 c (3,3) translated 869 (10%) constraints
9.73/3.63 c (3,3) translated 1738 (20%) constraints
9.73/3.69 c (3,3) translated 2606 (30%) constraints
10.02/3.75 c (3,3) translated 3475 (40%) constraints
10.33/3.80 c (3,3) translated 4343 (50%) constraints
10.33/3.85 c (3,3) translated 5212 (60%) constraints
10.63/3.90 c (3,3) translated 6081 (70%) constraints
10.97/4.01 c (3,3) translated 6949 (80%) constraints
10.97/4.11 c (3,3) translated 7818 (90%) constraints
11.32/4.16 c (3,3) translated 8686 (100%) constraints
11.32/4.16 c (3,3) CSP to CSPinCNF End
11.32/4.17 c (3,3) CSP: 280 int (105 aux), 2008 bool (2008 aux), 10706 ctr, max domain size 6
11.32/4.17 c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.32/4.17 c (3,3) CSPinCNF Propagation Begin
11.92/4.37 c (3,3) 345 values, 3018 unsatisfiable literals, and 2443 valid clauses are removed
11.92/4.37 c (3,3) CSPinCNF Propagation End
11.92/4.37 c (3,3) CSP: 550 int (375 aux), 1738 bool (1738 aux), 8263 ctr, max domain size 6
11.92/4.37 c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.92/4.37 c (3,3) Simplify CSPinCNF Begin
12.55/4.59 c (4,4) Simplify CSPinCNF End
12.55/4.59 c (4,4) CSP: 550 int (375 aux), 5639 bool (5639 aux), 12164 ctr, max domain size 6
12.55/4.59 c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.55/4.59 c (4,4) Calculate Precise Domain Begin
12.86/4.65 c (4,4) 0 values are removed by re-calculation
12.86/4.65 c (4,4) Calculate Precise Domain End
12.86/4.65 c (4,4) CSP: 550 int (375 aux), 5639 bool (5639 aux), 12164 ctr, max domain size 6
12.86/4.65 c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.86/4.65 c (4,4) CSPinCNF to SatSolver Begin
13.56/4.80 c (4,4) 1217 (10 %) CSP clauses are encoded (6689 SAT variables, 5402 SAT clauses)
13.56/4.85 c (4,4) 2433 (20 %) CSP clauses are encoded (6689 SAT variables, 10234 SAT clauses)
13.86/4.90 c (4,4) 3650 (30 %) CSP clauses are encoded (6689 SAT variables, 14507 SAT clauses)
13.86/4.94 c (4,4) 4866 (40 %) CSP clauses are encoded (6689 SAT variables, 18755 SAT clauses)
13.86/4.97 c (4,4) 6082 (50 %) CSP clauses are encoded (6689 SAT variables, 21291 SAT clauses)
13.86/4.98 c (4,4) 7299 (60 %) CSP clauses are encoded (6689 SAT variables, 22508 SAT clauses)
14.17/5.09 c (4,4) 8515 (70 %) CSP clauses are encoded (6689 SAT variables, 31579 SAT clauses)
14.77/5.21 c (4,4) 9732 (80 %) CSP clauses are encoded (6689 SAT variables, 48506 SAT clauses)
15.00/5.36 c (4,4) 10948 (90 %) CSP clauses are encoded (6689 SAT variables, 73287 SAT clauses)
15.00/5.38 c (4,4) 12164 (100 %) CSP clauses are encoded (6689 SAT variables, 76267 SAT clauses)
15.00/5.38 c (4,4) Launch Command will be: minisat_release
15.00/5.38 c (4,4) CSPinCNF to SatSolver End
15.00/5.38 c (4,4) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.22/5.49 c (4,4) STATISTICS2:HOME/instance-4305660-1534075026.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,
15.22/5.49 c (4,4) 6689 bool, 76271 clause
15.22/5.49 c (4,4) Export Begin
15.53/5.58 c (5,5) Export to HOME/scop-22843-serial-file.bin
15.53/5.58 c (5,5) Export End
15.53/5.58 c (5,5) Export File Size: 0.03 MB
15.53/5.58 c (5,5) 1,1,3,3,4,4,4,STOP-AFTER(DIMACS)
15.53/5.58 c END-Prog: Sun Aug 12 13:57:12 CEST 2018
0.00/5.60 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22843-serial-file.bin
15.82/6.09 c (0,0) Read Serial File Begin
15.82/6.09 c (0,0) HOME/scop-22843-serial-file.bin
16.63/6.26 c (0,0) Read Serial File End
16.63/6.28
16.63/6.28 scop order+minisat_release (2018-07-31)
16.63/6.28 (Solving Process)
16.63/6.28
16.78/6.30 c BEGIN-Prog: Sun Aug 12 13:57:12 CEST 2018
16.78/6.30 c PID: 22861
16.78/6.30 c IP: 172.20.3.103
16.78/6.30 c HOST: node103.alineos.net
16.78/6.30 c (0,0) SatSolver.solve Begin
16.78/6.30 c (0,0) 0 bool, 0 clause
16.78/6.30 c (0,0) minisat_release HOME/instance-4305660-1534075026.xml-scop-22846.cnf
24.43/13.85 c (7,0) c This is COMiniSatPS.
24.43/13.85 c (7,0) c WARNING: for repeatability, setting FPU to use double precision
24.43/13.85 c (7,0) c ============================[ Problem Statistics ]=============================
24.43/13.85 c (7,0) c | |
24.43/13.85 c (7,0) c | Number of variables: 6689 |
24.43/13.85 c (7,0) c | Number of clauses: 76271 |
24.43/13.85 c (7,0) c | Parse time: 0.02 s |
24.43/13.85 c (7,0) c | Eliminated clauses: 0.03 Mb |
24.43/13.85 c (7,0) c Reduced to 5341 vars, 73681 cls (grow=0)
24.43/13.85 c (7,0) c No iterative elimination performed. (vars=5341, c/v ratio=13.8)
24.43/13.85 c (7,0) c | Simplification time: 0.14 s |
24.43/13.85 c (7,0) c | |
24.43/13.85 c (7,0) c ============================[ Search Statistics ]==============================
24.43/13.85 c (7,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
24.43/13.85 c (7,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.43/13.85 c (7,0) c ===============================================================================
24.43/13.85 c (7,0) c ===============================================================================
24.43/13.85 c (7,0) c restarts : 268
24.43/13.85 c (7,0) c conflicts : 84780 (11296 /sec)
24.43/13.85 c (7,0) c decisions : 134913 (0.00 % random) (17975 /sec)
24.43/13.85 c (7,0) c propagations : 16977274 (2262002 /sec)
24.43/13.85 c (7,0) c conflict literals : 3206815 (11.98 % deleted)
24.43/13.85 c (7,0) c CPU time : 7.50542 s
24.43/13.85 c (7,0)
24.43/13.85 c (7,0) s UNSATISFIABLE
24.43/13.85 c (7,0) SatSolver.solve End
24.43/13.85 c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
24.43/13.85 c (7,0) Show results Begin
24.43/13.85 s UNSATISFIABLE
24.43/13.85 c (7,0) Show results End
24.43/13.85 c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
24.43/13.86 c (7,0) 7,7,STOP-AFTER(ALL)
24.43/13.86 c END-Prog: Sun Aug 12 13:57:20 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 (7868 MiB free)
memory of node 1: 16384 MiB (8750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305660-1534075026/watcher-4305660-1534075026 -o /tmp/evaluation-result-4305660-1534075026/solver-4305660-1534075026 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305660-1534075026.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=22843, runsolver pid=22840
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 2.00 2.06 2.06 3/222 22860
/proc/meminfo: memFree=16958884/32770624 swapFree=67058740/67108860
[pid=22843] ppid=22840 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22843/stat : 22843 (scop.sh) S 22840 22843 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225065793 115843072 348 33554432000 4194304 5098028 140723989525584 140723989522840 139742457279100 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37732352 140723989529665 140723989529863 140723989529863 140723989532621 0
/proc/22843/statm: 28282 348 296 221 0 87 0
[pid=22846] ppid=22843 vsize=15012476 memory=70260 CPUtime=0.11 cores=1,3,5,7
/proc/22846/stat : 22846 (java) S 22843 22843 20606 0 -1 1077944320 6710 0 0 0 10 1 0 0 20 0 15 0 225065793 15372775424 17565 33554432000 4194304 4196468 140727532040288 140727532022832 140693365808887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
/proc/22846/statm: 3753119 17565 2770 1 0 3715579 0
[pid=22846/tid=22847] ppid=22843 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/22846/task/22847/stat : 22847 (java) R 22843 22843 20606 0 -1 4202560 4776 0 0 0 8 1 0 0 20 0 15 0 225065793 15372775424 17565 33554432000 4194304 4196468 140727532040288 140693337620872 140693346084647 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22848] ppid=22843 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22848/stat : 22848 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 17565 33554432000 4194304 4196468 140727532040288 140693370050960 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22849] ppid=22843 vsize=15012476 memory=139641648223872 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22849/stat : 22849 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 17565 33554432000 4194304 4196468 140727532040288 140692826618128 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22850] ppid=22843 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22850/stat : 22850 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 17565 33554432000 4194304 4196468 140727532040288 140692825565840 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22851] ppid=22843 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22851/stat : 22851 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 17565 33554432000 4194304 4196468 140727532040288 140692824513040 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22852] ppid=22843 vsize=15012476 memory=139641648223872 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22852/stat : 22852 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065797 15372775424 17565 33554432000 4194304 4196468 140727532040288 140692403386992 140693365820034 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22853] ppid=22843 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22853/stat : 22853 (java) S 22843 22843 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225065797 15372775424 17565 33554432000 4194304 4196468 140727532040288 140691988538656 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22854] ppid=22843 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22854/stat : 22854 (java) S 22843 22843 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225065797 15372775424 17565 33554432000 4194304 4196468 140727532040288 140691854317168 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22855] ppid=22843 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22855/stat : 22855 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 17631 33554432000 4194304 4196468 140727532040288 140691479812688 140693365827483 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22856] ppid=22843 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22856/stat : 22856 (java) S 22843 22843 20606 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 17631 33554432000 4194304 4196468 140727532040288 140692402333808 140693365820034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22857] ppid=22843 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22857/stat : 22857 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 17631 33554432000 4194304 4196468 140727532040288 140692401281008 140693365820034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22858] ppid=22843 vsize=15012476 memory=139641648223872 CPUtime=0.01 cores=1,3,5,7
/proc/22846/task/22858/stat : 22858 (java) S 22843 22843 20606 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 225065800 15372775424 17631 33554432000 4194304 4196468 140727532040288 140692400228720 140693365820034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22859] ppid=22843 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22859/stat : 22859 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 17631 33554432000 4194304 4196468 140727532040288 140690981906912 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22860] ppid=22843 vsize=15012476 memory=139641648223872 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22860/stat : 22860 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 17631 33554432000 4194304 4196468 140727532040288 140692399176624 140693365820034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71652 KiB
[startup+0.211016 s]*
/proc/loadavg: 2.00 2.06 2.06 3/222 22860
/proc/meminfo: memFree=16945304/32770624 swapFree=67058740/67108860
[pid=22843] ppid=22840 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22843/stat : 22843 (scop.sh) S 22840 22843 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225065793 115843072 348 33554432000 4194304 5098028 140723989525584 140723989522840 139742457279100 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37732352 140723989529665 140723989529863 140723989529863 140723989532621 0
/proc/22843/statm: 28282 348 296 221 0 87 0
[pid=22846] ppid=22843 vsize=15012476 memory=83856 CPUtime=0.26 cores=1,3,5,7
/proc/22846/stat : 22846 (java) S 22843 22843 20606 0 -1 1077944320 10343 0 0 0 24 2 0 0 20 0 15 0 225065793 15372775424 20964 33554432000 4194304 4196468 140727532040288 140727532022832 140693365808887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
/proc/22846/statm: 3753119 20964 2925 1 0 3715579 0
[pid=22846/tid=22847] ppid=22843 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/22846/task/22847/stat : 22847 (java) R 22843 22843 20606 0 -1 4202560 8218 0 0 0 18 1 0 0 20 0 15 0 225065793 15372775424 20964 33554432000 4194304 4196468 140727532040288 140693337635280 140693365820822 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22848] ppid=22843 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22848/stat : 22848 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 20964 33554432000 4194304 4196468 140727532040288 140693370050960 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22849] ppid=22843 vsize=15012476 memory=139641649387106 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22849/stat : 22849 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 20964 33554432000 4194304 4196468 140727532040288 140692826618128 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22850] ppid=22843 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22850/stat : 22850 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 20964 33554432000 4194304 4196468 140727532040288 140692825565840 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22851] ppid=22843 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22851/stat : 22851 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 20964 33554432000 4194304 4196468 140727532040288 140692824513040 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22852] ppid=22843 vsize=15012476 memory=139641648223872 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22852/stat : 22852 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065797 15372775424 20964 33554432000 4194304 4196468 140727532040288 140692403386992 140693365820034 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22853] ppid=22843 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22853/stat : 22853 (java) S 22843 22843 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225065797 15372775424 20964 33554432000 4194304 4196468 140727532040288 140691988538656 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22854] ppid=22843 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22854/stat : 22854 (java) S 22843 22843 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225065797 15372775424 20964 33554432000 4194304 4196468 140727532040288 140691854317168 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22855] ppid=22843 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22855/stat : 22855 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 20964 33554432000 4194304 4196468 140727532040288 140691479812688 140693365827483 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22856] ppid=22843 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22846/task/22856/stat : 22856 (java) S 22843 22843 20606 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 225065800 15372775424 20964 33554432000 4194304 4196468 140727532040288 140692402333808 140693365820034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22857] ppid=22843 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22857/stat : 22857 (java) S 22843 22843 20606 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 20964 33554432000 4194304 4196468 140727532040288 140692401281008 140693365820034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22858] ppid=22843 vsize=15012476 memory=139641648223872 CPUtime=0.03 cores=1,3,5,7
/proc/22846/task/22858/stat : 22858 (java) R 22843 22843 20606 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 15 0 225065800 15372775424 20964 33554432000 4194304 4196468 140727532040288 140692400228720 140693345780072 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22859] ppid=22843 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22859/stat : 22859 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 20964 33554432000 4194304 4196468 140727532040288 140690981906912 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22860] ppid=22843 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22860/stat : 22860 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 20964 33554432000 4194304 4196468 140727532040288 140692399176624 140693365820034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85248 KiB
[startup+0.310715 s]*
/proc/loadavg: 2.00 2.06 2.06 3/222 22860
/proc/meminfo: memFree=16941148/32770624 swapFree=67058740/67108860
[pid=22843] ppid=22840 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22843/stat : 22843 (scop.sh) S 22840 22843 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225065793 115843072 348 33554432000 4194304 5098028 140723989525584 140723989522840 139742457279100 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37732352 140723989529665 140723989529863 140723989529863 140723989532621 0
/proc/22843/statm: 28282 348 296 221 0 87 0
[pid=22846] ppid=22843 vsize=15012476 memory=87796 CPUtime=0.42 cores=1,3,5,7
/proc/22846/stat : 22846 (java) S 22843 22843 20606 0 -1 1077944320 10963 0 0 0 40 2 0 0 20 0 15 0 225065793 15372775424 21949 33554432000 4194304 4196468 140727532040288 140727532022832 140693365808887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
/proc/22846/statm: 3753119 21949 2968 1 0 3715579 0
[pid=22846/tid=22847] ppid=22843 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/22846/task/22847/stat : 22847 (java) R 22843 22843 20606 0 -1 4202560 8656 0 0 0 28 2 0 0 20 0 15 0 225065793 15372775424 21949 33554432000 4194304 4196468 140727532040288 140693337603888 140693365830813 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22848] ppid=22843 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22848/stat : 22848 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 21949 33554432000 4194304 4196468 140727532040288 140693370050960 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22849] ppid=22843 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22849/stat : 22849 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 21949 33554432000 4194304 4196468 140727532040288 140692826618128 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22850] ppid=22843 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22850/stat : 22850 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 21949 33554432000 4194304 4196468 140727532040288 140692825565840 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22851] ppid=22843 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22851/stat : 22851 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15372775424 21949 33554432000 4194304 4196468 140727532040288 140692824513040 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22852] ppid=22843 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22852/stat : 22852 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065797 15372775424 21949 33554432000 4194304 4196468 140727532040288 140692403386992 140693365820034 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22853] ppid=22843 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22853/stat : 22853 (java) S 22843 22843 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225065797 15372775424 21949 33554432000 4194304 4196468 140727532040288 140691988538656 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22854] ppid=22843 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22854/stat : 22854 (java) S 22843 22843 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225065797 15372775424 21949 33554432000 4194304 4196468 140727532040288 140691854317168 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22855] ppid=22843 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22855/stat : 22855 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 21949 33554432000 4194304 4196468 140727532040288 140691479812688 140693365827483 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22856] ppid=22843 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22846/task/22856/stat : 22856 (java) R 22843 22843 20606 0 -1 4202560 393 0 0 0 2 0 0 0 20 0 15 0 225065800 15372775424 21949 33554432000 4194304 4196468 140727532040288 140692402333808 140693349219782 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22857] ppid=22843 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22846/task/22857/stat : 22857 (java) R 22843 22843 20606 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 15 0 225065800 15372775424 21949 33554432000 4194304 4196468 140727532040288 140692401281008 140693365820034 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22858] ppid=22843 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22846/task/22858/stat : 22858 (java) R 22843 22843 20606 0 -1 4202560 336 0 0 0 7 0 0 0 20 0 15 0 225065800 15372775424 21949 33554432000 4194304 4196468 140727532040288 140692400228720 140693344483989 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22859] ppid=22843 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22859/stat : 22859 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 21949 33554432000 4194304 4196468 140727532040288 140690981906912 140693365819093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22860] ppid=22843 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22860/stat : 22860 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225065800 15372775424 21949 33554432000 4194304 4196468 140727532040288 140692399176624 140693365820034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89188 KiB
[startup+0.708348 s]
/proc/loadavg: 2.00 2.06 2.06 3/222 22860
/proc/meminfo: memFree=16916840/32770624 swapFree=67058740/67108860
[pid=22843] ppid=22840 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22843/stat : 22843 (scop.sh) S 22840 22843 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225065793 115843072 348 33554432000 4194304 5098028 140723989525584 140723989522840 139742457279100 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37732352 140723989529665 140723989529863 140723989529863 140723989532621 0
/proc/22843/statm: 28282 348 296 221 0 87 0
[pid=22846] ppid=22843 vsize=15018748 memory=129112 CPUtime=1.08 cores=1,3,5,7
/proc/22846/stat : 22846 (java) S 22843 22843 20606 0 -1 1077944320 17937 0 0 0 104 4 0 0 20 0 15 0 225065793 15379197952 32278 33554432000 4194304 4196468 140727532040288 140727532022832 140693365808887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
/proc/22846/statm: 3754687 32278 3126 1 0 3716091 0
[pid=22846/tid=22847] ppid=22843 vsize=15018748 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/22846/task/22847/stat : 22847 (java) R 22843 22843 20606 0 -1 4202560 15115 0 0 0 64 4 0 0 20 0 15 0 225065793 15379197952 32278 33554432000 4194304 4196468 140727532040288 140693337644784 140692871598557 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22848] ppid=22843 vsize=15018748 memory=116 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22848/stat : 22848 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15379197952 32278 33554432000 4194304 4196468 140727532040288 140693370050960 140693365819093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22849] ppid=22843 vsize=15018748 memory=12922 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22849/stat : 22849 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225065795 15379197952 32278 33554432000 4194304 4196468 140727532040288 140692826618128 140693365819093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22850] ppid=22843 vsize=15018748 memory=448505 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22850/stat : 22850 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15379197952 32278 33554432000 4194304 4196468 140727532040288 140692825565840 140693365819093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22851] ppid=22843 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22851/stat : 22851 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225065795 15379197952 32278 33554432000 4194304 4196468 140727532040288 140692824513040 140693365819093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22852] ppid=22843 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22852/stat : 22852 (java) S 22843 22843 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225065797 15379197952 32278 33554432000 4194304 4196468 140727532040288 140692403386992 140693365820034 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22853] ppid=22843 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22853/stat : 22853 (java) S 22843 22843 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225065797 15379197952 32278 33554432000 4194304 4196468 140727532040288 140691988538656 140693365819093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22854] ppid=22843 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22854/stat : 22854 (java) S 22843 22843 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225065797 15379197952 32278 33554432000 4194304 4196468 140727532040288 140691854317168 140693365819093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22855] ppid=22843 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22855/stat : 22855 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225065800 15379197952 32278 33554432000 4194304 4196468 140727532040288 140691479812688 140693365827483 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22856] ppid=22843 vsize=15018748 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22846/task/22856/stat : 22856 (java) D 22843 22843 20606 0 -1 4202560 549 0 0 0 9 0 0 0 20 0 15 0 225065800 15379197952 32278 33554432000 4194304 4196468 140727532040288 140692402315608 140693358046014 0 4 2 25189581 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22857] ppid=22843 vsize=15018748 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/22846/task/22857/stat : 22857 (java) S 22843 22843 20606 0 -1 1077944384 438 0 0 0 11 0 0 0 20 0 15 0 225065800 15379197952 32278 33554432000 4194304 4196468 140727532040288 140692401267792 140693365819093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22858] ppid=22843 vsize=15018748 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/22846/task/22858/stat : 22858 (java) R 22843 22843 20606 0 -1 4202560 479 0 0 0 18 0 0 0 20 0 15 0 225065800 15379197952 32278 33554432000 4194304 4196468 140727532040288 140692400225656 140693358526039 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22859] ppid=22843 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22859/stat : 22859 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225065800 15379197952 32278 33554432000 4194304 4196468 140727532040288 140690981906912 140693365819093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
[pid=22846/tid=22860] ppid=22843 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22846/task/22860/stat : 22860 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225065800 15379197952 32278 33554432000 4194304 4196468 140727532040288 140692399176624 140693365820034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38694912 140727532049415 140727532049713 140727532049713 140727532052431 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130504 KiB
[startup+1.50663 s]
/proc/loadavg: 2.00 2.06 2.06 5/222 22860
/proc/meminfo: memFree=16834444/32770624 swapFree=67058740/67108860
[pid=22843] ppid=22840 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22843/stat : 22843 (scop.sh) S 22840 22843 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225065793 115843072 348 33554432000 4194304 5098028 140723989525584 140723989522840 139742457279100 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37732352 140723989529665 140723989529863 140723989529863 140723989532621 0
/proc/22843/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 23.53 s
Current children cumulated vsize: 8228296 KiB
Current children cumulated memory: 150764 KiB
[startup+13.301 s]
/proc/loadavg: 2.50 2.17 2.10 3/227 22881
/proc/meminfo: memFree=16878320/32770624 swapFree=67058740/67108860
[pid=22843] ppid=22840 vsize=113128 memory=1468 CPUtime=15.82 cores=1,3,5,7
/proc/22843/stat : 22843 (scop.sh) S 22840 22843 20606 0 -1 4202496 589 33779 0 0 0 0 1554 28 20 0 1 0 225065793 115843072 367 33554432000 4194304 5098028 140723989525584 140723989522328 139742457279100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37732352 140723989529665 140723989529863 140723989529863 140723989532621 0
/proc/22843/statm: 28282 367 311 221 0 87 0
[pid=22861] ppid=22843 vsize=8068220 memory=118540 CPUtime=1.15 cores=1,3,5,7
/proc/22861/stat : 22861 (java) S 22843 22843 20606 0 -1 1077944320 17883 0 0 0 109 6 0 0 20 0 19 0 225066353 8261857280 29635 33554432000 4194304 4196468 140731030231392 140731030213936 140360913329911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
/proc/22861/statm: 2017055 29635 3147 1 0 1978454 0
[pid=22876] ppid=22861 vsize=46948 memory=30756 CPUtime=6.96 cores=1,3,5,7
/proc/22876/stat : 22876 (minisat_release) R 22861 22843 20606 0 -1 4202496 10471 0 0 0 695 1 0 0 20 0 1 0 225066426 48074752 7689 33554432000 4194304 4308513 140734043044480 140734043041384 140043600950049 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 17903616 140734043051124 140734043051222 140734043051222 140734043054021 0
/proc/22876/statm: 11737 7689 342 28 0 7977 0
[pid=22861/tid=22862] ppid=22843 vsize=8068220 memory=23872 CPUtime=0.74 cores=1,3,5,7
/proc/22861/task/22862/stat : 22862 (java) S 22843 22843 20606 0 -1 1077944384 14942 0 0 0 70 4 0 0 20 0 19 0 225066354 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360885170064 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22863] ppid=22843 vsize=8068220 memory=1200802 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22863/stat : 22863 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360917572112 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22864] ppid=22843 vsize=8068220 memory=12922 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22864/stat : 22864 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360398092944 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22865] ppid=22843 vsize=8068220 memory=448505 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22865/stat : 22865 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360397039888 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22866] ppid=22843 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22866/stat : 22866 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360395987344 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22867] ppid=22843 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22867/stat : 22867 (java) S 22843 22843 20606 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 225066356 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360359754480 140360913341058 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22868] ppid=22843 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22868/stat : 22868 (java) S 22843 22843 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225066357 8261857280 29635 33554432000 4194304 4196468 140731030231392 140359732553376 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22869] ppid=22843 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22869/stat : 22869 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066357 8261857280 29635 33554432000 4194304 4196468 140731030231392 140359464117488 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22870] ppid=22843 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22870/stat : 22870 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140359089609168 140360913348507 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22871] ppid=22843 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22861/task/22871/stat : 22871 (java) S 22843 22843 20606 0 -1 1077944384 503 0 0 0 8 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360358701296 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22872] ppid=22843 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22861/task/22872/stat : 22872 (java) S 22843 22843 20606 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360357648752 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22873] ppid=22843 vsize=8068220 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/22861/task/22873/stat : 22873 (java) S 22843 22843 20606 0 -1 1077944384 600 0 0 0 20 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360356595696 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22874] ppid=22843 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22874/stat : 22874 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140358591703392 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22875] ppid=22843 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22875/stat : 22875 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225066360 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360355544112 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22877] ppid=22843 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22877/stat : 22877 (java) S 22843 22843 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225066426 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360347735872 140360913354521 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22879] ppid=22843 vsize=8068220 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22879/stat : 22879 (java) S 22843 22843 20606 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225066426 8261857280 29635 33554432000 4194304 4196468 140731030231392 140358054817680 140360913351837 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22880] ppid=22843 vsize=8068220 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22880/stat : 22880 (java) S 22843 22843 20606 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225066426 8261857280 29635 33554432000 4194304 4196468 140731030231392 140357920595472 140360913351837 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22881] ppid=22843 vsize=8068220 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22881/stat : 22881 (java) S 22843 22843 20606 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 225066429 8261857280 29635 33554432000 4194304 4196468 140731030231392 140358189047072 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
Current children cumulated CPU time: 23.93 s
Current children cumulated vsize: 8228296 KiB
Current children cumulated memory: 150764 KiB
[startup+13.701 s]
/proc/loadavg: 2.50 2.17 2.10 3/227 22881
/proc/meminfo: memFree=16878320/32770624 swapFree=67058740/67108860
[pid=22843] ppid=22840 vsize=113128 memory=1468 CPUtime=15.82 cores=1,3,5,7
/proc/22843/stat : 22843 (scop.sh) S 22840 22843 20606 0 -1 4202496 589 33779 0 0 0 0 1554 28 20 0 1 0 225065793 115843072 367 33554432000 4194304 5098028 140723989525584 140723989522328 139742457279100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37732352 140723989529665 140723989529863 140723989529863 140723989532621 0
/proc/22843/statm: 28282 367 311 221 0 87 0
[pid=22861] ppid=22843 vsize=8068220 memory=118540 CPUtime=1.15 cores=1,3,5,7
/proc/22861/stat : 22861 (java) S 22843 22843 20606 0 -1 1077944320 17883 0 0 0 109 6 0 0 20 0 19 0 225066353 8261857280 29635 33554432000 4194304 4196468 140731030231392 140731030213936 140360913329911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
/proc/22861/statm: 2017055 29635 3147 1 0 1978454 0
[pid=22876] ppid=22861 vsize=46948 memory=30756 CPUtime=7.36 cores=1,3,5,7
/proc/22876/stat : 22876 (minisat_release) R 22861 22843 20606 0 -1 4202496 10471 0 0 0 735 1 0 0 20 0 1 0 225066426 48074752 7689 33554432000 4194304 4308513 140734043044480 140734043041384 4275992 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 17903616 140734043051124 140734043051222 140734043051222 140734043054021 0
/proc/22876/statm: 11737 7689 342 28 0 7977 0
[pid=22861/tid=22862] ppid=22843 vsize=8068220 memory=1024 CPUtime=0.74 cores=1,3,5,7
/proc/22861/task/22862/stat : 22862 (java) S 22843 22843 20606 0 -1 1077944384 14942 0 0 0 70 4 0 0 20 0 19 0 225066354 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360885170064 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22863] ppid=22843 vsize=8068220 memory=3172 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22863/stat : 22863 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360917572112 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22864] ppid=22843 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22864/stat : 22864 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360398092944 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22865] ppid=22843 vsize=8068220 memory=118540 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22865/stat : 22865 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360397039888 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22866] ppid=22843 vsize=8068220 memory=2076 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22866/stat : 22866 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360395987344 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22867] ppid=22843 vsize=8068220 memory=9004 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22867/stat : 22867 (java) S 22843 22843 20606 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 225066356 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360359754480 140360913341058 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22868] ppid=22843 vsize=8068220 memory=768 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22868/stat : 22868 (java) S 22843 22843 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225066357 8261857280 29635 33554432000 4194304 4196468 140731030231392 140359732553376 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22869] ppid=22843 vsize=8068220 memory=736 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22869/stat : 22869 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066357 8261857280 29635 33554432000 4194304 4196468 140731030231392 140359464117488 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22870] ppid=22843 vsize=8068220 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22870/stat : 22870 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140359089609168 140360913348507 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22871] ppid=22843 vsize=8068220 memory=1708 CPUtime=0.08 cores=1,3,5,7
/proc/22861/task/22871/stat : 22871 (java) S 22843 22843 20606 0 -1 1077944384 503 0 0 0 8 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360358701296 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22872] ppid=22843 vsize=8068220 memory=5116 CPUtime=0.08 cores=1,3,5,7
/proc/22861/task/22872/stat : 22872 (java) S 22843 22843 20606 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360357648752 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22873] ppid=22843 vsize=8068220 memory=13608 CPUtime=0.2 cores=1,3,5,7
/proc/22861/task/22873/stat : 22873 (java) S 22843 22843 20606 0 -1 1077944384 600 0 0 0 20 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360356595696 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22874] ppid=22843 vsize=8068220 memory=1860 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22874/stat : 22874 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140358591703392 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22875] ppid=22843 vsize=8068220 memory=32232 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22875/stat : 22875 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225066360 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360355544112 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22877] ppid=22843 vsize=8068220 memory=13808 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22877/stat : 22877 (java) S 22843 22843 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225066426 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360347735872 140360913354521 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22879] ppid=22843 vsize=8068220 memory=524 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22879/stat : 22879 (java) S 22843 22843 20606 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225066426 8261857280 29635 33554432000 4194304 4196468 140731030231392 140358054817680 140360913351837 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22880] ppid=22843 vsize=8068220 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22880/stat : 22880 (java) S 22843 22843 20606 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225066426 8261857280 29635 33554432000 4194304 4196468 140731030231392 140357920595472 140360913351837 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22881] ppid=22843 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22881/stat : 22881 (java) S 22843 22843 20606 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 225066429 8261857280 29635 33554432000 4194304 4196468 140731030231392 140358189047072 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
Current children cumulated CPU time: 24.33 s
Current children cumulated vsize: 8228296 KiB
Current children cumulated memory: 150764 KiB
[startup+13.8009 s]
/proc/loadavg: 2.50 2.17 2.10 3/227 22881
/proc/meminfo: memFree=16878320/32770624 swapFree=67058740/67108860
[pid=22843] ppid=22840 vsize=113128 memory=1468 CPUtime=15.82 cores=1,3,5,7
/proc/22843/stat : 22843 (scop.sh) S 22840 22843 20606 0 -1 4202496 589 33779 0 0 0 0 1554 28 20 0 1 0 225065793 115843072 367 33554432000 4194304 5098028 140723989525584 140723989522328 139742457279100 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37732352 140723989529665 140723989529863 140723989529863 140723989532621 0
/proc/22843/statm: 28282 367 311 221 0 87 0
[pid=22861] ppid=22843 vsize=8068220 memory=118540 CPUtime=1.15 cores=1,3,5,7
/proc/22861/stat : 22861 (java) S 22843 22843 20606 0 -1 1077944320 17883 0 0 0 109 6 0 0 20 0 19 0 225066353 8261857280 29635 33554432000 4194304 4196468 140731030231392 140731030213936 140360913329911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
/proc/22861/statm: 2017055 29635 3147 1 0 1978454 0
[pid=22876] ppid=22861 vsize=46948 memory=30952 CPUtime=7.46 cores=1,3,5,7
/proc/22876/stat : 22876 (minisat_release) R 22861 22843 20606 0 -1 4202496 11916 0 0 0 745 1 0 0 20 0 1 0 225066426 48074752 7738 33554432000 4194304 4308513 140734043044480 140734043041384 140043600970637 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 17903616 140734043051124 140734043051222 140734043051222 140734043054021 0
/proc/22876/statm: 11737 7738 342 28 0 7977 0
[pid=22861/tid=22862] ppid=22843 vsize=8068220 memory=118540 CPUtime=0.74 cores=1,3,5,7
/proc/22861/task/22862/stat : 22862 (java) S 22843 22843 20606 0 -1 1077944384 14942 0 0 0 70 4 0 0 20 0 19 0 225066354 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360885170064 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22863] ppid=22843 vsize=8068220 memory=30756 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22863/stat : 22863 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360917572112 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22864] ppid=22843 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22864/stat : 22864 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360398092944 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22865] ppid=22843 vsize=8068220 memory=59980 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22865/stat : 22865 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360397039888 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22866] ppid=22843 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22866/stat : 22866 (java) S 22843 22843 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225066355 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360395987344 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22867] ppid=22843 vsize=8068220 memory=4639423674587895122 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22867/stat : 22867 (java) S 22843 22843 20606 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 225066356 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360359754480 140360913341058 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22868] ppid=22843 vsize=8068220 memory=-6586668835053300886 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22868/stat : 22868 (java) S 22843 22843 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225066357 8261857280 29635 33554432000 4194304 4196468 140731030231392 140359732553376 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22869] ppid=22843 vsize=8068220 memory=11105 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22869/stat : 22869 (java) S 22843 22843 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225066357 8261857280 29635 33554432000 4194304 4196468 140731030231392 140359464117488 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22870] ppid=22843 vsize=8068220 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22870/stat : 22870 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140359089609168 140360913348507 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22871] ppid=22843 vsize=8068220 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/22861/task/22871/stat : 22871 (java) S 22843 22843 20606 0 -1 1077944384 503 0 0 0 8 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360358701296 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22872] ppid=22843 vsize=8068220 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/22861/task/22872/stat : 22872 (java) S 22843 22843 20606 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360357648752 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22873] ppid=22843 vsize=8068220 memory=11044 CPUtime=0.2 cores=1,3,5,7
/proc/22861/task/22873/stat : 22873 (java) S 22843 22843 20606 0 -1 1077944384 600 0 0 0 20 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360356595696 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22874] ppid=22843 vsize=8068220 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22874/stat : 22874 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225066359 8261857280 29635 33554432000 4194304 4196468 140731030231392 140358591703392 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22875] ppid=22843 vsize=8068220 memory=5116 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22875/stat : 22875 (java) S 22843 22843 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225066360 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360355544112 140360913341058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22877] ppid=22843 vsize=8068220 memory=13608 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22877/stat : 22877 (java) S 22843 22843 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225066426 8261857280 29635 33554432000 4194304 4196468 140731030231392 140360347735872 140360913354521 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22879] ppid=22843 vsize=8068220 memory=1860 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22879/stat : 22879 (java) S 22843 22843 20606 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225066426 8261857280 29635 33554432000 4194304 4196468 140731030231392 140358054817680 140360913351837 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22880] ppid=22843 vsize=8068220 memory=32232 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22880/stat : 22880 (java) S 22843 22843 20606 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225066426 8261857280 29635 33554432000 4194304 4196468 140731030231392 140357920595472 140360913351837 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
[pid=22861/tid=22881] ppid=22843 vsize=8068220 memory=13808 CPUtime=0 cores=1,3,5,7
/proc/22861/task/22881/stat : 22881 (java) S 22843 22843 20606 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 225066429 8261857280 29635 33554432000 4194304 4196468 140731030231392 140358189047072 140360913340117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731030234293 140731030234417 140731030234417 140731030237135 0
Current children cumulated CPU time: 24.43 s
Current children cumulated vsize: 8228296 KiB
Current children cumulated memory: 150960 KiB
Child status: 0
Real time (s): 13.8683
CPU time (s): 24.538
CPU user time (s): 24.157
CPU system time (s): 0.380962
CPU usage (%): 176.935
Max. virtual memory (cumulated for all children) (KiB): 15142260
Max. memory (cumulated for all children) (KiB): 1351528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.157
system time used= 0.380962
maximum resident set size= 1357692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6189
involuntary context switches= 50
# summary of solver processes directly reported to runsolver:
# pid: 22843
# total CPU time (s): 24.538
# total CPU user time (s): 24.157
# total CPU system time (s): 0.380962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.116883 second user time and 0.183518 second system time
The end