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-22567-serial-file.bin HOME/instance-4305586-1534072582.xml
0.67/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Sun Aug 12 13:16:23 CEST 2018
0.67/0.55 c PID: 22570
0.67/0.55 c IP: 172.20.3.103
0.67/0.55 c HOST: node103.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.19/0.87 c (0,0) Parsing End
1.19/0.88 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 42 ctr, max domain size 28
1.19/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.88 c (0,0) Constraint Name Generate Begin
1.19/0.88 c (0,0) Ctr:HOME/instance-4305586-1534072582.xml,Add:Element:Eq:IntVar:Num
1.19/0.88 c (0,0) Constraint Name Generate End
1.19/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.88 c (0,0) CSP to CSPinCNF Begin
1.56/1.07 c (0,0) translated 5 (10%) constraints
1.83/1.12 c (0,0) translated 9 (20%) constraints
1.83/1.17 c (0,0) translated 13 (30%) constraints
2.09/1.20 c (0,0) translated 17 (40%) constraints
2.09/1.22 c (0,0) translated 21 (50%) constraints
2.09/1.24 c (0,0) translated 26 (60%) constraints
2.09/1.26 c (0,0) translated 30 (70%) constraints
2.09/1.26 c (0,0) translated 34 (80%) constraints
2.09/1.26 c (0,0) translated 38 (90%) constraints
2.09/1.26 c (0,0) translated 42 (100%) constraints
2.39/1.30 c (0,0) STATISTICS1:HOME/instance-4305586-1534072582.xml,Add:Element:Eq:IntVar:Num,56,798,26,26,3,2,26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2,26:58;25:58;24:58;23:58;22:58;21:58;20:58;19:58;18:58;17:58;16:58;15:58;14:842;13:58,3:784;1:14,2:28;1:2352,
2.39/1.30 c (0,0) ==========================================
2.39/1.30 c (0,0) Both Encoding selects:
2.39/1.30 c (0,0) Order
2.39/1.30 c (0,0) ==========================================
2.39/1.35 c (0,0) translated 80 (10%) constraints
2.39/1.38 c (0,0) translated 160 (20%) constraints
2.65/1.41 c (0,0) translated 240 (30%) constraints
2.65/1.43 c (0,0) translated 320 (40%) constraints
2.65/1.45 c (0,0) translated 399 (50%) constraints
2.65/1.46 c (0,0) translated 479 (60%) constraints
2.65/1.47 c (0,0) translated 559 (70%) constraints
2.65/1.48 c (0,0) translated 639 (80%) constraints
2.65/1.49 c (0,0) translated 719 (90%) constraints
2.92/1.51 c (0,0) translated 798 (100%) constraints
2.92/1.51 c (0,0) CSP to CSPinCNF End
2.92/1.52 c (0,0) CSP: 56 int (0 aux), 392 bool (392 aux), 2380 ctr, max domain size 26
2.92/1.52 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.92/1.52 c (0,0) CSPinCNF Propagation Begin
2.92/1.57 c (1,1) 0 values, 294 unsatisfiable literals, and 350 valid clauses are removed
2.92/1.57 c (1,1) CSPinCNF Propagation End
2.92/1.57 c (1,1) CSP: 56 int (0 aux), 392 bool (392 aux), 2030 ctr, max domain size 26
2.92/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.92/1.57 c (1,1) Simplify CSPinCNF Begin
2.92/1.58 c (1,1) Simplify CSPinCNF End
2.92/1.58 c (1,1) CSP: 56 int (0 aux), 392 bool (392 aux), 2030 ctr, max domain size 26
2.92/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.92/1.58 c (1,1) Calculate Precise Domain Begin
2.92/1.58 c (1,1) 0 values are removed by re-calculation
2.92/1.58 c (1,1) Calculate Precise Domain End
2.92/1.58 c (1,1) CSP: 56 int (0 aux), 392 bool (392 aux), 2030 ctr, max domain size 26
2.92/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.92/1.58 c (1,1) CSPinCNF to SatSolver Begin
3.30/1.64 c (1,1) 203 (10 %) CSP clauses are encoded (1274 SAT variables, 1028 SAT clauses)
3.30/1.65 c (1,1) 406 (20 %) CSP clauses are encoded (1274 SAT variables, 1231 SAT clauses)
3.30/1.66 c (1,1) 609 (30 %) CSP clauses are encoded (1274 SAT variables, 1434 SAT clauses)
3.30/1.66 c (1,1) 812 (40 %) CSP clauses are encoded (1274 SAT variables, 1637 SAT clauses)
3.30/1.66 c (1,1) 1015 (50 %) CSP clauses are encoded (1274 SAT variables, 1840 SAT clauses)
3.30/1.67 c (1,1) 1218 (60 %) CSP clauses are encoded (1274 SAT variables, 2043 SAT clauses)
3.30/1.67 c (1,1) 1421 (70 %) CSP clauses are encoded (1274 SAT variables, 2246 SAT clauses)
3.30/1.67 c (1,1) 1624 (80 %) CSP clauses are encoded (1274 SAT variables, 2449 SAT clauses)
3.30/1.68 c (1,1) 1827 (90 %) CSP clauses are encoded (1274 SAT variables, 2652 SAT clauses)
3.30/1.70 c (1,1) 2030 (100 %) CSP clauses are encoded (1274 SAT variables, 3334 SAT clauses)
3.30/1.70 c (1,1) Launch Command will be: minisat_release
3.30/1.70 c (1,1) CSPinCNF to SatSolver End
3.30/1.70 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.57/1.72 c (1,1) STATISTICS2:HOME/instance-4305586-1534072582.xml,Add:Element:Eq:IntVar:Num,448,2030,26,26,3,2,26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2,26:104;25:100;24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:64;15:60;14:1512;13:52;2:2002,3:490;2:1512;1:28,2:28;1:4494,
3.57/1.72 c (1,1) 1274 bool, 3346 clause
3.57/1.72 c (1,1) Export Begin
3.84/1.80 c (1,1) Export to HOME/scop-22567-serial-file.bin
3.84/1.80 c (1,1) Export End
3.84/1.80 c (1,1) Export File Size: 0.01 MB
3.84/1.80 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
3.84/1.80 c END-Prog: Sun Aug 12 13:16:24 CEST 2018
3.84/1.81 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22567-serial-file.bin
4.48/2.31 c (0,0) Read Serial File Begin
4.48/2.31 c (0,0) HOME/scop-22567-serial-file.bin
4.64/2.46 c (0,0) Read Serial File End
4.64/2.48
4.64/2.48 scop order+minisat_release (2018-07-31)
4.64/2.48 (Solving Process)
4.64/2.48
4.79/2.50 c BEGIN-Prog: Sun Aug 12 13:16:25 CEST 2018
4.79/2.50 c PID: 22585
4.79/2.50 c IP: 172.20.3.103
4.79/2.50 c HOST: node103.alineos.net
4.79/2.50 c (0,0) SatSolver.solve Begin
4.79/2.50 c (0,0) 0 bool, 0 clause
4.79/2.50 c (0,0) minisat_release HOME/instance-4305586-1534072582.xml-scop-22570.cnf
2516.37/2512.90 c (2510,0) c This is COMiniSatPS.
2516.37/2512.90 c (2510,0) c WARNING: for repeatability, setting FPU to use double precision
2516.37/2512.90 c (2510,0) c ============================[ Problem Statistics ]=============================
2516.37/2512.90 c (2510,0) c | |
2516.37/2512.90 c (2510,0) c | Number of variables: 1274 |
2516.37/2512.90 c (2510,0) c | Number of clauses: 3346 |
2516.37/2512.90 c (2510,0) c | Parse time: 0.00 s |
2516.37/2512.90 c (2510,0) c | Eliminated clauses: 0.02 Mb |
2516.37/2512.90 c (2510,0) c Reduced to 736 vars, 2307 cls (grow=0)
2516.37/2512.90 c (2510,0) c No iterative elimination performed. (vars=736, c/v ratio=3.1)
2516.37/2512.90 c (2510,0) c | Simplification time: 0.00 s |
2516.37/2512.90 c (2510,0) c | |
2516.37/2512.90 c (2510,0) c ============================[ Search Statistics ]==============================
2516.37/2512.90 c (2510,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2516.37/2512.90 c (2510,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2516.37/2512.90 c (2510,0) c ===============================================================================
2516.37/2512.90 c (2510,0) c Switched to VSIDS.
2520.07/2516.60 c (2514,0) SatSolver is killed by some reasons.
2520.07/2516.60 c (2514,0) receiving signal SIGTERM
2520.07/2516.60 s UNKNOWN
2520.07/2516.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2516.61 c (scop.sh) Killing background jobs.
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8014 MiB free)
memory of node 1: 16384 MiB (8551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305586-1534072582/watcher-4305586-1534072582 -o /tmp/evaluation-result-4305586-1534072582/solver-4305586-1534072582 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305586-1534072582.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
solver pid=22567, runsolver pid=22564
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 2.48 2.16 2.09 3/222 22584
/proc/meminfo: memFree=16903168/32770624 swapFree=67058736/67108860
[pid=22567] ppid=22564 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22567/stat : 22567 (scop.sh) S 22564 22567 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224821395 115843072 349 33554432000 4194304 5098028 140726109050624 140726109047880 139775757079164 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13631488 140726109054017 140726109054215 140726109054215 140726109056973 0
/proc/22567/statm: 28282 349 296 221 0 87 0
[pid=22570] ppid=22567 vsize=15012476 memory=73604 CPUtime=0.11 cores=0,2,4,6
/proc/22570/stat : 22570 (java) S 22567 22567 20606 0 -1 1077944320 6485 0 0 0 9 2 0 0 20 0 15 0 224821395 15372775424 18401 33554432000 4194304 4196468 140732519091824 140732519074368 140111322701559 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
/proc/22570/statm: 3753119 18401 2771 1 0 3715579 0
[pid=22570/tid=22571] ppid=22567 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=0,2,4,6
/proc/22570/task/22571/stat : 22571 (java) R 22567 22567 20606 0 -1 4202560 4586 0 0 0 8 1 0 0 20 0 15 0 224821396 15372775424 18401 33554432000 4194304 4196468 140732519091824 140111294503640 140111304265097 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22572] ppid=22567 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22572/stat : 22572 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 18401 33554432000 4194304 4196468 140732519091824 140111326944144 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22573] ppid=22567 vsize=15012476 memory=139952783066752 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22573/stat : 22573 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 18401 33554432000 4194304 4196468 140732519091824 140111102647056 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22574] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22574/stat : 22574 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 18401 33554432000 4194304 4196468 140732519091824 140111101594768 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22575] ppid=22567 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22575/stat : 22575 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 18401 33554432000 4194304 4196468 140732519091824 140111100541968 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22576] ppid=22567 vsize=15012476 memory=139952783066752 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22576/stat : 22576 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224821399 15372775424 18401 33554432000 4194304 4196468 140732519091824 140110661122160 140111322712706 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22577] ppid=22567 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22577/stat : 22577 (java) S 22567 22567 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224821399 15372775424 18401 33554432000 4194304 4196468 140732519091824 140109919806240 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22578] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22578/stat : 22578 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821399 15372775424 18401 33554432000 4194304 4196468 140732519091824 140109684925552 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22579] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22579/stat : 22579 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 18401 33554432000 4194304 4196468 140732519091824 140109310416976 140111322720155 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22580] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22580/stat : 22580 (java) S 22567 22567 20606 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 18401 33554432000 4194304 4196468 140732519091824 140110660070000 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22581] ppid=22567 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22581/stat : 22581 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 18401 33554432000 4194304 4196468 140732519091824 140110659017200 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22582] ppid=22567 vsize=15012476 memory=139952783066752 CPUtime=0.01 cores=0,2,4,6
/proc/22570/task/22582/stat : 22582 (java) R 22567 22567 20606 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 224821402 15372775424 18401 33554432000 4194304 4196468 140732519091824 140110657964912 140111307253632 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22583] ppid=22567 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22583/stat : 22583 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 18401 33554432000 4194304 4196468 140732519091824 140108812512224 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22584] ppid=22567 vsize=15012476 memory=139952783066752 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22584/stat : 22584 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 18401 33554432000 4194304 4196468 140732519091824 140110656911792 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75000 KiB
[startup+0.210572 s]*
/proc/loadavg: 2.48 2.16 2.09 3/222 22584
/proc/meminfo: memFree=16889340/32770624 swapFree=67058736/67108860
[pid=22567] ppid=22564 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22567/stat : 22567 (scop.sh) S 22564 22567 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224821395 115843072 349 33554432000 4194304 5098028 140726109050624 140726109047880 139775757079164 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13631488 140726109054017 140726109054215 140726109054215 140726109056973 0
/proc/22567/statm: 28282 349 296 221 0 87 0
[pid=22570] ppid=22567 vsize=15012476 memory=86680 CPUtime=0.26 cores=0,2,4,6
/proc/22570/stat : 22570 (java) S 22567 22567 20606 0 -1 1077944320 10001 0 0 0 23 3 0 0 20 0 15 0 224821395 15372775424 21670 33554432000 4194304 4196468 140732519091824 140732519074368 140111322701559 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
/proc/22570/statm: 3753119 21670 2907 1 0 3715579 0
[pid=22570/tid=22571] ppid=22567 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/22570/task/22571/stat : 22571 (java) R 22567 22567 20606 0 -1 4202560 7922 0 0 0 18 2 0 0 20 0 15 0 224821396 15372775424 21670 33554432000 4194304 4196468 140732519091824 140111294526656 140111322713494 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22572] ppid=22567 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22572/stat : 22572 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 21670 33554432000 4194304 4196468 140732519091824 140111326944144 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22573] ppid=22567 vsize=15012476 memory=139952784253210 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22573/stat : 22573 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 21670 33554432000 4194304 4196468 140732519091824 140111102647056 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22574] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22574/stat : 22574 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 21670 33554432000 4194304 4196468 140732519091824 140111101594768 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22575] ppid=22567 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22575/stat : 22575 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 21670 33554432000 4194304 4196468 140732519091824 140111100541968 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22576] ppid=22567 vsize=15012476 memory=139952783066752 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22576/stat : 22576 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224821399 15372775424 21670 33554432000 4194304 4196468 140732519091824 140110661122160 140111322712706 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22577] ppid=22567 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22577/stat : 22577 (java) S 22567 22567 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224821399 15372775424 21670 33554432000 4194304 4196468 140732519091824 140109919806240 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22578] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22578/stat : 22578 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821399 15372775424 21670 33554432000 4194304 4196468 140732519091824 140109684925552 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22579] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22579/stat : 22579 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 21670 33554432000 4194304 4196468 140732519091824 140109310416976 140111322720155 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22580] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22580/stat : 22580 (java) S 22567 22567 20606 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 21670 33554432000 4194304 4196468 140732519091824 140110660070000 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22581] ppid=22567 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22581/stat : 22581 (java) S 22567 22567 20606 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 21670 33554432000 4194304 4196468 140732519091824 140110659017200 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22582] ppid=22567 vsize=15012476 memory=139952783066752 CPUtime=0.03 cores=0,2,4,6
/proc/22570/task/22582/stat : 22582 (java) R 22567 22567 20606 0 -1 4202560 285 0 0 0 3 0 0 0 20 0 15 0 224821402 15372775424 21670 33554432000 4194304 4196468 140732519091824 140110657964912 140111314938686 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22583] ppid=22567 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22583/stat : 22583 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 21670 33554432000 4194304 4196468 140732519091824 140108812512224 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22584] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22584/stat : 22584 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 21670 33554432000 4194304 4196468 140732519091824 140110656911792 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88076 KiB
[startup+0.310527 s]*
/proc/loadavg: 2.48 2.16 2.09 3/222 22584
/proc/meminfo: memFree=16885492/32770624 swapFree=67058736/67108860
[pid=22567] ppid=22564 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22567/stat : 22567 (scop.sh) S 22564 22567 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224821395 115843072 349 33554432000 4194304 5098028 140726109050624 140726109047880 139775757079164 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13631488 140726109054017 140726109054215 140726109054215 140726109056973 0
/proc/22567/statm: 28282 349 296 221 0 87 0
[pid=22570] ppid=22567 vsize=15012476 memory=90472 CPUtime=0.43 cores=0,2,4,6
/proc/22570/stat : 22570 (java) S 22567 22567 20606 0 -1 1077944320 10540 0 0 0 40 3 0 0 20 0 15 0 224821395 15372775424 22618 33554432000 4194304 4196468 140732519091824 140732519074368 140111322701559 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
/proc/22570/statm: 3753119 22618 3016 1 0 3715579 0
[pid=22570/tid=22571] ppid=22567 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22570/task/22571/stat : 22571 (java) R 22567 22567 20606 0 -1 4202560 8297 0 0 0 27 2 0 0 20 0 15 0 224821396 15372775424 22618 33554432000 4194304 4196468 140732519091824 140111294496560 140111306782046 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22572] ppid=22567 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22572/stat : 22572 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 22618 33554432000 4194304 4196468 140732519091824 140111326944144 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22573] ppid=22567 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22573/stat : 22573 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 22618 33554432000 4194304 4196468 140732519091824 140111102647056 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22574] ppid=22567 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22574/stat : 22574 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 22618 33554432000 4194304 4196468 140732519091824 140111101594768 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22575] ppid=22567 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22575/stat : 22575 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15372775424 22618 33554432000 4194304 4196468 140732519091824 140111100541968 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22576] ppid=22567 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22576/stat : 22576 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224821399 15372775424 22618 33554432000 4194304 4196468 140732519091824 140110661122160 140111322712706 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22577] ppid=22567 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22577/stat : 22577 (java) S 22567 22567 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224821399 15372775424 22618 33554432000 4194304 4196468 140732519091824 140109919806240 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22578] ppid=22567 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22578/stat : 22578 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821399 15372775424 22618 33554432000 4194304 4196468 140732519091824 140109684925552 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22579] ppid=22567 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22579/stat : 22579 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 22618 33554432000 4194304 4196468 140732519091824 140109310416976 140111322720155 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22580] ppid=22567 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22570/task/22580/stat : 22580 (java) S 22567 22567 20606 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 224821402 15372775424 22618 33554432000 4194304 4196468 140732519091824 140110660070000 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22581] ppid=22567 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22570/task/22581/stat : 22581 (java) S 22567 22567 20606 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 15 0 224821402 15372775424 22618 33554432000 4194304 4196468 140732519091824 140110659017200 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22582] ppid=22567 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22570/task/22582/stat : 22582 (java) S 22567 22567 20606 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 15 0 224821402 15372775424 22618 33554432000 4194304 4196468 140732519091824 140110657964912 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22583] ppid=22567 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22583/stat : 22583 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 22618 33554432000 4194304 4196468 140732519091824 140108812512224 140111322711765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22584] ppid=22567 vsize=15012476 memory=3472898942829666353 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22584/stat : 22584 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821402 15372775424 22618 33554432000 4194304 4196468 140732519091824 140110656911792 140111322712706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91868 KiB
[startup+0.702482 s]
/proc/loadavg: 2.48 2.16 2.09 3/222 22584
/proc/meminfo: memFree=16861432/32770624 swapFree=67058736/67108860
[pid=22567] ppid=22564 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22567/stat : 22567 (scop.sh) S 22564 22567 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224821395 115843072 349 33554432000 4194304 5098028 140726109050624 140726109047880 139775757079164 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13631488 140726109054017 140726109054215 140726109054215 140726109056973 0
/proc/22567/statm: 28282 349 296 221 0 87 0
[pid=22570] ppid=22567 vsize=15020872 memory=129724 CPUtime=1.01 cores=0,2,4,6
/proc/22570/stat : 22570 (java) S 22567 22567 20606 0 -1 1077944320 17588 0 0 0 96 5 0 0 20 0 15 0 224821395 15381372928 32431 33554432000 4194304 4196468 140732519091824 140732519074368 140111322701559 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
/proc/22570/statm: 3755218 32431 3158 1 0 3716603 0
[pid=22570/tid=22571] ppid=22567 vsize=15020872 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/22570/task/22571/stat : 22571 (java) R 22567 22567 20606 0 -1 4202560 14929 0 0 0 63 4 0 0 20 0 15 0 224821396 15381372928 32431 33554432000 4194304 4196468 140732519091824 140111294535056 140111322723485 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22572] ppid=22567 vsize=15020872 memory=116 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22572/stat : 22572 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224821397 15381372928 32431 33554432000 4194304 4196468 140732519091824 140111326944144 140111322711765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22573] ppid=22567 vsize=15020872 memory=12922 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22573/stat : 22573 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15381372928 32431 33554432000 4194304 4196468 140732519091824 140111102647056 140111322711765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22574] ppid=22567 vsize=15020872 memory=448505 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22574/stat : 22574 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15381372928 32431 33554432000 4194304 4196468 140732519091824 140111101594768 140111322711765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22575] ppid=22567 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22575/stat : 22575 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821397 15381372928 32431 33554432000 4194304 4196468 140732519091824 140111100541968 140111322711765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22576] ppid=22567 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22576/stat : 22576 (java) S 22567 22567 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224821399 15381372928 32431 33554432000 4194304 4196468 140732519091824 140110661122160 140111322712706 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22577] ppid=22567 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22577/stat : 22577 (java) S 22567 22567 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224821399 15381372928 32431 33554432000 4194304 4196468 140732519091824 140109919806240 140111322711765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22578] ppid=22567 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22578/stat : 22578 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821399 15381372928 32431 33554432000 4194304 4196468 140732519091824 140109684925552 140111322711765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22579] ppid=22567 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22579/stat : 22579 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224821402 15381372928 32431 33554432000 4194304 4196468 140732519091824 140109310416976 140111322720155 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22580] ppid=22567 vsize=15020872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22570/task/22580/stat : 22580 (java) S 22567 22567 20606 0 -1 1077944384 461 0 0 0 7 0 0 0 20 0 15 0 224821402 15381372928 32431 33554432000 4194304 4196468 140732519091824 140110660070000 140111322712706 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22581] ppid=22567 vsize=15020872 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22570/task/22581/stat : 22581 (java) S 22567 22567 20606 0 -1 1077944384 463 0 0 0 9 0 0 0 20 0 15 0 224821402 15381372928 32431 33554432000 4194304 4196468 140732519091824 140110659017200 140111322712706 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22582] ppid=22567 vsize=15020872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/22570/task/22582/stat : 22582 (java) S 22567 22567 20606 0 -1 1077944384 400 0 0 0 15 0 0 0 20 0 15 0 224821402 15381372928 32431 33554432000 4194304 4196468 140732519091824 140110657964912 140111322712706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22583] ppid=22567 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22583/stat : 22583 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224821402 15381372928 32431 33554432000 4194304 4196468 140732519091824 140108812512224 140111322711765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
[pid=22570/tid=22584] ppid=22567 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22570/task/22584/stat : 22584 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224821402 15381372928 32431 33554432000 4194304 4196468 140732519091824 140110656911792 140111322712706 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37076992 140732519097351 140732519097649 140732519097649 140732519100367 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131120 KiB
[startup+1.50082 s]
/proc/loadavg: 2.36 2.14 2.09 3/222 22584
/proc/meminfo: memFree=16833452/32770624 swapFree=67058736/67108860
[pid=22567] ppid=22564 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22567/stat : 22567 (scop.sh) S 22564 22567 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224821395 115843072 349 33554432000 4194304 5098028 140726109050624 140726109047880 139775757079164 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13631488 140726109054017 140726109054215 140726109054215 140726109056973 0
/proc/22567/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=22585/tid=22588] ppid=22567 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22588/stat : 22588 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032876010640 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22589] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22589/stat : 22589 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032874957584 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22590] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22590/stat : 22590 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032873905040 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22591] ppid=22567 vsize=8068220 memory=116424 CPUtime=0.04 cores=0,2,4,6
/proc/22585/task/22591/stat : 22591 (java) S 22567 22567 20606 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224821580 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032518088944 140033071610498 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22592] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22592/stat : 22592 (java) S 22567 22567 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224821580 8261857280 29106 33554432000 4194304 4196468 140724421677488 140031905752224 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22593] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22593/stat : 22593 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821580 8261857280 29106 33554432000 4194304 4196468 140724421677488 140031637316336 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22594] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22594/stat : 22594 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140031262808016 140033071617947 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22595] ppid=22567 vsize=8068220 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/22585/task/22595/stat : 22595 (java) S 22567 22567 20606 0 -1 1077944384 661 0 0 0 9 1 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032517036784 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22596] ppid=22567 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/22585/task/22596/stat : 22596 (java) S 22567 22567 20606 0 -1 1077944384 285 0 0 0 8 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032515984240 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22597] ppid=22567 vsize=8068220 memory=812 CPUtime=0.19 cores=0,2,4,6
/proc/22585/task/22597/stat : 22597 (java) S 22567 22567 20606 0 -1 1077944384 513 0 0 0 19 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032514931184 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22598] ppid=22567 vsize=8068220 memory=1932 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22598/stat : 22598 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140030764903264 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22599] ppid=22567 vsize=8068220 memory=116424 CPUtime=0.99 cores=0,2,4,6
/proc/22585/task/22599/stat : 22599 (java) S 22567 22567 20606 0 -1 1077944384 163 0 0 0 49 50 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032513878576 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22601] ppid=22567 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22601/stat : 22601 (java) S 22567 22567 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224821648 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032510358848 140033071623961 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22603] ppid=22567 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22603/stat : 22603 (java) S 22567 22567 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224821648 8261857280 29106 33554432000 4194304 4196468 140724421677488 140030228016528 140033071621277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22604] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22604/stat : 22604 (java) S 22567 22567 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224821648 8261857280 29106 33554432000 4194304 4196468 140724421677488 140030362238992 140033071621277 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22605] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22605/stat : 22605 (java) S 22567 22567 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224821651 8261857280 29106 33554432000 4194304 4196468 140724421677488 140029959593760 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
Current children cumulated CPU time: 2445.73 s
Current children cumulated vsize: 8261964 KiB
Current children cumulated memory: 181456 KiB
[startup+2502.3 s]
/proc/loadavg: 2.24 2.14 2.10 3/227 23274
/proc/meminfo: memFree=16873240/32770624 swapFree=67058740/67108860
[pid=22567] ppid=22564 vsize=113128 memory=1472 CPUtime=3.86 cores=0,2,4,6
/proc/22567/stat : 22567 (scop.sh) S 22564 22567 20606 0 -1 4202496 591 23255 0 0 0 0 376 10 20 0 1 0 224821395 115843072 368 33554432000 4194304 5098028 140726109050624 140726109047368 139775757079164 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13631488 140726109054017 140726109054215 140726109054215 140726109056973 0
/proc/22567/statm: 28282 368 311 221 0 87 0
[pid=22585] ppid=22567 vsize=8068220 memory=116424 CPUtime=2.21 cores=0,2,4,6
/proc/22585/stat : 22585 (java) S 22567 22567 20606 0 -1 1077944320 18005 0 0 0 167 54 0 0 20 0 19 0 224821577 8261857280 29106 33554432000 4194304 4196468 140724421677488 140724421660032 140033071599351 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
/proc/22585/statm: 2017055 29106 3145 1 0 1978454 0
[pid=22600] ppid=22585 vsize=80616 memory=63560 CPUtime=2499.69 cores=0,2,4,6
/proc/22600/stat : 22600 (minisat_release) R 22585 22567 20606 0 -1 4202496 138374 0 0 0 249957 12 0 0 20 0 1 0 224821648 82550784 15890 33554432000 4194304 4308513 140723863606384 140723863603384 4276015 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 29884416 140723863610484 140723863610582 140723863610582 140723863613381 0
/proc/22600/statm: 20154 15890 339 28 0 16394 0
[pid=22585/tid=22586] ppid=22567 vsize=8068220 memory=116424 CPUtime=0.72 cores=0,2,4,6
/proc/22585/task/22586/stat : 22586 (java) S 22567 22567 20606 0 -1 1077944384 14970 0 0 0 67 5 0 0 20 0 19 0 224821577 8261857280 29106 33554432000 4194304 4196468 140724421677488 140033043439504 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22587] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22587/stat : 22587 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140033075842064 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22588] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22588/stat : 22588 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032876010640 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22589] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22589/stat : 22589 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032874957584 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22590] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22590/stat : 22590 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032873905040 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22591] ppid=22567 vsize=8068220 memory=116424 CPUtime=0.04 cores=0,2,4,6
/proc/22585/task/22591/stat : 22591 (java) S 22567 22567 20606 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224821580 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032518088944 140033071610498 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22592] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22592/stat : 22592 (java) S 22567 22567 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224821580 8261857280 29106 33554432000 4194304 4196468 140724421677488 140031905752224 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22593] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22593/stat : 22593 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821580 8261857280 29106 33554432000 4194304 4196468 140724421677488 140031637316336 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22594] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22594/stat : 22594 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140031262808016 140033071617947 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22595] ppid=22567 vsize=8068220 memory=116424 CPUtime=0.1 cores=0,2,4,6
/proc/22585/task/22595/stat : 22595 (java) S 22567 22567 20606 0 -1 1077944384 661 0 0 0 9 1 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032517036784 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22596] ppid=22567 vsize=8068220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22585/task/22596/stat : 22596 (java) S 22567 22567 20606 0 -1 1077944384 285 0 0 0 8 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032515984240 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22597] ppid=22567 vsize=8068220 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/22585/task/22597/stat : 22597 (java) S 22567 22567 20606 0 -1 1077944384 513 0 0 0 19 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032514931184 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22598] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22598/stat : 22598 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140030764903264 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22599] ppid=22567 vsize=8068220 memory=116424 CPUtime=1.03 cores=0,2,4,6
/proc/22585/task/22599/stat : 22599 (java) S 22567 22567 20606 0 -1 1077944384 167 0 0 0 51 52 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032513878576 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22601] ppid=22567 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22601/stat : 22601 (java) S 22567 22567 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224821648 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032510358848 140033071623961 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22603] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22603/stat : 22603 (java) S 22567 22567 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224821648 8261857280 29106 33554432000 4194304 4196468 140724421677488 140030228016528 140033071621277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22604] ppid=22567 vsize=8068220 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22604/stat : 22604 (java) S 22567 22567 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224821648 8261857280 29106 33554432000 4194304 4196468 140724421677488 140030362238992 140033071621277 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22605] ppid=22567 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22605/stat : 22605 (java) S 22567 22567 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224821651 8261857280 29106 33554432000 4194304 4196468 140724421677488 140029959593760 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
Current children cumulated CPU time: 2505.76 s
Current children cumulated vsize: 8261964 KiB
Current children cumulated memory: 181456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.6 s]
/proc/loadavg: 2.20 2.14 2.09 3/227 23274
/proc/meminfo: memFree=16863620/32770624 swapFree=67058740/67108860
[pid=22567] ppid=22564 vsize=113128 memory=1472 CPUtime=3.86 cores=0,2,4,6
/proc/22567/stat : 22567 (scop.sh) S 22564 22567 20606 0 -1 4202496 591 23255 0 0 0 0 376 10 20 0 1 0 224821395 115843072 368 33554432000 4194304 5098028 140726109050624 140726109047368 139775757079164 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13631488 140726109054017 140726109054215 140726109054215 140726109056973 0
/proc/22567/statm: 28282 368 311 221 0 87 0
[pid=22585] ppid=22567 vsize=8068220 memory=116424 CPUtime=2.22 cores=0,2,4,6
/proc/22585/stat : 22585 (java) S 22567 22567 20606 0 -1 1077944320 18014 0 0 0 168 54 0 0 20 0 19 0 224821577 8261857280 29106 33554432000 4194304 4196468 140724421677488 140724421660032 140033071599351 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
/proc/22585/statm: 2017055 29106 3145 1 0 1978454 0
[pid=22600] ppid=22585 vsize=87796 memory=70912 CPUtime=2513.99 cores=0,2,4,6
/proc/22600/stat : 22600 (minisat_release) R 22585 22567 20606 0 -1 4202496 138966 0 0 0 251387 12 0 0 20 0 1 0 224821648 89903104 17728 33554432000 4194304 4308513 140723863606384 140723863603880 4276015 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 29884416 140723863610484 140723863610582 140723863610582 140723863613381 0
/proc/22600/statm: 21949 17728 340 28 0 18189 0
[pid=22585/tid=22586] ppid=22567 vsize=8068220 memory=279905300381936 CPUtime=0.72 cores=0,2,4,6
/proc/22585/task/22586/stat : 22586 (java) S 22567 22567 20606 0 -1 1077944384 14970 0 0 0 67 5 0 0 20 0 19 0 224821577 8261857280 29106 33554432000 4194304 4196468 140724421677488 140033043439504 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22587] ppid=22567 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22587/stat : 22587 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140033075842064 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22588] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22588/stat : 22588 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032876010640 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22589] ppid=22567 vsize=8068220 memory=70912 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22589/stat : 22589 (java) S 22567 22567 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032874957584 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22590] ppid=22567 vsize=8068220 memory=1860 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22590/stat : 22590 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821578 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032873905040 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22591] ppid=22567 vsize=8068220 memory=32240 CPUtime=0.04 cores=0,2,4,6
/proc/22585/task/22591/stat : 22591 (java) S 22567 22567 20606 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224821580 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032518088944 140033071610498 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22592] ppid=22567 vsize=8068220 memory=13808 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22592/stat : 22592 (java) S 22567 22567 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224821580 8261857280 29106 33554432000 4194304 4196468 140724421677488 140031905752224 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22593] ppid=22567 vsize=8068220 memory=524 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22593/stat : 22593 (java) S 22567 22567 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224821580 8261857280 29106 33554432000 4194304 4196468 140724421677488 140031637316336 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22594] ppid=22567 vsize=8068220 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22594/stat : 22594 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140031262808016 140033071617947 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22595] ppid=22567 vsize=8068220 memory=924 CPUtime=0.1 cores=0,2,4,6
/proc/22585/task/22595/stat : 22595 (java) S 22567 22567 20606 0 -1 1077944384 661 0 0 0 9 1 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032517036784 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22596] ppid=22567 vsize=8068220 memory=1140 CPUtime=0.09 cores=0,2,4,6
/proc/22585/task/22596/stat : 22596 (java) S 22567 22567 20606 0 -1 1077944384 285 0 0 0 9 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032515984240 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22597] ppid=22567 vsize=8068220 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/22585/task/22597/stat : 22597 (java) S 22567 22567 20606 0 -1 1077944384 515 0 0 0 19 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032514931184 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22598] ppid=22567 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22598/stat : 22598 (java) S 22567 22567 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140030764903264 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22599] ppid=22567 vsize=8068220 memory=70836 CPUtime=1.03 cores=0,2,4,6
/proc/22585/task/22599/stat : 22599 (java) S 22567 22567 20606 0 -1 1077944384 169 0 0 0 51 52 0 0 20 0 19 0 224821583 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032513878576 140033071610498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22601] ppid=22567 vsize=8068220 memory=-7824251494390715750 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22601/stat : 22601 (java) S 22567 22567 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224821648 8261857280 29106 33554432000 4194304 4196468 140724421677488 140032510358848 140033071623961 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22603] ppid=22567 vsize=8068220 memory=63560 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22603/stat : 22603 (java) S 22567 22567 20606 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 224821648 8261857280 29106 33554432000 4194304 4196468 140724421677488 140030228016528 140033071621277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22604] ppid=22567 vsize=8068220 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22604/stat : 22604 (java) S 22567 22567 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224821648 8261857280 29106 33554432000 4194304 4196468 140724421677488 140030362238992 140033071621277 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
[pid=22585/tid=22605] ppid=22567 vsize=8068220 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/22585/task/22605/stat : 22605 (java) S 22567 22567 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224821651 8261857280 29106 33554432000 4194304 4196468 140724421677488 140029959593760 140033071609557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36077568 140724421686453 140724421686577 140724421686577 140724421689295 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8269144 KiB
Current children cumulated memory: 188808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.61 s]
# the end of solver process 22567 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.76925 s, system=0.106711 s
[startup+2516.61 s]
# the end of solver process 22585 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.34 s, system=0.784625 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2516.61
CPU time (s): 2520.12
CPU user time (s): 2519.34
CPU system time (s): 0.784625
CPU usage (%): 100.139
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 222068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.34
system time used= 0.784625
maximum resident set size= 223116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58943
involuntary context switches= 3174
# summary of solver processes directly reported to runsolver:
# pid: 22567,22585
# total CPU time (s): 2520.12
# total CPU user time (s): 2519.34
# total CPU system time (s): 0.784625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6978 second user time and 26.132 second system time
The end