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-25938-serial-file.bin HOME/instance-4305771-1534068255.xml
0.66/0.53
0.66/0.53 scop both+minisat_release (2018-07-31)
0.66/0.53 (Encoding Process)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Sun Aug 12 12:04:16 CEST 2018
0.66/0.56 c PID: 25941
0.66/0.56 c IP: 172.20.3.106
0.66/0.56 c HOST: node106.alineos.net
0.66/0.56 c (0,0) Parsing Begin
5.31/2.02 c (1,1) Parsing End
5.31/2.03 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 36
5.31/2.03 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.31/2.04 c (1,1) Constraint Name Generate Begin
5.31/2.06 c (1,1) Ctr:HOME/instance-4305771-1534068255.xml,Dist:Eq:IntVar:Le:Num
5.31/2.06 c (1,1) Constraint Name Generate End
5.31/2.07 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.31/2.07 c (1,1) CSP to CSPinCNF Begin
6.31/2.34 c (1,1) translated 411 (10%) constraints
6.69/2.42 c (1,1) translated 821 (20%) constraints
6.69/2.47 c (1,1) translated 1231 (30%) constraints
6.99/2.52 c (1,1) translated 1642 (40%) constraints
6.99/2.57 c (2,2) translated 2052 (50%) constraints
7.30/2.62 c (2,2) translated 2462 (60%) constraints
7.30/2.66 c (2,2) translated 2873 (70%) constraints
7.60/2.71 c (2,2) translated 3283 (80%) constraints
7.60/2.74 c (2,2) translated 3693 (90%) constraints
7.94/2.85 c (2,2) translated 4103 (100%) constraints
8.30/2.94 c (2,2) STATISTICS1:HOME/instance-4305771-1534068255.xml,Dist:Eq:IntVar:Le:Num,680,4783,36,36,2,2,36:3314;29:5144;22:344;20:24;6:60,36:9348;29:7956;22:364;20:40;6:64,2:4103;1:680,2:8886,
8.30/2.94 c (2,2) ==========================================
8.30/2.94 c (2,2) Both Encoding selects:
8.30/2.95 c (2,2) Order
8.30/2.95 c (2,2) ==========================================
8.30/2.98 c (2,2) translated 479 (10%) constraints
8.30/3.00 c (2,2) translated 957 (20%) constraints
8.66/3.02 c (2,2) translated 1435 (30%) constraints
8.66/3.03 c (2,2) translated 1914 (40%) constraints
8.66/3.05 c (2,2) translated 2392 (50%) constraints
8.66/3.07 c (2,2) translated 2870 (60%) constraints
8.66/3.08 c (2,2) translated 3349 (70%) constraints
8.66/3.10 c (2,2) translated 3827 (80%) constraints
8.96/3.12 c (2,2) translated 4305 (90%) constraints
8.96/3.13 c (2,2) translated 4783 (100%) constraints
8.96/3.14 c (2,2) CSP to CSPinCNF End
8.96/3.14 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 36
8.96/3.14 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.96/3.14 c (2,2) CSPinCNF Propagation Begin
11.11/4.48 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.11/4.48 c (3,3) CSPinCNF Propagation End
11.11/4.48 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 36
11.11/4.48 c (3,3) Heap : 2084 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.11/4.48 c (3,3) Simplify CSPinCNF Begin
11.83/4.74 c (4,4) Simplify CSPinCNF End
11.83/4.74 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 36
11.83/4.74 c (4,4) Heap : 2140 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.83/4.74 c (4,4) Calculate Precise Domain Begin
11.83/4.75 c (4,4) 0 values are removed by re-calculation
11.83/4.75 c (4,4) Calculate Precise Domain End
11.83/4.75 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 36
11.83/4.75 c (4,4) Heap : 2140 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.83/4.75 c (4,4) CSPinCNF to SatSolver Begin
12.84/5.04 c (4,4) 1299 (10 %) CSP clauses are encoded (29390 SAT variables, 46979 SAT clauses)
13.14/5.15 c (4,4) 2598 (20 %) CSP clauses are encoded (29390 SAT variables, 73084 SAT clauses)
13.40/5.24 c (4,4) 3897 (30 %) CSP clauses are encoded (29390 SAT variables, 97080 SAT clauses)
13.64/5.34 c (4,4) 5196 (40 %) CSP clauses are encoded (29390 SAT variables, 123193 SAT clauses)
13.85/5.43 c (4,4) 6495 (50 %) CSP clauses are encoded (29390 SAT variables, 150090 SAT clauses)
14.03/5.51 c (4,4) 7794 (60 %) CSP clauses are encoded (29390 SAT variables, 177184 SAT clauses)
14.03/5.58 c (5,5) 9093 (70 %) CSP clauses are encoded (29390 SAT variables, 203885 SAT clauses)
14.16/5.65 c (5,5) 10392 (80 %) CSP clauses are encoded (29390 SAT variables, 230656 SAT clauses)
14.33/5.72 c (5,5) 11691 (90 %) CSP clauses are encoded (29390 SAT variables, 256270 SAT clauses)
14.33/5.78 c (5,5) 12989 (100 %) CSP clauses are encoded (29390 SAT variables, 279146 SAT clauses)
14.33/5.78 c (5,5) Launch Command will be: minisat_release
14.33/5.78 c (5,5) CSPinCNF to SatSolver End
14.33/5.78 c (5,5) Heap : 2760 MiB used (max 10795 MiB), NonHeap : 36 MiB used (max 0 MiB)
14.60/5.88 c (5,5) STATISTICS2:HOME/instance-4305771-1534068255.xml,Dist:Eq:IntVar:Le:Num,8886,12989,36,36,2,2,36:3314;29:5144;22:344;20:24;6:60,36:9348;29:7956;22:364;20:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
14.60/5.88 c (5,5) 29390 bool, 279158 clause
14.60/5.88 c (5,5) Export Begin
15.74/6.24 c (5,5) Export to HOME/scop-25938-serial-file.bin
15.74/6.24 c (5,5) Export End
15.74/6.24 c (5,5) Export File Size: 4.01 MB
15.74/6.24 c (5,5) 1,1,2,3,4,4,5,STOP-AFTER(DIMACS)
15.74/6.24 c END-Prog: Sun Aug 12 12:04:21 CEST 2018
15.74/6.28 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25938-serial-file.bin
15.89/6.77 c (0,0) Read Serial File Begin
15.89/6.77 c (0,0) HOME/scop-25938-serial-file.bin
17.32/7.12 c (0,0) Read Serial File End
17.32/7.14
17.32/7.14 scop order+minisat_release (2018-07-31)
17.32/7.14 (Solving Process)
17.32/7.14
17.32/7.16 c BEGIN-Prog: Sun Aug 12 12:04:22 CEST 2018
17.32/7.16 c PID: 25956
17.32/7.16 c IP: 172.20.3.106
17.32/7.16 c HOST: node106.alineos.net
17.32/7.17 c (0,0) SatSolver.solve Begin
17.32/7.17 c (0,0) 0 bool, 0 clause
17.32/7.17 c (0,0) minisat_release HOME/instance-4305771-1534068255.xml-scop-25941.cnf
17.63/7.62 c (0,0) c This is COMiniSatPS.
17.63/7.62 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.63/7.62 c (0,0) c ============================[ Problem Statistics ]=============================
17.63/7.62 c (0,0) c | |
17.63/7.62 c (0,0) c | Number of variables: 29390 |
17.63/7.62 c (0,0) c | Number of clauses: 279158 |
17.63/7.62 c (0,0) c | Parse time: 0.10 s |
17.63/7.62 c (0,0) c | Eliminated clauses: 0.08 Mb |
17.63/7.62 c (0,0) c Reduced to 25148 vars, 272466 cls (grow=0)
17.63/7.62 c (0,0) c No iterative elimination performed. (vars=25148, c/v ratio=10.8)
17.63/7.62 c (0,0) c | Simplification time: 0.29 s |
17.63/7.62 c (0,0) c | |
17.63/7.62 c (0,0) c ============================[ Search Statistics ]==============================
17.63/7.62 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
17.63/7.62 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
17.63/7.62 c (0,0) c ===============================================================================
17.63/7.62 c (0,0) c ===============================================================================
17.63/7.62 c (0,0) c restarts : 1
17.63/7.62 c (0,0) c conflicts : 387 (930 /sec)
17.63/7.62 c (0,0) c decisions : 1096 (0.00 % random) (2634 /sec)
17.63/7.62 c (0,0) c propagations : 68234 (163957 /sec)
17.63/7.62 c (0,0) c conflict literals : 2532 (25.29 % deleted)
17.63/7.62 c (0,0) c CPU time : 0.41617 s
17.63/7.62 c (0,0)
17.63/7.62 c (0,0) s UNSATISFIABLE
17.63/7.62 c (0,0) SatSolver.solve End
17.63/7.62 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.63/7.62 c (0,0) Show results Begin
17.63/7.62 s UNSATISFIABLE
17.63/7.62 c (0,0) Show results End
17.63/7.62 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.63/7.63 c (0,0) 0,0,STOP-AFTER(ALL)
17.63/7.63 c END-Prog: Sun Aug 12 12:04:23 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-4305771-1534068255/watcher-4305771-1534068255 -o /tmp/evaluation-result-4305771-1534068255/solver-4305771-1534068255 -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-4305771-1534068255.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=25938, runsolver pid=25935
[startup+0.10009 s]*
/proc/loadavg: 2.67 2.29 2.15 3/224 25955
/proc/meminfo: memFree=20483760/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224388380 115843072 349 33554432000 4194304 5098028 140728662848656 140728662845912 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 349 296 221 0 87 0
[pid=25941] ppid=25938 vsize=15012476 memory=72048 CPUtime=0.11 cores=0,2,4,6
/proc/25941/stat : 25941 (java) S 25938 25938 23167 0 -1 1077944320 6143 0 0 0 9 2 0 0 20 0 15 0 224388380 15372775424 18012 33554432000 4194304 4196468 140731223391008 140731223373552 139771742154487 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
/proc/25941/statm: 3753119 18012 2771 1 0 3715579 0
[pid=25941/tid=25942] ppid=25938 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=0,2,4,6
/proc/25941/task/25942/stat : 25942 (java) R 25938 25938 23167 0 -1 4202560 4219 0 0 0 8 1 0 0 20 0 15 0 224388381 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771713966472 139771725341313 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25943] ppid=25938 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25943/stat : 25943 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771746396688 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25944] ppid=25938 vsize=15012476 memory=140323376260736 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25944/stat : 25944 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771537480336 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25945] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25945/stat : 25945 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771536427280 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25946] ppid=25938 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25946/stat : 25946 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771535374736 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25947] ppid=25938 vsize=15012476 memory=140323376260736 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25947/stat : 25947 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388384 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771081747184 139771742165634 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25948] ppid=25938 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25948/stat : 25948 (java) S 25938 25938 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224388384 15372775424 18012 33554432000 4194304 4196468 140731223391008 139770348955296 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25949] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25949/stat : 25949 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388384 15372775424 18012 33554432000 4194304 4196468 140731223391008 139770114073840 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25950] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25950/stat : 25950 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 18012 33554432000 4194304 4196468 140731223391008 139769739565520 139771742173083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25951] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25951/stat : 25951 (java) S 25938 25938 23167 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771080694000 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25952] ppid=25938 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25952/stat : 25952 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771079641456 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25953] ppid=25938 vsize=15012476 memory=140323376260736 CPUtime=0.01 cores=0,2,4,6
/proc/25941/task/25953/stat : 25953 (java) S 25938 25938 23167 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 224388387 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771078588400 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25954] ppid=25938 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25954/stat : 25954 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 18012 33554432000 4194304 4196468 140731223391008 139769241659744 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25955] ppid=25938 vsize=15012476 memory=140323376260736 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25955/stat : 25955 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 18012 33554432000 4194304 4196468 140731223391008 139771077536816 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73444 KiB
[startup+0.210598 s]*
/proc/loadavg: 2.67 2.29 2.15 3/224 25955
/proc/meminfo: memFree=20469276/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224388380 115843072 349 33554432000 4194304 5098028 140728662848656 140728662845912 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 349 296 221 0 87 0
[pid=25941] ppid=25938 vsize=15012476 memory=85348 CPUtime=0.25 cores=0,2,4,6
/proc/25941/stat : 25941 (java) S 25938 25938 23167 0 -1 1077944320 9746 0 0 0 22 3 0 0 20 0 15 0 224388380 15372775424 21337 33554432000 4194304 4196468 140731223391008 140731223373552 139771742154487 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
/proc/25941/statm: 3753119 21337 2905 1 0 3715579 0
[pid=25941/tid=25942] ppid=25938 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/25941/task/25942/stat : 25942 (java) R 25938 25938 23167 0 -1 4202560 7629 0 0 0 18 2 0 0 20 0 15 0 224388381 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771713968032 139771726198117 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25943] ppid=25938 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25943/stat : 25943 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771746396688 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25944] ppid=25938 vsize=15012476 memory=140323377453022 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25944/stat : 25944 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771537480336 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25945] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25945/stat : 25945 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771536427280 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25946] ppid=25938 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25946/stat : 25946 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771535374736 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25947] ppid=25938 vsize=15012476 memory=140323376260736 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25947/stat : 25947 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388384 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771081747184 139771742165634 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25948] ppid=25938 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25948/stat : 25948 (java) S 25938 25938 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224388384 15372775424 21337 33554432000 4194304 4196468 140731223391008 139770348955296 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25949] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25949/stat : 25949 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388384 15372775424 21337 33554432000 4194304 4196468 140731223391008 139770114073840 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25950] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25950/stat : 25950 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 21337 33554432000 4194304 4196468 140731223391008 139769739565520 139771742173083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25951] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25951/stat : 25951 (java) S 25938 25938 23167 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771080694000 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25952] ppid=25938 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25952/stat : 25952 (java) S 25938 25938 23167 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771079641456 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25953] ppid=25938 vsize=15012476 memory=140323376260736 CPUtime=0.03 cores=0,2,4,6
/proc/25941/task/25953/stat : 25953 (java) R 25938 25938 23167 0 -1 4202560 317 0 0 0 3 0 0 0 20 0 15 0 224388387 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771078588400 139771721112172 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25954] ppid=25938 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25954/stat : 25954 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 21337 33554432000 4194304 4196468 140731223391008 139769241659744 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25955] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25955/stat : 25955 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 21337 33554432000 4194304 4196468 140731223391008 139771077536816 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86744 KiB
[startup+0.310583 s]*
/proc/loadavg: 2.67 2.29 2.15 3/224 25955
/proc/meminfo: memFree=20463472/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224388380 115843072 349 33554432000 4194304 5098028 140728662848656 140728662845912 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 349 296 221 0 87 0
[pid=25941] ppid=25938 vsize=15012476 memory=89540 CPUtime=0.42 cores=0,2,4,6
/proc/25941/stat : 25941 (java) S 25938 25938 23167 0 -1 1077944320 10357 0 0 0 38 4 0 0 20 0 15 0 224388380 15372775424 22385 33554432000 4194304 4196468 140731223391008 140731223373552 139771742154487 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
/proc/25941/statm: 3753119 22385 2966 1 0 3715579 0
[pid=25941/tid=25942] ppid=25938 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/25941/task/25942/stat : 25942 (java) R 25938 25938 23167 0 -1 4202560 8056 0 0 0 27 3 0 0 20 0 15 0 224388381 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771713958536 139771734871639 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25943] ppid=25938 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25943/stat : 25943 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771746396688 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25944] ppid=25938 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25944/stat : 25944 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771537480336 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25945] ppid=25938 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25945/stat : 25945 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771536427280 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25946] ppid=25938 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25946/stat : 25946 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771535374736 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25947] ppid=25938 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25947/stat : 25947 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388384 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771081747184 139771742165634 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25948] ppid=25938 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25948/stat : 25948 (java) S 25938 25938 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224388384 15372775424 22385 33554432000 4194304 4196468 140731223391008 139770348955296 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25949] ppid=25938 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25949/stat : 25949 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388384 15372775424 22385 33554432000 4194304 4196468 140731223391008 139770114073840 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25950] ppid=25938 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25950/stat : 25950 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 22385 33554432000 4194304 4196468 140731223391008 139769739565520 139771742173083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25951] ppid=25938 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25941/task/25951/stat : 25951 (java) S 25938 25938 23167 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 15 0 224388387 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771080694000 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25952] ppid=25938 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25941/task/25952/stat : 25952 (java) S 25938 25938 23167 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 15 0 224388387 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771079641456 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25953] ppid=25938 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25941/task/25953/stat : 25953 (java) S 25938 25938 23167 0 -1 1077944384 359 0 0 0 7 0 0 0 20 0 15 0 224388387 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771078588400 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25954] ppid=25938 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25954/stat : 25954 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 22385 33554432000 4194304 4196468 140731223391008 139769241659744 139771742164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25955] ppid=25938 vsize=15012476 memory=3545238011844304945 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25955/stat : 25955 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388387 15372775424 22385 33554432000 4194304 4196468 140731223391008 139771077536816 139771742165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90936 KiB
[startup+0.702595 s]
/proc/loadavg: 2.67 2.29 2.15 3/224 25955
/proc/meminfo: memFree=20441044/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224388380 115843072 349 33554432000 4194304 5098028 140728662848656 140728662845912 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 349 296 221 0 87 0
[pid=25941] ppid=25938 vsize=15018748 memory=126776 CPUtime=1.01 cores=0,2,4,6
/proc/25941/stat : 25941 (java) S 25938 25938 23167 0 -1 1077944320 17328 0 0 0 95 6 0 0 20 0 15 0 224388380 15379197952 31694 33554432000 4194304 4196468 140731223391008 140731223373552 139771742154487 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
/proc/25941/statm: 3754687 31694 3146 1 0 3716091 0
[pid=25941/tid=25942] ppid=25938 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/25941/task/25942/stat : 25942 (java) R 25938 25938 23167 0 -1 4202560 14538 0 0 0 62 5 0 0 20 0 15 0 224388381 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771713990208 139771742176413 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25943] ppid=25938 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25943/stat : 25943 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771746396688 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25944] ppid=25938 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25944/stat : 25944 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771537480336 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25945] ppid=25938 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25945/stat : 25945 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771536427280 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25946] ppid=25938 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25946/stat : 25946 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771535374736 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25947] ppid=25938 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25947/stat : 25947 (java) S 25938 25938 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224388384 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771081747184 139771742165634 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25948] ppid=25938 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25948/stat : 25948 (java) S 25938 25938 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224388384 15379197952 31694 33554432000 4194304 4196468 140731223391008 139770348955296 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25949] ppid=25938 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25949/stat : 25949 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388384 15379197952 31694 33554432000 4194304 4196468 140731223391008 139770114073840 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25950] ppid=25938 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25950/stat : 25950 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15379197952 31694 33554432000 4194304 4196468 140731223391008 139769739565520 139771742173083 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25951] ppid=25938 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25941/task/25951/stat : 25951 (java) R 25938 25938 23167 0 -1 4202560 663 0 0 0 9 0 0 0 20 0 15 0 224388387 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771080683920 139771721809025 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25952] ppid=25938 vsize=15018748 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25941/task/25952/stat : 25952 (java) S 25938 25938 23167 0 -1 1077944384 269 0 0 0 6 0 0 0 20 0 15 0 224388387 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771079641456 139771742165634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25953] ppid=25938 vsize=15018748 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/25941/task/25953/stat : 25953 (java) R 25938 25938 23167 0 -1 1077944384 522 0 0 0 16 0 0 0 20 0 15 0 224388387 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771078584160 139771742164693 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25954] ppid=25938 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25954/stat : 25954 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15379197952 31694 33554432000 4194304 4196468 140731223391008 139769241659744 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25955] ppid=25938 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25955/stat : 25955 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388387 15379197952 31694 33554432000 4194304 4196468 140731223391008 139771077536816 139771742165634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 128172 KiB
[startup+1.50074 s]
/proc/loadavg: 2.67 2.29 2.15 6/224 25955
/proc/meminfo: memFree=20220800/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224388380 115843072 349 33554432000 4194304 5098028 140728662848656 140728662845912 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/25941/task/25953/stat : 25953 (java) R 25938 25938 23167 0 -1 4202560 1691 0 0 0 65 0 0 0 20 0 15 0 224388387 15383470080 98886 33554432000 4194304 4196468 140731223391008 139771078580608 139771734391614 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25954] ppid=25938 vsize=15022920 memory=114292 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25954/stat : 25954 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15383470080 98886 33554432000 4194304 4196468 140731223391008 139769241659744 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25955] ppid=25938 vsize=15022920 memory=64668 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25955/stat : 25955 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388387 15383470080 98886 33554432000 4194304 4196468 140731223391008 139771077536816 139771742165634 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
Current children cumulated CPU time: 3.68 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 396940 KiB
[startup+3.11079 s]
/proc/loadavg: 2.67 2.29 2.15 5/224 25955
/proc/meminfo: memFree=19910708/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224388380 115843072 349 33554432000 4194304 5098028 140728662848656 140728662845912 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 349 296 221 0 87 0
[pid=25941] ppid=25938 vsize=15024968 memory=670244 CPUtime=8.96 cores=0,2,4,6
/proc/25941/stat : 25941 (java) S 25938 25938 23167 0 -1 1077944320 26477 0 0 0 878 18 0 0 20 0 15 0 224388380 15385567232 167561 33554432000 4194304 4196468 140731223391008 140731223373552 139771742154487 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
/proc/25941/statm: 3756242 167561 3206 1 0 3717627 0
[pid=25941/tid=25942] ppid=25938 vsize=15024968 memory=3868 CPUtime=3.07 cores=0,2,4,6
/proc/25941/task/25942/stat : 25942 (java) R 25938 25938 23167 0 -1 4202560 16452 0 0 0 293 14 0 0 20 0 15 0 224388381 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771713984480 139771215926113 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25943] ppid=25938 vsize=15024968 memory=61088 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25943/stat : 25943 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771746396688 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25944] ppid=25938 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25944/stat : 25944 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771537480336 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25945] ppid=25938 vsize=15024968 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25945/stat : 25945 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388382 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771536427280 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25946] ppid=25938 vsize=15024968 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25946/stat : 25946 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388382 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771535374736 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25947] ppid=25938 vsize=15024968 memory=3472468619453158128 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25947/stat : 25947 (java) S 25938 25938 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224388384 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771081747184 139771742165634 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25948] ppid=25938 vsize=15024968 memory=140323225477920 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25948/stat : 25948 (java) S 25938 25938 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224388384 15385567232 167561 33554432000 4194304 4196468 140731223391008 139770348955296 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25949] ppid=25938 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25949/stat : 25949 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224388384 15385567232 167561 33554432000 4194304 4196468 140731223391008 139770114073840 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25950] ppid=25938 vsize=15024968 memory=94 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25950/stat : 25950 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15385567232 167561 33554432000 4194304 4196468 140731223391008 139769739565520 139771742173083 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25951] ppid=25938 vsize=15024968 memory=97 CPUtime=2.36 cores=0,2,4,6
/proc/25941/task/25951/stat : 25951 (java) R 25938 25938 23167 0 -1 4202560 2691 0 0 0 235 1 0 0 20 0 15 0 224388387 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771080674640 139771723679518 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25952] ppid=25938 vsize=15024968 memory=76 CPUtime=2.34 cores=0,2,4,6
/proc/25941/task/25952/stat : 25952 (java) R 25938 25938 23167 0 -1 4202560 1942 0 0 0 234 0 0 0 20 0 15 0 224388387 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771079631168 139771723328525 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25953] ppid=25938 vsize=15024968 memory=1396 CPUtime=1.16 cores=0,2,4,6
/proc/25941/task/25953/stat : 25953 (java) S 25938 25938 23167 0 -1 1077944384 4056 0 0 0 115 1 0 0 20 0 15 0 224388387 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771078588400 139771742165634 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25954] ppid=25938 vsize=15024968 memory=561344 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25954/stat : 25954 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224388387 15385567232 167561 33554432000 4194304 4196468 140731223391008 139769241659744 139771742164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
[pid=25941/tid=25955] ppid=25938 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25941/task/25955/stat : 25955 (java) R 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224388387 15385567232 167561 33554432000 4194304 4196468 140731223391008 139771077536816 139771742165634 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731223393287 140731223393585 140731223393585 140731223396303 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 671640 KiB
[startup+6.30076 s]
/proc/loadavg: 2.78 2.32 2.16 5/224 25955
/proc/meminfo: memFree=17733120/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1472 CPUtime=15.89 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 591 31873 0 0 0 0 1516 73 20 0 1 0 224388380 115843072 368 33554432000 4194304 5098028 140728662848656 140728662845400 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 15.89 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+7.63863 s]
# the end of solver process 25938 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.2351 s, system=0.880289 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40035 s]
/proc/loadavg: 2.78 2.32 2.16 5/224 25955
/proc/meminfo: memFree=17733120/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1472 CPUtime=15.89 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 591 31873 0 0 0 0 1516 73 20 0 1 0 224388380 115843072 368 33554432000 4194304 5098028 140728662848656 140728662845400 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 15.89 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+7.20072 s]
/proc/loadavg: 2.78 2.32 2.16 5/224 25970
/proc/meminfo: memFree=20442328/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1472 CPUtime=15.89 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 591 31873 0 0 0 0 1516 73 20 0 1 0 224388380 115843072 368 33554432000 4194304 5098028 140728662848656 140728662845400 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 368 311 221 0 87 0
[pid=25956] ppid=25938 vsize=7869560 memory=125488 CPUtime=1.66 cores=0,2,4,6
/proc/25956/stat : 25956 (java) S 25938 25938 23167 0 -1 1077944320 18564 0 0 0 155 11 0 0 20 0 18 0 224389008 8058429440 31372 33554432000 4194304 4196468 140728395676016 140728395658560 139693919784695 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
/proc/25956/statm: 1967390 31372 3152 1 0 1928789 0
[pid=25956/tid=25957] ppid=25938 vsize=7869560 memory=3472328296227708481 CPUtime=0.89 cores=0,2,4,6
/proc/25956/task/25957/stat : 25957 (java) R 25938 25938 23167 0 -1 4202560 14818 0 0 0 79 10 0 0 20 0 18 0 224389008 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693891615184 139693903865182 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25958] ppid=25938 vsize=7869560 memory=3472328296227706273 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25958/stat : 25958 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 224389010 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693924027024 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25959] ppid=25938 vsize=7869560 memory=734139722786442497 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25959/stat : 25959 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 224389010 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693405293072 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25960] ppid=25938 vsize=7869560 memory=3472328296227701857 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25960/stat : 25960 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 224389010 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693404240272 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25961] ppid=25938 vsize=7869560 memory=3472328296227699649 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25961/stat : 25961 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 224389010 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693403187472 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25962] ppid=25938 vsize=7869560 memory=3472328295574054751 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25962/stat : 25962 (java) S 25938 25938 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 224389011 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693366283120 139693919795842 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25963] ppid=25938 vsize=7869560 memory=3472328296227695233 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25963/stat : 25963 (java) S 25938 25938 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 224389011 8058429440 31372 33554432000 4194304 4196468 140728395676016 139692737553952 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25964] ppid=25938 vsize=7869560 memory=3461362008812266002 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25964/stat : 25964 (java) S 25938 25938 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 224389012 8058429440 31372 33554432000 4194304 4196468 140728395676016 139692603331952 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25965] ppid=25938 vsize=7869560 memory=3472328296227690817 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25965/stat : 25965 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 224389014 8058429440 31372 33554432000 4194304 4196468 140728395676016 139692228827472 139693919803291 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25966] ppid=25938 vsize=7869560 memory=3472328296227688609 CPUtime=0.29 cores=0,2,4,6
/proc/25956/task/25966/stat : 25966 (java) S 25938 25938 23167 0 -1 1077944384 999 0 0 0 29 0 0 0 20 0 18 0 224389014 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693365229936 139693919795842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25967] ppid=25938 vsize=7869560 memory=3472328296227424257 CPUtime=0.23 cores=0,2,4,6
/proc/25956/task/25967/stat : 25967 (java) S 25938 25938 23167 0 -1 1077944384 681 0 0 0 23 0 0 0 20 0 18 0 224389014 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693364177136 139693919795842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25968] ppid=25938 vsize=7869560 memory=8316297343878399648 CPUtime=0.22 cores=0,2,4,6
/proc/25956/task/25968/stat : 25968 (java) S 25938 25938 23167 0 -1 1077944384 643 0 0 0 22 0 0 0 20 0 18 0 224389014 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693363124336 139693919795842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25969] ppid=25938 vsize=7869560 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25969/stat : 25969 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 224389014 8058429440 31372 33554432000 4194304 4196468 140728395676016 139691730921696 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25970] ppid=25938 vsize=7869560 memory=140323225478736 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25970/stat : 25970 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 224389015 8058429440 31372 33554432000 4194304 4196468 140728395676016 139693362072752 139693919795842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
Current children cumulated CPU time: 17.55 s
Current children cumulated vsize: 7982688 KiB
Current children cumulated memory: 126960 KiB
[startup+7.60073 s]
/proc/loadavg: 2.78 2.32 2.16 5/224 25970
/proc/meminfo: memFree=20442328/32770624 swapFree=67108688/67108860
[pid=25938] ppid=25935 vsize=113128 memory=1472 CPUtime=15.89 cores=0,2,4,6
/proc/25938/stat : 25938 (scop.sh) S 25935 25938 23167 0 -1 4202496 591 31873 0 0 0 0 1516 73 20 0 1 0 224388380 115843072 368 33554432000 4194304 5098028 140728662848656 140728662845400 139656887874172 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36761600 140728662852673 140728662852871 140728662852871 140728662855629 0
/proc/25938/statm: 28282 368 311 221 0 87 0
[pid=25956] ppid=25938 vsize=8068220 memory=132460 CPUtime=1.74 cores=0,2,4,6
/proc/25956/stat : 25956 (java) S 25938 25938 23167 0 -1 1077944320 18831 0 0 0 163 11 0 0 20 0 19 0 224389008 8261857280 33115 33554432000 4194304 4196468 140728395676016 140728395658560 139693919784695 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
/proc/25956/statm: 2017055 33115 3152 1 0 1978454 0
[pid=25956/tid=25957] ppid=25938 vsize=8068220 memory=12668 CPUtime=0.93 cores=0,2,4,6
/proc/25956/task/25957/stat : 25957 (java) S 25938 25938 23167 0 -1 1077944384 15035 0 0 0 83 10 0 0 20 0 19 0 224389008 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693891624848 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25958] ppid=25938 vsize=8068220 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25958/stat : 25958 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224389010 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693924027024 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25959] ppid=25938 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25959/stat : 25959 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224389010 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693405293072 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25960] ppid=25938 vsize=8068220 memory=-9174445032661854264 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25960/stat : 25960 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224389010 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693404240272 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25961] ppid=25938 vsize=8068220 memory=-4866526899798303339 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25961/stat : 25961 (java) S 25938 25938 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224389010 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693403187472 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25962] ppid=25938 vsize=8068220 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25962/stat : 25962 (java) S 25938 25938 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224389011 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693366283120 139693919795842 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25963] ppid=25938 vsize=8068220 memory=280646451088992 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25963/stat : 25963 (java) S 25938 25938 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224389011 8261857280 33115 33554432000 4194304 4196468 140728395676016 139692737553952 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25964] ppid=25938 vsize=8068220 memory=7665812014184677484 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25964/stat : 25964 (java) S 25938 25938 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224389012 8261857280 33115 33554432000 4194304 4196468 140728395676016 139692603331952 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25965] ppid=25938 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25965/stat : 25965 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224389014 8261857280 33115 33554432000 4194304 4196468 140728395676016 139692228827472 139693919803291 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25966] ppid=25938 vsize=8068220 memory=3316 CPUtime=0.3 cores=0,2,4,6
/proc/25956/task/25966/stat : 25966 (java) S 25938 25938 23167 0 -1 1077944384 999 0 0 0 30 0 0 0 20 0 19 0 224389014 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693365229936 139693919795842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25967] ppid=25938 vsize=8068220 memory=15768 CPUtime=0.25 cores=0,2,4,6
/proc/25956/task/25967/stat : 25967 (java) S 25938 25938 23167 0 -1 1077944384 686 0 0 0 25 0 0 0 20 0 19 0 224389014 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693364177136 139693919795842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25968] ppid=25938 vsize=8068220 memory=34496 CPUtime=0.24 cores=0,2,4,6
/proc/25956/task/25968/stat : 25968 (java) S 25938 25938 23167 0 -1 1077944384 683 0 0 0 24 0 0 0 20 0 19 0 224389014 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693363124336 139693919795842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25969] ppid=25938 vsize=8068220 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25969/stat : 25969 (java) S 25938 25938 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224389014 8261857280 33115 33554432000 4194304 4196468 140728395676016 139691730921696 139693919794901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
[pid=25956/tid=25970] ppid=25938 vsize=8068220 memory=496 CPUtime=0 cores=0,2,4,6
/proc/25956/task/25970/stat : 25970 (java) S 25938 25938 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224389015 8261857280 33115 33554432000 4194304 4196468 140728395676016 139693362072752 139693919795842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140728395682997 140728395683121 140728395683121 140728395685839 0
Current children cumulated CPU time: 17.63 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 133932 KiB
Child status: 0
Real time (s): 7.63869
CPU time (s): 18.1154
CPU user time (s): 17.2351
CPU system time (s): 0.880289
CPU usage (%): 237.153
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2816616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2351
system time used= 0.880289
maximum resident set size= 2836240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5516
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 25938
# total CPU time (s): 18.1154
# total CPU user time (s): 17.2351
# total CPU system time (s): 0.880289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077949 second user time and 0.113925 second system time
The end