0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-6797-serial-file.bin HOME/instance-4305349-1534072514.xml
0.65/0.52
0.65/0.53 scop order+minisat_release (2018-07-31)
0.65/0.53 (Encoding Process)
0.65/0.53
0.65/0.55 c BEGIN-Prog: Sun Aug 12 13:15:15 CEST 2018
0.65/0.55 c PID: 6800
0.65/0.55 c IP: 172.20.3.151
0.65/0.55 c HOST: node151.alineos.net
0.65/0.56 c (0,0) Parsing Begin
1.17/0.87 c (0,0) Parsing End
1.17/0.88 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 39 ctr, max domain size 26
1.17/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.17/0.88 c (0,0) Constraint Name Generate Begin
1.17/0.89 c (0,0) Ctr:HOME/instance-4305349-1534072514.xml,Add:Element:Eq:IntVar:Num
1.17/0.89 c (0,0) Constraint Name Generate End
1.17/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.17/0.89 c (0,0) CSP to CSPinCNF Begin
1.54/1.06 c (0,0) translated 4 (10%) constraints
1.82/1.11 c (0,0) translated 8 (20%) constraints
1.82/1.16 c (0,0) translated 12 (30%) constraints
2.06/1.20 c (0,0) translated 16 (40%) constraints
2.06/1.21 c (0,0) translated 20 (50%) constraints
2.06/1.23 c (0,0) translated 24 (60%) constraints
2.06/1.25 c (0,0) translated 28 (70%) constraints
2.06/1.25 c (0,0) translated 32 (80%) constraints
2.06/1.25 c (0,0) translated 36 (90%) constraints
2.06/1.25 c (0,0) translated 39 (100%) constraints
2.06/1.30 c (0,0) STATISTICS1:HOME/instance-4305349-1534072514.xml,Add:Element:Eq:IntVar:Num,52,689,24,24,3,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;12:2,24:54;23:54;22:54;21:54;20:54;19:54;18:54;17:54;16:54;15:54;14:54;13:730;12:54,3:676;1:13,2:26;1:2028,
2.06/1.30 c (0,0) ==========================================
2.06/1.30 c (0,0) Order
2.06/1.30 c (0,0) ==========================================
2.33/1.35 c (0,0) translated 69 (10%) constraints
2.33/1.37 c (0,0) translated 138 (20%) constraints
2.33/1.40 c (0,0) translated 207 (30%) constraints
2.63/1.42 c (0,0) translated 276 (40%) constraints
2.90/1.52 c (0,0) translated 345 (50%) constraints
2.90/1.52 c (0,0) translated 414 (60%) constraints
2.90/1.52 c (0,0) translated 483 (70%) constraints
2.90/1.52 c (0,0) translated 552 (80%) constraints
2.90/1.52 c (0,0) translated 621 (90%) constraints
2.90/1.52 c (0,0) translated 689 (100%) constraints
2.90/1.52 c (0,0) CSP to CSPinCNF End
2.90/1.52 c (0,0) CSP: 52 int (0 aux), 338 bool (338 aux), 2054 ctr, max domain size 24
2.90/1.52 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.90/1.52 c (0,0) CSPinCNF Propagation Begin
2.90/1.56 c (1,1) 0 values, 260 unsatisfiable literals, and 312 valid clauses are removed
2.90/1.56 c (1,1) CSPinCNF Propagation End
2.90/1.56 c (1,1) CSP: 52 int (0 aux), 338 bool (338 aux), 1742 ctr, max domain size 24
2.90/1.56 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.90/1.56 c (1,1) Simplify CSPinCNF Begin
2.90/1.57 c (1,1) Simplify CSPinCNF End
2.90/1.57 c (1,1) CSP: 52 int (0 aux), 338 bool (338 aux), 1742 ctr, max domain size 24
2.90/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.90/1.57 c (1,1) Calculate Precise Domain Begin
2.90/1.57 c (1,1) 0 values are removed by re-calculation
2.90/1.57 c (1,1) Calculate Precise Domain End
2.90/1.57 c (1,1) CSP: 52 int (0 aux), 338 bool (338 aux), 1742 ctr, max domain size 24
2.90/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.90/1.57 c (1,1) CSPinCNF to SatSolver Begin
2.90/1.62 c (1,1) 175 (10 %) CSP clauses are encoded (1092 SAT variables, 876 SAT clauses)
3.38/1.64 c (1,1) 349 (20 %) CSP clauses are encoded (1092 SAT variables, 1050 SAT clauses)
3.38/1.65 c (1,1) 523 (30 %) CSP clauses are encoded (1092 SAT variables, 1224 SAT clauses)
3.38/1.65 c (1,1) 697 (40 %) CSP clauses are encoded (1092 SAT variables, 1398 SAT clauses)
3.38/1.65 c (1,1) 871 (50 %) CSP clauses are encoded (1092 SAT variables, 1572 SAT clauses)
3.38/1.66 c (1,1) 1046 (60 %) CSP clauses are encoded (1092 SAT variables, 1747 SAT clauses)
3.38/1.66 c (1,1) 1220 (70 %) CSP clauses are encoded (1092 SAT variables, 1921 SAT clauses)
3.38/1.67 c (1,1) 1394 (80 %) CSP clauses are encoded (1092 SAT variables, 2095 SAT clauses)
3.38/1.67 c (1,1) 1568 (90 %) CSP clauses are encoded (1092 SAT variables, 2269 SAT clauses)
3.38/1.69 c (1,1) 1742 (100 %) CSP clauses are encoded (1092 SAT variables, 2849 SAT clauses)
3.38/1.69 c (1,1) Launch Command will be: minisat_release
3.38/1.69 c (1,1) CSPinCNF to SatSolver End
3.38/1.69 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.61/1.71 c (1,1) STATISTICS2:HOME/instance-4305349-1534072514.xml,Add:Element:Eq:IntVar:Num,390,1742,24,24,3,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;12:2,24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:64;15:60;14:56;13:1300;12:48;2:1716,3:416;2:1300;1:26,2:26;1:3848,
3.61/1.71 c (1,1) 1092 bool, 2860 clause
3.61/1.71 c (1,1) Export Begin
3.61/1.79 c (1,1) Export to HOME/scop-6797-serial-file.bin
3.61/1.79 c (1,1) Export End
3.61/1.79 c (1,1) Export File Size: 0.01 MB
3.61/1.79 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
3.61/1.79 c END-Prog: Sun Aug 12 13:15:16 CEST 2018
0.00/1.80 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-6797-serial-file.bin
4.33/2.29 c (0,0) Read Serial File Begin
4.33/2.29 c (0,0) HOME/scop-6797-serial-file.bin
4.59/2.45 c (0,0) Read Serial File End
4.59/2.46
4.59/2.46 scop order+minisat_release (2018-07-31)
4.59/2.46 (Solving Process)
4.59/2.46
4.59/2.48 c BEGIN-Prog: Sun Aug 12 13:15:17 CEST 2018
4.59/2.48 c PID: 6815
4.59/2.48 c IP: 172.20.3.151
4.59/2.48 c HOST: node151.alineos.net
4.59/2.49 c (0,0) SatSolver.solve Begin
4.59/2.49 c (0,0) 0 bool, 0 clause
4.59/2.49 c (0,0) minisat_release HOME/instance-4305349-1534072514.xml-scop-6800.cnf
2506.67/2503.68 c (2501,0) c This is COMiniSatPS.
2506.67/2503.68 c (2501,0) c WARNING: for repeatability, setting FPU to use double precision
2506.67/2503.68 c (2501,0) c ============================[ Problem Statistics ]=============================
2506.67/2503.68 c (2501,0) c | |
2506.67/2503.68 c (2501,0) c | Number of variables: 1092 |
2506.67/2503.68 c (2501,0) c | Number of clauses: 2860 |
2506.67/2503.69 c (2501,0) c | Parse time: 0.00 s |
2506.67/2503.69 c (2501,0) c | Eliminated clauses: 0.01 Mb |
2506.67/2503.69 c (2501,0) c Reduced to 620 vars, 1957 cls (grow=0)
2506.67/2503.69 c (2501,0) c No iterative elimination performed. (vars=620, c/v ratio=3.2)
2506.67/2503.69 c (2501,0) c | Simplification time: 0.00 s |
2506.67/2503.69 c (2501,0) c | |
2506.67/2503.69 c (2501,0) c ============================[ Search Statistics ]==============================
2506.67/2503.69 c (2501,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2506.67/2503.69 c (2501,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2506.67/2503.69 c (2501,0) c ===============================================================================
2506.67/2503.69 c (2501,0) c Switched to VSIDS.
2520.08/2517.01 c (2514,0) SatSolver is killed by some reasons.
2520.08/2517.01 c (2514,0) receiving signal SIGTERM
2520.08/2517.01 s UNKNOWN
2520.08/2517.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2517.02 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 (2862 MiB free)
memory of node 1: 16384 MiB (5307 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305349-1534072514/watcher-4305349-1534072514 -o /tmp/evaluation-result-4305349-1534072514/solver-4305349-1534072514 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305349-1534072514.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=6797, runsolver pid=6794
[startup+0.100304 s]*
/proc/loadavg: 2.22 2.07 2.06 3/222 6814
/proc/meminfo: memFree=8306312/32770624 swapFree=67108860/67108860
[pid=6797] ppid=6794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6797/stat : 6797 (scop.sh) S 6794 6797 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224814626 115843072 349 33554432000 4194304 5098028 140731679106896 140731679104152 140590213997180 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13127680 140731679110208 140731679110407 140731679110407 140731679113165 0
/proc/6797/statm: 28282 349 296 221 0 87 0
[pid=6800] ppid=6797 vsize=15012476 memory=71432 CPUtime=0.1 cores=0,2,4,6
/proc/6800/stat : 6800 (java) S 6797 6797 3762 0 -1 1077944320 5984 0 0 0 9 1 0 0 20 0 15 0 224814626 15372775424 17858 33554432000 4194304 4196468 140733431889568 140733431872112 140137883647735 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
/proc/6800/statm: 3753119 17858 2746 1 0 3715579 0
[pid=6800/tid=6801] ppid=6797 vsize=15012476 memory=-6526411401870300574 CPUtime=0.08 cores=0,2,4,6
/proc/6800/task/6801/stat : 6801 (java) R 6797 6797 3762 0 -1 4202560 4182 0 0 0 7 1 0 0 20 0 15 0 224814626 15372775424 17924 33554432000 4194304 4196468 140733431889568 140137855453208 140137875884862 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6802] ppid=6797 vsize=15012476 memory=3472468267559409328 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6802/stat : 6802 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 17924 33554432000 4194304 4196468 140733431889568 140137887890576 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6803] ppid=6797 vsize=15012476 memory=139971331729024 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6803/stat : 6803 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 17924 33554432000 4194304 4196468 140733431889568 140137678973968 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6804] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6804/stat : 6804 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 17924 33554432000 4194304 4196468 140733431889568 140137677921168 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6805] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6805/stat : 6805 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 17924 33554432000 4194304 4196468 140733431889568 140137676868368 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6806] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6806/stat : 6806 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814629 15372775424 17924 33554432000 4194304 4196468 140733431889568 140136652810608 140137883658882 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6807] ppid=6797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6807/stat : 6807 (java) S 6797 6797 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814630 15372775424 17924 33554432000 4194304 4196468 140733431889568 140136528471072 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6808] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6808/stat : 6808 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814630 15372775424 17924 33554432000 4194304 4196468 140733431889568 140136260035440 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6809] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6809/stat : 6809 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814632 15372775424 17924 33554432000 4194304 4196468 140733431889568 140135885526864 140137883666331 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6810] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6810/stat : 6810 (java) S 6797 6797 3762 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 17924 33554432000 4194304 4196468 140733431889568 140136651758448 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6811] ppid=6797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6811/stat : 6811 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 17924 33554432000 4194304 4196468 140733431889568 140136650705648 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6812] ppid=6797 vsize=15012476 memory=139971331729024 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6812/stat : 6812 (java) S 6797 6797 3762 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 17924 33554432000 4194304 4196468 140733431889568 140136649652848 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6813] ppid=6797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6813/stat : 6813 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 17924 33554432000 4194304 4196468 140733431889568 140135387622112 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6814] ppid=6797 vsize=15012476 memory=139971331729024 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6814/stat : 6814 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 17924 33554432000 4194304 4196468 140733431889568 140136648600240 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72828 KiB
[startup+0.210327 s]*
/proc/loadavg: 2.22 2.07 2.06 4/222 6814
/proc/meminfo: memFree=8292500/32770624 swapFree=67108860/67108860
[pid=6797] ppid=6794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6797/stat : 6797 (scop.sh) S 6794 6797 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224814626 115843072 349 33554432000 4194304 5098028 140731679106896 140731679104152 140590213997180 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13127680 140731679110208 140731679110407 140731679110407 140731679113165 0
/proc/6797/statm: 28282 349 296 221 0 87 0
[pid=6800] ppid=6797 vsize=15012476 memory=85504 CPUtime=0.24 cores=0,2,4,6
/proc/6800/stat : 6800 (java) S 6797 6797 3762 0 -1 1077944320 9734 0 0 0 22 2 0 0 20 0 15 0 224814626 15372775424 21376 33554432000 4194304 4196468 140733431889568 140733431872112 140137883647735 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
/proc/6800/statm: 3753119 21376 2905 1 0 3715579 0
[pid=6800/tid=6801] ppid=6797 vsize=15012476 memory=-8976644418600983157 CPUtime=0.19 cores=0,2,4,6
/proc/6800/task/6801/stat : 6801 (java) R 6797 6797 3762 0 -1 4202560 7641 0 0 0 17 2 0 0 20 0 15 0 224814626 15372775424 21376 33554432000 4194304 4196468 140733431889568 140137855463088 140137867691365 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6802] ppid=6797 vsize=15012476 memory=3472468267559409328 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6802/stat : 6802 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 21376 33554432000 4194304 4196468 140733431889568 140137887890576 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6803] ppid=6797 vsize=15012476 memory=139971331729024 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6803/stat : 6803 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 21376 33554432000 4194304 4196468 140733431889568 140137678973968 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6804] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6804/stat : 6804 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 21376 33554432000 4194304 4196468 140733431889568 140137677921168 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6805] ppid=6797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6805/stat : 6805 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 21376 33554432000 4194304 4196468 140733431889568 140137676868368 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6806] ppid=6797 vsize=15012476 memory=139971331729024 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6806/stat : 6806 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814629 15372775424 21376 33554432000 4194304 4196468 140733431889568 140136652810608 140137883658882 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6807] ppid=6797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6807/stat : 6807 (java) S 6797 6797 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814630 15372775424 21376 33554432000 4194304 4196468 140733431889568 140136528471072 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6808] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6808/stat : 6808 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814630 15372775424 21376 33554432000 4194304 4196468 140733431889568 140136260035440 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6809] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6809/stat : 6809 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814632 15372775424 21376 33554432000 4194304 4196468 140733431889568 140135885526864 140137883666331 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6810] ppid=6797 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6810/stat : 6810 (java) S 6797 6797 3762 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 21376 33554432000 4194304 4196468 140733431889568 140136651758448 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6811] ppid=6797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6811/stat : 6811 (java) S 6797 6797 3762 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 21376 33554432000 4194304 4196468 140733431889568 140136650705648 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6812] ppid=6797 vsize=15012476 memory=139971331729024 CPUtime=0.03 cores=0,2,4,6
/proc/6800/task/6812/stat : 6812 (java) S 6797 6797 3762 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 224814633 15372775424 21376 33554432000 4194304 4196468 140733431889568 140136649652848 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6813] ppid=6797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6813/stat : 6813 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 21376 33554432000 4194304 4196468 140733431889568 140135387622112 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6814] ppid=6797 vsize=15012476 memory=139971331729024 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6814/stat : 6814 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 21376 33554432000 4194304 4196468 140733431889568 140136648600240 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86900 KiB
[startup+0.310318 s]*
/proc/loadavg: 2.22 2.07 2.06 3/222 6814
/proc/meminfo: memFree=8288840/32770624 swapFree=67108860/67108860
[pid=6797] ppid=6794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6797/stat : 6797 (scop.sh) S 6794 6797 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224814626 115843072 349 33554432000 4194304 5098028 140731679106896 140731679104152 140590213997180 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13127680 140731679110208 140731679110407 140731679110407 140731679113165 0
/proc/6797/statm: 28282 349 296 221 0 87 0
[pid=6800] ppid=6797 vsize=15012476 memory=89912 CPUtime=0.42 cores=0,2,4,6
/proc/6800/stat : 6800 (java) S 6797 6797 3762 0 -1 1077944320 10361 0 0 0 39 3 0 0 20 0 15 0 224814626 15372775424 22478 33554432000 4194304 4196468 140733431889568 140733431872112 140137883647735 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
/proc/6800/statm: 3753119 22478 3008 1 0 3715579 0
[pid=6800/tid=6801] ppid=6797 vsize=15012476 memory=-8976644418600983157 CPUtime=0.28 cores=0,2,4,6
/proc/6800/task/6801/stat : 6801 (java) R 6797 6797 3762 0 -1 4202560 8081 0 0 0 26 2 0 0 20 0 15 0 224814626 15372775424 22478 33554432000 4194304 4196468 140733431889568 140137855443184 140137867728222 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6802] ppid=6797 vsize=15012476 memory=3472468267559409328 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6802/stat : 6802 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 22478 33554432000 4194304 4196468 140733431889568 140137887890576 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6803] ppid=6797 vsize=15012476 memory=279942504082304 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6803/stat : 6803 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 22478 33554432000 4194304 4196468 140733431889568 140137678973968 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6804] ppid=6797 vsize=15012476 memory=279942344738848 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6804/stat : 6804 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 22478 33554432000 4194304 4196468 140733431889568 140137677921168 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6805] ppid=6797 vsize=15012476 memory=139971172353295 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6805/stat : 6805 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814628 15372775424 22478 33554432000 4194304 4196468 140733431889568 140137676868368 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6806] ppid=6797 vsize=15012476 memory=279942504089216 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6806/stat : 6806 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814629 15372775424 22478 33554432000 4194304 4196468 140733431889568 140136652810608 140137883658882 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6807] ppid=6797 vsize=15012476 memory=139971172357903 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6807/stat : 6807 (java) S 6797 6797 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814630 15372775424 22478 33554432000 4194304 4196468 140733431889568 140136528471072 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6808] ppid=6797 vsize=15012476 memory=139971172366310 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6808/stat : 6808 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814630 15372775424 22478 33554432000 4194304 4196468 140733431889568 140136260035440 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6809] ppid=6797 vsize=15012476 memory=279942344748064 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6809/stat : 6809 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814632 15372775424 22478 33554432000 4194304 4196468 140733431889568 140135885526864 140137883666331 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6810] ppid=6797 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6800/task/6810/stat : 6810 (java) S 6797 6797 3762 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 15 0 224814633 15372775424 22478 33554432000 4194304 4196468 140733431889568 140136651758448 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6811] ppid=6797 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6800/task/6811/stat : 6811 (java) S 6797 6797 3762 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 15 0 224814633 15372775424 22478 33554432000 4194304 4196468 140733431889568 140136650705648 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6812] ppid=6797 vsize=15012476 memory=139971331729024 CPUtime=0.07 cores=0,2,4,6
/proc/6800/task/6812/stat : 6812 (java) S 6797 6797 3762 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 15 0 224814633 15372775424 22478 33554432000 4194304 4196468 140733431889568 140136649652848 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6813] ppid=6797 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6813/stat : 6813 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 22478 33554432000 4194304 4196468 140733431889568 140135387622112 140137883657941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6814] ppid=6797 vsize=15012476 memory=139971331730420 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6814/stat : 6814 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814633 15372775424 22478 33554432000 4194304 4196468 140733431889568 140136648600240 140137883658882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91308 KiB
[startup+0.702856 s]
/proc/loadavg: 2.22 2.07 2.06 3/222 6814
/proc/meminfo: memFree=8264328/32770624 swapFree=67108860/67108860
[pid=6797] ppid=6794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6797/stat : 6797 (scop.sh) S 6794 6797 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224814626 115843072 349 33554432000 4194304 5098028 140731679106896 140731679104152 140590213997180 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13127680 140731679110208 140731679110407 140731679110407 140731679113165 0
/proc/6797/statm: 28282 349 296 221 0 87 0
[pid=6800] ppid=6797 vsize=15020872 memory=129500 CPUtime=0.99 cores=0,2,4,6
/proc/6800/stat : 6800 (java) S 6797 6797 3762 0 -1 1077944320 17550 0 0 0 94 5 0 0 20 0 15 0 224814626 15381372928 32375 33554432000 4194304 4196468 140733431889568 140733431872112 140137883647735 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
/proc/6800/statm: 3755218 32375 3146 1 0 3716603 0
[pid=6800/tid=6801] ppid=6797 vsize=15020872 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/6800/task/6801/stat : 6801 (java) R 6797 6797 3762 0 -1 4202560 14837 0 0 0 62 5 0 0 20 0 15 0 224814626 15381372928 32375 33554432000 4194304 4196468 140733431889568 140137855484096 140137867691365 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6802] ppid=6797 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6802/stat : 6802 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814628 15381372928 32375 33554432000 4194304 4196468 140733431889568 140137887890576 140137883657941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6803] ppid=6797 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6803/stat : 6803 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814628 15381372928 32375 33554432000 4194304 4196468 140733431889568 140137678973968 140137883657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6804] ppid=6797 vsize=15020872 memory=5788902676974756672 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6804/stat : 6804 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814628 15381372928 32375 33554432000 4194304 4196468 140733431889568 140137677921168 140137883657941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6805] ppid=6797 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6805/stat : 6805 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814628 15381372928 32375 33554432000 4194304 4196468 140733431889568 140137676868368 140137883657941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6806] ppid=6797 vsize=15020872 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6806/stat : 6806 (java) S 6797 6797 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224814629 15381372928 32375 33554432000 4194304 4196468 140733431889568 140136652810608 140137883658882 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6807] ppid=6797 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6807/stat : 6807 (java) S 6797 6797 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814630 15381372928 32375 33554432000 4194304 4196468 140733431889568 140136528471072 140137883657941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6808] ppid=6797 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6808/stat : 6808 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814630 15381372928 32375 33554432000 4194304 4196468 140733431889568 140136260035440 140137883657941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6809] ppid=6797 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6809/stat : 6809 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814632 15381372928 32375 33554432000 4194304 4196468 140733431889568 140135885526864 140137883666331 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6810] ppid=6797 vsize=15020872 memory=4536 CPUtime=0.09 cores=0,2,4,6
/proc/6800/task/6810/stat : 6810 (java) S 6797 6797 3762 0 -1 1077944384 635 0 0 0 9 0 0 0 20 0 15 0 224814633 15381372928 32375 33554432000 4194304 4196468 140733431889568 140136651758448 140137883658882 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6811] ppid=6797 vsize=15020872 memory=8448 CPUtime=0.06 cores=0,2,4,6
/proc/6800/task/6811/stat : 6811 (java) R 6797 6797 3762 0 -1 4202560 292 0 0 0 6 0 0 0 20 0 15 0 224814633 15381372928 32375 33554432000 4194304 4196468 140733431889568 140136650695440 140137868755088 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6812] ppid=6797 vsize=15020872 memory=1628 CPUtime=0.15 cores=0,2,4,6
/proc/6800/task/6812/stat : 6812 (java) R 6797 6797 3762 0 -1 1077944384 450 0 0 0 15 0 0 0 20 0 15 0 224814633 15381372928 32375 33554432000 4194304 4196468 140733431889568 140136649652848 140137883658882 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6813] ppid=6797 vsize=15020872 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6813/stat : 6813 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814633 15381372928 32375 33554432000 4194304 4196468 140733431889568 140135387622112 140137883657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
[pid=6800/tid=6814] ppid=6797 vsize=15020872 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/6800/task/6814/stat : 6814 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814633 15381372928 32375 33554432000 4194304 4196468 140733431889568 140136648600240 140137883658882 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28577792 140733431895047 140733431895345 140733431895345 140733431898063 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130896 KiB
[startup+1.50132 s]
/proc/loadavg: 2.22 2.07 2.06 4/222 6814
/proc/meminfo: memFree=8237468/32770624 swapFree=67108860/67108860
[pid=6797] ppid=6794 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6797/stat : 6797 (scop.sh) S 6794 6797 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224814626 115843072 349 33554432000 4194304 5098028 140731679106896 140731679104152 140590213997180 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13127680 140731679110208 140731679110407 140731679110407 140731679113165 0
/proc/6797/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=6815/tid=6818] ppid=6797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6818/stat : 6818 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348480006544 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6819] ppid=6797 vsize=8068220 memory=118232 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6819/stat : 6819 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348478954000 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6820] ppid=6797 vsize=8068220 memory=118232 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6820/stat : 6820 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348477901456 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6821] ppid=6797 vsize=8068220 memory=118232 CPUtime=0.03 cores=0,2,4,6
/proc/6815/task/6821/stat : 6821 (java) S 6797 6797 3762 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224814809 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347920341488 140348675607170 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6822] ppid=6797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6822/stat : 6822 (java) S 6797 6797 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224814810 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347518739872 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6823] ppid=6797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6823/stat : 6823 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224814810 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347250304496 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6824] ppid=6797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6824/stat : 6824 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140346875796176 140348675614619 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6825] ppid=6797 vsize=8068220 memory=118232 CPUtime=0.09 cores=0,2,4,6
/proc/6815/task/6825/stat : 6825 (java) S 6797 6797 3762 0 -1 1077944384 585 0 0 0 9 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347919288304 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6826] ppid=6797 vsize=8068220 memory=64112 CPUtime=0.08 cores=0,2,4,6
/proc/6815/task/6826/stat : 6826 (java) S 6797 6797 3762 0 -1 1077944384 358 0 0 0 8 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347918235760 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6827] ppid=6797 vsize=8068220 memory=64112 CPUtime=0.18 cores=0,2,4,6
/proc/6815/task/6827/stat : 6827 (java) S 6797 6797 3762 0 -1 1077944384 542 0 0 0 18 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347917183216 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6828] ppid=6797 vsize=8068220 memory=61116 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6828/stat : 6828 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140346377890400 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6829] ppid=6797 vsize=8068220 memory=1472 CPUtime=0.68 cores=0,2,4,6
/proc/6815/task/6829/stat : 6829 (java) S 6797 6797 3762 0 -1 1077944384 165 0 0 0 34 34 0 0 20 0 19 0 224814813 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347916131120 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6831] ppid=6797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6831/stat : 6831 (java) S 6797 6797 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224814877 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348458587712 140348675620633 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6833] ppid=6797 vsize=8068220 memory=2092 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6833/stat : 6833 (java) S 6797 6797 3762 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224814877 8261857280 29558 33554432000 4194304 4196468 140729522967392 140345841004688 140348675617949 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6834] ppid=6797 vsize=8068220 memory=8148 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6834/stat : 6834 (java) S 6797 6797 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224814877 8261857280 29558 33554432000 4194304 4196468 140729522967392 140345572572432 140348675617949 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6835] ppid=6797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6835/stat : 6835 (java) S 6797 6797 3762 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224814879 8261857280 29558 33554432000 4194304 4196468 140729522967392 140345975233568 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
Current children cumulated CPU time: 2445.34 s
Current children cumulated vsize: 8262312 KiB
Current children cumulated memory: 183816 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.08 2.06 3/227 7502
/proc/meminfo: memFree=8596696/32770624 swapFree=67108860/67108860
[pid=6797] ppid=6794 vsize=113128 memory=1472 CPUtime=3.81 cores=0,2,4,6
/proc/6797/stat : 6797 (scop.sh) S 6794 6797 3762 0 -1 4202496 591 23858 0 0 0 0 370 11 20 0 1 0 224814626 115843072 368 33554432000 4194304 5098028 140731679106896 140731679103640 140590213997180 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13127680 140731679110208 140731679110407 140731679110407 140731679113165 0
/proc/6797/statm: 28282 368 311 221 0 87 0
[pid=6815] ppid=6797 vsize=8068220 memory=118232 CPUtime=1.86 cores=0,2,4,6
/proc/6815/stat : 6815 (java) S 6797 6797 3762 0 -1 1077944320 17984 0 0 0 145 41 0 0 20 0 19 0 224814806 8261857280 29558 33554432000 4194304 4196468 140729522967392 140729522949936 140348675596023 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
/proc/6815/statm: 2017055 29558 3142 1 0 1978454 0
[pid=6830] ppid=6815 vsize=80964 memory=64112 CPUtime=2499.7 cores=0,2,4,6
/proc/6830/stat : 6830 (minisat_release) R 6815 6797 3762 0 -1 4202496 150571 0 0 0 249957 13 0 0 20 0 1 0 224814877 82907136 16028 33554432000 4194304 4308513 140734276848112 140734276845112 4276465 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 22831104 140734276854901 140734276854998 140734276854998 140734276857797 0
/proc/6830/statm: 20241 16028 341 28 0 16481 0
[pid=6815/tid=6816] ppid=6797 vsize=8068220 memory=118232 CPUtime=0.72 cores=0,2,4,6
/proc/6815/task/6816/stat : 6816 (java) S 6797 6797 3762 0 -1 1077944384 14933 0 0 0 67 5 0 0 20 0 19 0 224814806 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348647436176 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6817] ppid=6797 vsize=8068220 memory=118232 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6817/stat : 6817 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348679837968 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6818] ppid=6797 vsize=8068220 memory=118232 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6818/stat : 6818 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348480006544 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6819] ppid=6797 vsize=8068220 memory=118232 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6819/stat : 6819 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348478954000 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6820] ppid=6797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6820/stat : 6820 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348477901456 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6821] ppid=6797 vsize=8068220 memory=118232 CPUtime=0.03 cores=0,2,4,6
/proc/6815/task/6821/stat : 6821 (java) S 6797 6797 3762 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224814809 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347920341488 140348675607170 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6822] ppid=6797 vsize=8068220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6822/stat : 6822 (java) S 6797 6797 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224814810 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347518739872 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6823] ppid=6797 vsize=8068220 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6823/stat : 6823 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224814810 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347250304496 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6824] ppid=6797 vsize=8068220 memory=118232 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6824/stat : 6824 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140346875796176 140348675614619 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6825] ppid=6797 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/6815/task/6825/stat : 6825 (java) S 6797 6797 3762 0 -1 1077944384 585 0 0 0 9 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347919288304 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6826] ppid=6797 vsize=8068220 memory=279942344978720 CPUtime=0.08 cores=0,2,4,6
/proc/6815/task/6826/stat : 6826 (java) S 6797 6797 3762 0 -1 1077944384 358 0 0 0 8 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347918235760 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6827] ppid=6797 vsize=8068220 memory=7589240748751479360 CPUtime=0.18 cores=0,2,4,6
/proc/6815/task/6827/stat : 6827 (java) S 6797 6797 3762 0 -1 1077944384 542 0 0 0 18 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347917183216 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6828] ppid=6797 vsize=8068220 memory=118232 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6828/stat : 6828 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140346377890400 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6829] ppid=6797 vsize=8068220 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/6815/task/6829/stat : 6829 (java) S 6797 6797 3762 0 -1 1077944384 169 0 0 0 35 35 0 0 20 0 19 0 224814813 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347916131120 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6831] ppid=6797 vsize=8068220 memory=118232 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6831/stat : 6831 (java) S 6797 6797 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224814877 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348458587712 140348675620633 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6833] ppid=6797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6833/stat : 6833 (java) S 6797 6797 3762 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224814877 8261857280 29558 33554432000 4194304 4196468 140729522967392 140345841004688 140348675617949 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6834] ppid=6797 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6834/stat : 6834 (java) S 6797 6797 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224814877 8261857280 29558 33554432000 4194304 4196468 140729522967392 140345572572432 140348675617949 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6835] ppid=6797 vsize=8068220 memory=118232 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6835/stat : 6835 (java) S 6797 6797 3762 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224814879 8261857280 29558 33554432000 4194304 4196468 140729522967392 140345975233568 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
Current children cumulated CPU time: 2505.37 s
Current children cumulated vsize: 8262312 KiB
Current children cumulated memory: 183816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2517 s]*
/proc/loadavg: 2.03 2.07 2.06 3/227 7502
/proc/meminfo: memFree=8595020/32770624 swapFree=67108860/67108860
[pid=6797] ppid=6794 vsize=113128 memory=1472 CPUtime=3.81 cores=0,2,4,6
/proc/6797/stat : 6797 (scop.sh) S 6794 6797 3762 0 -1 4202496 591 23858 0 0 0 0 370 11 20 0 1 0 224814626 115843072 368 33554432000 4194304 5098028 140731679106896 140731679103640 140590213997180 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13127680 140731679110208 140731679110407 140731679110407 140731679113165 0
/proc/6797/statm: 28282 368 311 221 0 87 0
[pid=6815] ppid=6797 vsize=8068220 memory=118232 CPUtime=1.87 cores=0,2,4,6
/proc/6815/stat : 6815 (java) S 6797 6797 3762 0 -1 1077944320 17990 0 0 0 146 41 0 0 20 0 19 0 224814806 8261857280 29558 33554432000 4194304 4196468 140729522967392 140729522949936 140348675596023 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
/proc/6815/statm: 2017055 29558 3142 1 0 1978454 0
[pid=6830] ppid=6815 vsize=80964 memory=64116 CPUtime=2514.4 cores=0,2,4,6
/proc/6830/stat : 6830 (minisat_release) R 6815 6797 3762 0 -1 4202496 150870 0 0 0 251427 13 0 0 20 0 1 0 224814877 82907136 16029 33554432000 4194304 4308513 140734276848112 140734276845608 4262652 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 22831104 140734276854901 140734276854998 140734276854998 140734276857797 0
/proc/6830/statm: 20241 16029 342 28 0 16481 0
[pid=6815/tid=6816] ppid=6797 vsize=8068220 memory=-5059952977386882957 CPUtime=0.72 cores=0,2,4,6
/proc/6815/task/6816/stat : 6816 (java) S 6797 6797 3762 0 -1 1077944384 14933 0 0 0 67 5 0 0 20 0 19 0 224814806 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348647436176 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6817] ppid=6797 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6817/stat : 6817 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348679837968 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6818] ppid=6797 vsize=8068220 memory=302867294839898427 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6818/stat : 6818 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348480006544 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6819] ppid=6797 vsize=8068220 memory=15541829625973996 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6819/stat : 6819 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348478954000 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6820] ppid=6797 vsize=8068220 memory=7163933313107258220 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6820/stat : 6820 (java) S 6797 6797 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224814808 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348477901456 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6821] ppid=6797 vsize=8068220 memory=7091031212234272617 CPUtime=0.03 cores=0,2,4,6
/proc/6815/task/6821/stat : 6821 (java) S 6797 6797 3762 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224814809 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347920341488 140348675607170 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6822] ppid=6797 vsize=8068220 memory=6004541216981674852 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6822/stat : 6822 (java) S 6797 6797 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224814810 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347518739872 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6823] ppid=6797 vsize=8068220 memory=7380390791222620005 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6823/stat : 6823 (java) S 6797 6797 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224814810 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347250304496 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6824] ppid=6797 vsize=8068220 memory=7446535328009642341 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6824/stat : 6824 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140346875796176 140348675614619 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6825] ppid=6797 vsize=8068220 memory=7523092123626984039 CPUtime=0.09 cores=0,2,4,6
/proc/6815/task/6825/stat : 6825 (java) S 6797 6797 3762 0 -1 1077944384 585 0 0 0 9 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347919288304 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6826] ppid=6797 vsize=8068220 memory=7882234377049499492 CPUtime=0.08 cores=0,2,4,6
/proc/6815/task/6826/stat : 6826 (java) S 6797 6797 3762 0 -1 1077944384 359 0 0 0 8 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347918235760 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6827] ppid=6797 vsize=8068220 memory=7882234377049499492 CPUtime=0.18 cores=0,2,4,6
/proc/6815/task/6827/stat : 6827 (java) S 6797 6797 3762 0 -1 1077944384 545 0 0 0 18 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347917183216 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6828] ppid=6797 vsize=8068220 memory=7882234377049499492 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6828/stat : 6828 (java) S 6797 6797 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224814812 8261857280 29558 33554432000 4194304 4196468 140729522967392 140346377890400 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6829] ppid=6797 vsize=8068220 memory=7882234377049499492 CPUtime=0.7 cores=0,2,4,6
/proc/6815/task/6829/stat : 6829 (java) S 6797 6797 3762 0 -1 1077944384 169 0 0 0 35 35 0 0 20 0 19 0 224814813 8261857280 29558 33554432000 4194304 4196468 140729522967392 140347916131120 140348675607170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6831] ppid=6797 vsize=8068220 memory=7882234377049499492 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6831/stat : 6831 (java) S 6797 6797 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224814877 8261857280 29558 33554432000 4194304 4196468 140729522967392 140348458587712 140348675620633 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6833] ppid=6797 vsize=8068220 memory=7156896490330743917 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6833/stat : 6833 (java) S 6797 6797 3762 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 224814877 8261857280 29558 33554432000 4194304 4196468 140729522967392 140345841004688 140348675617949 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6834] ppid=6797 vsize=8068220 memory=4426639978525455914 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6834/stat : 6834 (java) S 6797 6797 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224814877 8261857280 29558 33554432000 4194304 4196468 140729522967392 140345572572432 140348675617949 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
[pid=6815/tid=6835] ppid=6797 vsize=8068220 memory=3047711553219693942 CPUtime=0 cores=0,2,4,6
/proc/6815/task/6835/stat : 6835 (java) S 6797 6797 3762 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224814879 8261857280 29558 33554432000 4194304 4196468 140729522967392 140345975233568 140348675606229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38940672 140729522975926 140729522976049 140729522976049 140729522978767 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8262312 KiB
Current children cumulated memory: 183820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2517.02 s]
# the end of solver process 6797 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.71135 s, system=0.113479 s
[startup+2517.02 s]
# the end of solver process 6815 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.46 s, system=0.677658 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): 2517.02
CPU time (s): 2520.14
CPU user time (s): 2519.46
CPU system time (s): 0.677658
CPU usage (%): 100.124
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 204148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.677658
maximum resident set size= 213956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58762
involuntary context switches= 813
# summary of solver processes directly reported to runsolver:
# pid: 6797,6815
# total CPU time (s): 2520.14
# total CPU user time (s): 2519.46
# total CPU system time (s): 0.677658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1473 second user time and 25.7646 second system time
The end