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-4604-serial-file.bin HOME/instance-4305383-1534132325.xml
0.55/0.51
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Aug 13 05:52:06 CEST 2018
0.66/0.54 c PID: 4607
0.66/0.54 c IP: 172.20.3.137
0.66/0.54 c HOST: node137.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.09/1.03 c (0,0) Parsing End
2.09/1.04 c (0,0) CSP: 165 int (0 aux), 0 bool (0 aux), 81 ctr, max domain size 50
2.09/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.09/1.04 c (0,0) Constraint Name Generate Begin
2.09/1.05 c (0,0) Ctr:HOME/instance-4305383-1534132325.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.09/1.05 c (0,0) Constraint Name Generate End
2.09/1.05 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.09/1.05 c (0,0) CSP to CSPinCNF Begin
7.40/2.73 c (2,2) translated 9 (10%) constraints
9.64/3.56 c (3,3) translated 17 (20%) constraints
11.66/4.32 c (3,3) translated 25 (30%) constraints
12.63/5.15 c (4,4) translated 33 (40%) constraints
13.39/5.84 c (5,5) translated 41 (50%) constraints
14.17/6.53 c (6,5) translated 49 (60%) constraints
14.36/6.79 c (6,6) translated 57 (70%) constraints
14.36/6.79 c (6,6) translated 65 (80%) constraints
14.36/6.79 c (6,6) translated 73 (90%) constraints
14.36/6.79 c (6,6) translated 81 (100%) constraints
15.27/7.22 c (6,6) STATISTICS1:HOME/instance-4305383-1534132325.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,13865,85807,50,50,51,2,50:1225,50:7450;10:90390;2:149100;1:15190,51:50;50:2;5:900;4:33450;3:18450;2:32925;1:30,2:1225;1:259710;0:50,
15.27/7.22 c (6,6) ==========================================
15.27/7.22 c (6,6) Order
15.27/7.22 c (6,6) ==========================================
16.24/7.53 c (7,6) translated 8581 (10%) constraints
16.73/7.70 c (7,7) translated 17162 (20%) constraints
16.83/7.84 c (7,7) translated 25743 (30%) constraints
16.92/7.99 c (7,7) translated 34323 (40%) constraints
17.14/8.13 c (7,7) translated 42904 (50%) constraints
17.22/8.27 c (7,7) translated 51485 (60%) constraints
17.93/8.56 c (8,7) translated 60065 (70%) constraints
18.08/8.69 c (8,7) translated 68646 (80%) constraints
18.30/8.83 c (8,8) translated 77227 (90%) constraints
18.39/8.96 c (8,8) translated 85807 (100%) constraints
18.39/8.96 c (8,8) CSP to CSPinCNF End
18.39/8.98 c (8,8) CSP: 165 int (0 aux), 13700 bool (13700 aux), 85837 ctr, max domain size 50
18.39/8.98 c (8,8) Heap : 291 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.39/8.98 c (8,8) CSPinCNF Propagation Begin
20.95/10.43 c (9,9) 5181 values, 28333 unsatisfiable literals, and 29646 valid clauses are removed
20.95/10.43 c (9,9) CSPinCNF Propagation End
20.95/10.44 c (9,9) CSP: 4634 int (4469 aux), 9231 bool (9231 aux), 56191 ctr, max domain size 50
20.95/10.44 c (9,9) Heap : 1002 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.95/10.44 c (9,9) Simplify CSPinCNF Begin
21.51/10.61 c (10,9) Simplify CSPinCNF End
21.51/10.61 c (10,9) CSP: 4634 int (4469 aux), 11681 bool (11681 aux), 58641 ctr, max domain size 50
21.51/10.61 c (10,9) Heap : 1056 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
21.51/10.61 c (10,9) Calculate Precise Domain Begin
21.51/10.62 c (10,9) 0 values are removed by re-calculation
21.51/10.62 c (10,9) Calculate Precise Domain End
21.51/10.62 c (10,9) CSP: 4634 int (4469 aux), 11681 bool (11681 aux), 58641 ctr, max domain size 50
21.51/10.62 c (10,9) Heap : 1056 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
21.51/10.62 c (10,9) CSPinCNF to SatSolver Begin
22.45/11.00 c (10,10) 5865 (10 %) CSP clauses are encoded (14184 SAT variables, 74370 SAT clauses)
22.72/11.04 c (10,10) 11729 (20 %) CSP clauses are encoded (14184 SAT variables, 80234 SAT clauses)
22.72/11.07 c (10,10) 17593 (30 %) CSP clauses are encoded (14184 SAT variables, 86098 SAT clauses)
22.72/11.10 c (10,10) 23457 (40 %) CSP clauses are encoded (14184 SAT variables, 91962 SAT clauses)
22.90/11.12 c (10,10) 29321 (50 %) CSP clauses are encoded (14184 SAT variables, 97826 SAT clauses)
22.90/11.15 c (10,10) 35185 (60 %) CSP clauses are encoded (14184 SAT variables, 103690 SAT clauses)
22.90/11.18 c (10,10) 41049 (70 %) CSP clauses are encoded (14184 SAT variables, 109554 SAT clauses)
22.99/11.21 c (10,10) 46913 (80 %) CSP clauses are encoded (14184 SAT variables, 115418 SAT clauses)
22.99/11.24 c (10,10) 52777 (90 %) CSP clauses are encoded (14184 SAT variables, 121282 SAT clauses)
22.99/11.27 c (10,10) 58641 (100 %) CSP clauses are encoded (14184 SAT variables, 127146 SAT clauses)
22.99/11.27 c (10,10) Launch Command will be: minisat_release
22.99/11.27 c (10,10) CSPinCNF to SatSolver End
22.99/11.27 c (10,10) Heap : 1494 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
23.67/11.50 c (10,10) STATISTICS2:HOME/instance-4305383-1534132325.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,16315,58641,50,50,50,2,50:552;26:1518;4:380,50:4752;26:3278;10:66925;4:420;2:99738,50:25;26:22;24:1;5:474;4:19989;3:12231;2:25899,2:2450;1:170213,
23.67/11.50 c (10,10) 14184 bool, 127147 clause
23.67/11.50 c (10,10) Export Begin
23.87/11.60 c (11,10) Export to HOME/scop-4604-serial-file.bin
23.87/11.60 c (11,10) Export End
23.87/11.60 c (11,10) Export File Size: 0.04 MB
23.87/11.60 c (11,10) 0,0,8,9,10,10,10,STOP-AFTER(DIMACS)
23.87/11.60 c END-Prog: Mon Aug 13 05:52:17 CEST 2018
23.87/11.62 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4604-serial-file.bin
24.53/12.11 c (0,0) Read Serial File Begin
24.53/12.11 c (0,0) HOME/scop-4604-serial-file.bin
24.85/12.30 c (0,0) Read Serial File End
24.85/12.31
24.85/12.31 scop order+minisat_release (2018-07-31)
24.85/12.31 (Solving Process)
24.85/12.31
24.85/12.33 c BEGIN-Prog: Mon Aug 13 05:52:18 CEST 2018
24.85/12.33 c PID: 4622
24.85/12.33 c IP: 172.20.3.137
24.85/12.33 c HOST: node137.alineos.net
24.85/12.34 c (0,0) SatSolver.solve Begin
24.85/12.34 c (0,0) 0 bool, 0 clause
24.85/12.34 c (0,0) minisat_release HOME/instance-4305383-1534132325.xml-scop-4607.cnf
54.91/42.29 c (30,0) c This is COMiniSatPS.
54.91/42.29 c (30,0) c WARNING: for repeatability, setting FPU to use double precision
54.91/42.29 c (30,0) c ============================[ Problem Statistics ]=============================
54.91/42.29 c (30,0) c | |
54.91/42.29 c (30,0) c | Number of variables: 14184 |
54.91/42.29 c (30,0) c | Number of clauses: 127147 |
54.91/42.29 c (30,0) c | Parse time: 0.04 s |
54.91/42.29 c (30,0) c | Eliminated clauses: 0.18 Mb |
54.91/42.29 c (30,0) c Reduced to 9338 vars, 111546 cls (grow=0)
54.91/42.29 c (30,0) c No iterative elimination performed. (vars=9338, c/v ratio=11.9)
54.91/42.29 c (30,0) c | Simplification time: 0.13 s |
54.91/42.29 c (30,0) c | |
54.91/42.29 c (30,0) c ============================[ Search Statistics ]==============================
54.91/42.29 c (30,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
54.91/42.29 c (30,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
54.91/42.29 c (30,0) c ===============================================================================
54.91/42.29 c (30,0) c ===============================================================================
54.91/42.29 c (30,0) c restarts : 446
54.91/42.29 c (30,0) c conflicts : 154076 (5153 /sec)
54.91/42.29 c (30,0) c decisions : 321969 (0.00 % random) (10769 /sec)
54.91/42.29 c (30,0) c propagations : 67196879 (2247558 /sec)
54.91/42.29 c (30,0) c conflict literals : 12185579 (40.90 % deleted)
54.91/42.29 c (30,0) c CPU time : 29.8977 s
54.91/42.29 c (30,0)
54.91/42.29 c (30,0) s SATISFIABLE
55.04/42.33 c (30,0) SatSolver.solve End
55.04/42.33 c (30,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
55.04/42.33 c (30,0) Show results Begin
55.04/42.39 s SATISFIABLE
55.26/42.41 v <instantiation>
55.26/42.41 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[6][0] id[6][1] id[6][2] id[6][3] id[6][4] id[7][0] id[7][1] id[7][2] id[7][3] id[7][4] id[8][0] id[8][1] id[8][2] id[8][3] id[8][4] id[9][0] id[9][1] id[9][2] id[9][3] id[9][4] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[6][0] top[6][1] top[6][2] top[6][3] top[6][4] top[7][0] top[7][1] top[7][2] top[7][3] top[7][4] top[8][0] top[8][1] top[8][2] top[8][3] top[8][4] top[9][0] top[9][1] top[9][2] top[9][3] top[9][4] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[6][0] left[6][1] left[6][2] left[6][3] left[6][4] left[7][0] left[7][1] left[7][2] left[7][3] left[7][4] left[8][0] left[8][1] left[8][2] left[8][3] left[8][4] left[9][0] left[9][1] left[9][2] left[9][3] left[9][4] bot[0] bot[1] bot[2] bot[3] bot[4] right[0] right[1] right[2] right[3] right[4] right[5] right[6] right[7] right[8] right[9]</list>
55.26/42.41 v <values>3 20 6 9 1 21 41 42 33 23 15 46 48 38 11 5 27 29 35 19 18 32 31 36 13 25 37 40 39 10 12 26 45 30 7 16 47 49 34 24 17 44 43 28 14 2 22 8 4 0 0 0 0 0 0 3 5 5 9 2 2 6 8 4 3 1 8 6 6 1 2 4 6 8 3 3 7 4 8 2 2 4 9 4 1 2 7 8 5 1 2 6 7 4 3 2 7 8 5 2 0 3 3 1 1 0 6 5 7 7 0 6 7 9 9 0 5 4 6 4 0 9 7 6 4 0 8 6 9 9 0 4 5 9 7 0 7 8 8 8 0 9 5 5 5 0 3 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
55.26/42.41 v </instantiation>
55.26/42.41 c (30,0) Show results End
55.26/42.41 c (30,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
55.26/42.41 c (30,0) 30,30,STOP-AFTER(ALL)
55.26/42.41 c END-Prog: Mon Aug 13 05:52:48 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 (12156 MiB free)
memory of node 1: 16384 MiB (10915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305383-1534132325/watcher-4305383-1534132325 -o /tmp/evaluation-result-4305383-1534132325/solver-4305383-1534132325 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534130784-3991 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305383-1534132325.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
Current StackSize limit: 8192 KiB
solver pid=4604, runsolver pid=4601
[startup+0.100164 s]*
/proc/loadavg: 2.19 2.13 1.83 3/223 4621
/proc/meminfo: memFree=23565836/32770624 swapFree=67108372/67108860
[pid=4604] ppid=4601 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/4604/stat : 4604 (scop.sh) S 4601 4604 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230795696 115843072 348 33554432000 4194304 5098028 140735208328592 140735208325848 140481113010812 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17633280 140735208330304 140735208330503 140735208330503 140735208333261 0
/proc/4604/statm: 28282 348 296 221 0 87 0
[pid=4607] ppid=4604 vsize=15012476 memory=72204 CPUtime=0.11 cores=0,2,4,6
/proc/4607/stat : 4607 (java) S 4604 4604 3960 0 -1 1077944320 6138 0 0 0 9 2 0 0 20 0 15 0 230795697 15372775424 18051 33554432000 4194304 4196468 140735634573696 140735634556240 140002655047415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
/proc/4607/statm: 3753119 18051 2768 1 0 3715579 0
[pid=4607/tid=4608] ppid=4604 vsize=15012476 memory=-2843876196750247070 CPUtime=0.08 cores=0,2,4,6
/proc/4607/task/4608/stat : 4608 (java) R 4604 4604 3960 0 -1 4202560 4273 0 0 0 7 1 0 0 20 0 15 0 230795697 15372775424 18051 33554432000 4194304 4196468 140735634573696 140002626824496 140002635323175 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4609] ppid=4604 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4609/stat : 4609 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795698 15372775424 18051 33554432000 4194304 4196468 140735634573696 140002659289360 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4610] ppid=4604 vsize=15012476 memory=139812101084800 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4610/stat : 4610 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795698 15372775424 18117 33554432000 4194304 4196468 140735634573696 140002450373008 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4611] ppid=4604 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4611/stat : 4611 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795699 15372775424 18117 33554432000 4194304 4196468 140735634573696 140002449320464 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4612] ppid=4604 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4612/stat : 4612 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795699 15372775424 18117 33554432000 4194304 4196468 140735634573696 140002448267920 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4613] ppid=4604 vsize=15012476 memory=139812101084800 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4613/stat : 4613 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795700 15372775424 18117 33554432000 4194304 4196468 140735634573696 140001423591920 140002655058562 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4614] ppid=4604 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4614/stat : 4614 (java) S 4604 4604 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230795700 15372775424 18117 33554432000 4194304 4196468 140735634573696 140001304110496 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4615] ppid=4604 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4615/stat : 4615 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795701 15372775424 18117 33554432000 4194304 4196468 140735634573696 140001035675120 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4616] ppid=4604 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4616/stat : 4616 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 18117 33554432000 4194304 4196468 140735634573696 140000661166800 140002655066011 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4617] ppid=4604 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4617/stat : 4617 (java) S 4604 4604 3960 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 18117 33554432000 4194304 4196468 140735634573696 140001422538736 140002655058562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4618] ppid=4604 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4618/stat : 4618 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 18117 33554432000 4194304 4196468 140735634573696 140001421486192 140002655058562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4619] ppid=4604 vsize=15012476 memory=139812101084800 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4619/stat : 4619 (java) S 4604 4604 3960 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 18117 33554432000 4194304 4196468 140735634573696 140001420433648 140002655058562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4620] ppid=4604 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4620/stat : 4620 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 18117 33554432000 4194304 4196468 140735634573696 140000163261024 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4621] ppid=4604 vsize=15012476 memory=139812101084800 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4621/stat : 4621 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 18183 33554432000 4194304 4196468 140735634573696 140001419381552 140002655058562 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73596 KiB
[startup+0.210774 s]*
/proc/loadavg: 2.19 2.13 1.83 4/223 4621
/proc/meminfo: memFree=23551140/32770624 swapFree=67108372/67108860
[pid=4604] ppid=4601 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/4604/stat : 4604 (scop.sh) S 4601 4604 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230795696 115843072 348 33554432000 4194304 5098028 140735208328592 140735208325848 140481113010812 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17633280 140735208330304 140735208330503 140735208330503 140735208333261 0
/proc/4604/statm: 28282 348 296 221 0 87 0
[pid=4607] ppid=4604 vsize=15012476 memory=85496 CPUtime=0.25 cores=0,2,4,6
/proc/4607/stat : 4607 (java) S 4604 4604 3960 0 -1 1077944320 9763 0 0 0 22 3 0 0 20 0 15 0 230795697 15372775424 21374 33554432000 4194304 4196468 140735634573696 140735634556240 140002655047415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
/proc/4607/statm: 3753119 21374 2876 1 0 3715579 0
[pid=4607/tid=4608] ppid=4604 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/4607/task/4608/stat : 4608 (java) R 4604 4604 3960 0 -1 4202560 7655 0 0 0 18 2 0 0 20 0 15 0 230795697 15372775424 21374 33554432000 4194304 4196468 140735634573696 140002626867328 140002126277860 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4609] ppid=4604 vsize=15012476 memory=404 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4609/stat : 4609 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795698 15372775424 21374 33554432000 4194304 4196468 140735634573696 140002659289360 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4610] ppid=4604 vsize=15012476 memory=3544810493072037536 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4610/stat : 4610 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795698 15372775424 21374 33554432000 4194304 4196468 140735634573696 140002450373008 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4611] ppid=4604 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4611/stat : 4611 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795699 15372775424 21374 33554432000 4194304 4196468 140735634573696 140002449320464 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4612] ppid=4604 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4612/stat : 4612 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795699 15372775424 21374 33554432000 4194304 4196468 140735634573696 140002448267920 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4613] ppid=4604 vsize=15012476 memory=139812101084800 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4613/stat : 4613 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795700 15372775424 21374 33554432000 4194304 4196468 140735634573696 140001423591920 140002655058562 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4614] ppid=4604 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4614/stat : 4614 (java) S 4604 4604 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230795700 15372775424 21374 33554432000 4194304 4196468 140735634573696 140001304110496 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4615] ppid=4604 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4615/stat : 4615 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795701 15372775424 21374 33554432000 4194304 4196468 140735634573696 140001035675120 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4616] ppid=4604 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4616/stat : 4616 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 21374 33554432000 4194304 4196468 140735634573696 140000661166800 140002655066011 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4617] ppid=4604 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4607/task/4617/stat : 4617 (java) S 4604 4604 3960 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 15 0 230795703 15372775424 21374 33554432000 4194304 4196468 140735634573696 140001422538736 140002655058562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4618] ppid=4604 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4618/stat : 4618 (java) S 4604 4604 3960 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 21374 33554432000 4194304 4196468 140735634573696 140001421486192 140002655058562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4619] ppid=4604 vsize=15012476 memory=139812101084800 CPUtime=0.03 cores=0,2,4,6
/proc/4607/task/4619/stat : 4619 (java) R 4604 4604 3960 0 -1 4202560 311 0 0 0 3 0 0 0 20 0 15 0 230795703 15372775424 21374 33554432000 4194304 4196468 140735634573696 140001420433648 140002639127902 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4620] ppid=4604 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4620/stat : 4620 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 21374 33554432000 4194304 4196468 140735634573696 140000163261024 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4621] ppid=4604 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4621/stat : 4621 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 21374 33554432000 4194304 4196468 140735634573696 140001419381552 140002655058562 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86888 KiB
[startup+0.310806 s]*
/proc/loadavg: 2.19 2.13 1.83 3/223 4621
/proc/meminfo: memFree=23547728/32770624 swapFree=67108372/67108860
[pid=4604] ppid=4601 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/4604/stat : 4604 (scop.sh) S 4601 4604 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230795696 115843072 348 33554432000 4194304 5098028 140735208328592 140735208325848 140481113010812 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17633280 140735208330304 140735208330503 140735208330503 140735208333261 0
/proc/4604/statm: 28282 348 296 221 0 87 0
[pid=4607] ppid=4604 vsize=15012476 memory=89908 CPUtime=0.42 cores=0,2,4,6
/proc/4607/stat : 4607 (java) S 4604 4604 3960 0 -1 1077944320 10376 0 0 0 39 3 0 0 20 0 15 0 230795697 15372775424 22477 33554432000 4194304 4196468 140735634573696 140735634556240 140002655047415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
/proc/4607/statm: 3753119 22477 3028 1 0 3715579 0
[pid=4607/tid=4608] ppid=4604 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/4607/task/4608/stat : 4608 (java) R 4604 4604 3960 0 -1 4202560 8100 0 0 0 27 2 0 0 20 0 15 0 230795697 15372775424 22477 33554432000 4194304 4196468 140735634573696 140002626854144 140002655069341 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4609] ppid=4604 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4609/stat : 4609 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795698 15372775424 22477 33554432000 4194304 4196468 140735634573696 140002659289360 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4610] ppid=4604 vsize=15012476 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4610/stat : 4610 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795698 15372775424 22477 33554432000 4194304 4196468 140735634573696 140002450373008 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4611] ppid=4604 vsize=15012476 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4611/stat : 4611 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795699 15372775424 22477 33554432000 4194304 4196468 140735634573696 140002449320464 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4612] ppid=4604 vsize=15012476 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4612/stat : 4612 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795699 15372775424 22477 33554432000 4194304 4196468 140735634573696 140002448267920 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4613] ppid=4604 vsize=15012476 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4613/stat : 4613 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795700 15372775424 22477 33554432000 4194304 4196468 140735634573696 140001423591920 140002655058562 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4614] ppid=4604 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4614/stat : 4614 (java) S 4604 4604 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230795700 15372775424 22477 33554432000 4194304 4196468 140735634573696 140001304110496 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4615] ppid=4604 vsize=15012476 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4615/stat : 4615 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795701 15372775424 22477 33554432000 4194304 4196468 140735634573696 140001035675120 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4616] ppid=4604 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4616/stat : 4616 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 22477 33554432000 4194304 4196468 140735634573696 140000661166800 140002655066011 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4617] ppid=4604 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4607/task/4617/stat : 4617 (java) R 4604 4604 3960 0 -1 1077944384 533 0 0 0 3 0 0 0 20 0 15 0 230795703 15372775424 22477 33554432000 4194304 4196468 140735634573696 140001422538736 140002655058562 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4618] ppid=4604 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4607/task/4618/stat : 4618 (java) R 4604 4604 3960 0 -1 4202560 74 0 0 0 1 0 0 0 20 0 15 0 230795703 15372775424 22477 33554432000 4194304 4196468 140735634573696 140001421486192 140002647288805 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4619] ppid=4604 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4607/task/4619/stat : 4619 (java) R 4604 4604 3960 0 -1 4202560 347 0 0 0 7 0 0 0 20 0 15 0 230795703 15372775424 22477 33554432000 4194304 4196468 140735634573696 140001420433648 140002639127902 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4620] ppid=4604 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4620/stat : 4620 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 22477 33554432000 4194304 4196468 140735634573696 140000163261024 140002655057621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4621] ppid=4604 vsize=15012476 memory=3832620690384762671 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4621/stat : 4621 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795703 15372775424 22477 33554432000 4194304 4196468 140735634573696 140001419381552 140002655058562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91300 KiB
[startup+0.701454 s]
/proc/loadavg: 2.19 2.13 1.83 3/223 4621
/proc/meminfo: memFree=23523296/32770624 swapFree=67108372/67108860
[pid=4604] ppid=4601 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/4604/stat : 4604 (scop.sh) S 4601 4604 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230795696 115843072 348 33554432000 4194304 5098028 140735208328592 140735208325848 140481113010812 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17633280 140735208330304 140735208330503 140735208330503 140735208333261 0
/proc/4604/statm: 28282 348 296 221 0 87 0
[pid=4607] ppid=4604 vsize=15020872 memory=129748 CPUtime=1.01 cores=0,2,4,6
/proc/4607/stat : 4607 (java) S 4604 4604 3960 0 -1 1077944320 17529 0 0 0 96 5 0 0 20 0 15 0 230795697 15381372928 32437 33554432000 4194304 4196468 140735634573696 140735634556240 140002655047415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
/proc/4607/statm: 3755218 32437 3155 1 0 3716603 0
[pid=4607/tid=4608] ppid=4604 vsize=15020872 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/4607/task/4608/stat : 4608 (java) D 4604 4604 3960 0 -1 4202560 14834 0 0 0 63 4 0 0 20 0 15 0 230795697 15381372928 32437 33554432000 4194304 4196468 140735634573696 140002626879760 140002639127902 0 4 2 25189581 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4609] ppid=4604 vsize=15020872 memory=116 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4609/stat : 4609 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795698 15381372928 32437 33554432000 4194304 4196468 140735634573696 140002659289360 140002655057621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4610] ppid=4604 vsize=15020872 memory=11742 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4610/stat : 4610 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795698 15381372928 32437 33554432000 4194304 4196468 140735634573696 140002450373008 140002655057621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4611] ppid=4604 vsize=15020872 memory=26079 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4611/stat : 4611 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795699 15381372928 32437 33554432000 4194304 4196468 140735634573696 140002449320464 140002655057621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4612] ppid=4604 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4612/stat : 4612 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230795699 15381372928 32437 33554432000 4194304 4196468 140735634573696 140002448267920 140002655057621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4613] ppid=4604 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4613/stat : 4613 (java) S 4604 4604 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230795700 15381372928 32437 33554432000 4194304 4196468 140735634573696 140001423591920 140002655058562 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4614] ppid=4604 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4614/stat : 4614 (java) S 4604 4604 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230795700 15381372928 32437 33554432000 4194304 4196468 140735634573696 140001304110496 140002655057621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4615] ppid=4604 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4615/stat : 4615 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795701 15381372928 32437 33554432000 4194304 4196468 140735634573696 140001035675120 140002655057621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4616] ppid=4604 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4616/stat : 4616 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795703 15381372928 32437 33554432000 4194304 4196468 140735634573696 140000661166800 140002655066011 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4617] ppid=4604 vsize=15020872 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/4607/task/4617/stat : 4617 (java) R 4604 4604 3960 0 -1 4202560 757 0 0 0 11 0 0 0 20 0 15 0 230795703 15381372928 32437 33554432000 4194304 4196468 140735634573696 140001422538736 140002634740511 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4618] ppid=4604 vsize=15020872 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4607/task/4618/stat : 4618 (java) R 4604 4604 3960 0 -1 4202560 134 0 0 0 5 0 0 0 20 0 15 0 230795703 15381372928 32437 33554432000 4194304 4196468 140735634573696 140001421467208 140002647764567 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4619] ppid=4604 vsize=15020872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/4607/task/4619/stat : 4619 (java) D 4604 4604 3960 0 -1 4202560 468 0 0 0 15 0 0 0 20 0 15 0 230795703 15381372928 32437 33554432000 4194304 4196468 140735634573696 140001420432336 140002648144267 0 4 2 25189581 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4620] ppid=4604 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4620/stat : 4620 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230795703 15381372928 32437 33554432000 4194304 4196468 140735634573696 140000163261024 140002655057621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
[pid=4607/tid=4621] ppid=4604 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4607/task/4621/stat : 4621 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230795703 15381372928 32437 33554432000 4194304 4196468 140735634573696 140001419381552 140002655058562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140735634576391 140735634576689 140735634576689 140735634579407 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131140 KiB
[startup+1.50122 s]
/proc/loadavg: 2.19 2.13 1.83 6/223 4621
/proc/meminfo: memFree=23479516/32770624 swapFree=67108372/67108860
[pid=4604] ppid=4601 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/4604/stat : 4604 (scop.sh) S 4601 4604 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230795696 115843072 348 33554432000 4194304 5098028 140735208328592 140735208325848 140481113010812 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17633280 140735208330304 140735208330503 140735208330503 140735208333261 0
/proc/4604/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/4622/task/4638/stat : 4638 (java) S 4604 4604 3960 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230796933 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068296148416 140068861808409 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4640] ppid=4604 vsize=8068220 memory=117192 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4640/stat : 4640 (java) S 4604 4604 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230796933 8261857280 29298 33554432000 4194304 4196468 140735661132816 140065997041712 140068861805725 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4641] ppid=4604 vsize=8068220 memory=53932 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4641/stat : 4641 (java) S 4604 4604 3960 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230796933 8261857280 29298 33554432000 4194304 4196468 140735661132816 140066131262896 140068861805725 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4642] ppid=4604 vsize=8068220 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4642/stat : 4642 (java) S 4604 4604 3960 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230796935 8261857280 29298 33554432000 4194304 4196468 140735661132816 140065728617376 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
Current children cumulated CPU time: 52.72 s
Current children cumulated vsize: 8252780 KiB
Current children cumulated memory: 172592 KiB
[startup+41.601 s]
/proc/loadavg: 2.24 2.16 1.86 3/228 4642
/proc/meminfo: memFree=23464748/32770624 swapFree=67108372/67108860
[pid=4604] ppid=4601 vsize=113128 memory=1468 CPUtime=23.9 cores=0,2,4,6
/proc/4604/stat : 4604 (scop.sh) S 4601 4604 3960 0 -1 4202496 590 39394 0 0 0 0 2322 68 20 0 1 0 230795696 115843072 367 33554432000 4194304 5098028 140735208328592 140735208325336 140481113010812 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17633280 140735208330304 140735208330503 140735208330503 140735208333261 0
/proc/4604/statm: 28282 367 311 221 0 87 0
[pid=4622] ppid=4604 vsize=8068220 memory=117192 CPUtime=1.19 cores=0,2,4,6
/proc/4622/stat : 4622 (java) S 4604 4604 3960 0 -1 1077944320 18011 0 0 0 112 7 0 0 20 0 19 0 230796859 8261857280 29298 33554432000 4194304 4196468 140735661132816 140735661115360 140068861783799 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
/proc/4622/statm: 2017055 29298 3154 1 0 1978454 0
[pid=4637] ppid=4622 vsize=71432 memory=53932 CPUtime=29.22 cores=0,2,4,6
/proc/4637/stat : 4637 (minisat_release) R 4622 4604 3960 0 -1 4202496 27436 0 0 0 2920 2 0 0 20 0 1 0 230796932 73146368 13483 33554432000 4194304 4308513 140724570597808 140724570594808 4262680 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 25669632 140724570600565 140724570600662 140724570600662 140724570603461 0
/proc/4637/statm: 17858 13483 341 28 0 14098 0
[pid=4622/tid=4623] ppid=4604 vsize=8068220 memory=-5059952977386882957 CPUtime=0.76 cores=0,2,4,6
/proc/4622/task/4623/stat : 4623 (java) S 4604 4604 3960 0 -1 1077944384 15003 0 0 0 72 4 0 0 20 0 19 0 230796859 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068833623952 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4624] ppid=4604 vsize=8068220 memory=-7814691523512926820 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4624/stat : 4624 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230796860 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068866025872 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4625] ppid=4604 vsize=8068220 memory=-3252517613198930781 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4625/stat : 4625 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230796860 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068684114192 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4626] ppid=4604 vsize=8068220 memory=-7740096080597194087 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4626/stat : 4626 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230796860 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068683061904 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4627] ppid=4604 vsize=8068220 memory=7944460142272541284 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4627/stat : 4627 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230796860 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068344723984 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4628] ppid=4604 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4628/stat : 4628 (java) S 4604 4604 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230796862 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068308167280 140068861794946 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4629] ppid=4604 vsize=8068220 memory=4137282616176187523 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4629/stat : 4629 (java) S 4604 4604 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230796862 8261857280 29298 33554432000 4194304 4196468 140735661132816 140067674776864 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4630] ppid=4604 vsize=8068220 memory=-7522837415797432224 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4630/stat : 4630 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230796862 8261857280 29298 33554432000 4194304 4196468 140735661132816 140067406341744 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4631] ppid=4604 vsize=8068220 memory=-3761410806829453664 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4631/stat : 4631 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140067031833168 140068861802395 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4632] ppid=4604 vsize=8068220 memory=8761640388971749472 CPUtime=0.09 cores=0,2,4,6
/proc/4622/task/4632/stat : 4632 (java) S 4604 4604 3960 0 -1 1077944384 766 0 0 0 9 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068307114096 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4633] ppid=4604 vsize=8068220 memory=-7531822216213012384 CPUtime=0.08 cores=0,2,4,6
/proc/4622/task/4633/stat : 4633 (java) S 4604 4604 3960 0 -1 1077944384 200 0 0 0 8 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068306061296 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4634] ppid=4604 vsize=8068220 memory=1472 CPUtime=0.21 cores=0,2,4,6
/proc/4622/task/4634/stat : 4634 (java) S 4604 4604 3960 0 -1 1077944384 631 0 0 0 21 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068305009008 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4635] ppid=4604 vsize=8068220 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4635/stat : 4635 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140066533927392 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4636] ppid=4604 vsize=8068220 memory=2244 CPUtime=0.01 cores=0,2,4,6
/proc/4622/task/4636/stat : 4636 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068303956912 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4638] ppid=4604 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4638/stat : 4638 (java) S 4604 4604 3960 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230796933 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068296148416 140068861808409 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4640] ppid=4604 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4640/stat : 4640 (java) S 4604 4604 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230796933 8261857280 29298 33554432000 4194304 4196468 140735661132816 140065997041712 140068861805725 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4641] ppid=4604 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4641/stat : 4641 (java) S 4604 4604 3960 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230796933 8261857280 29298 33554432000 4194304 4196468 140735661132816 140066131262896 140068861805725 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4642] ppid=4604 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4642/stat : 4642 (java) S 4604 4604 3960 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230796935 8261857280 29298 33554432000 4194304 4196468 140735661132816 140065728617376 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
Current children cumulated CPU time: 54.31 s
Current children cumulated vsize: 8252780 KiB
Current children cumulated memory: 172592 KiB
[startup+42.001 s]*
/proc/loadavg: 2.24 2.16 1.86 3/228 4642
/proc/meminfo: memFree=23464748/32770624 swapFree=67108372/67108860
[pid=4604] ppid=4601 vsize=113128 memory=1468 CPUtime=23.9 cores=0,2,4,6
/proc/4604/stat : 4604 (scop.sh) S 4601 4604 3960 0 -1 4202496 590 39394 0 0 0 0 2322 68 20 0 1 0 230795696 115843072 367 33554432000 4194304 5098028 140735208328592 140735208325336 140481113010812 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17633280 140735208330304 140735208330503 140735208330503 140735208333261 0
/proc/4604/statm: 28282 367 311 221 0 87 0
[pid=4622] ppid=4604 vsize=8068220 memory=117192 CPUtime=1.19 cores=0,2,4,6
/proc/4622/stat : 4622 (java) S 4604 4604 3960 0 -1 1077944320 18011 0 0 0 112 7 0 0 20 0 19 0 230796859 8261857280 29298 33554432000 4194304 4196468 140735661132816 140735661115360 140068861783799 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
/proc/4622/statm: 2017055 29298 3154 1 0 1978454 0
[pid=4637] ppid=4622 vsize=71432 memory=53932 CPUtime=29.63 cores=0,2,4,6
/proc/4637/stat : 4637 (minisat_release) R 4622 4604 3960 0 -1 4202496 27436 0 0 0 2961 2 0 0 20 0 1 0 230796932 73146368 13483 33554432000 4194304 4308513 140724570597808 140724570594808 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 25669632 140724570600565 140724570600662 140724570600662 140724570603461 0
/proc/4637/statm: 17858 13483 341 28 0 14098 0
[pid=4622/tid=4623] ppid=4604 vsize=8068220 memory=-5059952977386882957 CPUtime=0.76 cores=0,2,4,6
/proc/4622/task/4623/stat : 4623 (java) S 4604 4604 3960 0 -1 1077944384 15003 0 0 0 72 4 0 0 20 0 19 0 230796859 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068833623952 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4624] ppid=4604 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4624/stat : 4624 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230796860 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068866025872 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4625] ppid=4604 vsize=8068220 memory=117192 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4625/stat : 4625 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230796860 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068684114192 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4626] ppid=4604 vsize=8068220 memory=53932 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4626/stat : 4626 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230796860 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068683061904 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4627] ppid=4604 vsize=8068220 memory=7088780576621685412 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4627/stat : 4627 (java) S 4604 4604 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230796860 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068344723984 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4628] ppid=4604 vsize=8068220 memory=7379522280468407143 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4628/stat : 4628 (java) S 4604 4604 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230796862 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068308167280 140068861794946 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4629] ppid=4604 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4629/stat : 4629 (java) S 4604 4604 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230796862 8261857280 29298 33554432000 4194304 4196468 140735661132816 140067674776864 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4630] ppid=4604 vsize=8068220 memory=8819569139123401261 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4630/stat : 4630 (java) S 4604 4604 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230796862 8261857280 29298 33554432000 4194304 4196468 140735661132816 140067406341744 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4631] ppid=4604 vsize=8068220 memory=288292190260823196 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4631/stat : 4631 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140067031833168 140068861802395 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4632] ppid=4604 vsize=8068220 memory=279623981601664 CPUtime=0.09 cores=0,2,4,6
/proc/4622/task/4632/stat : 4632 (java) S 4604 4604 3960 0 -1 1077944384 766 0 0 0 9 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068307114096 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4633] ppid=4604 vsize=8068220 memory=279623980024048 CPUtime=0.08 cores=0,2,4,6
/proc/4622/task/4633/stat : 4633 (java) S 4604 4604 3960 0 -1 1077944384 200 0 0 0 8 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068306061296 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4634] ppid=4604 vsize=8068220 memory=7162238905627468652 CPUtime=0.21 cores=0,2,4,6
/proc/4622/task/4634/stat : 4634 (java) S 4604 4604 3960 0 -1 1077944384 631 0 0 0 21 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068305009008 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4635] ppid=4604 vsize=8068220 memory=7013625589644160343 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4635/stat : 4635 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140066533927392 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4636] ppid=4604 vsize=8068220 memory=7596288786043594835 CPUtime=0.01 cores=0,2,4,6
/proc/4622/task/4636/stat : 4636 (java) S 4604 4604 3960 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 19 0 230796865 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068303956912 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4638] ppid=4604 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4638/stat : 4638 (java) S 4604 4604 3960 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230796933 8261857280 29298 33554432000 4194304 4196468 140735661132816 140068296148416 140068861808409 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4640] ppid=4604 vsize=8068220 memory=279623981628112 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4640/stat : 4640 (java) S 4604 4604 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230796933 8261857280 29298 33554432000 4194304 4196468 140735661132816 140065997041712 140068861805725 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4641] ppid=4604 vsize=8068220 memory=279623981628032 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4641/stat : 4641 (java) S 4604 4604 3960 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230796933 8261857280 29298 33554432000 4194304 4196468 140735661132816 140066131262896 140068861805725 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4642] ppid=4604 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4622/task/4642/stat : 4642 (java) S 4604 4604 3960 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230796935 8261857280 29298 33554432000 4194304 4196468 140735661132816 140065728617376 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
Current children cumulated CPU time: 54.72 s
Current children cumulated vsize: 8252780 KiB
Current children cumulated memory: 172592 KiB
[startup+42.4008 s]
/proc/loadavg: 2.24 2.16 1.86 3/228 4642
/proc/meminfo: memFree=23464748/32770624 swapFree=67108372/67108860
[pid=4604] ppid=4601 vsize=113128 memory=1468 CPUtime=23.9 cores=0,2,4,6
/proc/4604/stat : 4604 (scop.sh) S 4601 4604 3960 0 -1 4202496 590 39394 0 0 0 0 2322 68 20 0 1 0 230795696 115843072 367 33554432000 4194304 5098028 140735208328592 140735208325336 140481113010812 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17633280 140735208330304 140735208330503 140735208330503 140735208333261 0
/proc/4604/statm: 28282 367 311 221 0 87 0
[pid=4622] ppid=4604 vsize=7937144 memory=128120 CPUtime=31.36 cores=0,2,4,6
/proc/4622/stat : 4622 (java) S 4604 4604 3960 0 -1 1077944320 19269 27499 0 0 136 7 2990 3 20 0 17 0 230796859 8127635456 32030 33554432000 4194304 4196468 140735661132816 140735661115360 140068861783799 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
/proc/4622/statm: 1984286 32030 3168 1 0 1945685 0
[pid=4622/tid=4623] ppid=4604 vsize=7937144 memory=6944656592387989600 CPUtime=30.76 cores=0,2,4,6
/proc/4622/task/4623/stat : 4623 (java) R 4604 4604 3960 0 -1 4202560 15220 27499 0 0 79 4 2990 3 20 0 17 0 230796859 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068833622032 140068861795734 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4624] ppid=4604 vsize=7937144 memory=6944656592387989600 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4624/stat : 4624 (java) S 4604 4604 3960 0 -1 1077944384 1 27499 0 0 0 0 2990 3 20 0 17 0 230796860 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068866025872 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4625] ppid=4604 vsize=7937144 memory=8112282956445269571 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4625/stat : 4625 (java) S 4604 4604 3960 0 -1 1077944384 1 27499 0 0 0 0 2990 3 20 0 17 0 230796860 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068684114192 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4626] ppid=4604 vsize=7937144 memory=117192 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4626/stat : 4626 (java) S 4604 4604 3960 0 -1 1077944384 1 27499 0 0 0 0 2990 3 20 0 17 0 230796860 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068683061904 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4627] ppid=4604 vsize=7937144 memory=53932 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4627/stat : 4627 (java) S 4604 4604 3960 0 -1 1077944384 2 27499 0 0 0 0 2990 3 20 0 17 0 230796860 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068344723984 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4628] ppid=4604 vsize=7937144 memory=1752 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4628/stat : 4628 (java) S 4604 4604 3960 0 -1 1077944384 5 27499 0 0 0 0 2990 3 20 0 17 0 230796862 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068308167280 140068861794946 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4629] ppid=4604 vsize=7937144 memory=5752 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4629/stat : 4629 (java) S 4604 4604 3960 0 -1 1077944384 13 27499 0 0 0 0 2990 3 20 0 17 0 230796862 8127635456 32030 33554432000 4194304 4196468 140735661132816 140067674776864 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4630] ppid=4604 vsize=7937144 memory=-5059952977386882957 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4630/stat : 4630 (java) S 4604 4604 3960 0 -1 1077944384 1 27499 0 0 0 0 2990 3 20 0 17 0 230796862 8127635456 32030 33554432000 4194304 4196468 140735661132816 140067406341744 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4631] ppid=4604 vsize=7937144 memory=6226315035594560934 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4631/stat : 4631 (java) S 4604 4604 3960 0 -1 1077944384 3 27499 0 0 0 0 2990 3 20 0 17 0 230796865 8127635456 32030 33554432000 4194304 4196468 140735661132816 140067031833168 140068861802395 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4632] ppid=4604 vsize=7937144 memory=6226315035594560934 CPUtime=30.06 cores=0,2,4,6
/proc/4622/task/4632/stat : 4632 (java) S 4604 4604 3960 0 -1 1077944384 790 27499 0 0 13 0 2990 3 20 0 17 0 230796865 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068307114096 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4633] ppid=4604 vsize=7937144 memory=6226315035594560934 CPUtime=30.05 cores=0,2,4,6
/proc/4622/task/4633/stat : 4633 (java) S 4604 4604 3960 0 -1 1077944384 654 27499 0 0 12 0 2990 3 20 0 17 0 230796865 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068306061296 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4634] ppid=4604 vsize=7937144 memory=6226315035594560934 CPUtime=30.2 cores=0,2,4,6
/proc/4622/task/4634/stat : 4634 (java) S 4604 4604 3960 0 -1 1077944384 1135 27499 0 0 26 1 2990 3 20 0 17 0 230796865 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068305009008 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4635] ppid=4604 vsize=7937144 memory=6226315035594560934 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4635/stat : 4635 (java) S 4604 4604 3960 0 -1 1077944384 3 27499 0 0 0 0 2990 3 20 0 17 0 230796865 8127635456 32030 33554432000 4194304 4196468 140735661132816 140066533927392 140068861794005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4636] ppid=4604 vsize=7937144 memory=3812 CPUtime=29.94 cores=0,2,4,6
/proc/4622/task/4636/stat : 4636 (java) S 4604 4604 3960 0 -1 1077944384 3 27499 0 0 0 1 2990 3 20 0 17 0 230796865 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068303956912 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4638] ppid=4604 vsize=7937144 memory=62740 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4638/stat : 4638 (java) S 4604 4604 3960 0 -1 1077944384 29 27499 0 0 0 0 2990 3 20 0 17 0 230796933 8127635456 32030 33554432000 4194304 4196468 140735661132816 140068296147600 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
[pid=4622/tid=4642] ppid=4604 vsize=7937144 memory=2144 CPUtime=29.93 cores=0,2,4,6
/proc/4622/task/4642/stat : 4642 (java) S 4604 4604 3960 0 -1 1077944384 8 27499 0 0 0 0 2990 3 20 0 17 0 230796935 8127635456 32030 33554432000 4194304 4196468 140735661132816 140065728619184 140068861794946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9744384 140735661135030 140735661135153 140735661135153 140735661137871 0
Current children cumulated CPU time: 55.26 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 129588 KiB
Child status: 0
Real time (s): 42.42
CPU time (s): 55.3272
CPU user time (s): 54.5212
CPU system time (s): 0.805992
CPU usage (%): 130.427
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3126136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.5212
system time used= 0.805992
maximum resident set size= 3124744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7255
involuntary context switches= 146
# summary of solver processes directly reported to runsolver:
# pid: 4604
# total CPU time (s): 55.3272
# total CPU user time (s): 54.5212
# total CPU system time (s): 0.805992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.336277 second user time and 0.475462 second system time
The end