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-29470-serial-file.bin HOME/instance-4305698-1534082038.xml
0.54/0.51
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 15:53:59 CEST 2018
0.66/0.54 c PID: 29473
0.66/0.54 c IP: 172.20.3.106
0.66/0.54 c HOST: node106.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.52/0.95 c (0,0) Parsing End
1.52/0.96 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 241 ctr, max domain size 120
1.52/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.52/0.96 c (0,0) Constraint Name Generate Begin
1.52/0.97 c (0,0) Ctr:HOME/instance-4305698-1534082038.xml,AllDifferent:ExtensionSupport:IntVar
1.52/0.97 c (0,0) Constraint Name Generate End
1.52/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.52/0.97 c (0,0) CSP to CSPinCNF Begin
8.68/3.57 c (3,3) translated 25 (10%) constraints
10.31/4.95 c (4,4) translated 49 (20%) constraints
11.90/6.30 c (5,5) translated 73 (30%) constraints
13.22/7.64 c (7,7) translated 97 (40%) constraints
15.12/9.07 c (8,8) translated 121 (50%) constraints
16.33/10.29 c (9,9) translated 145 (60%) constraints
17.69/11.52 c (10,10) translated 169 (70%) constraints
18.91/12.74 c (12,12) translated 193 (80%) constraints
21.24/14.24 c (13,13) translated 217 (90%) constraints
22.44/15.46 c (14,14) translated 241 (100%) constraints
24.16/16.39 c (15,15) STATISTICS1:HOME/instance-4305698-1534082038.xml,AllDifferent:ExtensionSupport:IntVar,28920,355622,120,120,121,2,120:7140,120:652920;2:377040,121:240;120:2;3:290160;2:65220,2:7140;1:1015680;0:240,
24.16/16.39 c (15,15) ==========================================
24.16/16.39 c (15,15) Both Encoding selects:
24.16/16.39 c (15,15) Order
24.16/16.39 c (15,15) ==========================================
26.39/17.21 c (16,16) translated 35563 (10%) constraints
26.82/17.64 c (17,16) translated 71125 (20%) constraints
27.23/18.07 c (17,17) translated 106687 (30%) constraints
28.96/18.81 c (18,17) translated 142249 (40%) constraints
29.37/19.23 c (18,17) translated 177811 (50%) constraints
29.78/19.66 c (19,18) translated 213374 (60%) constraints
30.19/20.08 c (19,18) translated 248936 (70%) constraints
30.69/20.51 c (19,19) translated 284498 (80%) constraints
31.09/20.93 c (20,19) translated 320060 (90%) constraints
31.49/21.35 c (20,20) translated 355622 (100%) constraints
31.49/21.35 c (20,20) CSP to CSPinCNF End
31.49/21.36 c (20,20) CSP: 120 int (0 aux), 28800 bool (28800 aux), 355622 ctr, max domain size 120
31.49/21.36 c (20,20) Heap : 1397 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
31.49/21.36 c (20,20) CSPinCNF Propagation Begin
35.02/23.41 c (22,21) 0 values, 240 unsatisfiable literals, and 0 valid clauses are removed
35.02/23.41 c (22,21) CSPinCNF Propagation End
35.02/23.42 c (22,21) CSP: 120 int (0 aux), 28800 bool (28800 aux), 355622 ctr, max domain size 120
35.02/23.42 c (22,21) Heap : 397 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
35.02/23.42 c (22,21) Simplify CSPinCNF Begin
36.28/24.10 c (23,22) Simplify CSPinCNF End
36.38/24.11 c (23,22) CSP: 120 int (0 aux), 43080 bool (43080 aux), 369902 ctr, max domain size 120
36.38/24.11 c (23,22) Heap : 793 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
36.38/24.11 c (23,22) Calculate Precise Domain Begin
36.38/24.12 c (23,22) 0 values are removed by re-calculation
36.38/24.12 c (23,22) Calculate Precise Domain End
36.38/24.12 c (23,22) CSP: 120 int (0 aux), 43080 bool (43080 aux), 369902 ctr, max domain size 120
36.38/24.12 c (23,22) Heap : 793 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
36.38/24.12 c (23,22) CSPinCNF to SatSolver Begin
42.18/28.36 c (27,26) 36991 (10 %) CSP clauses are encoded (57360 SAT variables, 1750470 SAT clauses)
42.46/28.54 c (28,26) 73981 (20 %) CSP clauses are encoded (57360 SAT variables, 1787460 SAT clauses)
42.78/28.83 c (28,26) 110971 (30 %) CSP clauses are encoded (57360 SAT variables, 1824450 SAT clauses)
42.78/28.89 c (28,27) 147961 (40 %) CSP clauses are encoded (57360 SAT variables, 1861440 SAT clauses)
42.99/29.06 c (28,27) 184951 (50 %) CSP clauses are encoded (57360 SAT variables, 1898430 SAT clauses)
43.18/29.23 c (28,27) 221942 (60 %) CSP clauses are encoded (57360 SAT variables, 1935421 SAT clauses)
43.38/29.41 c (28,27) 258932 (70 %) CSP clauses are encoded (57360 SAT variables, 1972411 SAT clauses)
43.48/29.58 c (29,27) 295922 (80 %) CSP clauses are encoded (57360 SAT variables, 2009401 SAT clauses)
44.45/29.96 c (29,27) 332912 (90 %) CSP clauses are encoded (57360 SAT variables, 2046391 SAT clauses)
44.68/30.13 c (29,28) 369902 (100 %) CSP clauses are encoded (57360 SAT variables, 2083381 SAT clauses)
44.68/30.13 c (29,28) Launch Command will be: minisat_release
44.68/30.13 c (29,28) CSPinCNF to SatSolver End
44.68/30.13 c (29,28) Heap : 536 MiB used (max 10831 MiB), NonHeap : 29 MiB used (max 0 MiB)
45.63/30.87 c (30,28) STATISTICS2:HOME/instance-4305698-1534082038.xml,AllDifferent:ExtensionSupport:IntVar,43200,369902,120,120,120,2,120:14280,120:667200;2:405600,120:242;3:290160;2:79500,2:14280;1:1044240,
45.63/30.87 c (30,28) 57360 bool, 2083382 clause
45.63/30.87 c (30,28) Export Begin
45.75/30.97 c (30,28) Export to HOME/scop-29470-serial-file.bin
45.75/30.97 c (30,28) Export End
45.75/30.97 c (30,28) Export File Size: 0.03 MB
45.75/30.97 c (30,28) 0,0,20,22,23,23,29,STOP-AFTER(DIMACS)
45.75/30.97 c END-Prog: Sun Aug 12 15:54:30 CEST 2018
45.75/30.99 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-29470-serial-file.bin
46.44/31.48 c (0,0) Read Serial File Begin
46.44/31.48 c (0,0) HOME/scop-29470-serial-file.bin
46.74/31.66 c (0,0) Read Serial File End
46.74/31.67
46.74/31.67 scop order+minisat_release (2018-07-31)
46.74/31.67 (Solving Process)
46.74/31.67
46.74/31.69 c BEGIN-Prog: Sun Aug 12 15:54:30 CEST 2018
46.74/31.69 c PID: 29488
46.74/31.69 c IP: 172.20.3.106
46.74/31.69 c HOST: node106.alineos.net
46.74/31.69 c (0,0) SatSolver.solve Begin
46.74/31.69 c (0,0) 0 bool, 0 clause
46.74/31.69 c (0,0) minisat_release HOME/instance-4305698-1534082038.xml-scop-29473.cnf
55.54/40.21 c (8,0) c This is COMiniSatPS.
55.54/40.21 c (8,0) c WARNING: for repeatability, setting FPU to use double precision
55.54/40.21 c (8,0) c ============================[ Problem Statistics ]=============================
55.54/40.21 c (8,0) c | |
55.54/40.21 c (8,0) c | Number of variables: 57360 |
55.54/40.21 c (8,0) c | Number of clauses: 2083382 |
55.54/40.21 c (8,0) c | Parse time: 0.52 s |
55.54/40.21 c (8,0) c | Eliminated clauses: 0.14 Mb |
55.54/40.21 c (8,0) c Reduced to 50220 vars, 2076242 cls (grow=0)
55.54/40.21 c (8,0) c No iterative elimination performed. (vars=50220, c/v ratio=41.3)
55.54/40.21 c (8,0) c | Simplification time: 4.32 s |
55.54/40.21 c (8,0) c | |
55.54/40.21 c (8,0) c ============================[ Search Statistics ]==============================
55.54/40.21 c (8,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
55.54/40.21 c (8,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
55.54/40.21 c (8,0) c ===============================================================================
55.54/40.21 c (8,0) c ===============================================================================
55.54/40.21 c (8,0) c restarts : 82
55.54/40.21 c (8,0) c conflicts : 18967 (2280 /sec)
55.54/40.21 c (8,0) c decisions : 30638 (0.00 % random) (3682 /sec)
55.54/40.21 c (8,0) c propagations : 11569938 (1390559 /sec)
55.54/40.21 c (8,0) c conflict literals : 504854 (42.67 % deleted)
55.54/40.21 c (8,0) c CPU time : 8.32035 s
55.54/40.21 c (8,0)
55.54/40.21 c (8,0) s UNSATISFIABLE
55.54/40.22 c (8,0) SatSolver.solve End
55.54/40.22 c (8,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
55.54/40.22 c (8,0) Show results Begin
55.54/40.22 s UNSATISFIABLE
55.54/40.22 c (8,0) Show results End
55.54/40.22 c (8,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
55.54/40.23 c (8,0) 8,8,STOP-AFTER(ALL)
55.54/40.23 c END-Prog: Sun Aug 12 15:54:39 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 (9591 MiB free)
memory of node 1: 16384 MiB (13448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305698-1534082038/watcher-4305698-1534082038 -o /tmp/evaluation-result-4305698-1534082038/solver-4305698-1534082038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305698-1534082038.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
Current StackSize limit: 8192 KiB
solver pid=29470, runsolver pid=29467
[startup+0.100138 s]*
/proc/loadavg: 2.00 2.04 2.05 3/223 29487
/proc/meminfo: memFree=23530612/32770624 swapFree=67108688/67108860
[pid=29470] ppid=29467 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29470/stat : 29470 (scop.sh) S 29467 29470 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225766720 115843072 349 33554432000 4194304 5098028 140725882098864 140725882096120 140197839245948 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17666048 140725882102849 140725882103047 140725882103047 140725882105805 0
/proc/29470/statm: 28282 349 296 221 0 87 0
[pid=29473] ppid=29470 vsize=15012476 memory=73568 CPUtime=0.11 cores=1,3,5,7
/proc/29473/stat : 29473 (java) S 29470 29470 23167 0 -1 1077944320 6523 0 0 0 10 1 0 0 20 0 15 0 225766720 15372775424 18392 33554432000 4194304 4196468 140723333752064 140723333734608 139805948661495 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
/proc/29473/statm: 3753119 18392 2770 1 0 3715579 0
[pid=29473/tid=29474] ppid=29470 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/29473/task/29474/stat : 29474 (java) R 29470 29470 23167 0 -1 4202560 4632 0 0 0 8 1 0 0 20 0 15 0 225766721 15372775424 18458 33554432000 4194304 4196468 140723333752064 139805920473480 139805940898622 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29475] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29475/stat : 29475 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 18458 33554432000 4194304 4196468 140723333752064 139805952904208 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29476] ppid=29470 vsize=15012476 memory=139704668522112 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29476/stat : 29476 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 18458 33554432000 4194304 4196468 140723333752064 139805751680144 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29477] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29477/stat : 29477 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 18458 33554432000 4194304 4196468 140723333752064 139805750627088 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29478] ppid=29470 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29478/stat : 29478 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 18458 33554432000 4194304 4196468 140723333752064 139805407042448 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29479] ppid=29470 vsize=15012476 memory=139704668522112 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29479/stat : 29479 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766724 15372775424 18458 33554432000 4194304 4196468 140723333752064 139804717799664 139805948672642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29480] ppid=29470 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29480/stat : 29480 (java) S 29470 29470 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225766724 15372775424 18458 33554432000 4194304 4196468 140723333752064 139804608029856 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29481] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29481/stat : 29481 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766724 15372775424 18458 33554432000 4194304 4196468 140723333752064 139804339593968 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29482] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29482/stat : 29482 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 18458 33554432000 4194304 4196468 140723333752064 139803965085648 139805948680091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29483] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29483/stat : 29483 (java) S 29470 29470 23167 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 18458 33554432000 4194304 4196468 140723333752064 139804716747504 139805948672642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29484] ppid=29470 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29484/stat : 29484 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 18524 33554432000 4194304 4196468 140723333752064 139804715694960 139805948672642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29485] ppid=29470 vsize=15012476 memory=139704668522112 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29485/stat : 29485 (java) S 29470 29470 23167 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 18524 33554432000 4194304 4196468 140723333752064 139804714641904 139805948672642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29486] ppid=29470 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29486/stat : 29486 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 18524 33554432000 4194304 4196468 140723333752064 139803467180896 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29487] ppid=29470 vsize=15012476 memory=139704668522112 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29487/stat : 29487 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 18524 33554432000 4194304 4196468 140723333752064 139804713589296 139805948672642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74964 KiB
[startup+0.210662 s]*
/proc/loadavg: 2.00 2.04 2.05 3/223 29487
/proc/meminfo: memFree=23516860/32770624 swapFree=67108688/67108860
[pid=29470] ppid=29467 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29470/stat : 29470 (scop.sh) S 29467 29470 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225766720 115843072 349 33554432000 4194304 5098028 140725882098864 140725882096120 140197839245948 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17666048 140725882102849 140725882103047 140725882103047 140725882105805 0
/proc/29470/statm: 28282 349 296 221 0 87 0
[pid=29473] ppid=29470 vsize=15012476 memory=86604 CPUtime=0.25 cores=1,3,5,7
/proc/29473/stat : 29473 (java) S 29470 29470 23167 0 -1 1077944320 10008 0 0 0 23 2 0 0 20 0 15 0 225766720 15372775424 21651 33554432000 4194304 4196468 140723333752064 140723333734608 139805948661495 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
/proc/29473/statm: 3753119 21651 2878 1 0 3715579 0
[pid=29473/tid=29474] ppid=29470 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/29473/task/29474/stat : 29474 (java) R 29470 29470 23167 0 -1 4202560 7905 0 0 0 18 2 0 0 20 0 15 0 225766721 15372775424 21651 33554432000 4194304 4196468 140723333752064 139805920486304 139805948673430 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29475] ppid=29470 vsize=15012476 memory=553 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29475/stat : 29475 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 21651 33554432000 4194304 4196468 140723333752064 139805952904208 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29476] ppid=29470 vsize=15012476 memory=3472472429038143136 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29476/stat : 29476 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 21651 33554432000 4194304 4196468 140723333752064 139805751680144 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29477] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29477/stat : 29477 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 21651 33554432000 4194304 4196468 140723333752064 139805750627088 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29478] ppid=29470 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29478/stat : 29478 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 21651 33554432000 4194304 4196468 140723333752064 139805407042448 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29479] ppid=29470 vsize=15012476 memory=139704668522112 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29479/stat : 29479 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766724 15372775424 21651 33554432000 4194304 4196468 140723333752064 139804717799664 139805948672642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29480] ppid=29470 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29480/stat : 29480 (java) S 29470 29470 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225766724 15372775424 21651 33554432000 4194304 4196468 140723333752064 139804608029856 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29481] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29481/stat : 29481 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766724 15372775424 21651 33554432000 4194304 4196468 140723333752064 139804339593968 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29482] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29482/stat : 29482 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 21651 33554432000 4194304 4196468 140723333752064 139803965085648 139805948680091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29483] ppid=29470 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29473/task/29483/stat : 29483 (java) R 29470 29470 23167 0 -1 4202560 446 0 0 0 1 0 0 0 20 0 15 0 225766727 15372775424 21651 33554432000 4194304 4196468 140723333752064 139804716739008 139805941767192 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29484] ppid=29470 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29484/stat : 29484 (java) S 29470 29470 23167 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 21651 33554432000 4194304 4196468 140723333752064 139804715694960 139805948672642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29485] ppid=29470 vsize=15012476 memory=139704668522112 CPUtime=0.03 cores=1,3,5,7
/proc/29473/task/29485/stat : 29485 (java) R 29470 29470 23167 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 15 0 225766727 15372775424 21651 33554432000 4194304 4196468 140723333752064 139804714641904 139805948673430 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29486] ppid=29470 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29486/stat : 29486 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 21651 33554432000 4194304 4196468 140723333752064 139803467180896 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29487] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29487/stat : 29487 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 21651 33554432000 4194304 4196468 140723333752064 139804713589296 139805948672642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88000 KiB
[startup+0.310754 s]*
/proc/loadavg: 2.00 2.04 2.05 3/223 29487
/proc/meminfo: memFree=23513324/32770624 swapFree=67108688/67108860
[pid=29470] ppid=29467 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29470/stat : 29470 (scop.sh) S 29467 29470 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225766720 115843072 349 33554432000 4194304 5098028 140725882098864 140725882096120 140197839245948 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17666048 140725882102849 140725882103047 140725882103047 140725882105805 0
/proc/29470/statm: 28282 349 296 221 0 87 0
[pid=29473] ppid=29470 vsize=15012476 memory=90392 CPUtime=0.43 cores=1,3,5,7
/proc/29473/stat : 29473 (java) S 29470 29470 23167 0 -1 1077944320 10547 0 0 0 40 3 0 0 20 0 15 0 225766720 15372775424 22598 33554432000 4194304 4196468 140723333752064 140723333734608 139805948661495 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
/proc/29473/statm: 3753119 22598 3018 1 0 3715579 0
[pid=29473/tid=29474] ppid=29470 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29473/task/29474/stat : 29474 (java) R 29470 29470 23167 0 -1 4202560 8283 0 0 0 27 2 0 0 20 0 15 0 225766721 15372775424 22598 33554432000 4194304 4196468 140723333752064 139805920456496 139805932705125 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29475] ppid=29470 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29475/stat : 29475 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 22598 33554432000 4194304 4196468 140723333752064 139805952904208 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29476] ppid=29470 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29476/stat : 29476 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 22598 33554432000 4194304 4196468 140723333752064 139805751680144 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29477] ppid=29470 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29477/stat : 29477 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 22598 33554432000 4194304 4196468 140723333752064 139805750627088 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29478] ppid=29470 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29478/stat : 29478 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15372775424 22598 33554432000 4194304 4196468 140723333752064 139805407042448 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29479] ppid=29470 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29479/stat : 29479 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766724 15372775424 22598 33554432000 4194304 4196468 140723333752064 139804717799664 139805948672642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29480] ppid=29470 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29480/stat : 29480 (java) S 29470 29470 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225766724 15372775424 22598 33554432000 4194304 4196468 140723333752064 139804608029856 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29481] ppid=29470 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29481/stat : 29481 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766724 15372775424 22598 33554432000 4194304 4196468 140723333752064 139804339593968 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29482] ppid=29470 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29482/stat : 29482 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 22598 33554432000 4194304 4196468 140723333752064 139803965085648 139805948680091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29483] ppid=29470 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29473/task/29483/stat : 29483 (java) R 29470 29470 23167 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 15 0 225766727 15372775424 22598 33554432000 4194304 4196468 140723333752064 139804716747504 139805948672642 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29484] ppid=29470 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29473/task/29484/stat : 29484 (java) R 29470 29470 23167 0 -1 4202560 69 0 0 0 2 0 0 0 20 0 15 0 225766727 15372775424 22598 33554432000 4194304 4196468 140723333752064 139804715694960 139805929362485 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29485] ppid=29470 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29473/task/29485/stat : 29485 (java) R 29470 29470 23167 0 -1 4202560 324 0 0 0 7 0 0 0 20 0 15 0 225766727 15372775424 22598 33554432000 4194304 4196468 140723333752064 139804714641904 139805928025657 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29486] ppid=29470 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29486/stat : 29486 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 22598 33554432000 4194304 4196468 140723333752064 139803467180896 139805948671701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29487] ppid=29470 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29487/stat : 29487 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766727 15372775424 22598 33554432000 4194304 4196468 140723333752064 139804713589296 139805948672642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91788 KiB
[startup+0.701299 s]
/proc/loadavg: 2.00 2.04 2.05 3/223 29487
/proc/meminfo: memFree=23489100/32770624 swapFree=67108688/67108860
[pid=29470] ppid=29467 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29470/stat : 29470 (scop.sh) S 29467 29470 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225766720 115843072 349 33554432000 4194304 5098028 140725882098864 140725882096120 140197839245948 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17666048 140725882102849 140725882103047 140725882103047 140725882105805 0
/proc/29470/statm: 28282 349 296 221 0 87 0
[pid=29473] ppid=29470 vsize=15020872 memory=129640 CPUtime=1.01 cores=1,3,5,7
/proc/29473/stat : 29473 (java) S 29470 29470 23167 0 -1 1077944320 17615 0 0 0 97 4 0 0 20 0 15 0 225766720 15381372928 32410 33554432000 4194304 4196468 140723333752064 140723333734608 139805948661495 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
/proc/29473/statm: 3755218 32410 3147 1 0 3716603 0
[pid=29473/tid=29474] ppid=29470 vsize=15020872 memory=2372 CPUtime=0.66 cores=1,3,5,7
/proc/29473/task/29474/stat : 29474 (java) R 29470 29470 23167 0 -1 4202560 14892 0 0 0 63 3 0 0 20 0 15 0 225766721 15381372928 32410 33554432000 4194304 4196468 140723333752064 139805920497504 139805932742012 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29475] ppid=29470 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29475/stat : 29475 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15381372928 32410 33554432000 4194304 4196468 140723333752064 139805952904208 139805948671701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29476] ppid=29470 vsize=15020872 memory=12868 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29476/stat : 29476 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766722 15381372928 32410 33554432000 4194304 4196468 140723333752064 139805751680144 139805948671701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29477] ppid=29470 vsize=15020872 memory=25008 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29477/stat : 29477 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15381372928 32410 33554432000 4194304 4196468 140723333752064 139805750627088 139805948671701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29478] ppid=29470 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29478/stat : 29478 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225766722 15381372928 32410 33554432000 4194304 4196468 140723333752064 139805407042448 139805948671701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29479] ppid=29470 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29479/stat : 29479 (java) S 29470 29470 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225766724 15381372928 32410 33554432000 4194304 4196468 140723333752064 139804717799664 139805948672642 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29480] ppid=29470 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29480/stat : 29480 (java) S 29470 29470 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225766724 15381372928 32410 33554432000 4194304 4196468 140723333752064 139804608029856 139805948671701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29481] ppid=29470 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29481/stat : 29481 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766724 15381372928 32410 33554432000 4194304 4196468 140723333752064 139804339593968 139805948671701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29482] ppid=29470 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29482/stat : 29482 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225766727 15381372928 32410 33554432000 4194304 4196468 140723333752064 139803965085648 139805948680091 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29483] ppid=29470 vsize=15020872 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29473/task/29483/stat : 29483 (java) R 29470 29470 23167 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 15 0 225766727 15381372928 32410 33554432000 4194304 4196468 140723333752064 139804716733600 139805930206789 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29484] ppid=29470 vsize=15020872 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29473/task/29484/stat : 29484 (java) S 29470 29470 23167 0 -1 1077944384 168 0 0 0 8 0 0 0 20 0 15 0 225766727 15381372928 32410 33554432000 4194304 4196468 140723333752064 139804715694960 139805948672642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29485] ppid=29470 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/29473/task/29485/stat : 29485 (java) R 29470 29470 23167 0 -1 4202560 455 0 0 0 16 0 0 0 20 0 15 0 225766727 15381372928 32410 33554432000 4194304 4196468 140723333752064 139804714641904 139805948673430 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29486] ppid=29470 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29486/stat : 29486 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225766727 15381372928 32410 33554432000 4194304 4196468 140723333752064 139803467180896 139805948671701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
[pid=29473/tid=29487] ppid=29470 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29473/task/29487/stat : 29487 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225766727 15381372928 32410 33554432000 4194304 4196468 140723333752064 139804713589296 139805948672642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36540416 140723333755911 140723333756209 140723333756209 140723333758927 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131036 KiB
[startup+1.50163 s]
/proc/loadavg: 2.00 2.04 2.05 3/223 29487
/proc/meminfo: memFree=23459820/32770624 swapFree=67108688/67108860
[pid=29470] ppid=29467 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29470/stat : 29470 (scop.sh) S 29467 29470 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225766720 115843072 349 33554432000 4194304 5098028 140725882098864 140725882096120 140197839245948 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17666048 140725882102849 140725882103047 140725882103047 140725882105805 0
/proc/29470/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 53.74 s
Current children cumulated vsize: 8393040 KiB
Current children cumulated memory: 304364 KiB
[startup+39.201 s]
/proc/loadavg: 1.86 2.00 2.03 3/228 29508
/proc/meminfo: memFree=23258496/32770624 swapFree=67108688/67108860
[pid=29470] ppid=29467 vsize=113128 memory=1472 CPUtime=45.91 cores=1,3,5,7
/proc/29470/stat : 29470 (scop.sh) S 29467 29470 23167 0 -1 4202496 591 52347 0 0 0 0 4443 148 20 0 1 0 225766720 115843072 368 33554432000 4194304 5098028 140725882098864 140725882095608 140197839245948 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17666048 140725882102849 140725882103047 140725882103047 140725882105805 0
/proc/29470/statm: 28282 368 311 221 0 87 0
[pid=29488] ppid=29470 vsize=8068220 memory=117132 CPUtime=1.16 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29470 29470 23167 0 -1 1077944320 18006 0 0 0 110 6 0 0 20 0 19 0 225769820 8261857280 29283 33554432000 4194304 4196468 140722366653728 140722366636272 139991131021047 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
/proc/29488/statm: 2017055 29283 3155 1 0 1978454 0
[pid=29503] ppid=29488 vsize=211692 memory=185768 CPUtime=7.47 cores=1,3,5,7
/proc/29503/stat : 29503 (minisat_release) R 29488 29470 23167 0 -1 4202496 131633 0 0 0 731 16 0 0 20 0 1 0 225769892 216772608 46442 33554432000 4194304 4308513 140728832465952 140728832463576 4276463 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 38240256 140728832468084 140728832468182 140728832468182 140728832470981 0
/proc/29503/statm: 52923 46442 342 28 0 49163 0
[pid=29488/tid=29489] ppid=29470 vsize=8068220 memory=117132 CPUtime=0.75 cores=1,3,5,7
/proc/29488/task/29489/stat : 29489 (java) S 29470 29470 23167 0 -1 1077944384 15052 0 0 0 71 4 0 0 20 0 19 0 225769820 8261857280 29283 33554432000 4194304 4196468 140722366653728 139991102861200 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29490] ppid=29470 vsize=8068220 memory=868 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139991135263888 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29491] ppid=29470 vsize=8068220 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990935432208 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29492] ppid=29470 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990934379408 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29493] ppid=29470 vsize=8068220 memory=748 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990933326608 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29494] ppid=29470 vsize=8068220 memory=185768 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29470 29470 23167 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 225769823 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990442936688 139991131032194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29495] ppid=29470 vsize=8068220 memory=3109528 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29470 29470 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225769823 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990029820960 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29496] ppid=29470 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769823 8261857280 29283 33554432000 4194304 4196468 140722366653728 139989761385328 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29497] ppid=29470 vsize=8068220 memory=3980 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139989386876752 139991131039643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29498] ppid=29470 vsize=8068220 memory=1924 CPUtime=0.08 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29470 29470 23167 0 -1 1077944384 594 0 0 0 8 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990441884528 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29499] ppid=29470 vsize=8068220 memory=7284 CPUtime=0.09 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29470 29470 23167 0 -1 1077944384 357 0 0 0 9 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990440831728 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29500] ppid=29470 vsize=8068220 memory=804 CPUtime=0.21 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) S 29470 29470 23167 0 -1 1077944384 592 0 0 0 21 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990439778928 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29501] ppid=29470 vsize=8068220 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988888972000 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29502] ppid=29470 vsize=8068220 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990438726320 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29504] ppid=29470 vsize=8068220 memory=868 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29504/stat : 29504 (java) S 29470 29470 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225769892 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990433440960 139991131045657 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29506] ppid=29470 vsize=8068220 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29506/stat : 29506 (java) S 29470 29470 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225769892 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988352085264 139991131042973 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29507] ppid=29470 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29507/stat : 29507 (java) S 29470 29470 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225769892 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988486307984 139991131042973 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29508] ppid=29470 vsize=8068220 memory=748 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29508/stat : 29508 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769895 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988083662496 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
Current children cumulated CPU time: 54.54 s
Current children cumulated vsize: 8393040 KiB
Current children cumulated memory: 304372 KiB
[startup+40.001 s]*
/proc/loadavg: 1.87 2.00 2.03 3/228 29508
/proc/meminfo: memFree=23256448/32770624 swapFree=67108688/67108860
[pid=29470] ppid=29467 vsize=113128 memory=1472 CPUtime=45.91 cores=1,3,5,7
/proc/29470/stat : 29470 (scop.sh) S 29467 29470 23167 0 -1 4202496 591 52347 0 0 0 0 4443 148 20 0 1 0 225766720 115843072 368 33554432000 4194304 5098028 140725882098864 140725882095608 140197839245948 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17666048 140725882102849 140725882103047 140725882103047 140725882105805 0
/proc/29470/statm: 28282 368 311 221 0 87 0
[pid=29488] ppid=29470 vsize=8068220 memory=117132 CPUtime=1.16 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29470 29470 23167 0 -1 1077944320 18006 0 0 0 110 6 0 0 20 0 19 0 225769820 8261857280 29283 33554432000 4194304 4196468 140722366653728 140722366636272 139991131021047 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
/proc/29488/statm: 2017055 29283 3155 1 0 1978454 0
[pid=29503] ppid=29488 vsize=211692 memory=187816 CPUtime=8.28 cores=1,3,5,7
/proc/29503/stat : 29503 (minisat_release) R 29488 29470 23167 0 -1 4202496 144363 0 0 0 811 17 0 0 20 0 1 0 225769892 216772608 46954 33554432000 4194304 4308513 140728832465952 140728832463576 4276008 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 38240256 140728832468084 140728832468182 140728832468182 140728832470981 0
/proc/29503/statm: 52923 46954 342 28 0 49163 0
[pid=29488/tid=29489] ppid=29470 vsize=8068220 memory=6226055409437206374 CPUtime=0.75 cores=1,3,5,7
/proc/29488/task/29489/stat : 29489 (java) S 29470 29470 23167 0 -1 1077944384 15052 0 0 0 71 4 0 0 20 0 19 0 225769820 8261857280 29283 33554432000 4194304 4196468 140722366653728 139991102861200 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29490] ppid=29470 vsize=8068220 memory=6226055409437206374 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139991135263888 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29491] ppid=29470 vsize=8068220 memory=6226055409437206374 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990935432208 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29492] ppid=29470 vsize=8068220 memory=-7824251494390519143 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990934379408 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29493] ppid=29470 vsize=8068220 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990933326608 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29494] ppid=29470 vsize=8068220 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29470 29470 23167 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 225769823 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990442936688 139991131032194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29495] ppid=29470 vsize=8068220 memory=266352396890910 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29470 29470 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225769823 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990029820960 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29496] ppid=29470 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769823 8261857280 29283 33554432000 4194304 4196468 140722366653728 139989761385328 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29497] ppid=29470 vsize=8068220 memory=266275087509072 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139989386876752 139991131039643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29498] ppid=29470 vsize=8068220 memory=266275087509073 CPUtime=0.08 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29470 29470 23167 0 -1 1077944384 594 0 0 0 8 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990441884528 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29499] ppid=29470 vsize=8068220 memory=266275087509074 CPUtime=0.09 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29470 29470 23167 0 -1 1077944384 357 0 0 0 9 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990440831728 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29500] ppid=29470 vsize=8068220 memory=266275087509075 CPUtime=0.21 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) S 29470 29470 23167 0 -1 1077944384 592 0 0 0 21 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990439778928 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29501] ppid=29470 vsize=8068220 memory=266275087509076 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988888972000 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29502] ppid=29470 vsize=8068220 memory=266275087509077 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990438726320 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29504] ppid=29470 vsize=8068220 memory=266275087509078 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29504/stat : 29504 (java) S 29470 29470 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225769892 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990433440960 139991131045657 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29506] ppid=29470 vsize=8068220 memory=266275087509079 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29506/stat : 29506 (java) S 29470 29470 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225769892 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988352085264 139991131042973 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29507] ppid=29470 vsize=8068220 memory=266275087509080 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29507/stat : 29507 (java) S 29470 29470 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225769892 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988486307984 139991131042973 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29508] ppid=29470 vsize=8068220 memory=266275087509081 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29508/stat : 29508 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769895 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988083662496 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
Current children cumulated CPU time: 55.35 s
Current children cumulated vsize: 8393040 KiB
Current children cumulated memory: 306420 KiB
[startup+40.201 s]
/proc/loadavg: 1.87 2.00 2.03 3/228 29508
/proc/meminfo: memFree=23256448/32770624 swapFree=67108688/67108860
[pid=29470] ppid=29467 vsize=113128 memory=1472 CPUtime=45.91 cores=1,3,5,7
/proc/29470/stat : 29470 (scop.sh) S 29467 29470 23167 0 -1 4202496 591 52347 0 0 0 0 4443 148 20 0 1 0 225766720 115843072 368 33554432000 4194304 5098028 140725882098864 140725882095608 140197839245948 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17666048 140725882102849 140725882103047 140725882103047 140725882105805 0
/proc/29470/statm: 28282 368 311 221 0 87 0
[pid=29488] ppid=29470 vsize=8068220 memory=117132 CPUtime=1.16 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29470 29470 23167 0 -1 1077944320 18006 0 0 0 110 6 0 0 20 0 19 0 225769820 8261857280 29283 33554432000 4194304 4196468 140722366653728 140722366636272 139991131021047 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
/proc/29488/statm: 2017055 29283 3155 1 0 1978454 0
[pid=29503] ppid=29488 vsize=211692 memory=187816 CPUtime=8.47 cores=1,3,5,7
/proc/29503/stat : 29503 (minisat_release) R 29488 29470 23167 0 -1 4202496 144421 0 0 0 830 17 0 0 20 0 1 0 225769892 216772608 46954 33554432000 4194304 4308513 140728832465952 140728832463576 4276421 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 38240256 140728832468084 140728832468182 140728832468182 140728832470981 0
/proc/29503/statm: 52923 46954 342 28 0 49163 0
[pid=29488/tid=29489] ppid=29470 vsize=8068220 memory=288230583166042426 CPUtime=0.75 cores=1,3,5,7
/proc/29488/task/29489/stat : 29489 (java) S 29470 29470 23167 0 -1 1077944384 15052 0 0 0 71 4 0 0 20 0 19 0 225769820 8261857280 29283 33554432000 4194304 4196468 140722366653728 139991102861200 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29490] ppid=29470 vsize=8068220 memory=13848581752756687 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139991135263888 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29491] ppid=29470 vsize=8068220 memory=-7824251494390519143 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990935432208 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29492] ppid=29470 vsize=8068220 memory=804 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29470 29470 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990934379408 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29493] ppid=29470 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769821 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990933326608 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29494] ppid=29470 vsize=8068220 memory=912 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29470 29470 23167 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 225769823 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990442936688 139991131032194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29495] ppid=29470 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29470 29470 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225769823 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990029820960 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29496] ppid=29470 vsize=8068220 memory=3420 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29470 29470 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225769823 8261857280 29283 33554432000 4194304 4196468 140722366653728 139989761385328 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29497] ppid=29470 vsize=8068220 memory=3424 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139989386876752 139991131039643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29498] ppid=29470 vsize=8068220 memory=4108 CPUtime=0.08 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29470 29470 23167 0 -1 1077944384 594 0 0 0 8 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990441884528 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29499] ppid=29470 vsize=8068220 memory=1408 CPUtime=0.09 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29470 29470 23167 0 -1 1077944384 357 0 0 0 9 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990440831728 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29500] ppid=29470 vsize=8068220 memory=3292 CPUtime=0.21 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) S 29470 29470 23167 0 -1 1077944384 592 0 0 0 21 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990439778928 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29501] ppid=29470 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988888972000 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29502] ppid=29470 vsize=8068220 memory=7284 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769826 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990438726320 139991131032194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29504] ppid=29470 vsize=8068220 memory=804 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29504/stat : 29504 (java) S 29470 29470 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225769892 8261857280 29283 33554432000 4194304 4196468 140722366653728 139990433440960 139991131045657 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29506] ppid=29470 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29506/stat : 29506 (java) S 29470 29470 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225769892 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988352085264 139991131042973 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29507] ppid=29470 vsize=8068220 memory=912 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29507/stat : 29507 (java) S 29470 29470 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225769892 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988486307984 139991131042973 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
[pid=29488/tid=29508] ppid=29470 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29508/stat : 29508 (java) S 29470 29470 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225769895 8261857280 29283 33554432000 4194304 4196468 140722366653728 139988083662496 139991131031253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25370624 140722366661813 140722366661937 140722366661937 140722366664655 0
Current children cumulated CPU time: 55.54 s
Current children cumulated vsize: 8393040 KiB
Current children cumulated memory: 306420 KiB
Child status: 0
Real time (s): 40.2451
CPU time (s): 55.6276
CPU user time (s): 53.875
CPU system time (s): 1.75258
CPU usage (%): 138.222
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3719212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.875
system time used= 1.75258
maximum resident set size= 3718772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 82320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7812
involuntary context switches= 171
# summary of solver processes directly reported to runsolver:
# pid: 29470
# total CPU time (s): 55.6276
# total CPU user time (s): 53.875
# total CPU system time (s): 1.75258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.262603 second user time and 0.481257 second system time
The end