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-22371-serial-file.bin HOME/instance-4305584-1534072575.xml
0.65/0.61
0.65/0.62 scop both+minisat_release (2018-07-31)
0.65/0.62 (Encoding Process)
0.65/0.62
0.65/0.64 c BEGIN-Prog: Sun Aug 12 13:16:16 CEST 2018
0.65/0.64 c PID: 22374
0.65/0.64 c IP: 172.20.3.103
0.65/0.64 c HOST: node103.alineos.net
0.65/0.65 c (0,0) Parsing Begin
1.21/0.95 c (0,0) Parsing End
1.21/0.96 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 36 ctr, max domain size 24
1.21/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.96 c (0,0) Constraint Name Generate Begin
1.21/0.97 c (0,0) Ctr:HOME/instance-4305584-1534072575.xml,Add:Element:Eq:IntVar:Num
1.21/0.97 c (0,0) Constraint Name Generate End
1.21/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.97 c (0,0) CSP to CSPinCNF Begin
1.57/1.14 c (0,0) translated 4 (10%) constraints
1.57/1.19 c (0,0) translated 8 (20%) constraints
1.82/1.21 c (0,0) translated 11 (30%) constraints
1.82/1.25 c (0,0) translated 15 (40%) constraints
1.82/1.27 c (0,0) translated 18 (50%) constraints
1.82/1.29 c (0,0) translated 22 (60%) constraints
2.10/1.31 c (0,0) translated 26 (70%) constraints
2.10/1.31 c (0,0) translated 29 (80%) constraints
2.10/1.32 c (0,0) translated 33 (90%) constraints
2.10/1.32 c (0,0) translated 36 (100%) constraints
2.10/1.36 c (0,0) STATISTICS1:HOME/instance-4305584-1534072575.xml,Add:Element:Eq:IntVar:Num,48,588,22,22,3,2,22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2,22:50;21:50;20:50;19:50;18:50;17:50;16:50;15:50;14:50;13:50;12:626;11:50,3:576;1:12,2:24;1:1728,
2.10/1.36 c (0,0) ==========================================
2.10/1.36 c (0,0) Both Encoding selects:
2.10/1.36 c (0,0) Order
2.10/1.36 c (0,0) ==========================================
2.34/1.41 c (0,0) translated 59 (10%) constraints
2.34/1.43 c (0,0) translated 118 (20%) constraints
2.34/1.45 c (0,0) translated 177 (30%) constraints
2.34/1.47 c (0,0) translated 236 (40%) constraints
2.34/1.49 c (0,0) translated 294 (50%) constraints
2.62/1.50 c (0,0) translated 353 (60%) constraints
2.62/1.51 c (0,0) translated 412 (70%) constraints
2.62/1.52 c (0,0) translated 471 (80%) constraints
2.62/1.53 c (0,0) translated 530 (90%) constraints
2.62/1.54 c (0,0) translated 588 (100%) constraints
2.62/1.54 c (0,0) CSP to CSPinCNF End
2.62/1.55 c (0,0) CSP: 48 int (0 aux), 288 bool (288 aux), 1752 ctr, max domain size 22
2.62/1.55 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.62/1.55 c (0,0) CSPinCNF Propagation Begin
2.62/1.60 c (0,0) 0 values, 228 unsatisfiable literals, and 276 valid clauses are removed
2.62/1.60 c (0,0) CSPinCNF Propagation End
2.93/1.60 c (0,0) CSP: 48 int (0 aux), 288 bool (288 aux), 1476 ctr, max domain size 22
2.93/1.60 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.93/1.60 c (0,0) Simplify CSPinCNF Begin
2.93/1.61 c (0,0) Simplify CSPinCNF End
2.93/1.61 c (0,0) CSP: 48 int (0 aux), 288 bool (288 aux), 1476 ctr, max domain size 22
2.93/1.61 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.93/1.61 c (0,0) Calculate Precise Domain Begin
2.93/1.61 c (0,0) 0 values are removed by re-calculation
2.93/1.61 c (0,0) Calculate Precise Domain End
2.93/1.61 c (0,0) CSP: 48 int (0 aux), 288 bool (288 aux), 1476 ctr, max domain size 22
2.93/1.61 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.93/1.61 c (0,0) CSPinCNF to SatSolver Begin
2.93/1.66 c (1,1) 148 (10 %) CSP clauses are encoded (924 SAT variables, 735 SAT clauses)
2.93/1.67 c (1,1) 296 (20 %) CSP clauses are encoded (924 SAT variables, 883 SAT clauses)
2.93/1.68 c (1,1) 443 (30 %) CSP clauses are encoded (924 SAT variables, 1030 SAT clauses)
2.93/1.68 c (1,1) 591 (40 %) CSP clauses are encoded (924 SAT variables, 1178 SAT clauses)
2.93/1.68 c (1,1) 738 (50 %) CSP clauses are encoded (924 SAT variables, 1325 SAT clauses)
2.93/1.69 c (1,1) 886 (60 %) CSP clauses are encoded (924 SAT variables, 1473 SAT clauses)
2.93/1.69 c (1,1) 1034 (70 %) CSP clauses are encoded (924 SAT variables, 1621 SAT clauses)
2.93/1.69 c (1,1) 1181 (80 %) CSP clauses are encoded (924 SAT variables, 1768 SAT clauses)
2.93/1.70 c (1,1) 1329 (90 %) CSP clauses are encoded (924 SAT variables, 1916 SAT clauses)
3.28/1.71 c (1,1) 1476 (100 %) CSP clauses are encoded (924 SAT variables, 2402 SAT clauses)
3.28/1.71 c (1,1) Launch Command will be: minisat_release
3.28/1.71 c (1,1) CSPinCNF to SatSolver End
3.28/1.71 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.28/1.73 c (1,1) STATISTICS2:HOME/instance-4305584-1534072575.xml,Add:Element:Eq:IntVar:Num,336,1476,22,22,3,2,22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2,22:88;21:84;20:80;19:76;18:72;17:68;16:64;15:60;14:56;13:52;12:1104;11:44;2:1452,3:348;2:1104;1:24,2:24;1:3252,
3.28/1.73 c (1,1) 924 bool, 2412 clause
3.28/1.73 c (1,1) Export Begin
3.51/1.81 c (1,1) Export to HOME/scop-22371-serial-file.bin
3.51/1.81 c (1,1) Export End
3.51/1.81 c (1,1) Export File Size: 0.01 MB
3.51/1.81 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.51/1.81 c END-Prog: Sun Aug 12 13:16:17 CEST 2018
3.51/1.82 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22371-serial-file.bin
4.16/2.32 c (0,0) Read Serial File Begin
4.16/2.32 c (0,0) HOME/scop-22371-serial-file.bin
4.30/2.47 c (0,0) Read Serial File End
4.30/2.49
4.30/2.49 scop order+minisat_release (2018-07-31)
4.30/2.49 (Solving Process)
4.30/2.49
4.46/2.51 c BEGIN-Prog: Sun Aug 12 13:16:18 CEST 2018
4.46/2.51 c PID: 22389
4.46/2.51 c IP: 172.20.3.103
4.46/2.51 c HOST: node103.alineos.net
4.46/2.51 c (0,0) SatSolver.solve Begin
4.46/2.51 c (0,0) 0 bool, 0 clause
4.46/2.51 c (0,0) minisat_release HOME/instance-4305584-1534072575.xml-scop-22374.cnf
4.46/2.55 c (0,0) c This is COMiniSatPS.
4.46/2.55 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.46/2.55 c (0,0) c ============================[ Problem Statistics ]=============================
4.46/2.55 c (0,0) c | |
4.46/2.55 c (0,0) c | Number of variables: 924 |
4.46/2.55 c (0,0) c | Number of clauses: 2412 |
4.46/2.55 c (0,0) c | Parse time: 0.00 s |
4.46/2.55 c (0,0) c | Eliminated clauses: 0.01 Mb |
4.46/2.55 c (0,0) c Reduced to 514 vars, 1635 cls (grow=0)
4.46/2.55 c (0,0) c No iterative elimination performed. (vars=514, c/v ratio=3.2)
4.46/2.55 c (0,0) c | Simplification time: 0.00 s |
4.46/2.55 c (0,0) c | |
4.46/2.55 c (0,0) c ============================[ Search Statistics ]==============================
4.46/2.55 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.46/2.55 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.46/2.55 c (0,0) c ===============================================================================
4.46/2.55 c (0,0) c ===============================================================================
4.46/2.55 c (0,0) c restarts : 1
4.46/2.55 c (0,0) c conflicts : 125 (21364 /sec)
4.46/2.55 c (0,0) c decisions : 240 (0.00 % random) (41019 /sec)
4.46/2.55 c (0,0) c propagations : 11808 (2018117 /sec)
4.46/2.55 c (0,0) c conflict literals : 2872 (26.94 % deleted)
4.46/2.55 c (0,0) c CPU time : 0.005851 s
4.46/2.55 c (0,0)
4.46/2.55 c (0,0) s SATISFIABLE
4.46/2.59 c (0,0) SatSolver.solve End
4.46/2.59 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.46/2.59 c (0,0) Show results Begin
4.68/2.65 s SATISFIABLE
4.68/2.66 v <instantiation>
4.68/2.66 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] v[16] v[17] v[18] v[19] v[20] v[21] v[22] v[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23]</list>
4.68/2.66 v <values>2 10 7 2 11 9 12 3 4 8 7 3 10 4 6 9 11 5 8 12 1 6 1 5 22 20 3 0 11 7 13 8 23 17 21 14 10 2 18 9 15 5 12 1 16 4 19 6</values>
4.68/2.66 v </instantiation>
4.68/2.66 c (0,0) Show results End
4.68/2.66 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
4.68/2.66 c (0,0) 0,0,STOP-AFTER(ALL)
4.68/2.66 c END-Prog: Sun Aug 12 13:16:18 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 (8014 MiB free)
memory of node 1: 16384 MiB (8553 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305584-1534072575/watcher-4305584-1534072575 -o /tmp/evaluation-result-4305584-1534072575/solver-4305584-1534072575 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305584-1534072575.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=22371, runsolver pid=22368
[startup+0.100164 s]*
/proc/loadavg: 2.52 2.16 2.09 3/222 22388
/proc/meminfo: memFree=16905716/32770624 swapFree=67058736/67108860
[pid=22371] ppid=22368 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22371/stat : 22371 (scop.sh) S 22368 22371 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224820724 115843072 348 33554432000 4194304 5098028 140722026588992 140722026586248 140489880322684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37842944 140722026595393 140722026595591 140722026595591 140722026598349 0
/proc/22371/statm: 28282 348 296 221 0 87 0
[pid=22374] ppid=22371 vsize=15012476 memory=72216 CPUtime=0.11 cores=0,2,4,6
/proc/22374/stat : 22374 (java) S 22371 22371 20606 0 -1 1077944320 6169 0 0 0 9 2 0 0 20 0 15 0 224820724 15372775424 18054 33554432000 4194304 4196468 140722967766224 140722967748768 139854545911543 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
/proc/22374/statm: 3753119 18054 2769 1 0 3715579 0
[pid=22374/tid=22375] ppid=22371 vsize=15012476 memory=-6150928374978363329 CPUtime=0.09 cores=0,2,4,6
/proc/22374/task/22375/stat : 22375 (java) R 22371 22371 20606 0 -1 4202560 4252 0 0 0 7 2 0 0 20 0 15 0 224820724 15372775424 18054 33554432000 4194304 4196468 140722967766224 139854517746672 139854531077182 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22376] ppid=22371 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22376/stat : 22376 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 18054 33554432000 4194304 4196468 140722967766224 139854550153616 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22377] ppid=22371 vsize=15012476 memory=140469754693248 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22377/stat : 22377 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 18054 33554432000 4194304 4196468 140722967766224 139854341237008 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22378] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22378/stat : 22378 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 18054 33554432000 4194304 4196468 140722967766224 139854340184720 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22379] ppid=22371 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22379/stat : 22379 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 18054 33554432000 4194304 4196468 140722967766224 139854339131920 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22380] ppid=22371 vsize=15012476 memory=140469754693248 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22380/stat : 22380 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820728 15372775424 18054 33554432000 4194304 4196468 140722967766224 139853606337136 139854545922690 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22381] ppid=22371 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22381/stat : 22381 (java) S 22371 22371 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224820728 15372775424 18054 33554432000 4194304 4196468 140722967766224 139853127738656 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22382] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22382/stat : 22382 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820728 15372775424 18054 33554432000 4194304 4196468 140722967766224 139852859303536 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22383] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22383/stat : 22383 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 18054 33554432000 4194304 4196468 140722967766224 139852484794960 139854545930139 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22384] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22384/stat : 22384 (java) S 22371 22371 20606 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 18120 33554432000 4194304 4196468 140722967766224 139853605283952 139854545922690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22385] ppid=22371 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22385/stat : 22385 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 18120 33554432000 4194304 4196468 140722967766224 139853604231152 139854545922690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22386] ppid=22371 vsize=15012476 memory=140469754693248 CPUtime=0.01 cores=0,2,4,6
/proc/22374/task/22386/stat : 22386 (java) S 22371 22371 20606 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 224820731 15372775424 18120 33554432000 4194304 4196468 140722967766224 139853603178864 139854545922690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22387] ppid=22371 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22387/stat : 22387 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 18120 33554432000 4194304 4196468 140722967766224 139851986889184 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22388] ppid=22371 vsize=15012476 memory=140469754693248 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22388/stat : 22388 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 18120 33554432000 4194304 4196468 140722967766224 139853602126768 139854545922690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73608 KiB
[startup+0.21076 s]*
/proc/loadavg: 2.52 2.16 2.09 4/222 22388
/proc/meminfo: memFree=16902056/32770624 swapFree=67058736/67108860
[pid=22371] ppid=22368 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22371/stat : 22371 (scop.sh) S 22368 22371 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224820724 115843072 348 33554432000 4194304 5098028 140722026588992 140722026586248 140489880322684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37842944 140722026595393 140722026595591 140722026595591 140722026598349 0
/proc/22371/statm: 28282 348 296 221 0 87 0
[pid=22374] ppid=22371 vsize=15012476 memory=77524 CPUtime=0.13 cores=0,2,4,6
/proc/22374/stat : 22374 (java) S 22371 22371 20606 0 -1 1077944320 8213 0 0 0 10 3 0 0 20 0 15 0 224820724 15372775424 19381 33554432000 4194304 4196468 140722967766224 140722967748768 139854545911543 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
/proc/22374/statm: 3753119 19381 2832 1 0 3715579 0
[pid=22374/tid=22375] ppid=22371 vsize=15012476 memory=7022364632946311227 CPUtime=0.1 cores=0,2,4,6
/proc/22374/task/22375/stat : 22375 (java) R 22371 22371 20606 0 -1 4202560 6165 0 0 0 8 2 0 0 20 0 15 0 224820724 15372775424 19381 33554432000 4194304 4196468 140722967766224 139854517708176 139854529992030 0 4 2 16800973 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22376] ppid=22371 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22376/stat : 22376 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 19381 33554432000 4194304 4196468 140722967766224 139854550153616 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22377] ppid=22371 vsize=15012476 memory=140469755879706 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22377/stat : 22377 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 19381 33554432000 4194304 4196468 140722967766224 139854341237008 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22378] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22378/stat : 22378 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 19381 33554432000 4194304 4196468 140722967766224 139854340184720 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22379] ppid=22371 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22379/stat : 22379 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 19381 33554432000 4194304 4196468 140722967766224 139854339131920 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22380] ppid=22371 vsize=15012476 memory=140469754693248 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22380/stat : 22380 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820728 15372775424 19381 33554432000 4194304 4196468 140722967766224 139853606337136 139854545922690 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22381] ppid=22371 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22381/stat : 22381 (java) S 22371 22371 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224820728 15372775424 19381 33554432000 4194304 4196468 140722967766224 139853127738656 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22382] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22382/stat : 22382 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820728 15372775424 19381 33554432000 4194304 4196468 140722967766224 139852859303536 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22383] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22383/stat : 22383 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 19381 33554432000 4194304 4196468 140722967766224 139852484794960 139854545930139 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22384] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22384/stat : 22384 (java) S 22371 22371 20606 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 19381 33554432000 4194304 4196468 140722967766224 139853605283952 139854545922690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22385] ppid=22371 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22385/stat : 22385 (java) S 22371 22371 20606 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 19381 33554432000 4194304 4196468 140722967766224 139853604231152 139854545922690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22386] ppid=22371 vsize=15012476 memory=140469754693248 CPUtime=0.01 cores=0,2,4,6
/proc/22374/task/22386/stat : 22386 (java) R 22371 22371 20606 0 -1 4202560 285 0 0 0 1 0 0 0 20 0 15 0 224820731 15372775424 19381 33554432000 4194304 4196468 140722967766224 139853603178864 139854545923478 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22387] ppid=22371 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22387/stat : 22387 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 19381 33554432000 4194304 4196468 140722967766224 139851986889184 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22388] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22388/stat : 22388 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 19381 33554432000 4194304 4196468 140722967766224 139853602126768 139854545922690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 78916 KiB
[startup+0.31095 s]*
/proc/loadavg: 2.52 2.16 2.09 3/222 22388
/proc/meminfo: memFree=16891824/32770624 swapFree=67058736/67108860
[pid=22371] ppid=22368 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22371/stat : 22371 (scop.sh) S 22368 22371 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224820724 115843072 348 33554432000 4194304 5098028 140722026588992 140722026586248 140489880322684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37842944 140722026595393 140722026595591 140722026595591 140722026598349 0
/proc/22371/statm: 28282 348 296 221 0 87 0
[pid=22374] ppid=22371 vsize=15012476 memory=85496 CPUtime=0.25 cores=0,2,4,6
/proc/22374/stat : 22374 (java) S 22371 22371 20606 0 -1 1077944320 9771 0 0 0 22 3 0 0 20 0 15 0 224820724 15372775424 21374 33554432000 4194304 4196468 140722967766224 140722967748768 139854545911543 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
/proc/22374/statm: 3753119 21374 2901 1 0 3715579 0
[pid=22374/tid=22375] ppid=22371 vsize=15012476 memory=6791534058613427641 CPUtime=0.2 cores=0,2,4,6
/proc/22374/task/22375/stat : 22375 (java) R 22371 22371 20606 0 -1 4202560 7658 0 0 0 17 3 0 0 20 0 15 0 224820724 15372775424 21374 33554432000 4194304 4196468 140722967766224 139854517724416 139854528407688 0 4 2 16800973 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22376] ppid=22371 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22376/stat : 22376 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 21374 33554432000 4194304 4196468 140722967766224 139854550153616 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22377] ppid=22371 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22377/stat : 22377 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 21374 33554432000 4194304 4196468 140722967766224 139854341237008 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22378] ppid=22371 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22378/stat : 22378 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 21374 33554432000 4194304 4196468 140722967766224 139854340184720 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22379] ppid=22371 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22379/stat : 22379 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15372775424 21374 33554432000 4194304 4196468 140722967766224 139854339131920 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22380] ppid=22371 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22380/stat : 22380 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820728 15372775424 21374 33554432000 4194304 4196468 140722967766224 139853606337136 139854545922690 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22381] ppid=22371 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22381/stat : 22381 (java) S 22371 22371 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224820728 15372775424 21374 33554432000 4194304 4196468 140722967766224 139853127738656 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22382] ppid=22371 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22382/stat : 22382 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820728 15372775424 21374 33554432000 4194304 4196468 140722967766224 139852859303536 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22383] ppid=22371 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22383/stat : 22383 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 21374 33554432000 4194304 4196468 140722967766224 139852484794960 139854545930139 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22384] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22384/stat : 22384 (java) R 22371 22371 20606 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 21374 33554432000 4194304 4196468 140722967766224 139853605283952 139854545922690 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22385] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22385/stat : 22385 (java) R 22371 22371 20606 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 21374 33554432000 4194304 4196468 140722967766224 139853604231448 139854538200832 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22386] ppid=22371 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22374/task/22386/stat : 22386 (java) S 22371 22371 20606 0 -1 1077944384 303 0 0 0 3 0 0 0 20 0 15 0 224820731 15372775424 21374 33554432000 4194304 4196468 140722967766224 139853603178864 139854545922690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22387] ppid=22371 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22387/stat : 22387 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 21374 33554432000 4194304 4196468 140722967766224 139851986889184 139854545921749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22388] ppid=22371 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22388/stat : 22388 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15372775424 21374 33554432000 4194304 4196468 140722967766224 139853602126768 139854545922690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86888 KiB
[startup+0.703378 s]
/proc/loadavg: 2.52 2.16 2.09 3/222 22388
/proc/meminfo: memFree=16884876/32770624 swapFree=67058736/67108860
[pid=22371] ppid=22368 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22371/stat : 22371 (scop.sh) S 22368 22371 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224820724 115843072 348 33554432000 4194304 5098028 140722026588992 140722026586248 140489880322684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37842944 140722026595393 140722026595591 140722026595591 140722026598349 0
/proc/22371/statm: 28282 348 296 221 0 87 0
[pid=22374] ppid=22371 vsize=15018748 memory=121660 CPUtime=0.79 cores=0,2,4,6
/proc/22374/stat : 22374 (java) S 22371 22371 20606 0 -1 1077944320 16496 0 0 0 73 6 0 0 20 0 15 0 224820724 15379197952 30415 33554432000 4194304 4196468 140722967766224 140722967748768 139854545911543 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
/proc/22374/statm: 3754687 30415 3101 1 0 3716091 0
[pid=22374/tid=22375] ppid=22371 vsize=15018748 memory=2372 CPUtime=0.58 cores=0,2,4,6
/proc/22374/task/22375/stat : 22375 (java) R 22371 22371 20606 0 -1 4202560 14063 0 0 0 53 5 0 0 20 0 15 0 224820724 15379197952 30415 33554432000 4194304 4196468 140722967766224 139854517737448 139854529992060 0 4 2 25189581 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22376] ppid=22371 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22376/stat : 22376 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820726 15379197952 30415 33554432000 4194304 4196468 140722967766224 139854550153616 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22377] ppid=22371 vsize=15018748 memory=12922 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22377/stat : 22377 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15379197952 30415 33554432000 4194304 4196468 140722967766224 139854341237008 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22378] ppid=22371 vsize=15018748 memory=448505 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22378/stat : 22378 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15379197952 30415 33554432000 4194304 4196468 140722967766224 139854340184720 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22379] ppid=22371 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22379/stat : 22379 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15379197952 30415 33554432000 4194304 4196468 140722967766224 139854339131920 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22380] ppid=22371 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22380/stat : 22380 (java) S 22371 22371 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224820728 15379197952 30415 33554432000 4194304 4196468 140722967766224 139853606337136 139854545922690 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22381] ppid=22371 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22381/stat : 22381 (java) S 22371 22371 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224820728 15379197952 30415 33554432000 4194304 4196468 140722967766224 139853127738656 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22382] ppid=22371 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22382/stat : 22382 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820728 15379197952 30415 33554432000 4194304 4196468 140722967766224 139852859303536 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22383] ppid=22371 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22383/stat : 22383 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15379197952 30415 33554432000 4194304 4196468 140722967766224 139852484794960 139854545930139 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22384] ppid=22371 vsize=15018748 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22374/task/22384/stat : 22384 (java) S 22371 22371 20606 0 -1 1077944384 409 0 0 0 3 0 0 0 20 0 15 0 224820731 15379197952 30415 33554432000 4194304 4196468 140722967766224 139853605283952 139854545922690 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22385] ppid=22371 vsize=15018748 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22374/task/22385/stat : 22385 (java) R 22371 22371 20606 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 224820731 15379197952 30415 33554432000 4194304 4196468 140722967766224 139853604212168 139854538200832 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22386] ppid=22371 vsize=15018748 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22374/task/22386/stat : 22386 (java) S 22371 22371 20606 0 -1 1077944384 398 0 0 0 12 0 0 0 20 0 15 0 224820731 15379197952 30415 33554432000 4194304 4196468 140722967766224 139853603178864 139854545922690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22387] ppid=22371 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22387/stat : 22387 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15379197952 30415 33554432000 4194304 4196468 140722967766224 139851986889184 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22388] ppid=22371 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22388/stat : 22388 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15379197952 30415 33554432000 4194304 4196468 140722967766224 139853602126768 139854545922690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 123052 KiB
[startup+1.50079 s]
/proc/loadavg: 2.52 2.16 2.09 3/222 22388
/proc/meminfo: memFree=16840844/32770624 swapFree=67058736/67108860
[pid=22371] ppid=22368 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22371/stat : 22371 (scop.sh) S 22368 22371 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224820724 115843072 348 33554432000 4194304 5098028 140722026588992 140722026586248 140489880322684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37842944 140722026595393 140722026595591 140722026595591 140722026598349 0
/proc/22371/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/22374/task/22376/stat : 22376 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820726 15383470080 43148 33554432000 4194304 4196468 140722967766224 139854550153616 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22377] ppid=22371 vsize=15022920 memory=800 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22377/stat : 22377 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15383470080 43148 33554432000 4194304 4196468 140722967766224 139854341237008 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22378] ppid=22371 vsize=15022920 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22378/stat : 22378 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15383470080 43148 33554432000 4194304 4196468 140722967766224 139854340184720 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22379] ppid=22371 vsize=15022920 memory=912 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22379/stat : 22379 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15383470080 43148 33554432000 4194304 4196468 140722967766224 139854339131920 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22380] ppid=22371 vsize=15022920 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22380/stat : 22380 (java) S 22371 22371 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224820728 15383470080 43148 33554432000 4194304 4196468 140722967766224 139853606337136 139854545922690 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22381] ppid=22371 vsize=15022920 memory=3036 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22381/stat : 22381 (java) S 22371 22371 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224820728 15383470080 43148 33554432000 4194304 4196468 140722967766224 139853127738656 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22382] ppid=22371 vsize=15022920 memory=3416 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22382/stat : 22382 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820728 15383470080 43148 33554432000 4194304 4196468 140722967766224 139852859303536 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22383] ppid=22371 vsize=15022920 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22383/stat : 22383 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15383470080 43148 33554432000 4194304 4196468 140722967766224 139852484794960 139854545930139 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22384] ppid=22371 vsize=15022920 memory=1408 CPUtime=0.31 cores=0,2,4,6
/proc/22374/task/22384/stat : 22384 (java) R 22371 22371 20606 0 -1 4202560 847 0 0 0 31 0 0 0 20 0 15 0 224820731 15383470080 43148 33554432000 4194304 4196468 140722967766224 139853605273664 139854530788928 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22385] ppid=22371 vsize=15022920 memory=3052 CPUtime=0.3 cores=0,2,4,6
/proc/22374/task/22385/stat : 22385 (java) R 22371 22371 20606 0 -1 4202560 604 0 0 0 30 0 0 0 20 0 15 0 224820731 15383470080 43148 33554432000 4194304 4196468 140722967766224 139853604231152 139854525628679 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22386] ppid=22371 vsize=15022920 memory=1472 CPUtime=0.6 cores=0,2,4,6
/proc/22374/task/22386/stat : 22386 (java) R 22371 22371 20606 0 -1 1077944384 2413 0 0 0 60 0 0 0 20 0 15 0 224820731 15383470080 43148 33554432000 4194304 4196468 140722967766224 139853603178864 139854545922690 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22387] ppid=22371 vsize=15022920 memory=144072 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22387/stat : 22387 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15383470080 43148 33554432000 4194304 4196468 140722967766224 139851986889184 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22388] ppid=22371 vsize=15022920 memory=64420 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22388/stat : 22388 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15383470080 43148 33554432000 4194304 4196468 140722967766224 139853602126768 139854545922690 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 173984 KiB
[startup+2.67144 s]
# the end of solver process 22371 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.63878 s, system=0.192355 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60103 s]
/proc/loadavg: 2.52 2.16 2.09 3/222 22388
/proc/meminfo: memFree=16840844/32770624 swapFree=67058736/67108860
[pid=22371] ppid=22368 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/22371/stat : 22371 (scop.sh) S 22368 22371 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224820724 115843072 348 33554432000 4194304 5098028 140722026588992 140722026586248 140489880322684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37842944 140722026595393 140722026595591 140722026595591 140722026598349 0
/proc/22371/statm: 28282 348 296 221 0 87 0
[pid=22374] ppid=22371 vsize=15024968 memory=184700 CPUtime=2.93 cores=0,2,4,6
/proc/22374/stat : 22374 (java) S 22371 22371 20606 0 -1 1077944320 21547 0 0 0 284 9 0 0 20 0 15 0 224820724 15385567232 46175 33554432000 4194304 4196468 140722967766224 140722967748768 139854545911543 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
/proc/22374/statm: 3756242 46175 3189 1 0 3717627 0
[pid=22374/tid=22375] ppid=22371 vsize=15024968 memory=1392 CPUtime=1.47 cores=0,2,4,6
/proc/22374/task/22375/stat : 22375 (java) R 22371 22371 20606 0 -1 4202560 16004 0 0 0 140 7 0 0 20 0 15 0 224820724 15385567232 46175 33554432000 4194304 4196468 140722967766224 139854517748968 139854545933373 0 4 2 25189581 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22376] ppid=22371 vsize=15024968 memory=140100 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22376/stat : 22376 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820726 15385567232 46175 33554432000 4194304 4196468 140722967766224 139854550153616 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22377] ppid=22371 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22377/stat : 22377 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15385567232 46175 33554432000 4194304 4196468 140722967766224 139854341237008 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22378] ppid=22371 vsize=15024968 memory=54 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22378/stat : 22378 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15385567232 46175 33554432000 4194304 4196468 140722967766224 139854340184720 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22379] ppid=22371 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22379/stat : 22379 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820726 15385567232 46175 33554432000 4194304 4196468 140722967766224 139854339131920 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22380] ppid=22371 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22380/stat : 22380 (java) S 22371 22371 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224820728 15385567232 46175 33554432000 4194304 4196468 140722967766224 139853606337136 139854545922690 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22381] ppid=22371 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22381/stat : 22381 (java) S 22371 22371 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224820728 15385567232 46175 33554432000 4194304 4196468 140722967766224 139853127738656 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22382] ppid=22371 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22382/stat : 22382 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820728 15385567232 46175 33554432000 4194304 4196468 140722967766224 139852859303536 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22383] ppid=22371 vsize=15024968 memory=25 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22383/stat : 22383 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15385567232 46175 33554432000 4194304 4196468 140722967766224 139852484794960 139854545930139 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22384] ppid=22371 vsize=15024968 memory=2 CPUtime=0.41 cores=0,2,4,6
/proc/22374/task/22384/stat : 22384 (java) R 22371 22371 20606 0 -1 4202560 1085 0 0 0 41 0 0 0 20 0 15 0 224820731 15385567232 46175 33554432000 4194304 4196468 140722967766224 139853605271152 139854524327957 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22385] ppid=22371 vsize=15024968 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/22374/task/22385/stat : 22385 (java) R 22371 22371 20606 0 -1 4202560 636 0 0 0 37 0 0 0 20 0 15 0 224820731 15385567232 46175 33554432000 4194304 4196468 140722967766224 139853604217696 139854529814633 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22386] ppid=22371 vsize=15024968 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/22374/task/22386/stat : 22386 (java) R 22371 22371 20606 0 -1 4202560 2486 0 0 0 64 1 0 0 20 0 15 0 224820731 15385567232 46175 33554432000 4194304 4196468 140722967766224 139853603178864 139854523903395 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22387] ppid=22371 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22387/stat : 22387 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15385567232 46175 33554432000 4194304 4196468 140722967766224 139851986889184 139854545921749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
[pid=22374/tid=22388] ppid=22371 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22374/task/22388/stat : 22388 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820731 15385567232 46175 33554432000 4194304 4196468 140722967766224 139853602126768 139854545922690 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 15560704 140722967774215 140722967774513 140722967774513 140722967777231 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 186092 KiB
[startup+2.40083 s]
/proc/loadavg: 2.52 2.16 2.09 3/222 22403
/proc/meminfo: memFree=16921540/32770624 swapFree=67058736/67108860
[pid=22371] ppid=22368 vsize=113128 memory=1468 CPUtime=3.55 cores=0,2,4,6
/proc/22371/stat : 22371 (scop.sh) S 22368 22371 20606 0 -1 4202496 590 23056 0 0 0 0 344 11 20 0 1 0 224820724 115843072 367 33554432000 4194304 5098028 140722026588992 140722026585736 140489880322684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37842944 140722026595393 140722026595591 140722026595591 140722026598349 0
/proc/22371/statm: 28282 367 311 221 0 87 0
[pid=22389] ppid=22371 vsize=7406384 memory=91004 CPUtime=0.75 cores=0,2,4,6
/proc/22389/stat : 22389 (java) S 22371 22371 20606 0 -1 1077944320 16969 0 0 0 71 4 0 0 20 0 15 0 224820907 7584137216 22751 33554432000 4194304 4196468 140728975508512 140728975491056 140054952619767 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
/proc/22389/statm: 1851596 22751 3043 1 0 1813530 0
[pid=22389/tid=22390] ppid=22371 vsize=7406384 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/22389/task/22390/stat : 22390 (java) R 22371 22371 20606 0 -1 4202560 14356 0 0 0 51 4 0 0 20 0 15 0 224820907 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054924443248 140054934183365 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22391] ppid=22371 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22391/stat : 22391 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820908 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054956861968 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22392] ppid=22371 vsize=7406384 memory=12922 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22392/stat : 22392 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820908 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054437898896 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22393] ppid=22371 vsize=7406384 memory=448505 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22393/stat : 22393 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820908 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054436845840 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22394] ppid=22371 vsize=7406384 memory=140469657196192 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22394/stat : 22394 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820908 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054435793296 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22395] ppid=22371 vsize=7406384 memory=140469657092912 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22395/stat : 22395 (java) S 22371 22371 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224820909 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054264859376 140054952630914 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22396] ppid=22371 vsize=7406384 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22396/stat : 22396 (java) S 22371 22371 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224820910 7584137216 22751 33554432000 4194304 4196468 140728975508512 140053850351264 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22397] ppid=22371 vsize=7406384 memory=140469657196480 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22397/stat : 22397 (java) S 22371 22371 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224820910 7584137216 22751 33554432000 4194304 4196468 140728975508512 140053716129008 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22398] ppid=22371 vsize=7406384 memory=140469657196384 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22398/stat : 22398 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820912 7584137216 22751 33554432000 4194304 4196468 140728975508512 140053341624784 140054952638363 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22399] ppid=22371 vsize=7406384 memory=7959527612081309737 CPUtime=0.04 cores=0,2,4,6
/proc/22389/task/22399/stat : 22399 (java) S 22371 22371 20606 0 -1 1077944384 578 0 0 0 4 0 0 0 20 0 15 0 224820912 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054263806192 140054952630914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22400] ppid=22371 vsize=7406384 memory=140469657196736 CPUtime=0.03 cores=0,2,4,6
/proc/22389/task/22400/stat : 22400 (java) S 22371 22371 20606 0 -1 1077944384 109 0 0 0 3 0 0 0 20 0 15 0 224820912 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054262753648 140054952630914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22401] ppid=22371 vsize=7406384 memory=140469657196768 CPUtime=0.11 cores=0,2,4,6
/proc/22389/task/22401/stat : 22401 (java) S 22371 22371 20606 0 -1 1077944384 573 0 0 0 11 0 0 0 20 0 15 0 224820912 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054261700592 140054952630914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22402] ppid=22371 vsize=7406384 memory=140469657196864 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22402/stat : 22402 (java) S 22371 22371 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224820913 7584137216 22751 33554432000 4194304 4196468 140728975508512 140052843719008 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22403] ppid=22371 vsize=7406384 memory=3474959203799024131 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22403/stat : 22403 (java) S 22371 22371 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224820913 7584137216 22751 33554432000 4194304 4196468 140728975508512 140054260649008 140054952630914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
Current children cumulated CPU time: 4.3 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 92472 KiB
[startup+2.60075 s]
/proc/loadavg: 2.52 2.16 2.09 3/222 22403
/proc/meminfo: memFree=16921540/32770624 swapFree=67058736/67108860
[pid=22371] ppid=22368 vsize=113128 memory=1468 CPUtime=3.55 cores=0,2,4,6
/proc/22371/stat : 22371 (scop.sh) S 22368 22371 20606 0 -1 4202496 590 23056 0 0 0 0 344 11 20 0 1 0 224820724 115843072 367 33554432000 4194304 5098028 140722026588992 140722026585736 140489880322684 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37842944 140722026595393 140722026595591 140722026595591 140722026598349 0
/proc/22371/statm: 28282 367 311 221 0 87 0
[pid=22389] ppid=22371 vsize=7740532 memory=114264 CPUtime=1.13 cores=0,2,4,6
/proc/22389/stat : 22389 (java) S 22371 22371 20606 0 -1 1077944320 18840 555 0 0 107 6 0 0 20 0 17 0 224820907 7926304768 28566 33554432000 4194304 4196468 140728975508512 140728975491056 140054952619767 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
/proc/22389/statm: 1935133 28566 3156 1 0 1896532 0
[pid=22389/tid=22390] ppid=22371 vsize=7740532 memory=6791534058613427641 CPUtime=0.73 cores=0,2,4,6
/proc/22389/task/22390/stat : 22390 (java) R 22371 22371 20606 0 -1 4202560 15591 555 0 0 69 4 0 0 20 0 17 0 224820907 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054924414160 140054936700254 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22391] ppid=22371 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22391/stat : 22391 (java) S 22371 22371 20606 0 -1 1077944384 1 555 0 0 0 0 0 0 20 0 17 0 224820908 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054956861968 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22392] ppid=22371 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22392/stat : 22392 (java) S 22371 22371 20606 0 -1 1077944384 1 555 0 0 0 0 0 0 20 0 17 0 224820908 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054437898896 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22393] ppid=22371 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22393/stat : 22393 (java) S 22371 22371 20606 0 -1 1077944384 1 555 0 0 0 0 0 0 20 0 17 0 224820908 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054436845840 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22394] ppid=22371 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22394/stat : 22394 (java) S 22371 22371 20606 0 -1 1077944384 2 555 0 0 0 0 0 0 20 0 17 0 224820908 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054435793296 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22395] ppid=22371 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22395/stat : 22395 (java) S 22371 22371 20606 0 -1 1077944384 5 555 0 0 0 0 0 0 20 0 17 0 224820909 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054264859376 140054952630914 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22396] ppid=22371 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22396/stat : 22396 (java) S 22371 22371 20606 0 -1 1077944384 13 555 0 0 0 0 0 0 20 0 17 0 224820910 7926304768 28566 33554432000 4194304 4196468 140728975508512 140053850351264 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22397] ppid=22371 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22397/stat : 22397 (java) S 22371 22371 20606 0 -1 1077944384 21 555 0 0 0 0 0 0 20 0 17 0 224820910 7926304768 28566 33554432000 4194304 4196468 140728975508512 140053716129008 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22398] ppid=22371 vsize=7740532 memory=280939313833400 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22398/stat : 22398 (java) S 22371 22371 20606 0 -1 1077944384 3 555 0 0 0 0 0 0 20 0 17 0 224820912 7926304768 28566 33554432000 4194304 4196468 140728975508512 140053341624784 140054952638363 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22399] ppid=22371 vsize=7740532 memory=6944656575208382560 CPUtime=0.09 cores=0,2,4,6
/proc/22389/task/22399/stat : 22399 (java) S 22371 22371 20606 0 -1 1077944384 672 555 0 0 9 0 0 0 20 0 17 0 224820912 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054263806192 140054952630914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22400] ppid=22371 vsize=7740532 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/22389/task/22400/stat : 22400 (java) S 22371 22371 20606 0 -1 1077944384 325 555 0 0 7 0 0 0 20 0 17 0 224820912 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054262753648 140054952630914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22401] ppid=22371 vsize=7740532 memory=6944656592455359580 CPUtime=0.19 cores=0,2,4,6
/proc/22389/task/22401/stat : 22401 (java) R 22371 22371 20606 0 -1 4202560 751 555 0 0 19 0 0 0 20 0 17 0 224820912 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054261700592 140054931488165 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22402] ppid=22371 vsize=7740532 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22402/stat : 22402 (java) S 22371 22371 20606 0 -1 1077944384 3 555 0 0 0 0 0 0 20 0 17 0 224820913 7926304768 28566 33554432000 4194304 4196468 140728975508512 140052843719008 140054952629973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
[pid=22389/tid=22403] ppid=22371 vsize=7740532 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22389/task/22403/stat : 22403 (java) S 22371 22371 20606 0 -1 1077944384 1 555 0 0 0 0 0 0 20 0 17 0 224820913 7926304768 28566 33554432000 4194304 4196468 140728975508512 140054260649008 140054952630914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35733504 140728975516853 140728975516977 140728975516977 140728975519695 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 7853660 KiB
Current children cumulated memory: 115732 KiB
Child status: 0
Real time (s): 2.67148
CPU time (s): 4.83113
CPU user time (s): 4.63878
CPU system time (s): 0.192355
CPU usage (%): 180.841
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 206852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.63878
system time used= 0.192355
maximum resident set size= 208008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4883
involuntary context switches= 55
# summary of solver processes directly reported to runsolver:
# pid: 22371
# total CPU time (s): 4.83113
# total CPU user time (s): 4.63878
# total CPU system time (s): 0.192355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042242 second user time and 0.069907 second system time
The end