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-28100-serial-file.bin HOME/instance-4305715-1534075926.xml
0.65/0.52
0.65/0.52 scop both+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Sun Aug 12 14:12:07 CEST 2018
0.65/0.55 c PID: 28103
0.65/0.55 c IP: 172.20.3.106
0.65/0.55 c HOST: node106.alineos.net
0.65/0.56 c (0,0) Parsing Begin
1.62/1.00 c (0,0) Parsing End
1.99/1.01 c (0,0) CSP: 20 int (0 aux), 0 bool (0 aux), 9 ctr, max domain size 26
1.99/1.01 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.99/1.01 c (0,0) Constraint Name Generate Begin
1.99/1.01 c (0,0) Ctr:HOME/instance-4305715-1534075926.xml,ExtensionSupport:IntVar
1.99/1.01 c (0,0) Constraint Name Generate End
1.99/1.01 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.99/1.01 c (0,0) CSP to CSPinCNF Begin
1.99/1.05 c (0,0) translated 1 (10%) constraints
17.41/6.77 c (6,6) translated 2 (20%) constraints
20.69/8.90 c (8,8) translated 3 (30%) constraints
23.38/10.93 c (10,10) translated 4 (40%) constraints
25.92/12.82 c (12,12) translated 5 (50%) constraints
27.34/13.79 c (13,12) translated 6 (60%) constraints
27.99/14.34 c (13,13) translated 7 (70%) constraints
28.50/14.88 c (14,14) translated 8 (80%) constraints
29.13/15.43 c (14,14) translated 9 (90%) constraints
32.04/16.98 c (16,15) STATISTICS1:HOME/instance-4305715-1534075926.xml,ExtensionSupport:IntVar,22058,269366,-1,26,27,1,,26:458087;2:479995,27:51;26:53;25:58;24:52;23:58;22:80;21:79;20:66;19:69;18:70;17:113;16:105;15:113;14:150;13:111;12:173;11:233;10:303;9:333;8:619;7:849;6:1101;5:1434;4:128643;3:96346;2:38104,1:938082;0:9,
32.04/16.98 c (16,15) ==========================================
32.04/16.98 c (16,15) Both Encoding selects:
32.04/16.98 c (16,15) Order
32.04/16.98 c (16,15) ==========================================
32.85/17.39 c (16,16) translated 26937 (10%) constraints
33.29/17.74 c (17,16) translated 53874 (20%) constraints
33.66/18.10 c (17,17) translated 80810 (30%) constraints
34.10/18.46 c (17,17) translated 107747 (40%) constraints
34.51/18.82 c (18,17) translated 134683 (50%) constraints
34.83/19.17 c (18,18) translated 161620 (60%) constraints
35.22/19.53 c (19,18) translated 188557 (70%) constraints
35.57/19.88 c (19,18) translated 215493 (80%) constraints
35.98/20.21 c (19,19) translated 242430 (90%) constraints
36.29/20.55 c (20,19) translated 269366 (100%) constraints
36.29/20.55 c (20,19) CSP to CSPinCNF End
36.29/20.56 c (20,19) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26
36.29/20.56 c (20,19) Heap : 2799 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
36.29/20.56 c (20,19) CSPinCNF Propagation Begin
38.95/22.01 c (21,20) 0 values, 9 unsatisfiable literals, and 0 valid clauses are removed
38.95/22.01 c (21,20) CSPinCNF Propagation End
38.95/22.02 c (21,20) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26
38.95/22.02 c (21,20) Heap : 1404 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
38.95/22.02 c (21,20) Simplify CSPinCNF Begin
39.42/22.42 c (21,21) Simplify CSPinCNF End
39.42/22.43 c (21,21) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26
39.42/22.43 c (21,21) Heap : 1625 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
39.42/22.43 c (21,21) Calculate Precise Domain Begin
39.42/22.43 c (21,21) 0 values are removed by re-calculation
39.42/22.43 c (21,21) Calculate Precise Domain End
39.42/22.43 c (21,21) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26
39.42/22.43 c (21,21) Heap : 1625 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
39.42/22.43 c (21,21) CSPinCNF to SatSolver Begin
40.29/22.75 c (22,21) 26937 (10 %) CSP clauses are encoded (22538 SAT variables, 27416 SAT clauses)
40.48/22.89 c (22,21) 53874 (20 %) CSP clauses are encoded (22538 SAT variables, 54353 SAT clauses)
40.71/23.03 c (22,21) 80810 (30 %) CSP clauses are encoded (22538 SAT variables, 81289 SAT clauses)
40.82/23.16 c (22,21) 107747 (40 %) CSP clauses are encoded (22538 SAT variables, 108226 SAT clauses)
40.91/23.29 c (22,21) 134683 (50 %) CSP clauses are encoded (22538 SAT variables, 135162 SAT clauses)
41.11/23.42 c (22,22) 161620 (60 %) CSP clauses are encoded (22538 SAT variables, 162099 SAT clauses)
41.21/23.56 c (23,22) 188557 (70 %) CSP clauses are encoded (22538 SAT variables, 189036 SAT clauses)
41.30/23.68 c (23,22) 215493 (80 %) CSP clauses are encoded (22538 SAT variables, 215972 SAT clauses)
41.50/23.81 c (23,22) 242430 (90 %) CSP clauses are encoded (22538 SAT variables, 242909 SAT clauses)
41.60/23.93 c (23,22) 269366 (100 %) CSP clauses are encoded (22538 SAT variables, 269845 SAT clauses)
41.60/23.93 c (23,22) Launch Command will be: minisat_release
41.60/23.93 c (23,22) CSPinCNF to SatSolver End
41.60/23.93 c (23,22) Heap : 3017 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
43.22/24.77 c (24,23) STATISTICS2:HOME/instance-4305715-1534075926.xml,ExtensionSupport:IntVar,22058,269366,-1,26,27,1,,26:458087;2:479995,27:42;26:62;25:58;24:52;23:58;22:80;21:79;20:66;19:69;18:70;17:113;16:105;15:113;14:150;13:111;12:173;11:233;10:303;9:333;8:619;7:849;6:1101;5:1434;4:128643;3:96346;2:38104,1:938082,
43.22/24.77 c (24,23) 22538 bool, 269846 clause
43.22/24.77 c (24,23) Export Begin
43.33/24.85 c (24,23) Export to HOME/scop-28100-serial-file.bin
43.33/24.85 c (24,23) Export End
43.33/24.85 c (24,23) Export File Size: 0.01 MB
43.33/24.85 c (24,23) 0,0,20,21,21,21,23,STOP-AFTER(DIMACS)
43.33/24.85 c END-Prog: Sun Aug 12 14:12:31 CEST 2018
43.33/24.87 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-28100-serial-file.bin
43.99/25.37 c (0,0) Read Serial File Begin
43.99/25.37 c (0,0) HOME/scop-28100-serial-file.bin
44.28/25.53 c (0,0) Read Serial File End
44.28/25.54
44.28/25.54 scop order+minisat_release (2018-07-31)
44.28/25.54 (Solving Process)
44.28/25.54
44.28/25.57 c BEGIN-Prog: Sun Aug 12 14:12:32 CEST 2018
44.28/25.57 c PID: 28118
44.28/25.57 c IP: 172.20.3.106
44.28/25.57 c HOST: node106.alineos.net
44.28/25.57 c (0,0) SatSolver.solve Begin
44.28/25.57 c (0,0) 0 bool, 0 clause
44.28/25.57 c (0,0) minisat_release HOME/instance-4305715-1534075926.xml-scop-28103.cnf
44.95/26.05 c (0,0) c This is COMiniSatPS.
44.95/26.05 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
44.95/26.05 c (0,0) c ============================[ Problem Statistics ]=============================
44.95/26.05 c (0,0) c | |
44.95/26.05 c (0,0) c | Number of variables: 22538 |
44.95/26.05 c (0,0) c | Number of clauses: 269846 |
44.95/26.05 c (0,0) c | Parse time: 0.08 s |
44.95/26.05 c (0,0) c | Eliminated clauses: 0.07 Mb |
44.95/26.05 c (0,0) c Reduced to 21650 vars, 266628 cls (grow=0)
44.95/26.05 c (0,0) c No iterative elimination performed. (vars=21650, c/v ratio=12.3)
44.95/26.05 c (0,0) c | Simplification time: 0.33 s |
44.95/26.05 c (0,0) c | |
44.95/26.05 c (0,0) c ============================[ Search Statistics ]==============================
44.95/26.05 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
44.95/26.05 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
44.95/26.05 c (0,0) c ===============================================================================
44.95/26.05 c (0,0) c ===============================================================================
44.95/26.05 c (0,0) c restarts : 1
44.95/26.05 c (0,0) c conflicts : 76 (176 /sec)
44.95/26.05 c (0,0) c decisions : 644 (0.00 % random) (1491 /sec)
44.95/26.05 c (0,0) c propagations : 45487 (105294 /sec)
44.95/26.05 c (0,0) c conflict literals : 9650 (8.72 % deleted)
44.95/26.05 c (0,0) c CPU time : 0.431999 s
44.95/26.05 c (0,0)
44.95/26.05 c (0,0) s SATISFIABLE
44.95/26.09 c (0,0) SatSolver.solve End
44.95/26.09 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
44.95/26.09 c (0,0) Show results Begin
45.16/26.14 s SATISFIABLE
45.16/26.15 v <instantiation>
45.16/26.15 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4]</list>
45.16/26.15 v <values>0 2 7 4 1 25 14 14 12 0 4 23 19 14 13 11 4 4 20 22</values>
45.16/26.15 v </instantiation>
45.16/26.15 c (0,0) Show results End
45.16/26.15 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
45.16/26.15 c (0,0) 0,0,STOP-AFTER(ALL)
45.16/26.15 c END-Prog: Sun Aug 12 14:12:32 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 (8618 MiB free)
memory of node 1: 16384 MiB (11519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305715-1534075926/watcher-4305715-1534075926 -o /tmp/evaluation-result-4305715-1534075926/solver-4305715-1534075926 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305715-1534075926.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=28100, runsolver pid=28097
[startup+0.100868 s]*
/proc/loadavg: 2.00 2.01 2.05 5/222 28117
/proc/meminfo: memFree=20562556/32770624 swapFree=67108688/67108860
[pid=28100] ppid=28097 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28100/stat : 28100 (scop.sh) S 28097 28100 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155485 115843072 348 33554432000 4194304 5098028 140725126217648 140725126214904 139726372151932 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31621120 140725126218817 140725126219015 140725126219015 140725126221773 0
/proc/28100/statm: 28282 348 296 221 0 87 0
[pid=28103] ppid=28100 vsize=15012476 memory=71060 CPUtime=0.11 cores=0,2,4,6
/proc/28103/stat : 28103 (java) S 28100 28100 23167 0 -1 1077944320 6917 0 0 0 9 2 0 0 20 0 15 0 225155485 15372775424 17765 33554432000 4194304 4196468 140731146457888 140731146440432 140268244938487 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
/proc/28103/statm: 3753119 17765 2771 1 0 3715579 0
[pid=28103/tid=28104] ppid=28100 vsize=15012476 memory=-6078870780940435395 CPUtime=0.08 cores=0,2,4,6
/proc/28103/task/28104/stat : 28104 (java) R 28100 28100 23167 0 -1 4202560 5018 0 0 0 7 1 0 0 20 0 15 0 225155485 15372775424 17765 33554432000 4194304 4196468 140731146457888 140268216750472 140268225214301 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28105] ppid=28100 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28105/stat : 28105 (java) S 28100 28100 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 17831 33554432000 4194304 4196468 140731146457888 140268249180432 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28106] ppid=28100 vsize=15012476 memory=140523610760832 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28106/stat : 28106 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 17831 33554432000 4194304 4196468 140731146457888 140268063336848 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28107] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28107/stat : 28107 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 17831 33554432000 4194304 4196468 140731146457888 140267704625680 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28108] ppid=28100 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28108/stat : 28108 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 17831 33554432000 4194304 4196468 140731146457888 140267703573136 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28109] ppid=28100 vsize=15012476 memory=140523610760832 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28109/stat : 28109 (java) S 28100 28100 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155488 15372775424 17831 33554432000 4194304 4196468 140731146457888 140267215473136 140268244949634 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28110] ppid=28100 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28110/stat : 28110 (java) S 28100 28100 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225155489 15372775424 17831 33554432000 4194304 4196468 140731146457888 140266853885344 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28111] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28111/stat : 28111 (java) S 28100 28100 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225155489 15372775424 17831 33554432000 4194304 4196468 140731146457888 140266719663600 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28112] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28112/stat : 28112 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 17831 33554432000 4194304 4196468 140731146457888 140266345159376 140268244957083 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28113] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28113/stat : 28113 (java) S 28100 28100 23167 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 17831 33554432000 4194304 4196468 140731146457888 140267214419952 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28114] ppid=28100 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28114/stat : 28114 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 17831 33554432000 4194304 4196468 140731146457888 140267213367408 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28115] ppid=28100 vsize=15012476 memory=140523610760832 CPUtime=0.01 cores=0,2,4,6
/proc/28103/task/28115/stat : 28115 (java) S 28100 28100 23167 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 225155492 15372775424 17831 33554432000 4194304 4196468 140731146457888 140267212314864 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28116] ppid=28100 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28116/stat : 28116 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 17897 33554432000 4194304 4196468 140731146457888 140265847253600 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28117] ppid=28100 vsize=15012476 memory=140523610760832 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28117/stat : 28117 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 17897 33554432000 4194304 4196468 140731146457888 140267211262768 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72452 KiB
[startup+0.210487 s]*
/proc/loadavg: 2.00 2.01 2.05 4/222 28117
/proc/meminfo: memFree=20549240/32770624 swapFree=67108688/67108860
[pid=28100] ppid=28097 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28100/stat : 28100 (scop.sh) S 28097 28100 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155485 115843072 348 33554432000 4194304 5098028 140725126217648 140725126214904 139726372151932 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31621120 140725126218817 140725126219015 140725126219015 140725126221773 0
/proc/28100/statm: 28282 348 296 221 0 87 0
[pid=28103] ppid=28100 vsize=15012476 memory=84364 CPUtime=0.25 cores=0,2,4,6
/proc/28103/stat : 28103 (java) S 28100 28100 23167 0 -1 1077944320 10419 0 0 0 22 3 0 0 20 0 15 0 225155485 15372775424 21091 33554432000 4194304 4196468 140731146457888 140731146440432 140268244938487 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
/proc/28103/statm: 3753119 21091 2922 1 0 3715579 0
[pid=28103/tid=28104] ppid=28100 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/28103/task/28104/stat : 28104 (java) R 28100 28100 23167 0 -1 4202560 8301 0 0 0 17 2 0 0 20 0 15 0 225155485 15372775424 21091 33554432000 4194304 4196468 140731146457888 140268216751360 140268244960413 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28105] ppid=28100 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28105/stat : 28105 (java) S 28100 28100 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 21091 33554432000 4194304 4196468 140731146457888 140268249180432 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28106] ppid=28100 vsize=15012476 memory=140523611960502 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28106/stat : 28106 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 21091 33554432000 4194304 4196468 140731146457888 140268063336848 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28107] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28107/stat : 28107 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 21091 33554432000 4194304 4196468 140731146457888 140267704625680 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28108] ppid=28100 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28108/stat : 28108 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 21091 33554432000 4194304 4196468 140731146457888 140267703573136 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28109] ppid=28100 vsize=15012476 memory=140523610760832 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28109/stat : 28109 (java) S 28100 28100 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155488 15372775424 21091 33554432000 4194304 4196468 140731146457888 140267215473136 140268244949634 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28110] ppid=28100 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28110/stat : 28110 (java) S 28100 28100 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225155489 15372775424 21091 33554432000 4194304 4196468 140731146457888 140266853885344 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28111] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28111/stat : 28111 (java) S 28100 28100 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225155489 15372775424 21091 33554432000 4194304 4196468 140731146457888 140266719663600 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28112] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28112/stat : 28112 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 21091 33554432000 4194304 4196468 140731146457888 140266345159376 140268244957083 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28113] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28113/stat : 28113 (java) S 28100 28100 23167 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 21091 33554432000 4194304 4196468 140731146457888 140267214419952 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28114] ppid=28100 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28114/stat : 28114 (java) S 28100 28100 23167 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 21091 33554432000 4194304 4196468 140731146457888 140267213367408 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28115] ppid=28100 vsize=15012476 memory=140523610760832 CPUtime=0.02 cores=0,2,4,6
/proc/28103/task/28115/stat : 28115 (java) R 28100 28100 23167 0 -1 4202560 286 0 0 0 2 0 0 0 20 0 15 0 225155492 15372775424 21091 33554432000 4194304 4196468 140731146457888 140267212314864 140268244950422 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28116] ppid=28100 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28116/stat : 28116 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 21091 33554432000 4194304 4196468 140731146457888 140265847253600 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28117] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28117/stat : 28117 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 21091 33554432000 4194304 4196468 140731146457888 140267211262768 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85756 KiB
[startup+0.310393 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 28117
/proc/meminfo: memFree=20545208/32770624 swapFree=67108688/67108860
[pid=28100] ppid=28097 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28100/stat : 28100 (scop.sh) S 28097 28100 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155485 115843072 348 33554432000 4194304 5098028 140725126217648 140725126214904 139726372151932 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31621120 140725126218817 140725126219015 140725126219015 140725126221773 0
/proc/28100/statm: 28282 348 296 221 0 87 0
[pid=28103] ppid=28100 vsize=15012476 memory=87620 CPUtime=0.41 cores=0,2,4,6
/proc/28103/stat : 28103 (java) S 28100 28100 23167 0 -1 1077944320 10947 0 0 0 38 3 0 0 20 0 15 0 225155485 15372775424 21905 33554432000 4194304 4196468 140731146457888 140731146440432 140268244938487 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
/proc/28103/statm: 3753119 21905 2957 1 0 3715579 0
[pid=28103/tid=28104] ppid=28100 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28103/task/28104/stat : 28104 (java) R 28100 28100 23167 0 -1 4202560 8668 0 0 0 27 2 0 0 20 0 15 0 225155485 15372775424 21905 33554432000 4194304 4196468 140731146457888 140268216733936 140268229018974 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28105] ppid=28100 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28105/stat : 28105 (java) S 28100 28100 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 21905 33554432000 4194304 4196468 140731146457888 140268249180432 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28106] ppid=28100 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28106/stat : 28106 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 21905 33554432000 4194304 4196468 140731146457888 140268063336848 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28107] ppid=28100 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28107/stat : 28107 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 21905 33554432000 4194304 4196468 140731146457888 140267704625680 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28108] ppid=28100 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28108/stat : 28108 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155487 15372775424 21905 33554432000 4194304 4196468 140731146457888 140267703573136 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28109] ppid=28100 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28109/stat : 28109 (java) S 28100 28100 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155488 15372775424 21905 33554432000 4194304 4196468 140731146457888 140267215473136 140268244949634 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28110] ppid=28100 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28110/stat : 28110 (java) S 28100 28100 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225155489 15372775424 21905 33554432000 4194304 4196468 140731146457888 140266853885344 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28111] ppid=28100 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28111/stat : 28111 (java) S 28100 28100 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225155489 15372775424 21905 33554432000 4194304 4196468 140731146457888 140266719663600 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28112] ppid=28100 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28112/stat : 28112 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 21905 33554432000 4194304 4196468 140731146457888 140266345159376 140268244957083 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28113] ppid=28100 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28103/task/28113/stat : 28113 (java) S 28100 28100 23167 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 225155492 15372775424 21905 33554432000 4194304 4196468 140731146457888 140267214419952 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28114] ppid=28100 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28103/task/28114/stat : 28114 (java) S 28100 28100 23167 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 15 0 225155492 15372775424 21905 33554432000 4194304 4196468 140731146457888 140267213367408 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28115] ppid=28100 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28103/task/28115/stat : 28115 (java) S 28100 28100 23167 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 15 0 225155492 15372775424 21905 33554432000 4194304 4196468 140731146457888 140267212314864 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28116] ppid=28100 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28116/stat : 28116 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 21905 33554432000 4194304 4196468 140731146457888 140265847253600 140268244948693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28117] ppid=28100 vsize=15012476 memory=3833468387996016689 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28117/stat : 28117 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155492 15372775424 21905 33554432000 4194304 4196468 140731146457888 140267211262768 140268244949634 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89012 KiB
[startup+0.700735 s]
/proc/loadavg: 2.00 2.01 2.05 3/222 28117
/proc/meminfo: memFree=20521396/32770624 swapFree=67108688/67108860
[pid=28100] ppid=28097 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28100/stat : 28100 (scop.sh) S 28097 28100 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155485 115843072 348 33554432000 4194304 5098028 140725126217648 140725126214904 139726372151932 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31621120 140725126218817 140725126219015 140725126219015 140725126221773 0
/proc/28100/statm: 28282 348 296 221 0 87 0
[pid=28103] ppid=28100 vsize=15020872 memory=127656 CPUtime=0.98 cores=0,2,4,6
/proc/28103/stat : 28103 (java) S 28100 28100 23167 0 -1 1077944320 18069 0 0 0 92 6 0 0 20 0 15 0 225155485 15381372928 31914 33554432000 4194304 4196468 140731146457888 140731146440432 140268244938487 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
/proc/28103/statm: 3755218 31914 3148 1 0 3716603 0
[pid=28103/tid=28104] ppid=28100 vsize=15020872 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/28103/task/28104/stat : 28104 (java) R 28100 28100 23167 0 -1 4202560 15299 0 0 0 62 4 0 0 20 0 15 0 225155485 15381372928 31914 33554432000 4194304 4196468 140731146457888 140268216775888 140268229018974 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28105] ppid=28100 vsize=15020872 memory=116 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28105/stat : 28105 (java) S 28100 28100 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155487 15381372928 31914 33554432000 4194304 4196468 140731146457888 140268249180432 140268244948693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28106] ppid=28100 vsize=15020872 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28106/stat : 28106 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155487 15381372928 31914 33554432000 4194304 4196468 140731146457888 140268063336848 140268244948693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28107] ppid=28100 vsize=15020872 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28107/stat : 28107 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155487 15381372928 31914 33554432000 4194304 4196468 140731146457888 140267704625680 140268244948693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28108] ppid=28100 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28108/stat : 28108 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155487 15381372928 31914 33554432000 4194304 4196468 140731146457888 140267703573136 140268244948693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28109] ppid=28100 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28109/stat : 28109 (java) S 28100 28100 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225155488 15381372928 31914 33554432000 4194304 4196468 140731146457888 140267215473136 140268244949634 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28110] ppid=28100 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28110/stat : 28110 (java) S 28100 28100 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225155489 15381372928 31914 33554432000 4194304 4196468 140731146457888 140266853885344 140268244948693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28111] ppid=28100 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28111/stat : 28111 (java) S 28100 28100 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225155489 15381372928 31914 33554432000 4194304 4196468 140731146457888 140266719663600 140268244948693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28112] ppid=28100 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28112/stat : 28112 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155492 15381372928 31914 33554432000 4194304 4196468 140731146457888 140266345159376 140268244957083 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28113] ppid=28100 vsize=15020872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28103/task/28113/stat : 28113 (java) S 28100 28100 23167 0 -1 1077944384 564 0 0 0 7 0 0 0 20 0 15 0 225155492 15381372928 31914 33554432000 4194304 4196468 140731146457888 140267214419952 140268244949634 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28114] ppid=28100 vsize=15020872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28103/task/28114/stat : 28114 (java) S 28100 28100 23167 0 -1 1077944384 451 0 0 0 7 0 0 0 20 0 15 0 225155492 15381372928 31914 33554432000 4194304 4196468 140731146457888 140267213367408 140268244949634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28115] ppid=28100 vsize=15020872 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/28103/task/28115/stat : 28115 (java) S 28100 28100 23167 0 -1 1077944384 399 0 0 0 14 0 0 0 20 0 15 0 225155492 15381372928 31914 33554432000 4194304 4196468 140731146457888 140267212314864 140268244949634 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28116] ppid=28100 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28116/stat : 28116 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155492 15381372928 31914 33554432000 4194304 4196468 140731146457888 140265847253600 140268244948693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
[pid=28103/tid=28117] ppid=28100 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28103/task/28117/stat : 28117 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155492 15381372928 31914 33554432000 4194304 4196468 140731146457888 140267211262768 140268244949634 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9523200 140731146466311 140731146466609 140731146466609 140731146469327 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129048 KiB
[startup+1.50079 s]
/proc/loadavg: 2.00 2.01 2.05 5/222 28117
/proc/meminfo: memFree=20457084/32770624 swapFree=67108688/67108860
[pid=28100] ppid=28097 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28100/stat : 28100 (scop.sh) S 28097 28100 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155485 115843072 348 33554432000 4194304 5098028 140725126217648 140725126214904 139726372151932 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31621120 140725126218817 140725126219015 140725126219015 140725126221773 0
/proc/28100/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=28118/tid=28128] ppid=28100 vsize=7408432 memory=3868 CPUtime=0.05 cores=0,2,4,6
/proc/28118/task/28128/stat : 28128 (java) S 28100 28100 23167 0 -1 1077944384 396 0 0 0 5 0 0 0 20 0 15 0 225157979 7586234368 23758 33554432000 4194304 4196468 140726558923184 140350499539056 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28129] ppid=28100 vsize=7408432 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28118/task/28129/stat : 28129 (java) S 28100 28100 23167 0 -1 1077944384 262 0 0 0 4 0 0 0 20 0 15 0 225157979 7586234368 23758 33554432000 4194304 4196468 140726558923184 140350498486256 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28130] ppid=28100 vsize=7408432 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/28118/task/28130/stat : 28130 (java) R 28100 28100 23167 0 -1 4202560 487 0 0 0 14 0 0 0 20 0 15 0 225157979 7586234368 23758 33554432000 4194304 4196468 140726558923184 140350497433968 140351038203230 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28131] ppid=28100 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28131/stat : 28131 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225157979 7586234368 23758 33554432000 4194304 4196468 140726558923184 140348860918240 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28132] ppid=28100 vsize=7408432 memory=1657 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28132/stat : 28132 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225157979 7586234368 23758 33554432000 4194304 4196468 140726558923184 140350496381872 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
Current children cumulated CPU time: 44.28 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 96500 KiB
[startup+26.1597 s]
# the end of solver process 28100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=43.9797 s, system=1.29144 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6009 s]
/proc/loadavg: 2.21 2.06 2.06 4/222 28132
/proc/meminfo: memFree=20576908/32770624 swapFree=67108688/67108860
[pid=28100] ppid=28097 vsize=113128 memory=1468 CPUtime=43.44 cores=0,2,4,6
/proc/28100/stat : 28100 (scop.sh) S 28097 28100 23167 0 -1 4202496 589 53679 0 0 0 0 4226 118 20 0 1 0 225155485 115843072 367 33554432000 4194304 5098028 140725126217648 140725126214392 139726372151932 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31621120 140725126218817 140725126219015 140725126219015 140725126221773 0
/proc/28100/statm: 28282 367 311 221 0 87 0
[pid=28118] ppid=28100 vsize=7607412 memory=105208 CPUtime=1.03 cores=0,2,4,6
/proc/28118/stat : 28118 (java) S 28100 28100 23167 0 -1 1077944320 17613 0 0 0 96 7 0 0 20 0 17 0 225157973 7789989888 26302 33554432000 4194304 4196468 140726558923184 140726558905728 140351054122743 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
/proc/28118/statm: 1901853 26302 3136 1 0 1863252 0
[pid=28118/tid=28119] ppid=28100 vsize=7607412 memory=3393512 CPUtime=0.69 cores=0,2,4,6
/proc/28118/task/28119/stat : 28119 (java) S 28100 28100 23167 0 -1 1077944384 14737 0 0 0 64 5 0 0 20 0 17 0 225157973 7789989888 26302 33554432000 4194304 4196468 140726558923184 140351025963424 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28120] ppid=28100 vsize=7607412 memory=3395096 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28120/stat : 28120 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 225157974 7789989888 26302 33554432000 4194304 4196468 140726558923184 140351058364816 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28121] ppid=28100 vsize=7607412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28121/stat : 28121 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 225157974 7789989888 26302 33554432000 4194304 4196468 140726558923184 140350876453136 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28122] ppid=28100 vsize=7607412 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28122/stat : 28122 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 225157974 7789989888 26302 33554432000 4194304 4196468 140726558923184 140350875400848 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28123] ppid=28100 vsize=7607412 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28123/stat : 28123 (java) S 28100 28100 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 225157974 7789989888 26302 33554432000 4194304 4196468 140726558923184 140350537497104 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28124] ppid=28100 vsize=7607412 memory=12668 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28124/stat : 28124 (java) S 28100 28100 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 17 0 225157976 7789989888 26302 33554432000 4194304 4196468 140726558923184 140350500592240 140351054133890 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28125] ppid=28100 vsize=7607412 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28125/stat : 28125 (java) S 28100 28100 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 17 0 225157976 7789989888 26302 33554432000 4194304 4196468 140726558923184 140349867549984 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28126] ppid=28100 vsize=7607412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28126/stat : 28126 (java) S 28100 28100 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 225157976 7789989888 26302 33554432000 4194304 4196468 140726558923184 140349733328496 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28127] ppid=28100 vsize=7607412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28127/stat : 28127 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 225157979 7789989888 26302 33554432000 4194304 4196468 140726558923184 140349358824016 140351054141339 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28128] ppid=28100 vsize=7607412 memory=1752 CPUtime=0.08 cores=0,2,4,6
/proc/28118/task/28128/stat : 28128 (java) R 28100 28100 23167 0 -1 4202560 580 0 0 0 8 0 0 0 20 0 17 0 225157979 7789989888 26302 33554432000 4194304 4196468 140726558923184 140350499517680 140351037509377 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28129] ppid=28100 vsize=7607412 memory=868 CPUtime=0.06 cores=0,2,4,6
/proc/28118/task/28129/stat : 28129 (java) S 28100 28100 23167 0 -1 1077944384 348 0 0 0 6 0 0 0 20 0 17 0 225157979 7789989888 26302 33554432000 4194304 4196468 140726558923184 140350498486256 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28130] ppid=28100 vsize=7607412 memory=1808 CPUtime=0.17 cores=0,2,4,6
/proc/28118/task/28130/stat : 28130 (java) S 28100 28100 23167 0 -1 1077944384 572 0 0 0 17 0 0 0 20 0 17 0 225157979 7789989888 26302 33554432000 4194304 4196468 140726558923184 140350497433968 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28131] ppid=28100 vsize=7607412 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28131/stat : 28131 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 225157979 7789989888 26302 33554432000 4194304 4196468 140726558923184 140348860918240 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28132] ppid=28100 vsize=7607412 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28132/stat : 28132 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 225157979 7789989888 26302 33554432000 4194304 4196468 140726558923184 140350496381872 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
Current children cumulated CPU time: 44.47 s
Current children cumulated vsize: 7720540 KiB
Current children cumulated memory: 106676 KiB
[startup+26.0007 s]*
/proc/loadavg: 2.27 2.08 2.06 3/227 28138
/proc/meminfo: memFree=20488028/32770624 swapFree=67108688/67108860
[pid=28100] ppid=28097 vsize=113128 memory=1468 CPUtime=43.44 cores=0,2,4,6
/proc/28100/stat : 28100 (scop.sh) S 28097 28100 23167 0 -1 4202496 589 53679 0 0 0 0 4226 118 20 0 1 0 225155485 115843072 367 33554432000 4194304 5098028 140725126217648 140725126214392 139726372151932 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31621120 140725126218817 140725126219015 140725126219015 140725126221773 0
/proc/28100/statm: 28282 367 311 221 0 87 0
[pid=28118] ppid=28100 vsize=8068220 memory=114824 CPUtime=1.11 cores=0,2,4,6
/proc/28118/stat : 28118 (java) S 28100 28100 23167 0 -1 1077944320 17962 0 0 0 104 7 0 0 20 0 19 0 225157973 8261857280 28706 33554432000 4194304 4196468 140726558923184 140726558905728 140351054122743 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
/proc/28118/statm: 2017055 28706 3150 1 0 1978454 0
[pid=28133] ppid=28118 vsize=49372 memory=25856 CPUtime=0.4 cores=0,2,4,6
/proc/28133/stat : 28133 (minisat_release) R 28118 28100 23167 0 -1 4202496 6817 0 0 0 39 1 0 0 20 0 1 0 225158044 50556928 6464 33554432000 4194304 4308513 140728941197440 140728941194104 4293872 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 17936384 140728941204596 140728941204694 140728941204694 140728941207493 0
/proc/28133/statm: 12343 6464 321 28 0 8583 0
[pid=28118/tid=28119] ppid=28100 vsize=8068220 memory=-7824251494390520938 CPUtime=0.73 cores=0,2,4,6
/proc/28118/task/28119/stat : 28119 (java) S 28100 28100 23167 0 -1 1077944384 14979 0 0 0 68 5 0 0 20 0 19 0 225157973 8261857280 28706 33554432000 4194304 4196468 140726558923184 140351025962896 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28120] ppid=28100 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28120/stat : 28120 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225157974 8261857280 28706 33554432000 4194304 4196468 140726558923184 140351058364816 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28121] ppid=28100 vsize=8068220 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28121/stat : 28121 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225157974 8261857280 28706 33554432000 4194304 4196468 140726558923184 140350876453136 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28122] ppid=28100 vsize=8068220 memory=33 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28122/stat : 28122 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225157974 8261857280 28706 33554432000 4194304 4196468 140726558923184 140350875400848 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28123] ppid=28100 vsize=8068220 memory=-7175204567652784766 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28123/stat : 28123 (java) S 28100 28100 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225157974 8261857280 28706 33554432000 4194304 4196468 140726558923184 140350537497104 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28124] ppid=28100 vsize=8068220 memory=7813014656748447056 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28124/stat : 28124 (java) S 28100 28100 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225157976 8261857280 28706 33554432000 4194304 4196468 140726558923184 140350500592240 140351054133890 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28125] ppid=28100 vsize=8068220 memory=3909515157158652272 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28125/stat : 28125 (java) S 28100 28100 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225157976 8261857280 28706 33554432000 4194304 4196468 140726558923184 140349867549984 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28126] ppid=28100 vsize=8068220 memory=7085678862996694116 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28126/stat : 28126 (java) S 28100 28100 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225157976 8261857280 28706 33554432000 4194304 4196468 140726558923184 140349733328496 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28127] ppid=28100 vsize=8068220 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28127/stat : 28127 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225157979 8261857280 28706 33554432000 4194304 4196468 140726558923184 140349358824016 140351054141339 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28128] ppid=28100 vsize=8068220 memory=7284 CPUtime=0.08 cores=0,2,4,6
/proc/28118/task/28128/stat : 28128 (java) S 28100 28100 23167 0 -1 1077944384 595 0 0 0 8 0 0 0 20 0 19 0 225157979 8261857280 28706 33554432000 4194304 4196468 140726558923184 140350499539056 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28129] ppid=28100 vsize=8068220 memory=804 CPUtime=0.07 cores=0,2,4,6
/proc/28118/task/28129/stat : 28129 (java) S 28100 28100 23167 0 -1 1077944384 354 0 0 0 7 0 0 0 20 0 19 0 225157979 8261857280 28706 33554432000 4194304 4196468 140726558923184 140350498486256 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28130] ppid=28100 vsize=8068220 memory=1796 CPUtime=0.19 cores=0,2,4,6
/proc/28118/task/28130/stat : 28130 (java) S 28100 28100 23167 0 -1 1077944384 607 0 0 0 19 0 0 0 20 0 19 0 225157979 8261857280 28706 33554432000 4194304 4196468 140726558923184 140350497433968 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28131] ppid=28100 vsize=8068220 memory=912 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28131/stat : 28131 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225157979 8261857280 28706 33554432000 4194304 4196468 140726558923184 140348860918240 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28132] ppid=28100 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28132/stat : 28132 (java) S 28100 28100 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225157979 8261857280 28706 33554432000 4194304 4196468 140726558923184 140350496381872 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28134] ppid=28100 vsize=8068220 memory=3420 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28134/stat : 28134 (java) S 28100 28100 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225158044 8261857280 28706 33554432000 4194304 4196468 140726558923184 140350488573376 140351054147353 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28136] ppid=28100 vsize=8068220 memory=3420 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28136/stat : 28136 (java) S 28100 28100 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225158045 8261857280 28706 33554432000 4194304 4196468 140726558923184 140348324032528 140351054144669 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28137] ppid=28100 vsize=8068220 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28137/stat : 28137 (java) S 28100 28100 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225158045 8261857280 28706 33554432000 4194304 4196468 140726558923184 140348458253712 140351054144669 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28138] ppid=28100 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/28118/task/28138/stat : 28138 (java) S 28100 28100 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225158047 8261857280 28706 33554432000 4194304 4196468 140726558923184 140348055608224 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
Current children cumulated CPU time: 44.95 s
Current children cumulated vsize: 8230720 KiB
Current children cumulated memory: 142148 KiB
[startup+26.1103 s]
/proc/loadavg: 2.27 2.08 2.06 3/227 28138
/proc/meminfo: memFree=20488028/32770624 swapFree=67108688/67108860
[pid=28100] ppid=28097 vsize=113128 memory=1468 CPUtime=43.44 cores=0,2,4,6
/proc/28100/stat : 28100 (scop.sh) S 28097 28100 23167 0 -1 4202496 589 53679 0 0 0 0 4226 118 20 0 1 0 225155485 115843072 367 33554432000 4194304 5098028 140725126217648 140725126214392 139726372151932 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31621120 140725126218817 140725126219015 140725126219015 140725126221773 0
/proc/28100/statm: 28282 367 311 221 0 87 0
[pid=28118] ppid=28100 vsize=7937144 memory=122016 CPUtime=1.72 cores=0,2,4,6
/proc/28118/stat : 28118 (java) S 28100 28100 23167 0 -1 1077944320 18251 7421 0 0 120 7 43 2 20 0 17 0 225157973 8127635456 30504 33554432000 4194304 4196468 140726558923184 140726558905728 140351054122743 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
/proc/28118/statm: 1984286 30504 3166 1 0 1945685 0
[pid=28118/tid=28119] ppid=28100 vsize=7937144 memory=1468 CPUtime=1.2 cores=0,2,4,6
/proc/28118/task/28119/stat : 28119 (java) R 28100 28100 23167 0 -1 4202560 15066 7421 0 0 70 5 43 2 20 0 17 0 225157973 8127635456 30504 33554432000 4194304 4196468 140726558923184 140351025924800 140351039492651 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28120] ppid=28100 vsize=7937144 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28120/stat : 28120 (java) S 28100 28100 23167 0 -1 1077944384 1 7421 0 0 0 0 43 2 20 0 17 0 225157974 8127635456 30504 33554432000 4194304 4196468 140726558923184 140351058364816 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28121] ppid=28100 vsize=7937144 memory=164 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28121/stat : 28121 (java) S 28100 28100 23167 0 -1 1077944384 1 7421 0 0 0 0 43 2 20 0 17 0 225157974 8127635456 30504 33554432000 4194304 4196468 140726558923184 140350876453136 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28122] ppid=28100 vsize=7937144 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28122/stat : 28122 (java) S 28100 28100 23167 0 -1 1077944384 1 7421 0 0 0 0 43 2 20 0 17 0 225157974 8127635456 30504 33554432000 4194304 4196468 140726558923184 140350875400848 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28123] ppid=28100 vsize=7937144 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28123/stat : 28123 (java) S 28100 28100 23167 0 -1 1077944384 2 7421 0 0 0 0 43 2 20 0 17 0 225157974 8127635456 30504 33554432000 4194304 4196468 140726558923184 140350537497104 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28124] ppid=28100 vsize=7937144 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28124/stat : 28124 (java) S 28100 28100 23167 0 -1 1077944384 5 7421 0 0 0 0 43 2 20 0 17 0 225157976 8127635456 30504 33554432000 4194304 4196468 140726558923184 140350500592240 140351054133890 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28125] ppid=28100 vsize=7937144 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28125/stat : 28125 (java) S 28100 28100 23167 0 -1 1077944384 13 7421 0 0 0 0 43 2 20 0 17 0 225157976 8127635456 30504 33554432000 4194304 4196468 140726558923184 140349867549984 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28126] ppid=28100 vsize=7937144 memory=1392 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28126/stat : 28126 (java) S 28100 28100 23167 0 -1 1077944384 21 7421 0 0 0 0 43 2 20 0 17 0 225157976 8127635456 30504 33554432000 4194304 4196468 140726558923184 140349733328496 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28127] ppid=28100 vsize=7937144 memory=3868 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28127/stat : 28127 (java) S 28100 28100 23167 0 -1 1077944384 3 7421 0 0 0 0 43 2 20 0 17 0 225157979 8127635456 30504 33554432000 4194304 4196468 140726558923184 140349358824016 140351054141339 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28128] ppid=28100 vsize=7937144 memory=6791534058613427641 CPUtime=0.56 cores=0,2,4,6
/proc/28118/task/28128/stat : 28128 (java) S 28100 28100 23167 0 -1 1077944384 611 7421 0 0 11 0 43 2 20 0 17 0 225157979 8127635456 30504 33554432000 4194304 4196468 140726558923184 140350499539056 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28129] ppid=28100 vsize=7937144 memory=1392 CPUtime=0.56 cores=0,2,4,6
/proc/28118/task/28129/stat : 28129 (java) S 28100 28100 23167 0 -1 1077944384 440 7421 0 0 11 0 43 2 20 0 17 0 225157979 8127635456 30504 33554432000 4194304 4196468 140726558923184 140350498486256 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28130] ppid=28100 vsize=7937144 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/28118/task/28130/stat : 28130 (java) S 28100 28100 23167 0 -1 1077944384 651 7421 0 0 21 0 43 2 20 0 17 0 225157979 8127635456 30504 33554432000 4194304 4196468 140726558923184 140350497433968 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28131] ppid=28100 vsize=7937144 memory=1657 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28131/stat : 28131 (java) S 28100 28100 23167 0 -1 1077944384 3 7421 0 0 0 0 43 2 20 0 17 0 225157979 8127635456 30504 33554432000 4194304 4196468 140726558923184 140348860918240 140351054132949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28132] ppid=28100 vsize=7937144 memory=3380 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28132/stat : 28132 (java) S 28100 28100 23167 0 -1 1077944384 1 7421 0 0 0 0 43 2 20 0 17 0 225157979 8127635456 30504 33554432000 4194304 4196468 140726558923184 140350496381872 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28134] ppid=28100 vsize=7937144 memory=1472 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28134/stat : 28134 (java) S 28100 28100 23167 0 -1 1077944384 25 7421 0 0 0 0 43 2 20 0 17 0 225158044 8127635456 30504 33554432000 4194304 4196468 140726558923184 140350488572560 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
[pid=28118/tid=28138] ppid=28100 vsize=7937144 memory=288230574492221466 CPUtime=0.45 cores=0,2,4,6
/proc/28118/task/28138/stat : 28138 (java) S 28100 28100 23167 0 -1 1077944384 6 7421 0 0 0 0 43 2 20 0 17 0 225158047 8127635456 30504 33554432000 4194304 4196468 140726558923184 140348055610032 140351054133890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16797696 140726558926005 140726558926129 140726558926129 140726558928847 0
Current children cumulated CPU time: 45.16 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 123484 KiB
Child status: 0
Real time (s): 26.1597
CPU time (s): 45.2712
CPU user time (s): 43.9797
CPU system time (s): 1.29144
CPU usage (%): 173.057
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 3572496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9797
system time used= 1.29144
maximum resident set size= 3572104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6612
involuntary context switches= 138
# summary of solver processes directly reported to runsolver:
# pid: 28100
# total CPU time (s): 45.2712
# total CPU user time (s): 43.9797
# total CPU system time (s): 1.29144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.166444 second user time and 0.32587 second system time
The end