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-25350-serial-file.bin HOME/instance-4305765-1534068201.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 12:03:22 CEST 2018
0.65/0.55 c PID: 25353
0.65/0.55 c IP: 172.20.3.106
0.65/0.55 c HOST: node106.alineos.net
0.65/0.55 c (0,0) Parsing Begin
4.84/2.01 c (1,1) Parsing End
5.19/2.02 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 34
5.19/2.02 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.19/2.02 c (1,1) Constraint Name Generate Begin
5.19/2.04 c (1,1) Ctr:HOME/instance-4305765-1534068201.xml,Dist:Eq:IntVar:Le:Num
5.19/2.04 c (1,1) Constraint Name Generate End
5.19/2.04 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.19/2.04 c (1,1) CSP to CSPinCNF Begin
6.18/2.30 c (1,1) translated 411 (10%) constraints
6.18/2.39 c (1,1) translated 821 (20%) constraints
6.48/2.44 c (1,1) translated 1231 (30%) constraints
6.48/2.49 c (1,1) translated 1642 (40%) constraints
6.78/2.54 c (2,2) translated 2052 (50%) constraints
6.78/2.59 c (2,2) translated 2462 (60%) constraints
7.09/2.63 c (2,2) translated 2873 (70%) constraints
7.09/2.68 c (2,2) translated 3283 (80%) constraints
7.39/2.72 c (2,2) translated 3693 (90%) constraints
7.72/2.81 c (2,2) translated 4103 (100%) constraints
7.72/2.90 c (2,2) STATISTICS1:HOME/instance-4305765-1534068201.xml,Dist:Eq:IntVar:Le:Num,680,4783,34,34,2,2,34:3314;27:5144;22:344;19:24;6:60,34:9348;27:7956;22:364;19:40;6:64,2:4103;1:680,2:8886,
7.72/2.90 c (2,2) ==========================================
7.72/2.90 c (2,2) Both Encoding selects:
7.72/2.90 c (2,2) Order
7.72/2.90 c (2,2) ==========================================
8.05/2.93 c (2,2) translated 479 (10%) constraints
8.05/2.95 c (2,2) translated 957 (20%) constraints
8.05/2.97 c (2,2) translated 1435 (30%) constraints
8.05/2.99 c (2,2) translated 1914 (40%) constraints
8.42/3.01 c (2,2) translated 2392 (50%) constraints
8.42/3.04 c (2,2) translated 2870 (60%) constraints
8.42/3.06 c (2,2) translated 3349 (70%) constraints
8.42/3.07 c (2,2) translated 3827 (80%) constraints
8.42/3.09 c (2,2) translated 4305 (90%) constraints
8.42/3.10 c (2,2) translated 4783 (100%) constraints
8.42/3.10 c (2,2) CSP to CSPinCNF End
8.42/3.10 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 34
8.42/3.10 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.42/3.11 c (2,2) CSPinCNF Propagation Begin
10.58/4.29 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.58/4.29 c (3,3) CSPinCNF Propagation End
10.58/4.29 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 34
10.58/4.29 c (3,3) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.58/4.29 c (3,3) Simplify CSPinCNF Begin
11.29/4.55 c (4,4) Simplify CSPinCNF End
11.29/4.55 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 34
11.29/4.55 c (4,4) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.29/4.55 c (4,4) Calculate Precise Domain Begin
11.29/4.56 c (4,4) 0 values are removed by re-calculation
11.29/4.56 c (4,4) Calculate Precise Domain End
11.29/4.56 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 34
11.29/4.56 c (4,4) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.29/4.56 c (4,4) CSPinCNF to SatSolver Begin
12.26/4.88 c (4,4) 1299 (10 %) CSP clauses are encoded (28058 SAT variables, 44559 SAT clauses)
12.91/5.04 c (4,4) 2598 (20 %) CSP clauses are encoded (28058 SAT variables, 69267 SAT clauses)
13.21/5.17 c (4,4) 3897 (30 %) CSP clauses are encoded (28058 SAT variables, 91036 SAT clauses)
13.80/5.30 c (4,4) 5196 (40 %) CSP clauses are encoded (28058 SAT variables, 115352 SAT clauses)
13.80/5.39 c (4,4) 6495 (50 %) CSP clauses are encoded (28058 SAT variables, 140976 SAT clauses)
14.11/5.48 c (4,4) 7794 (60 %) CSP clauses are encoded (28058 SAT variables, 166525 SAT clauses)
14.33/5.56 c (5,5) 9093 (70 %) CSP clauses are encoded (28058 SAT variables, 191557 SAT clauses)
14.56/5.65 c (5,5) 10392 (80 %) CSP clauses are encoded (28058 SAT variables, 216610 SAT clauses)
14.75/5.72 c (5,5) 11691 (90 %) CSP clauses are encoded (28058 SAT variables, 240321 SAT clauses)
14.75/5.78 c (5,5) 12989 (100 %) CSP clauses are encoded (28058 SAT variables, 259394 SAT clauses)
14.75/5.78 c (5,5) Launch Command will be: minisat_release
14.75/5.78 c (5,5) CSPinCNF to SatSolver End
14.75/5.78 c (5,5) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 36 MiB used (max 0 MiB)
15.02/5.87 c (5,5) STATISTICS2:HOME/instance-4305765-1534068201.xml,Dist:Eq:IntVar:Le:Num,8886,12989,34,34,2,2,34:3314;27:5144;22:344;19:24;6:60,34:9348;27:7956;22:364;19:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
15.02/5.87 c (5,5) 28058 bool, 259406 clause
15.02/5.87 c (5,5) Export Begin
16.12/6.21 c (5,5) Export to HOME/scop-25350-serial-file.bin
16.12/6.21 c (5,5) Export End
16.12/6.21 c (5,5) Export File Size: 3.54 MB
16.12/6.21 c (5,5) 1,1,2,3,4,4,5,STOP-AFTER(DIMACS)
16.12/6.21 c END-Prog: Sun Aug 12 12:03:27 CEST 2018
16.12/6.24 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25350-serial-file.bin
16.19/6.74 c (0,0) Read Serial File Begin
16.19/6.74 c (0,0) HOME/scop-25350-serial-file.bin
17.66/7.21 c (0,0) Read Serial File End
17.66/7.22
17.66/7.22 scop order+minisat_release (2018-07-31)
17.66/7.22 (Solving Process)
17.66/7.22
17.66/7.24 c BEGIN-Prog: Sun Aug 12 12:03:28 CEST 2018
17.66/7.24 c PID: 25368
17.66/7.24 c IP: 172.20.3.106
17.66/7.24 c HOST: node106.alineos.net
17.66/7.25 c (0,0) SatSolver.solve Begin
17.66/7.25 c (0,0) 0 bool, 0 clause
17.66/7.25 c (0,0) minisat_release HOME/instance-4305765-1534068201.xml-scop-25353.cnf
17.91/7.67 c (1,0) c This is COMiniSatPS.
17.91/7.67 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
17.91/7.67 c (1,0) c ============================[ Problem Statistics ]=============================
17.91/7.67 c (1,0) c | |
17.91/7.67 c (1,0) c | Number of variables: 28058 |
17.91/7.67 c (1,0) c | Number of clauses: 259406 |
17.91/7.67 c (1,0) c | Parse time: 0.09 s |
17.91/7.67 c (1,0) c | Eliminated clauses: 0.08 Mb |
17.91/7.67 c (1,0) c Reduced to 23854 vars, 255142 cls (grow=0)
17.91/7.67 c (1,0) c No iterative elimination performed. (vars=23854, c/v ratio=10.7)
17.91/7.67 c (1,0) c | Simplification time: 0.27 s |
17.91/7.67 c (1,0) c | |
17.91/7.67 c (1,0) c ============================[ Search Statistics ]==============================
17.91/7.67 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
17.91/7.67 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
17.91/7.67 c (1,0) c ===============================================================================
17.91/7.67 c (1,0) c ===============================================================================
17.91/7.67 c (1,0) c restarts : 2
17.91/7.67 c (1,0) c conflicts : 432 (1136 /sec)
17.91/7.67 c (1,0) c decisions : 2165 (0.00 % random) (5693 /sec)
17.91/7.67 c (1,0) c propagations : 73830 (194154 /sec)
17.91/7.67 c (1,0) c conflict literals : 2778 (21.06 % deleted)
17.91/7.67 c (1,0) c CPU time : 0.380265 s
17.91/7.67 c (1,0)
17.91/7.67 c (1,0) s UNSATISFIABLE
17.91/7.67 c (1,0) SatSolver.solve End
17.91/7.67 c (1,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.91/7.67 c (1,0) Show results Begin
17.91/7.67 s UNSATISFIABLE
17.91/7.67 c (1,0) Show results End
17.91/7.67 c (1,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.91/7.68 c (1,0) 1,1,STOP-AFTER(ALL)
17.91/7.68 c END-Prog: Sun Aug 12 12:03:29 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 (8580 MiB free)
memory of node 1: 16384 MiB (11480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305765-1534068201/watcher-4305765-1534068201 -o /tmp/evaluation-result-4305765-1534068201/solver-4305765-1534068201 -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-4305765-1534068201.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=25350, runsolver pid=25347
[startup+0.100089 s]*
/proc/loadavg: 2.75 2.24 2.13 3/224 25367
/proc/meminfo: memFree=20482076/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224382973 115843072 349 33554432000 4194304 5098028 140733266271536 140733266268792 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 349 296 221 0 87 0
[pid=25353] ppid=25350 vsize=15012476 memory=73256 CPUtime=0.11 cores=0,2,4,6
/proc/25353/stat : 25353 (java) S 25350 25350 23167 0 -1 1077944320 6922 0 0 0 9 2 0 0 20 0 15 0 224382973 15372775424 18314 33554432000 4194304 4196468 140721090633552 140721090616096 140015713750775 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
/proc/25353/statm: 3753119 18314 2771 1 0 3715579 0
[pid=25353/tid=25354] ppid=25350 vsize=15012476 memory=-6078870780940435395 CPUtime=0.08 cores=0,2,4,6
/proc/25353/task/25354/stat : 25354 (java) R 25350 25350 23167 0 -1 4202560 5018 0 0 0 7 1 0 0 20 0 15 0 224382974 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015685562760 140015696937584 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25355] ppid=25350 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25355/stat : 25355 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015717993488 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25356] ppid=25350 vsize=15012476 memory=140390303663744 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25356/stat : 25356 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015173971088 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25357] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25357/stat : 25357 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015172918032 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25358] ppid=25350 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25358/stat : 25358 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015171865488 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25359] ppid=25350 vsize=15012476 memory=140390303663744 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25359/stat : 25359 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224382977 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015053007088 140015713761922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25360] ppid=25350 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25360/stat : 25360 (java) S 25350 25350 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224382977 15372775424 18314 33554432000 4194304 4196468 140721090633552 140014289675424 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25361] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25361/stat : 25361 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382977 15372775424 18314 33554432000 4194304 4196468 140721090633552 140014054793968 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25362] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25362/stat : 25362 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 18314 33554432000 4194304 4196468 140721090633552 140013680285648 140015713769371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25363] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25363/stat : 25363 (java) S 25350 25350 23167 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015051954928 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25364] ppid=25350 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25364/stat : 25364 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015050902384 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25365] ppid=25350 vsize=15012476 memory=140390303663744 CPUtime=0.01 cores=0,2,4,6
/proc/25353/task/25365/stat : 25365 (java) S 25350 25350 23167 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 224382980 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015049849328 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25366] ppid=25350 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25366/stat : 25366 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 18314 33554432000 4194304 4196468 140721090633552 140013182380896 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25367] ppid=25350 vsize=15012476 memory=140390303663744 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25367/stat : 25367 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 18314 33554432000 4194304 4196468 140721090633552 140015048796720 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74652 KiB
[startup+0.210621 s]*
/proc/loadavg: 2.75 2.24 2.13 4/224 25367
/proc/meminfo: memFree=20468372/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224382973 115843072 349 33554432000 4194304 5098028 140733266271536 140733266268792 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 349 296 221 0 87 0
[pid=25353] ppid=25350 vsize=15012476 memory=86592 CPUtime=0.26 cores=0,2,4,6
/proc/25353/stat : 25353 (java) S 25350 25350 23167 0 -1 1077944320 10431 0 0 0 23 3 0 0 20 0 15 0 224382973 15372775424 21648 33554432000 4194304 4196468 140721090633552 140721090616096 140015713750775 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
/proc/25353/statm: 3753119 21648 2929 1 0 3715579 0
[pid=25353/tid=25354] ppid=25350 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/25353/task/25354/stat : 25354 (java) R 25350 25350 23167 0 -1 4202560 8348 0 0 0 18 2 0 0 20 0 15 0 224382974 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015685578432 140015713772122 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25355] ppid=25350 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25355/stat : 25355 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015717993488 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25356] ppid=25350 vsize=15012476 memory=140390304856030 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25356/stat : 25356 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015173971088 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25357] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25357/stat : 25357 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015172918032 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25358] ppid=25350 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25358/stat : 25358 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015171865488 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25359] ppid=25350 vsize=15012476 memory=140390303663744 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25359/stat : 25359 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224382977 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015053007088 140015713761922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25360] ppid=25350 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25360/stat : 25360 (java) S 25350 25350 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224382977 15372775424 21648 33554432000 4194304 4196468 140721090633552 140014289675424 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25361] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25361/stat : 25361 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382977 15372775424 21648 33554432000 4194304 4196468 140721090633552 140014054793968 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25362] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25362/stat : 25362 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 21648 33554432000 4194304 4196468 140721090633552 140013680285648 140015713769371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25363] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25363/stat : 25363 (java) S 25350 25350 23167 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015051954928 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25364] ppid=25350 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25364/stat : 25364 (java) S 25350 25350 23167 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015050902384 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25365] ppid=25350 vsize=15012476 memory=140390303663744 CPUtime=0.03 cores=0,2,4,6
/proc/25353/task/25365/stat : 25365 (java) S 25350 25350 23167 0 -1 1077944384 282 0 0 0 3 0 0 0 20 0 15 0 224382980 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015049849328 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25366] ppid=25350 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25366/stat : 25366 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 21648 33554432000 4194304 4196468 140721090633552 140013182380896 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25367] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25367/stat : 25367 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 21648 33554432000 4194304 4196468 140721090633552 140015048796720 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87988 KiB
[startup+0.310668 s]*
/proc/loadavg: 2.75 2.24 2.13 3/224 25367
/proc/meminfo: memFree=20464944/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224382973 115843072 349 33554432000 4194304 5098028 140733266271536 140733266268792 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 349 296 221 0 87 0
[pid=25353] ppid=25350 vsize=15012476 memory=89856 CPUtime=0.42 cores=0,2,4,6
/proc/25353/stat : 25353 (java) S 25350 25350 23167 0 -1 1077944320 10950 0 0 0 39 3 0 0 20 0 15 0 224382973 15372775424 22464 33554432000 4194304 4196468 140721090633552 140721090616096 140015713750775 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
/proc/25353/statm: 3753119 22464 2973 1 0 3715579 0
[pid=25353/tid=25354] ppid=25350 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/25353/task/25354/stat : 25354 (java) R 25350 25350 23167 0 -1 4202560 8719 0 0 0 27 2 0 0 20 0 15 0 224382974 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015685545776 140015695314331 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25355] ppid=25350 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25355/stat : 25355 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015717993488 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25356] ppid=25350 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25356/stat : 25356 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015173971088 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25357] ppid=25350 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25357/stat : 25357 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015172918032 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25358] ppid=25350 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25358/stat : 25358 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224382975 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015171865488 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25359] ppid=25350 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25359/stat : 25359 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224382977 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015053007088 140015713761922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25360] ppid=25350 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25360/stat : 25360 (java) S 25350 25350 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224382977 15372775424 22464 33554432000 4194304 4196468 140721090633552 140014289675424 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25361] ppid=25350 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25361/stat : 25361 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382977 15372775424 22464 33554432000 4194304 4196468 140721090633552 140014054793968 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25362] ppid=25350 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25362/stat : 25362 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 22464 33554432000 4194304 4196468 140721090633552 140013680285648 140015713769371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25363] ppid=25350 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25353/task/25363/stat : 25363 (java) S 25350 25350 23167 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 15 0 224382980 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015051954928 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25364] ppid=25350 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25353/task/25364/stat : 25364 (java) S 25350 25350 23167 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 15 0 224382980 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015050902384 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25365] ppid=25350 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25353/task/25365/stat : 25365 (java) S 25350 25350 23167 0 -1 1077944384 303 0 0 0 7 0 0 0 20 0 15 0 224382980 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015049849328 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25366] ppid=25350 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25366/stat : 25366 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 22464 33554432000 4194304 4196468 140721090633552 140013182380896 140015713760981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25367] ppid=25350 vsize=15012476 memory=3472898942829666353 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25367/stat : 25367 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382980 15372775424 22464 33554432000 4194304 4196468 140721090633552 140015048796720 140015713761922 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91252 KiB
[startup+0.701946 s]
/proc/loadavg: 2.75 2.24 2.13 3/224 25367
/proc/meminfo: memFree=20441132/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224382973 115843072 349 33554432000 4194304 5098028 140733266271536 140733266268792 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 349 296 221 0 87 0
[pid=25353] ppid=25350 vsize=15018748 memory=128844 CPUtime=1.03 cores=0,2,4,6
/proc/25353/stat : 25353 (java) S 25350 25350 23167 0 -1 1077944320 17863 0 0 0 98 5 0 0 20 0 15 0 224382973 15379197952 32211 33554432000 4194304 4196468 140721090633552 140721090616096 140015713750775 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
/proc/25353/statm: 3754687 32211 3130 1 0 3716091 0
[pid=25353/tid=25354] ppid=25350 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/25353/task/25354/stat : 25354 (java) R 25350 25350 23167 0 -1 4202560 15126 0 0 0 63 4 0 0 20 0 15 0 224382974 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015685588464 140015713772701 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25355] ppid=25350 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25355/stat : 25355 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015717993488 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25356] ppid=25350 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25356/stat : 25356 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015173971088 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25357] ppid=25350 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25357/stat : 25357 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015172918032 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25358] ppid=25350 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25358/stat : 25358 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224382975 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015171865488 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25359] ppid=25350 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25359/stat : 25359 (java) S 25350 25350 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224382977 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015053007088 140015713761922 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25360] ppid=25350 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25360/stat : 25360 (java) S 25350 25350 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224382977 15379197952 32211 33554432000 4194304 4196468 140721090633552 140014289675424 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25361] ppid=25350 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25361/stat : 25361 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382977 15379197952 32211 33554432000 4194304 4196468 140721090633552 140014054793968 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25362] ppid=25350 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25362/stat : 25362 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15379197952 32211 33554432000 4194304 4196468 140721090633552 140013680285648 140015713769371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25363] ppid=25350 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25353/task/25363/stat : 25363 (java) R 25350 25350 23167 0 -1 1077944384 626 0 0 0 9 0 0 0 20 0 15 0 224382980 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015051946576 140015713760981 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25364] ppid=25350 vsize=15018748 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25353/task/25364/stat : 25364 (java) R 25350 25350 23167 0 -1 4202560 305 0 0 0 7 0 0 0 20 0 15 0 224382980 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015050894336 140015699814752 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25365] ppid=25350 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/25353/task/25365/stat : 25365 (java) R 25350 25350 23167 0 -1 4202560 473 0 0 0 17 0 0 0 20 0 15 0 224382980 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015049847120 140015706847611 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25366] ppid=25350 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25366/stat : 25366 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15379197952 32211 33554432000 4194304 4196468 140721090633552 140013182380896 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25367] ppid=25350 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25367/stat : 25367 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382980 15379197952 32211 33554432000 4194304 4196468 140721090633552 140015048796720 140015713761922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130240 KiB
[startup+1.50123 s]
/proc/loadavg: 2.75 2.24 2.13 6/224 25367
/proc/meminfo: memFree=20219212/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224382973 115843072 349 33554432000 4194304 5098028 140733266271536 140733266268792 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/25353/task/25365/stat : 25365 (java) R 25350 25350 23167 0 -1 4202560 1649 0 0 0 65 1 0 0 20 0 15 0 224382980 15383470080 97722 33554432000 4194304 4196468 140721090633552 140015049846264 140015706847476 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25366] ppid=25350 vsize=15022920 memory=114292 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25366/stat : 25366 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15383470080 97722 33554432000 4194304 4196468 140721090633552 140013182380896 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25367] ppid=25350 vsize=15022920 memory=64668 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25367/stat : 25367 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382980 15383470080 97722 33554432000 4194304 4196468 140721090633552 140015048796720 140015713761922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
Current children cumulated CPU time: 3.58 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 392220 KiB
[startup+3.11074 s]
/proc/loadavg: 2.75 2.24 2.13 6/224 25367
/proc/meminfo: memFree=19913068/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224382973 115843072 349 33554432000 4194304 5098028 140733266271536 140733266268792 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 349 296 221 0 87 0
[pid=25353] ppid=25350 vsize=15024968 memory=662628 CPUtime=8.77 cores=0,2,4,6
/proc/25353/stat : 25353 (java) S 25350 25350 23167 0 -1 1077944320 28215 0 0 0 860 17 0 0 20 0 15 0 224382973 15385567232 165657 33554432000 4194304 4196468 140721090633552 140721090616096 140015713750775 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
/proc/25353/statm: 3756242 165657 3204 1 0 3717627 0
[pid=25353/tid=25354] ppid=25350 vsize=15024968 memory=3868 CPUtime=3.07 cores=0,2,4,6
/proc/25353/task/25354/stat : 25354 (java) R 25350 25350 23167 0 -1 4202560 17087 0 0 0 295 12 0 0 20 0 15 0 224382974 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015685581936 140015697794405 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25355] ppid=25350 vsize=15024968 memory=61088 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25355/stat : 25355 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015717993488 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25356] ppid=25350 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25356/stat : 25356 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015173971088 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25357] ppid=25350 vsize=15024968 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25357/stat : 25357 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382975 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015172918032 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25358] ppid=25350 vsize=15024968 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25358/stat : 25358 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224382975 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015171865488 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25359] ppid=25350 vsize=15024968 memory=3472468686427804400 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25359/stat : 25359 (java) S 25350 25350 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224382977 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015053007088 140015713761922 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25360] ppid=25350 vsize=15024968 memory=140390200124192 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25360/stat : 25360 (java) S 25350 25350 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224382977 15385567232 165657 33554432000 4194304 4196468 140721090633552 140014289675424 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25361] ppid=25350 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25361/stat : 25361 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224382977 15385567232 165657 33554432000 4194304 4196468 140721090633552 140014054793968 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25362] ppid=25350 vsize=15024968 memory=90 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25362/stat : 25362 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15385567232 165657 33554432000 4194304 4196468 140721090633552 140013680285648 140015713769371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25363] ppid=25350 vsize=15024968 memory=88 CPUtime=2.26 cores=0,2,4,6
/proc/25353/task/25363/stat : 25363 (java) R 25350 25350 23167 0 -1 4202560 2401 0 0 0 225 1 0 0 20 0 15 0 224382980 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015051943040 140015693189595 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25364] ppid=25350 vsize=15024968 memory=77 CPUtime=2.21 cores=0,2,4,6
/proc/25353/task/25364/stat : 25364 (java) R 25350 25350 23167 0 -1 4202560 3404 0 0 0 219 2 0 0 20 0 15 0 224382980 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015050883856 140015698676833 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25365] ppid=25350 vsize=15024968 memory=1396 CPUtime=1.2 cores=0,2,4,6
/proc/25353/task/25365/stat : 25365 (java) R 25350 25350 23167 0 -1 1077944384 3986 0 0 0 119 1 0 0 20 0 15 0 224382980 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015049849328 140015713761922 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25366] ppid=25350 vsize=15024968 memory=562552 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25366/stat : 25366 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15385567232 165657 33554432000 4194304 4196468 140721090633552 140013182380896 140015713760981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
[pid=25353/tid=25367] ppid=25350 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25353/task/25367/stat : 25367 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224382980 15385567232 165657 33554432000 4194304 4196468 140721090633552 140015048796720 140015713761922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25088000 140721090638855 140721090639153 140721090639153 140721090641871 0
Current children cumulated CPU time: 8.77 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 664024 KiB
[startup+6.30082 s]
/proc/loadavg: 2.69 2.23 2.13 5/224 25367
/proc/meminfo: memFree=17944408/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1472 CPUtime=16.19 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 591 34264 0 0 0 0 1554 65 20 0 1 0 224382973 115843072 368 33554432000 4194304 5098028 140733266271536 140733266268280 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 16.19 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+7.69011 s]
# the end of solver process 25350 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.531 s, system=0.82068 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40034 s]
/proc/loadavg: 2.69 2.23 2.13 5/224 25367
/proc/meminfo: memFree=17944408/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1472 CPUtime=16.19 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 591 34264 0 0 0 0 1554 65 20 0 1 0 224382973 115843072 368 33554432000 4194304 5098028 140733266271536 140733266268280 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 16.19 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+7.20126 s]
/proc/loadavg: 2.69 2.23 2.13 4/224 25382
/proc/meminfo: memFree=20451376/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1472 CPUtime=16.19 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 591 34264 0 0 0 0 1554 65 20 0 1 0 224382973 115843072 368 33554432000 4194304 5098028 140733266271536 140733266268280 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 368 311 221 0 87 0
[pid=25368] ppid=25350 vsize=7408432 memory=112576 CPUtime=1.47 cores=0,2,4,6
/proc/25368/stat : 25368 (java) S 25350 25350 23167 0 -1 1077944320 17836 0 0 0 135 12 0 0 20 0 15 0 224383598 7586234368 28144 33554432000 4194304 4196468 140735022242864 140735022225408 140717802323703 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
/proc/25368/statm: 1852108 28144 3114 1 0 1814042 0
[pid=25368/tid=25369] ppid=25350 vsize=7408432 memory=3472328296227708481 CPUtime=0.8 cores=0,2,4,6
/proc/25368/task/25369/stat : 25369 (java) R 25350 25350 23167 0 -1 4202560 14204 0 0 0 70 10 0 0 20 0 15 0 224383598 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717774156720 140717783886304 0 4 2 25189581 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25370] ppid=25350 vsize=7408432 memory=3472328296227706273 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25370/stat : 25370 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383600 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717806566544 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25371] ppid=25350 vsize=7408432 memory=734139722786442497 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25371/stat : 25371 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383600 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717287439376 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25372] ppid=25350 vsize=7408432 memory=3472328296227701857 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25372/stat : 25372 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383600 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717286386576 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25373] ppid=25350 vsize=7408432 memory=3472328296227699649 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25373/stat : 25373 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383600 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717285333776 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25374] ppid=25350 vsize=7408432 memory=3472328295574054751 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25374/stat : 25374 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383601 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717114558832 140717802334850 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25375] ppid=25350 vsize=7408432 memory=3472328296227695233 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25375/stat : 25375 (java) S 25350 25350 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224383601 7586234368 28144 33554432000 4194304 4196468 140735022242864 140716684600352 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25376] ppid=25350 vsize=7408432 memory=3461362008812266002 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25376/stat : 25376 (java) S 25350 25350 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224383602 7586234368 28144 33554432000 4194304 4196468 140735022242864 140716550378352 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25377] ppid=25350 vsize=7408432 memory=3472328296227690817 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25377/stat : 25377 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383604 7586234368 28144 33554432000 4194304 4196468 140735022242864 140716175873872 140717802342299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25378] ppid=25350 vsize=7408432 memory=3472328296227688609 CPUtime=0.22 cores=0,2,4,6
/proc/25368/task/25378/stat : 25378 (java) R 25350 25350 23167 0 -1 4202560 1121 0 0 0 22 0 0 0 20 0 15 0 224383604 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717113493232 140717783867934 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25379] ppid=25350 vsize=7408432 memory=3472328296227424257 CPUtime=0.23 cores=0,2,4,6
/proc/25368/task/25379/stat : 25379 (java) R 25350 25350 23167 0 -1 4202560 568 0 0 0 23 0 0 0 20 0 15 0 224383604 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717112447064 140717788338017 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25380] ppid=25350 vsize=7408432 memory=8316297343878399648 CPUtime=0.19 cores=0,2,4,6
/proc/25368/task/25380/stat : 25380 (java) S 25350 25350 23167 0 -1 1077944384 590 0 0 0 19 0 0 0 20 0 15 0 224383604 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717111401072 140717802334850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25381] ppid=25350 vsize=7408432 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25381/stat : 25381 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383604 7586234368 28144 33554432000 4194304 4196468 140735022242864 140715677969120 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25382] ppid=25350 vsize=7408432 memory=140390200125008 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25382/stat : 25382 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383605 7586234368 28144 33554432000 4194304 4196468 140735022242864 140717110348464 140717802334850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
Current children cumulated CPU time: 17.66 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 114048 KiB
[startup+7.60074 s]
/proc/loadavg: 2.69 2.23 2.13 4/224 25382
/proc/meminfo: memFree=20451376/32770624 swapFree=67108688/67108860
[pid=25350] ppid=25347 vsize=113128 memory=1472 CPUtime=16.19 cores=0,2,4,6
/proc/25350/stat : 25350 (scop.sh) S 25347 25350 23167 0 -1 4202496 591 34264 0 0 0 0 1554 65 20 0 1 0 224382973 115843072 368 33554432000 4194304 5098028 140733266271536 140733266268280 140310633517692 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14487552 140733266277441 140733266277639 140733266277639 140733266280397 0
/proc/25350/statm: 28282 368 311 221 0 87 0
[pid=25368] ppid=25350 vsize=8068220 memory=130672 CPUtime=1.72 cores=0,2,4,6
/proc/25368/stat : 25368 (java) S 25350 25350 23167 0 -1 1077944320 18909 0 0 0 159 13 0 0 20 0 19 0 224383598 8261857280 32668 33554432000 4194304 4196468 140735022242864 140735022225408 140717802323703 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
/proc/25368/statm: 2017055 32668 3156 1 0 1978454 0
[pid=25368/tid=25369] ppid=25350 vsize=8068220 memory=12668 CPUtime=0.92 cores=0,2,4,6
/proc/25368/task/25369/stat : 25369 (java) S 25350 25350 23167 0 -1 1077944384 15040 0 0 0 81 11 0 0 20 0 19 0 224383598 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717774163856 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25370] ppid=25350 vsize=8068220 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25370/stat : 25370 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224383600 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717806566544 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25371] ppid=25350 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25371/stat : 25371 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224383600 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717287439376 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25372] ppid=25350 vsize=8068220 memory=-9174445032661854264 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25372/stat : 25372 (java) S 25350 25350 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224383600 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717286386576 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25373] ppid=25350 vsize=8068220 memory=-4866526899798303339 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25373/stat : 25373 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224383600 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717285333776 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25374] ppid=25350 vsize=8068220 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25374/stat : 25374 (java) S 25350 25350 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224383601 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717114558832 140717802334850 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25375] ppid=25350 vsize=8068220 memory=280780400381536 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25375/stat : 25375 (java) S 25350 25350 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224383601 8261857280 32668 33554432000 4194304 4196468 140735022242864 140716684600352 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25376] ppid=25350 vsize=8068220 memory=7305805518971748460 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25376/stat : 25376 (java) S 25350 25350 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224383602 8261857280 32668 33554432000 4194304 4196468 140735022242864 140716550378352 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25377] ppid=25350 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25377/stat : 25377 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224383604 8261857280 32668 33554432000 4194304 4196468 140735022242864 140716175873872 140717802342299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25378] ppid=25350 vsize=8068220 memory=3316 CPUtime=0.26 cores=0,2,4,6
/proc/25368/task/25378/stat : 25378 (java) S 25350 25350 23167 0 -1 1077944384 1153 0 0 0 26 0 0 0 20 0 19 0 224383604 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717113506672 140717802334850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25379] ppid=25350 vsize=8068220 memory=15768 CPUtime=0.27 cores=0,2,4,6
/proc/25368/task/25379/stat : 25379 (java) S 25350 25350 23167 0 -1 1077944384 595 0 0 0 27 0 0 0 20 0 19 0 224383604 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717112453872 140717802334850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25380] ppid=25350 vsize=8068220 memory=34496 CPUtime=0.24 cores=0,2,4,6
/proc/25368/task/25380/stat : 25380 (java) S 25350 25350 23167 0 -1 1077944384 686 0 0 0 24 0 0 0 20 0 19 0 224383604 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717111401072 140717802334850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25381] ppid=25350 vsize=8068220 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25381/stat : 25381 (java) S 25350 25350 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224383604 8261857280 32668 33554432000 4194304 4196468 140735022242864 140715677969120 140717802333909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
[pid=25368/tid=25382] ppid=25350 vsize=8068220 memory=496 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25382/stat : 25382 (java) S 25350 25350 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224383605 8261857280 32668 33554432000 4194304 4196468 140735022242864 140717110348464 140717802334850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140735022249141 140735022249265 140735022249265 140735022251983 0
Current children cumulated CPU time: 17.91 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 132144 KiB
Child status: 0
Real time (s): 7.69016
CPU time (s): 18.3516
CPU user time (s): 17.531
CPU system time (s): 0.82068
CPU usage (%): 238.638
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2607704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.531
system time used= 0.82068
maximum resident set size= 2608860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62424
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5585
involuntary context switches= 70
# summary of solver processes directly reported to runsolver:
# pid: 25350
# total CPU time (s): 18.3516
# total CPU user time (s): 17.531
# total CPU system time (s): 0.82068
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076285 second user time and 0.116226 second system time
The end