0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-22990-serial-file.bin HOME/instance-4305466-1534086694.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 17:11:34 CEST 2018
0.66/0.55 c PID: 22993
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.38/1.20 c (0,0) Parsing End
2.69/1.20 c (0,0) CSP: 45 int (0 aux), 0 bool (0 aux), 476 ctr, max domain size 21
2.69/1.20 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.69/1.20 c (0,0) Constraint Name Generate Begin
2.69/1.22 c (0,0) Ctr:HOME/instance-4305466-1534086694.xml,ExtensionConflict:IntVar
2.69/1.22 c (0,0) Constraint Name Generate End
2.69/1.22 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.69/1.22 c (0,0) CSP to CSPinCNF Begin
5.26/2.05 c (1,1) translated 48 (10%) constraints
6.15/2.35 c (1,1) translated 96 (20%) constraints
6.74/2.59 c (2,2) translated 143 (30%) constraints
7.66/2.82 c (2,2) translated 191 (40%) constraints
8.29/3.04 c (2,2) translated 238 (50%) constraints
8.88/3.27 c (2,2) translated 286 (60%) constraints
9.48/3.49 c (2,2) translated 334 (70%) constraints
10.39/3.70 c (3,3) translated 381 (80%) constraints
11.01/3.90 c (3,3) translated 429 (90%) constraints
11.34/4.08 c (3,3) translated 476 (100%) constraints
12.22/4.33 c (3,3) STATISTICS1:HOME/instance-4305466-1534086694.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:155986,4:35853;3:4126;2:98,1:155986,
12.22/4.33 c (3,3) ==========================================
12.22/4.33 c (3,3) Order
12.22/4.33 c (3,3) ==========================================
12.61/4.45 c (3,3) translated 4008 (10%) constraints
12.89/4.53 c (4,3) translated 8016 (20%) constraints
13.18/4.60 c (4,4) translated 12024 (30%) constraints
13.18/4.67 c (4,4) translated 16031 (40%) constraints
13.47/4.72 c (4,4) translated 20039 (50%) constraints
13.47/4.78 c (4,4) translated 24047 (60%) constraints
13.67/4.84 c (4,4) translated 28054 (70%) constraints
13.67/4.90 c (4,4) translated 32062 (80%) constraints
13.85/4.95 c (4,4) translated 36070 (90%) constraints
13.96/5.01 c (4,4) translated 40077 (100%) constraints
13.96/5.01 c (4,4) CSP to CSPinCNF End
13.96/5.01 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
13.96/5.01 c (4,4) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.96/5.01 c (4,4) CSPinCNF Propagation Begin
14.82/5.34 c (4,4) 0 values, 4397 unsatisfiable literals, and 0 valid clauses are removed
14.82/5.34 c (4,4) CSPinCNF Propagation End
14.82/5.34 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
14.82/5.34 c (4,4) Heap : 1802 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.82/5.34 c (4,4) Simplify CSPinCNF Begin
15.01/5.45 c (4,4) Simplify CSPinCNF End
15.01/5.45 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
15.01/5.45 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.01/5.45 c (4,4) Calculate Precise Domain Begin
15.01/5.45 c (4,4) 0 values are removed by re-calculation
15.01/5.45 c (4,4) Calculate Precise Domain End
15.01/5.45 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
15.01/5.45 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.01/5.45 c (4,4) CSPinCNF to SatSolver Begin
15.19/5.57 c (5,5) 4008 (10 %) CSP clauses are encoded (900 SAT variables, 4862 SAT clauses)
15.47/5.63 c (5,5) 8016 (20 %) CSP clauses are encoded (900 SAT variables, 8870 SAT clauses)
15.47/5.67 c (5,5) 12024 (30 %) CSP clauses are encoded (900 SAT variables, 12878 SAT clauses)
15.76/5.70 c (5,5) 16031 (40 %) CSP clauses are encoded (900 SAT variables, 16885 SAT clauses)
15.76/5.73 c (5,5) 20039 (50 %) CSP clauses are encoded (900 SAT variables, 20893 SAT clauses)
15.76/5.76 c (5,5) 24047 (60 %) CSP clauses are encoded (900 SAT variables, 24901 SAT clauses)
15.76/5.78 c (5,5) 28054 (70 %) CSP clauses are encoded (900 SAT variables, 28908 SAT clauses)
15.91/5.81 c (5,5) 32062 (80 %) CSP clauses are encoded (900 SAT variables, 32916 SAT clauses)
15.91/5.84 c (5,5) 36070 (90 %) CSP clauses are encoded (900 SAT variables, 36924 SAT clauses)
15.91/5.87 c (5,5) 40077 (100 %) CSP clauses are encoded (900 SAT variables, 40931 SAT clauses)
15.91/5.87 c (5,5) Launch Command will be: minisat_release
15.91/5.87 c (5,5) CSPinCNF to SatSolver End
15.91/5.87 c (5,5) Heap : 2140 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.32/6.05 c (5,5) STATISTICS2:HOME/instance-4305466-1534086694.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:151589,4:31795;3:7845;2:437,1:151589,
16.32/6.05 c (5,5) 900 bool, 40932 clause
16.32/6.05 c (5,5) Export Begin
16.49/6.14 c (5,5) Export to HOME/scop-22990-serial-file.bin
16.49/6.14 c (5,5) Export End
16.49/6.14 c (5,5) Export File Size: 0.01 MB
16.49/6.14 c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
16.49/6.14 c END-Prog: Sun Aug 12 17:11:40 CEST 2018
16.49/6.16 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22990-serial-file.bin
16.57/6.65 c (0,0) Read Serial File Begin
16.57/6.65 c (0,0) HOME/scop-22990-serial-file.bin
16.57/6.82 c (0,0) Read Serial File End
16.57/6.84
16.57/6.84 scop order+minisat_release (2018-07-31)
16.57/6.84 (Solving Process)
16.57/6.84
16.57/6.86 c BEGIN-Prog: Sun Aug 12 17:11:41 CEST 2018
16.57/6.86 c PID: 23008
16.57/6.86 c IP: 172.20.3.139
16.57/6.86 c HOST: node139.alineos.net
16.57/6.86 c (0,0) SatSolver.solve Begin
16.57/6.86 c (0,0) 0 bool, 0 clause
16.57/6.86 c (0,0) minisat_release HOME/instance-4305466-1534086694.xml-scop-22993.cnf
1160.85/1149.41 c (1142,0) c This is COMiniSatPS.
1160.85/1149.41 c (1142,0) c WARNING: for repeatability, setting FPU to use double precision
1160.85/1149.41 c (1142,0) c ============================[ Problem Statistics ]=============================
1160.85/1149.41 c (1142,0) c | |
1160.85/1149.41 c (1142,0) c | Number of variables: 900 |
1160.85/1149.41 c (1142,0) c | Number of clauses: 40932 |
1160.85/1149.41 c (1142,0) c | Parse time: 0.01 s |
1160.85/1149.41 c (1142,0) c Reduced to 900 vars, 39918 cls (grow=0)
1160.85/1149.41 c (1142,0) c No iterative elimination performed. (vars=900, c/v ratio=44.4)
1160.85/1149.41 c (1142,0) c | Simplification time: 0.05 s |
1160.85/1149.41 c (1142,0) c | |
1160.85/1149.41 c (1142,0) c ============================[ Search Statistics ]==============================
1160.85/1149.41 c (1142,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1160.85/1149.41 c (1142,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1160.85/1149.41 c (1142,0) c ===============================================================================
1160.85/1149.41 c (1142,0) c ===============================================================================
1160.85/1149.41 c (1142,0) c restarts : 15297
1160.85/1149.41 c (1142,0) c conflicts : 9321094 (8160 /sec)
1160.85/1149.41 c (1142,0) c decisions : 11009026 (0.00 % random) (9638 /sec)
1160.85/1149.41 c (1142,0) c propagations : 1263238259 (1105875 /sec)
1160.85/1149.41 c (1142,0) c conflict literals : 167298593 (45.03 % deleted)
1160.85/1149.41 c (1142,0) c CPU time : 1142.3 s
1160.85/1149.41 c (1142,0)
1160.85/1149.41 c (1142,0) s SATISFIABLE
1160.85/1149.42 c (1142,0) SatSolver.solve End
1160.85/1149.42 c (1142,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1160.85/1149.42 c (1142,0) Show results Begin
1160.85/1149.47 s SATISFIABLE
1160.85/1149.48 v <instantiation>
1160.85/1149.48 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44]</list>
1160.85/1149.48 v <values>5 5 1 12 18 4 9 19 2 8 6 9 8 9 6 1 1 1 13 12 18 18 7 7 4 11 7 8 7 9 3 13 15 7 17 6 20 5 13 19 7 7 11 8 2</values>
1160.85/1149.48 v </instantiation>
1160.85/1149.48 c (1142,0) Show results End
1160.85/1149.48 c (1142,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1160.85/1149.48 c (1142,0) 1142,1142,STOP-AFTER(ALL)
1160.85/1149.48 c END-Prog: Sun Aug 12 17:30:43 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 (5744 MiB free)
memory of node 1: 16384 MiB (6876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305466-1534086694/watcher-4305466-1534086694 -o /tmp/evaluation-result-4305466-1534086694/solver-4305466-1534086694 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305466-1534086694.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22990, runsolver pid=22987
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 2.00 2.01 2.05 4/223 23007
/proc/meminfo: memFree=12864976/32770624 swapFree=67108860/67108860
[pid=22990] ppid=22987 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22990/stat : 22990 (scop.sh) S 22987 22990 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226232559 115843072 349 33554432000 4194304 5098028 140732216386448 140732216383704 139631329890940 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36499456 140732216390720 140732216390919 140732216390919 140732216393677 0
/proc/22990/statm: 28282 349 296 221 0 87 0
[pid=22993] ppid=22990 vsize=15012476 memory=72832 CPUtime=0.11 cores=0,2,4,6
/proc/22993/stat : 22993 (java) S 22990 22990 16770 0 -1 1077944320 6897 0 0 0 9 2 0 0 20 0 15 0 226232560 15372775424 18208 33554432000 4194304 4196468 140734075349568 140734075332112 140068918681335 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
/proc/22993/statm: 3753119 18208 2748 1 0 3715579 0
[pid=22993/tid=22994] ppid=22990 vsize=15012476 memory=-6004281011623739333 CPUtime=0.08 cores=0,2,4,6
/proc/22993/task/22994/stat : 22994 (java) R 22990 22990 16770 0 -1 4202560 5016 0 0 0 7 1 0 0 20 0 15 0 226232560 15372775424 18274 33554432000 4194304 4196468 140734075349568 140068890486808 140068902761822 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22995] ppid=22990 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22995/stat : 22995 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 18274 33554432000 4194304 4196468 140734075349568 140068922924048 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22996] ppid=22990 vsize=15012476 memory=139970789045888 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22996/stat : 22996 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 18274 33554432000 4194304 4196468 140734075349568 140068749741200 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22997] ppid=22990 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22997/stat : 22997 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 18274 33554432000 4194304 4196468 140734075349568 140068378639120 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22998] ppid=22990 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22998/stat : 22998 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 18274 33554432000 4194304 4196468 140734075349568 140068377586576 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22999] ppid=22990 vsize=15012476 memory=139970789045888 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22999/stat : 22999 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232563 15372775424 18274 33554432000 4194304 4196468 140734075349568 140067956324592 140068918692482 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23000] ppid=22990 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23000/stat : 23000 (java) S 22990 22990 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226232564 15372775424 18274 33554432000 4194304 4196468 140734075349568 140067473450144 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23001] ppid=22990 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23001/stat : 23001 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226232564 15372775424 18274 33554432000 4194304 4196468 140734075349568 140067205014256 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23002] ppid=22990 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23002/stat : 23002 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226232566 15372775424 18274 33554432000 4194304 4196468 140734075349568 140066830505936 140068918699931 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23003] ppid=22990 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23003/stat : 23003 (java) S 22990 22990 16770 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 226232566 15372775424 18274 33554432000 4194304 4196468 140734075349568 140067955272432 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23004] ppid=22990 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23004/stat : 23004 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226232566 15372775424 18274 33554432000 4194304 4196468 140734075349568 140067954219888 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23005] ppid=22990 vsize=15012476 memory=139970789045888 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23005/stat : 23005 (java) R 22990 22990 16770 0 -1 4202560 247 0 0 0 0 0 0 0 20 0 15 0 226232566 15372775424 18274 33554432000 4194304 4196468 140734075349568 140067953166832 140068899921648 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23006] ppid=22990 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23006/stat : 23006 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226232567 15372775424 18274 33554432000 4194304 4196468 140734075349568 140066332601184 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23007] ppid=22990 vsize=15012476 memory=139970789045888 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23007/stat : 23007 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226232567 15372775424 18274 33554432000 4194304 4196468 140734075349568 140067952114224 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74228 KiB
[startup+0.21089 s]*
/proc/loadavg: 2.00 2.01 2.05 3/223 23007
/proc/meminfo: memFree=12850424/32770624 swapFree=67108860/67108860
[pid=22990] ppid=22987 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22990/stat : 22990 (scop.sh) S 22987 22990 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226232559 115843072 349 33554432000 4194304 5098028 140732216386448 140732216383704 139631329890940 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36499456 140732216390720 140732216390919 140732216390919 140732216393677 0
/proc/22990/statm: 28282 349 296 221 0 87 0
[pid=22993] ppid=22990 vsize=15012476 memory=86432 CPUtime=0.25 cores=0,2,4,6
/proc/22993/stat : 22993 (java) S 22990 22990 16770 0 -1 1077944320 10453 0 0 0 23 2 0 0 20 0 15 0 226232560 15372775424 21608 33554432000 4194304 4196468 140734075349568 140734075332112 140068918681335 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
/proc/22993/statm: 3753119 21608 2903 1 0 3715579 0
[pid=22993/tid=22994] ppid=22990 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/22993/task/22994/stat : 22994 (java) R 22990 22990 16770 0 -1 4202560 8367 0 0 0 18 2 0 0 20 0 15 0 226232560 15372775424 21608 33554432000 4194304 4196468 140734075349568 140068890502688 140068896683943 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22995] ppid=22990 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22995/stat : 22995 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 21608 33554432000 4194304 4196468 140734075349568 140068922924048 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22996] ppid=22990 vsize=15012476 memory=139970789196105 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22996/stat : 22996 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 21608 33554432000 4194304 4196468 140734075349568 140068749741200 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22997] ppid=22990 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22997/stat : 22997 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 21608 33554432000 4194304 4196468 140734075349568 140068378639120 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22998] ppid=22990 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22998/stat : 22998 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 21608 33554432000 4194304 4196468 140734075349568 140068377586576 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22999] ppid=22990 vsize=15012476 memory=139970789045888 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22999/stat : 22999 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232563 15372775424 21608 33554432000 4194304 4196468 140734075349568 140067956324592 140068918692482 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23000] ppid=22990 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23000/stat : 23000 (java) S 22990 22990 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226232564 15372775424 21608 33554432000 4194304 4196468 140734075349568 140067473450144 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23001] ppid=22990 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23001/stat : 23001 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226232564 15372775424 21608 33554432000 4194304 4196468 140734075349568 140067205014256 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23002] ppid=22990 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23002/stat : 23002 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226232566 15372775424 21608 33554432000 4194304 4196468 140734075349568 140066830505936 140068918699931 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23003] ppid=22990 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22993/task/23003/stat : 23003 (java) S 22990 22990 16770 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 15 0 226232566 15372775424 21608 33554432000 4194304 4196468 140734075349568 140067955272432 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23004] ppid=22990 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23004/stat : 23004 (java) S 22990 22990 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 226232566 15372775424 21608 33554432000 4194304 4196468 140734075349568 140067954219888 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23005] ppid=22990 vsize=15012476 memory=139970789045888 CPUtime=0.03 cores=0,2,4,6
/proc/22993/task/23005/stat : 23005 (java) R 22990 22990 16770 0 -1 4202560 283 0 0 0 3 0 0 0 20 0 15 0 226232566 15372775424 21608 33554432000 4194304 4196468 140734075349568 140067953166832 140068902849972 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23006] ppid=22990 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23006/stat : 23006 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226232567 15372775424 21608 33554432000 4194304 4196468 140734075349568 140066332601184 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23007] ppid=22990 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23007/stat : 23007 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226232567 15372775424 21608 33554432000 4194304 4196468 140734075349568 140067952114224 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87828 KiB
[startup+0.310675 s]*
/proc/loadavg: 2.00 2.01 2.05 3/223 23007
/proc/meminfo: memFree=12846888/32770624 swapFree=67108860/67108860
[pid=22990] ppid=22987 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22990/stat : 22990 (scop.sh) S 22987 22990 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226232559 115843072 349 33554432000 4194304 5098028 140732216386448 140732216383704 139631329890940 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36499456 140732216390720 140732216390919 140732216390919 140732216393677 0
/proc/22990/statm: 28282 349 296 221 0 87 0
[pid=22993] ppid=22990 vsize=15012476 memory=89960 CPUtime=0.42 cores=0,2,4,6
/proc/22993/stat : 22993 (java) S 22990 22990 16770 0 -1 1077944320 10989 0 0 0 39 3 0 0 20 0 15 0 226232560 15372775424 22490 33554432000 4194304 4196468 140734075349568 140734075332112 140068918681335 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
/proc/22993/statm: 3753119 22490 2973 1 0 3715579 0
[pid=22993/tid=22994] ppid=22990 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22993/task/22994/stat : 22994 (java) R 22990 22990 16770 0 -1 4202560 8737 0 0 0 27 2 0 0 20 0 15 0 226232560 15372775424 22490 33554432000 4194304 4196468 140734075349568 140068890476336 140068902761822 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22995] ppid=22990 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22995/stat : 22995 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 22490 33554432000 4194304 4196468 140734075349568 140068922924048 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22996] ppid=22990 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22996/stat : 22996 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 22490 33554432000 4194304 4196468 140734075349568 140068749741200 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22997] ppid=22990 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22997/stat : 22997 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 22490 33554432000 4194304 4196468 140734075349568 140068378639120 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22998] ppid=22990 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22998/stat : 22998 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15372775424 22490 33554432000 4194304 4196468 140734075349568 140068377586576 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22999] ppid=22990 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22999/stat : 22999 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232563 15372775424 22490 33554432000 4194304 4196468 140734075349568 140067956324592 140068918692482 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23000] ppid=22990 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23000/stat : 23000 (java) S 22990 22990 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226232564 15372775424 22490 33554432000 4194304 4196468 140734075349568 140067473450144 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23001] ppid=22990 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23001/stat : 23001 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226232564 15372775424 22490 33554432000 4194304 4196468 140734075349568 140067205014256 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23002] ppid=22990 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23002/stat : 23002 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226232566 15372775424 22490 33554432000 4194304 4196468 140734075349568 140066830505936 140068918699931 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23003] ppid=22990 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22993/task/23003/stat : 23003 (java) S 22990 22990 16770 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 226232566 15372775424 22490 33554432000 4194304 4196468 140734075349568 140067955272432 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23004] ppid=22990 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22993/task/23004/stat : 23004 (java) S 22990 22990 16770 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 226232566 15372775424 22490 33554432000 4194304 4196468 140734075349568 140067954219888 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23005] ppid=22990 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22993/task/23005/stat : 23005 (java) S 22990 22990 16770 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 15 0 226232566 15372775424 22490 33554432000 4194304 4196468 140734075349568 140067953166832 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23006] ppid=22990 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23006/stat : 23006 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226232567 15372775424 22490 33554432000 4194304 4196468 140734075349568 140066332601184 140068918691541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23007] ppid=22990 vsize=15012476 memory=3833186913019306033 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23007/stat : 23007 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226232567 15372775424 22490 33554432000 4194304 4196468 140734075349568 140067952114224 140068918692482 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91356 KiB
[startup+0.709597 s]
/proc/loadavg: 2.00 2.01 2.05 3/223 23007
/proc/meminfo: memFree=12822952/32770624 swapFree=67108860/67108860
[pid=22990] ppid=22987 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22990/stat : 22990 (scop.sh) S 22987 22990 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226232559 115843072 349 33554432000 4194304 5098028 140732216386448 140732216383704 139631329890940 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36499456 140732216390720 140732216390919 140732216390919 140732216393677 0
/proc/22990/statm: 28282 349 296 221 0 87 0
[pid=22993] ppid=22990 vsize=15018748 memory=129104 CPUtime=1.05 cores=0,2,4,6
/proc/22993/stat : 22993 (java) S 22990 22990 16770 0 -1 1077944320 17897 0 0 0 99 6 0 0 20 0 15 0 226232560 15379197952 32276 33554432000 4194304 4196468 140734075349568 140734075332112 140068918681335 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
/proc/22993/statm: 3754687 32276 3139 1 0 3716091 0
[pid=22993/tid=22994] ppid=22990 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/22993/task/22994/stat : 22994 (java) R 22990 22990 16770 0 -1 4202560 15247 0 0 0 63 4 0 0 20 0 15 0 226232560 15379197952 32276 33554432000 4194304 4196468 140734075349568 140068890518240 140068918703261 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22995] ppid=22990 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22995/stat : 22995 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15379197952 32276 33554432000 4194304 4196468 140734075349568 140068922924048 140068918691541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22996] ppid=22990 vsize=15018748 memory=61412 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22996/stat : 22996 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15379197952 32276 33554432000 4194304 4196468 140734075349568 140068749741200 140068918691541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22997] ppid=22990 vsize=15018748 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22997/stat : 22997 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15379197952 32276 33554432000 4194304 4196468 140734075349568 140068378639120 140068918691541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22998] ppid=22990 vsize=15018748 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22998/stat : 22998 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226232562 15379197952 32276 33554432000 4194304 4196468 140734075349568 140068377586576 140068918691541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=22999] ppid=22990 vsize=15018748 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22993/task/22999/stat : 22999 (java) S 22990 22990 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226232563 15379197952 32276 33554432000 4194304 4196468 140734075349568 140067956324592 140068918692482 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23000] ppid=22990 vsize=15018748 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23000/stat : 23000 (java) S 22990 22990 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226232564 15379197952 32276 33554432000 4194304 4196468 140734075349568 140067473450144 140068918691541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23001] ppid=22990 vsize=15018748 memory=796 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23001/stat : 23001 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226232564 15379197952 32276 33554432000 4194304 4196468 140734075349568 140067205014256 140068918691541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23002] ppid=22990 vsize=15018748 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23002/stat : 23002 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226232566 15379197952 32276 33554432000 4194304 4196468 140734075349568 140066830505936 140068918699931 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23003] ppid=22990 vsize=15018748 memory=876 CPUtime=0.1 cores=0,2,4,6
/proc/22993/task/23003/stat : 23003 (java) S 22990 22990 16770 0 -1 1077944384 605 0 0 0 10 0 0 0 20 0 15 0 226232566 15379197952 32276 33554432000 4194304 4196468 140734075349568 140067955272432 140068918692482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23004] ppid=22990 vsize=15018748 memory=10096 CPUtime=0.06 cores=0,2,4,6
/proc/22993/task/23004/stat : 23004 (java) S 22990 22990 16770 0 -1 1077944384 300 0 0 0 6 0 0 0 20 0 15 0 226232566 15379197952 32276 33554432000 4194304 4196468 140734075349568 140067954219888 140068918692482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23005] ppid=22990 vsize=15018748 memory=1228 CPUtime=0.18 cores=0,2,4,6
/proc/22993/task/23005/stat : 23005 (java) R 22990 22990 16770 0 -1 4202560 410 0 0 0 18 0 0 0 20 0 15 0 226232566 15379197952 32276 33554432000 4194304 4196468 140734075349568 140067953162832 140068896847765 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23006] ppid=22990 vsize=15018748 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23006/stat : 23006 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226232567 15379197952 32276 33554432000 4194304 4196468 140734075349568 140066332601184 140068918691541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
[pid=22993/tid=23007] ppid=22990 vsize=15018748 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22993/task/23007/stat : 23007 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226232567 15379197952 32276 33554432000 4194304 4196468 140734075349568 140067952114224 140068918692482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140734075352070 140734075352369 140734075352369 140734075355087 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130500 KiB
[startup+1.50394 s]
/proc/loadavg: 2.00 2.01 2.05 5/223 23007
/proc/meminfo: memFree=12745396/32770624 swapFree=67108860/67108860
[pid=22990] ppid=22987 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22990/stat : 22990 (scop.sh) S 22987 22990 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226232559 115843072 349 33554432000 4194304 5098028 140732216386448 140732216383704 139631329890940 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36499456 140732216390720 140732216390919 140732216390919 140732216393677 0
/proc/22990/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 1158.65 s
Current children cumulated vsize: 8290204 KiB
Current children cumulated memory: 207932 KiB
[startup+1148.8 s]
/proc/loadavg: 2.30 2.09 2.07 3/228 23066
/proc/meminfo: memFree=12687248/32770624 swapFree=67108860/67108860
[pid=22990] ppid=22987 vsize=113128 memory=1472 CPUtime=16.57 cores=0,2,4,6
/proc/22990/stat : 22990 (scop.sh) S 22987 22990 16770 0 -1 4202496 592 34723 0 0 0 0 1610 47 20 0 1 0 226232559 115843072 368 33554432000 4194304 5098028 140732216386448 140732216383192 139631329890940 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36499456 140732216390720 140732216390919 140732216390919 140732216393677 0
/proc/22990/statm: 28282 368 311 221 0 87 0
[pid=23008] ppid=22990 vsize=8068220 memory=114968 CPUtime=1.87 cores=0,2,4,6
/proc/23008/stat : 23008 (java) S 22990 22990 16770 0 -1 1077944320 17546 0 0 0 151 36 0 0 20 0 19 0 226233176 8261857280 28742 33554432000 4194304 4196468 140723358908416 140723358890960 140645611720439 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
/proc/23008/statm: 2017055 28742 3154 1 0 1978454 0
[pid=23023] ppid=23008 vsize=108856 memory=91492 CPUtime=1141.81 cores=0,2,4,6
/proc/23023/stat : 23023 (minisat_release) R 23008 22990 16770 0 -1 4202496 98797 0 0 0 114168 13 0 0 20 0 1 0 226233248 111468544 22873 33554432000 4194304 4308513 140724712086384 140724712083384 4275920 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 27971584 140724712088692 140724712088790 140724712088790 140724712091589 0
/proc/23023/statm: 27214 22873 340 28 0 23454 0
[pid=23008/tid=23009] ppid=22990 vsize=8068220 memory=-7824251494390521195 CPUtime=0.75 cores=0,2,4,6
/proc/23008/task/23009/stat : 23009 (java) S 22990 22990 16770 0 -1 1077944384 14544 0 0 0 71 4 0 0 20 0 19 0 226233176 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645583560592 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23010] ppid=22990 vsize=8068220 memory=61436 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23010/stat : 23010 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645615963280 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23011] ppid=22990 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23011/stat : 23011 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645416131600 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23012] ppid=22990 vsize=8068220 memory=114968 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23012/stat : 23012 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645096221584 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23013] ppid=22990 vsize=8068220 memory=-7824251494390521195 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23013/stat : 23013 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645095168784 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23014] ppid=22990 vsize=8068220 memory=960 CPUtime=0.01 cores=0,2,4,6
/proc/23008/task/23014/stat : 23014 (java) S 22990 22990 16770 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 19 0 226233179 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644856691056 140645611731586 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23015] ppid=22990 vsize=8068220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23015/stat : 23015 (java) S 22990 22990 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226233179 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644475462688 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23016] ppid=22990 vsize=8068220 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23016/stat : 23016 (java) S 22990 22990 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226233179 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644341240688 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23017] ppid=22990 vsize=8068220 memory=-7824251494390521195 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23017/stat : 23017 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140643966736208 140645611739035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23018] ppid=22990 vsize=8068220 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/23008/task/23018/stat : 23018 (java) S 22990 22990 16770 0 -1 1077944384 595 0 0 0 7 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644855638896 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23019] ppid=22990 vsize=8068220 memory=2416 CPUtime=0.11 cores=0,2,4,6
/proc/23008/task/23019/stat : 23019 (java) S 22990 22990 16770 0 -1 1077944384 353 0 0 0 11 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644854586096 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23020] ppid=22990 vsize=8068220 memory=1788 CPUtime=0.2 cores=0,2,4,6
/proc/23008/task/23020/stat : 23020 (java) S 22990 22990 16770 0 -1 1077944384 548 0 0 0 20 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644853533296 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23021] ppid=22990 vsize=8068220 memory=114968 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23021/stat : 23021 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140643468831456 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23022] ppid=22990 vsize=8068220 memory=91492 CPUtime=0.68 cores=0,2,4,6
/proc/23008/task/23022/stat : 23022 (java) S 22990 22990 16770 0 -1 1077944384 77 0 0 0 33 35 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644852480688 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23024] ppid=22990 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23024/stat : 23024 (java) S 22990 22990 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226233248 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644844672192 140645611745049 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23026] ppid=22990 vsize=8068220 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23026/stat : 23026 (java) S 22990 22990 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226233249 8261857280 28742 33554432000 4194304 4196468 140723358908416 140642931944720 140645611742365 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23027] ppid=22990 vsize=8068220 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23027/stat : 23027 (java) S 22990 22990 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226233249 8261857280 28742 33554432000 4194304 4196468 140723358908416 140643066167440 140645611742365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23028] ppid=22990 vsize=8068220 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23028/stat : 23028 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226233251 8261857280 28742 33554432000 4194304 4196468 140723358908416 140642663521952 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
Current children cumulated CPU time: 1160.25 s
Current children cumulated vsize: 8290204 KiB
Current children cumulated memory: 207932 KiB
[startup+1149.2 s]
/proc/loadavg: 2.30 2.09 2.07 3/228 23066
/proc/meminfo: memFree=12687248/32770624 swapFree=67108860/67108860
[pid=22990] ppid=22987 vsize=113128 memory=1472 CPUtime=16.57 cores=0,2,4,6
/proc/22990/stat : 22990 (scop.sh) S 22987 22990 16770 0 -1 4202496 592 34723 0 0 0 0 1610 47 20 0 1 0 226232559 115843072 368 33554432000 4194304 5098028 140732216386448 140732216383192 139631329890940 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36499456 140732216390720 140732216390919 140732216390919 140732216393677 0
/proc/22990/statm: 28282 368 311 221 0 87 0
[pid=23008] ppid=22990 vsize=8068220 memory=114968 CPUtime=1.87 cores=0,2,4,6
/proc/23008/stat : 23008 (java) S 22990 22990 16770 0 -1 1077944320 17546 0 0 0 151 36 0 0 20 0 19 0 226233176 8261857280 28742 33554432000 4194304 4196468 140723358908416 140723358890960 140645611720439 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
/proc/23008/statm: 2017055 28742 3154 1 0 1978454 0
[pid=23023] ppid=23008 vsize=108856 memory=91492 CPUtime=1142.21 cores=0,2,4,6
/proc/23023/stat : 23023 (minisat_release) R 23008 22990 16770 0 -1 4202496 98799 0 0 0 114208 13 0 0 20 0 1 0 226233248 111468544 22873 33554432000 4194304 4308513 140724712086384 140724712083384 4262652 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 27971584 140724712088692 140724712088790 140724712088790 140724712091589 0
/proc/23023/statm: 27214 22873 340 28 0 23454 0
[pid=23008/tid=23009] ppid=22990 vsize=8068220 memory=91492 CPUtime=0.75 cores=0,2,4,6
/proc/23008/task/23009/stat : 23009 (java) S 22990 22990 16770 0 -1 1077944384 14544 0 0 0 71 4 0 0 20 0 19 0 226233176 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645583560592 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23010] ppid=22990 vsize=8068220 memory=342075631 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23010/stat : 23010 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645615963280 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23011] ppid=22990 vsize=8068220 memory=8488090456 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23011/stat : 23011 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645416131600 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23012] ppid=22990 vsize=8068220 memory=7954318354618936684 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23012/stat : 23012 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645096221584 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23013] ppid=22990 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23013/stat : 23013 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645095168784 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23014] ppid=22990 vsize=8068220 memory=114968 CPUtime=0.01 cores=0,2,4,6
/proc/23008/task/23014/stat : 23014 (java) S 22990 22990 16770 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 19 0 226233179 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644856691056 140645611731586 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23015] ppid=22990 vsize=8068220 memory=91492 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23015/stat : 23015 (java) S 22990 22990 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226233179 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644475462688 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23016] ppid=22990 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23016/stat : 23016 (java) S 22990 22990 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226233179 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644341240688 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23017] ppid=22990 vsize=8068220 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23017/stat : 23017 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140643966736208 140645611739035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23018] ppid=22990 vsize=8068220 memory=1788 CPUtime=0.07 cores=0,2,4,6
/proc/23008/task/23018/stat : 23018 (java) S 22990 22990 16770 0 -1 1077944384 595 0 0 0 7 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644855638896 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23019] ppid=22990 vsize=8068220 memory=1704 CPUtime=0.11 cores=0,2,4,6
/proc/23008/task/23019/stat : 23019 (java) S 22990 22990 16770 0 -1 1077944384 353 0 0 0 11 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644854586096 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23020] ppid=22990 vsize=8068220 memory=796 CPUtime=0.2 cores=0,2,4,6
/proc/23008/task/23020/stat : 23020 (java) S 22990 22990 16770 0 -1 1077944384 548 0 0 0 20 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644853533296 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23021] ppid=22990 vsize=8068220 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23021/stat : 23021 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140643468831456 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23022] ppid=22990 vsize=8068220 memory=876 CPUtime=0.68 cores=0,2,4,6
/proc/23008/task/23022/stat : 23022 (java) S 22990 22990 16770 0 -1 1077944384 77 0 0 0 33 35 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644852480688 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23024] ppid=22990 vsize=8068220 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23024/stat : 23024 (java) S 22990 22990 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226233248 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644844672192 140645611745049 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23026] ppid=22990 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23026/stat : 23026 (java) S 22990 22990 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226233249 8261857280 28742 33554432000 4194304 4196468 140723358908416 140642931944720 140645611742365 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23027] ppid=22990 vsize=8068220 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23027/stat : 23027 (java) S 22990 22990 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226233249 8261857280 28742 33554432000 4194304 4196468 140723358908416 140643066167440 140645611742365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23028] ppid=22990 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23028/stat : 23028 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226233251 8261857280 28742 33554432000 4194304 4196468 140723358908416 140642663521952 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
Current children cumulated CPU time: 1160.65 s
Current children cumulated vsize: 8290204 KiB
Current children cumulated memory: 207932 KiB
[startup+1149.4 s]
/proc/loadavg: 2.30 2.09 2.07 3/228 23066
/proc/meminfo: memFree=12687248/32770624 swapFree=67108860/67108860
[pid=22990] ppid=22987 vsize=113128 memory=1472 CPUtime=16.57 cores=0,2,4,6
/proc/22990/stat : 22990 (scop.sh) S 22987 22990 16770 0 -1 4202496 592 34723 0 0 0 0 1610 47 20 0 1 0 226232559 115843072 368 33554432000 4194304 5098028 140732216386448 140732216383192 139631329890940 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36499456 140732216390720 140732216390919 140732216390919 140732216393677 0
/proc/22990/statm: 28282 368 311 221 0 87 0
[pid=23008] ppid=22990 vsize=8068220 memory=114968 CPUtime=1.87 cores=0,2,4,6
/proc/23008/stat : 23008 (java) S 22990 22990 16770 0 -1 1077944320 17546 0 0 0 151 36 0 0 20 0 19 0 226233176 8261857280 28742 33554432000 4194304 4196468 140723358908416 140723358890960 140645611720439 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
/proc/23008/statm: 2017055 28742 3154 1 0 1978454 0
[pid=23023] ppid=23008 vsize=108856 memory=91492 CPUtime=1142.41 cores=0,2,4,6
/proc/23023/stat : 23023 (minisat_release) R 23008 22990 16770 0 -1 4202496 98800 0 0 0 114228 13 0 0 20 0 1 0 226233248 111468544 22873 33554432000 4194304 4308513 140724712086384 140724712083384 4275992 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 27971584 140724712088692 140724712088790 140724712088790 140724712091589 0
/proc/23023/statm: 27214 22873 340 28 0 23454 0
[pid=23008/tid=23009] ppid=22990 vsize=8068220 memory=1472 CPUtime=0.75 cores=0,2,4,6
/proc/23008/task/23009/stat : 23009 (java) S 22990 22990 16770 0 -1 1077944384 14544 0 0 0 71 4 0 0 20 0 19 0 226233176 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645583560592 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23010] ppid=22990 vsize=8068220 memory=114968 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23010/stat : 23010 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645615963280 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23011] ppid=22990 vsize=8068220 memory=91492 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23011/stat : 23011 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645416131600 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23012] ppid=22990 vsize=8068220 memory=840 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23012/stat : 23012 (java) S 22990 22990 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645096221584 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23013] ppid=22990 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23013/stat : 23013 (java) S 22990 22990 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226233177 8261857280 28742 33554432000 4194304 4196468 140723358908416 140645095168784 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23014] ppid=22990 vsize=8068220 memory=916 CPUtime=0.01 cores=0,2,4,6
/proc/23008/task/23014/stat : 23014 (java) S 22990 22990 16770 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 19 0 226233179 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644856691056 140645611731586 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23015] ppid=22990 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23015/stat : 23015 (java) S 22990 22990 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226233179 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644475462688 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23016] ppid=22990 vsize=8068220 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23016/stat : 23016 (java) S 22990 22990 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226233179 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644341240688 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23017] ppid=22990 vsize=8068220 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23017/stat : 23017 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140643966736208 140645611739035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23018] ppid=22990 vsize=8068220 memory=114968 CPUtime=0.07 cores=0,2,4,6
/proc/23008/task/23018/stat : 23018 (java) S 22990 22990 16770 0 -1 1077944384 595 0 0 0 7 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644855638896 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23019] ppid=22990 vsize=8068220 memory=114968 CPUtime=0.11 cores=0,2,4,6
/proc/23008/task/23019/stat : 23019 (java) S 22990 22990 16770 0 -1 1077944384 353 0 0 0 11 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644854586096 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23020] ppid=22990 vsize=8068220 memory=1472 CPUtime=0.2 cores=0,2,4,6
/proc/23008/task/23020/stat : 23020 (java) S 22990 22990 16770 0 -1 1077944384 548 0 0 0 20 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644853533296 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23021] ppid=22990 vsize=8068220 memory=101560 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23021/stat : 23021 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140643468831456 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23022] ppid=22990 vsize=8068220 memory=1408 CPUtime=0.68 cores=0,2,4,6
/proc/23008/task/23022/stat : 23022 (java) S 22990 22990 16770 0 -1 1077944384 77 0 0 0 33 35 0 0 20 0 19 0 226233182 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644852480688 140645611731586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23024] ppid=22990 vsize=8068220 memory=3368 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23024/stat : 23024 (java) S 22990 22990 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226233248 8261857280 28742 33554432000 4194304 4196468 140723358908416 140644844672192 140645611745049 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23026] ppid=22990 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23026/stat : 23026 (java) S 22990 22990 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226233249 8261857280 28742 33554432000 4194304 4196468 140723358908416 140642931944720 140645611742365 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23027] ppid=22990 vsize=8068220 memory=114968 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23027/stat : 23027 (java) S 22990 22990 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226233249 8261857280 28742 33554432000 4194304 4196468 140723358908416 140643066167440 140645611742365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
[pid=23008/tid=23028] ppid=22990 vsize=8068220 memory=91492 CPUtime=0 cores=0,2,4,6
/proc/23008/task/23028/stat : 23028 (java) S 22990 22990 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226233251 8261857280 28742 33554432000 4194304 4196468 140723358908416 140642663521952 140645611730645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25333760 140723358913717 140723358913841 140723358913841 140723358916559 0
Current children cumulated CPU time: 1160.85 s
Current children cumulated vsize: 8290204 KiB
Current children cumulated memory: 207932 KiB
Child status: 0
Real time (s): 1149.49
CPU time (s): 1161.04
CPU user time (s): 1160.06
CPU system time (s): 0.985452
CPU usage (%): 101.004
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 2356296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1160.06
system time used= 0.985452
maximum resident set size= 2357672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29712
involuntary context switches= 1495
# summary of solver processes directly reported to runsolver:
# pid: 22990
# total CPU time (s): 1161.04
# total CPU user time (s): 1160.06
# total CPU system time (s): 0.985452
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02056 second user time and 12.3305 second system time
The end