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-23462-serial-file.bin HOME/instance-4305570-1534060608.xml
0.65/0.52
0.65/0.52 scop both+minisat_release (2018-07-31)
0.79/0.68 (Encoding Process)
0.79/0.68
0.79/0.68 c BEGIN-Prog: Sun Aug 12 09:56:48 CEST 2018
0.79/0.68 c PID: 23465
0.79/0.68 c IP: 172.20.3.106
0.79/0.68 c HOST: node106.alineos.net
0.79/0.68 c (0,0) Parsing Begin
1.12/0.90 c (0,0) Parsing End
1.34/0.90 c (0,0) CSP: 81 int (0 aux), 0 bool (0 aux), 48 ctr, max domain size 9
1.34/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.34/0.90 c (0,0) Constraint Name Generate Begin
1.34/0.91 c (0,0) Ctr:HOME/instance-4305570-1534060608.xml,AllDifferent:IntVar
1.34/0.91 c (0,0) Constraint Name Generate End
1.34/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.34/0.91 c (0,0) CSP to CSPinCNF Begin
1.76/1.12 c (0,0) translated 5 (10%) constraints
1.76/1.18 c (0,0) translated 10 (20%) constraints
2.00/1.23 c (0,0) translated 15 (30%) constraints
2.00/1.27 c (0,0) translated 20 (40%) constraints
2.00/1.29 c (0,0) translated 24 (50%) constraints
2.00/1.29 c (0,0) translated 29 (60%) constraints
2.28/1.30 c (0,0) translated 34 (70%) constraints
2.28/1.31 c (0,0) translated 39 (80%) constraints
2.28/1.32 c (0,0) translated 44 (90%) constraints
2.28/1.33 c (0,0) translated 48 (100%) constraints
2.28/1.40 c (0,0) STATISTICS1:HOME/instance-4305570-1534060608.xml,AllDifferent:IntVar,81,1152,9,9,9,2,9:1056,9:2752,9:40;8:8;7:8;6:8;5:8;4:8;3:8;2:1064,2:1056;1:640,
2.28/1.40 c (0,0) ==========================================
2.28/1.40 c (0,0) Both Encoding selects:
2.58/1.40 c (0,0) Order
2.58/1.40 c (0,0) ==========================================
2.58/1.42 c (0,0) translated 116 (10%) constraints
2.58/1.44 c (0,0) translated 231 (20%) constraints
2.58/1.45 c (0,0) translated 346 (30%) constraints
2.58/1.46 c (0,0) translated 461 (40%) constraints
2.58/1.47 c (0,0) translated 576 (50%) constraints
2.58/1.48 c (0,0) translated 692 (60%) constraints
2.58/1.48 c (0,0) translated 807 (70%) constraints
2.58/1.49 c (0,0) translated 922 (80%) constraints
2.85/1.50 c (0,0) translated 1037 (90%) constraints
2.85/1.51 c (0,0) translated 1152 (100%) constraints
2.85/1.51 c (0,0) CSP to CSPinCNF End
2.85/1.51 c (0,0) CSP: 81 int (0 aux), 0 bool (0 aux), 1152 ctr, max domain size 9
2.85/1.51 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.85/1.51 c (0,0) CSPinCNF Propagation Begin
2.85/1.54 c (1,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.85/1.54 c (1,0) CSPinCNF Propagation End
2.85/1.54 c (1,0) CSP: 81 int (0 aux), 0 bool (0 aux), 1152 ctr, max domain size 9
2.85/1.54 c (1,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.85/1.54 c (1,0) Simplify CSPinCNF Begin
3.17/1.68 c (1,1) Simplify CSPinCNF End
3.17/1.69 c (1,1) CSP: 81 int (0 aux), 2112 bool (2112 aux), 3264 ctr, max domain size 9
3.17/1.69 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.17/1.69 c (1,1) Calculate Precise Domain Begin
3.17/1.69 c (1,1) 0 values are removed by re-calculation
3.17/1.69 c (1,1) Calculate Precise Domain End
3.17/1.69 c (1,1) CSP: 81 int (0 aux), 2112 bool (2112 aux), 3264 ctr, max domain size 9
3.17/1.69 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.17/1.69 c (1,1) CSPinCNF to SatSolver Begin
3.81/1.80 c (1,1) 327 (10 %) CSP clauses are encoded (2760 SAT variables, 2605 SAT clauses)
3.81/1.83 c (1,1) 653 (20 %) CSP clauses are encoded (2760 SAT variables, 4643 SAT clauses)
3.81/1.86 c (1,1) 980 (30 %) CSP clauses are encoded (2760 SAT variables, 6682 SAT clauses)
3.81/1.88 c (1,1) 1306 (40 %) CSP clauses are encoded (2760 SAT variables, 8712 SAT clauses)
3.81/1.89 c (1,1) 1632 (50 %) CSP clauses are encoded (2760 SAT variables, 10742 SAT clauses)
4.14/1.91 c (1,1) 1959 (60 %) CSP clauses are encoded (2760 SAT variables, 12781 SAT clauses)
4.14/1.93 c (1,1) 2285 (70 %) CSP clauses are encoded (2760 SAT variables, 14803 SAT clauses)
4.14/1.94 c (1,1) 2612 (80 %) CSP clauses are encoded (2760 SAT variables, 16770 SAT clauses)
4.14/1.95 c (1,1) 2938 (90 %) CSP clauses are encoded (2760 SAT variables, 18736 SAT clauses)
4.14/1.97 c (1,1) 3264 (100 %) CSP clauses are encoded (2760 SAT variables, 20726 SAT clauses)
4.14/1.97 c (1,1) Launch Command will be: minisat_release
4.14/1.97 c (1,1) CSPinCNF to SatSolver End
4.14/1.97 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.48/2.01 c (1,1) STATISTICS2:HOME/instance-4305570-1534060608.xml,AllDifferent:IntVar,2193,3264,9,9,9,2,9:2112,9:4864;2:4224,9:40;8:8;7:8;6:8;5:8;4:8;3:8;2:3176,2:2112;1:4864,
4.48/2.01 c (1,1) 2760 bool, 20727 clause
4.48/2.01 c (1,1) Export Begin
4.48/2.10 c (1,1) Export to HOME/scop-23462-serial-file.bin
4.48/2.10 c (1,1) Export End
4.48/2.10 c (1,1) Export File Size: 0.01 MB
4.48/2.10 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.48/2.10 c END-Prog: Sun Aug 12 09:56:50 CEST 2018
4.77/2.12 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23462-serial-file.bin
4.77/2.61 c (0,0) Read Serial File Begin
4.77/2.61 c (0,0) HOME/scop-23462-serial-file.bin
4.77/2.78 c (0,0) Read Serial File End
4.77/2.79
4.77/2.79 scop order+minisat_release (2018-07-31)
4.77/2.79 (Solving Process)
4.77/2.79
4.77/2.81 c BEGIN-Prog: Sun Aug 12 09:56:51 CEST 2018
4.77/2.81 c PID: 23480
4.77/2.81 c IP: 172.20.3.106
4.77/2.81 c HOST: node106.alineos.net
4.77/2.82 c (0,0) SatSolver.solve Begin
4.77/2.82 c (0,0) 0 bool, 0 clause
4.77/2.82 c (0,0) minisat_release HOME/instance-4305570-1534060608.xml-scop-23465.cnf
2506.78/2502.87 c (2500,0) c This is COMiniSatPS.
2506.78/2502.87 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2506.78/2502.87 c (2500,0) c ============================[ Problem Statistics ]=============================
2506.78/2502.87 c (2500,0) c | |
2506.78/2502.87 c (2500,0) c | Number of variables: 2760 |
2506.78/2502.87 c (2500,0) c | Number of clauses: 20727 |
2506.78/2502.87 c (2500,0) c | Parse time: 0.01 s |
2506.78/2502.87 c (2500,0) c | Eliminated clauses: 0.02 Mb |
2506.78/2502.87 c (2500,0) c Reduced to 1704 vars, 19671 cls (grow=0)
2506.78/2502.87 c (2500,0) c No iterative elimination performed. (vars=1704, c/v ratio=11.5)
2506.78/2502.87 c (2500,0) c | Simplification time: 0.01 s |
2506.78/2502.87 c (2500,0) c | |
2506.78/2502.87 c (2500,0) c ============================[ Search Statistics ]==============================
2506.78/2502.87 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2506.78/2502.87 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2506.78/2502.87 c (2500,0) c ===============================================================================
2506.78/2502.87 c (2500,0) c Switched to VSIDS.
2520.09/2516.11 c (2513,0) SatSolver is killed by some reasons.
2520.09/2516.11 c (2513,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.09/2516.11 s UNKNOWN
2520.09/2516.11 c END-Prog: Sun Aug 12 10:38:44 CEST 2018
2520.09/2516.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2516.12 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 (8582 MiB free)
memory of node 1: 16384 MiB (11517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305570-1534060608/watcher-4305570-1534060608 -o /tmp/evaluation-result-4305570-1534060608/solver-4305570-1534060608 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305570-1534060608.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=23462, runsolver pid=23459
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.17 1.16 1.49 3/223 23479
/proc/meminfo: memFree=20521700/32770624 swapFree=67108688/67108860
[pid=23462] ppid=23459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23462/stat : 23462 (scop.sh) S 23459 23462 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223623634 115843072 349 33554432000 4194304 5098028 140723050636784 140723050634040 139981880337020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15343616 140723050644545 140723050644743 140723050644743 140723050647501 0
/proc/23462/statm: 28282 349 296 221 0 87 0
[pid=23465] ppid=23462 vsize=15012476 memory=73564 CPUtime=0.1 cores=0,2,4,6
/proc/23465/stat : 23465 (java) S 23462 23462 23167 0 -1 1077944320 6501 0 0 0 8 2 0 0 20 0 15 0 223623634 15372775424 18391 33554432000 4194304 4196468 140720876951888 140720876934432 140570186309367 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
/proc/23465/statm: 3753119 18391 2770 1 0 3715579 0
[pid=23465/tid=23466] ppid=23462 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=0,2,4,6
/proc/23465/task/23466/stat : 23466 (java) R 23462 23462 23167 0 -1 4202560 4583 0 0 0 7 2 0 0 20 0 15 0 223623635 15372775424 18391 33554432000 4194304 4196468 140720876951888 140570158121352 140570166584670 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23467] ppid=23462 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23467/stat : 23467 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623636 15372775424 18391 33554432000 4194304 4196468 140720876951888 140570190552080 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23468] ppid=23462 vsize=15012476 memory=139772446217856 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23468/stat : 23468 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623637 15372775424 18391 33554432000 4194304 4196468 140720876951888 140569989328016 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23469] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23469/stat : 23469 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623637 15372775424 18391 33554432000 4194304 4196468 140720876951888 140569988274960 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23470] ppid=23462 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23470/stat : 23470 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623637 15372775424 18391 33554432000 4194304 4196468 140720876951888 140569987222416 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23471] ppid=23462 vsize=15012476 memory=139772446217856 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23471/stat : 23471 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623638 15372775424 18391 33554432000 4194304 4196468 140720876951888 140569156839664 140570186320514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23472] ppid=23462 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23472/stat : 23472 (java) S 23462 23462 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223623638 15372775424 18391 33554432000 4194304 4196468 140720876951888 140568776664224 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23473] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23473/stat : 23473 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623639 15372775424 18391 33554432000 4194304 4196468 140720876951888 140568508228336 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23474] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23474/stat : 23474 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 18391 33554432000 4194304 4196468 140720876951888 140568133720016 140570186327963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23475] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23475/stat : 23475 (java) S 23462 23462 23167 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 18391 33554432000 4194304 4196468 140720876951888 140569155787504 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23476] ppid=23462 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23476/stat : 23476 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 18391 33554432000 4194304 4196468 140720876951888 140569154734960 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23477] ppid=23462 vsize=15012476 memory=139772446217856 CPUtime=0.01 cores=0,2,4,6
/proc/23465/task/23477/stat : 23477 (java) S 23462 23462 23167 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 223623641 15372775424 18391 33554432000 4194304 4196468 140720876951888 140569153681904 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23478] ppid=23462 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23478/stat : 23478 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 18391 33554432000 4194304 4196468 140720876951888 140567635815264 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23479] ppid=23462 vsize=15012476 memory=139772446217856 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23479/stat : 23479 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 18391 33554432000 4194304 4196468 140720876951888 140569152629296 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74960 KiB
[startup+0.210574 s]*
/proc/loadavg: 1.17 1.16 1.49 4/223 23479
/proc/meminfo: memFree=20507472/32770624 swapFree=67108688/67108860
[pid=23462] ppid=23459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23462/stat : 23462 (scop.sh) S 23459 23462 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223623634 115843072 349 33554432000 4194304 5098028 140723050636784 140723050634040 139981880337020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15343616 140723050644545 140723050644743 140723050644743 140723050647501 0
/proc/23462/statm: 28282 349 296 221 0 87 0
[pid=23465] ppid=23462 vsize=15012476 memory=86612 CPUtime=0.26 cores=0,2,4,6
/proc/23465/stat : 23465 (java) S 23462 23462 23167 0 -1 1077944320 10006 0 0 0 22 4 0 0 20 0 15 0 223623634 15372775424 21653 33554432000 4194304 4196468 140720876951888 140720876934432 140570186309367 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
/proc/23465/statm: 3753119 21653 2871 1 0 3715579 0
[pid=23465/tid=23466] ppid=23462 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23465/task/23466/stat : 23466 (java) R 23462 23462 23167 0 -1 4202560 7907 0 0 0 17 3 0 0 20 0 15 0 223623635 15372775424 21653 33554432000 4194304 4196468 140720876951888 140570158134464 140570186331293 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23467] ppid=23462 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23467/stat : 23467 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623636 15372775424 21653 33554432000 4194304 4196468 140720876951888 140570190552080 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23468] ppid=23462 vsize=15012476 memory=139772446240851 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23468/stat : 23468 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623637 15372775424 21653 33554432000 4194304 4196468 140720876951888 140569989328016 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23469] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23469/stat : 23469 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623637 15372775424 21653 33554432000 4194304 4196468 140720876951888 140569988274960 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23470] ppid=23462 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23470/stat : 23470 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623637 15372775424 21653 33554432000 4194304 4196468 140720876951888 140569987222416 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23471] ppid=23462 vsize=15012476 memory=139772446217856 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23471/stat : 23471 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623638 15372775424 21653 33554432000 4194304 4196468 140720876951888 140569156839664 140570186320514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23472] ppid=23462 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23472/stat : 23472 (java) S 23462 23462 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223623638 15372775424 21653 33554432000 4194304 4196468 140720876951888 140568776664224 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23473] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23473/stat : 23473 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623639 15372775424 21653 33554432000 4194304 4196468 140720876951888 140568508228336 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23474] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23474/stat : 23474 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 21653 33554432000 4194304 4196468 140720876951888 140568133720016 140570186327963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23475] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23475/stat : 23475 (java) S 23462 23462 23167 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 21653 33554432000 4194304 4196468 140720876951888 140569155787504 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23476] ppid=23462 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23476/stat : 23476 (java) R 23462 23462 23167 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 21653 33554432000 4194304 4196468 140720876951888 140569154734960 140570186320514 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23477] ppid=23462 vsize=15012476 memory=139772446217856 CPUtime=0.03 cores=0,2,4,6
/proc/23465/task/23477/stat : 23477 (java) R 23462 23462 23167 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 223623641 15372775424 21653 33554432000 4194304 4196468 140720876951888 140569153681904 140570186330714 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23478] ppid=23462 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23478/stat : 23478 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 21653 33554432000 4194304 4196468 140720876951888 140567635815264 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23479] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23479/stat : 23479 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 21653 33554432000 4194304 4196468 140720876951888 140569152629296 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88008 KiB
[startup+0.310599 s]*
/proc/loadavg: 1.17 1.16 1.49 3/223 23479
/proc/meminfo: memFree=20504444/32770624 swapFree=67108688/67108860
[pid=23462] ppid=23459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23462/stat : 23462 (scop.sh) S 23459 23462 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223623634 115843072 349 33554432000 4194304 5098028 140723050636784 140723050634040 139981880337020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15343616 140723050644545 140723050644743 140723050644743 140723050647501 0
/proc/23462/statm: 28282 349 296 221 0 87 0
[pid=23465] ppid=23462 vsize=15012476 memory=90140 CPUtime=0.42 cores=0,2,4,6
/proc/23465/stat : 23465 (java) S 23462 23462 23167 0 -1 1077944320 10541 0 0 0 38 4 0 0 20 0 15 0 223623634 15372775424 22535 33554432000 4194304 4196468 140720876951888 140720876934432 140570186309367 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
/proc/23465/statm: 3753119 22535 2975 1 0 3715579 0
[pid=23465/tid=23466] ppid=23462 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23465/task/23466/stat : 23466 (java) R 23462 23462 23167 0 -1 4202560 8279 0 0 0 26 3 0 0 20 0 15 0 223623635 15372775424 22535 33554432000 4194304 4196468 140720876951888 140570158104368 140570170389854 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23467] ppid=23462 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23467/stat : 23467 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623636 15372775424 22535 33554432000 4194304 4196468 140720876951888 140570190552080 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23468] ppid=23462 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23468/stat : 23468 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623637 15372775424 22535 33554432000 4194304 4196468 140720876951888 140569989328016 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23469] ppid=23462 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23469/stat : 23469 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623637 15372775424 22535 33554432000 4194304 4196468 140720876951888 140569988274960 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23470] ppid=23462 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23470/stat : 23470 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623637 15372775424 22535 33554432000 4194304 4196468 140720876951888 140569987222416 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23471] ppid=23462 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23471/stat : 23471 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623638 15372775424 22535 33554432000 4194304 4196468 140720876951888 140569156839664 140570186320514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23472] ppid=23462 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23472/stat : 23472 (java) S 23462 23462 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223623638 15372775424 22535 33554432000 4194304 4196468 140720876951888 140568776664224 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23473] ppid=23462 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23473/stat : 23473 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623639 15372775424 22535 33554432000 4194304 4196468 140720876951888 140568508228336 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23474] ppid=23462 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23474/stat : 23474 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 22535 33554432000 4194304 4196468 140720876951888 140568133720016 140570186327963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23475] ppid=23462 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23465/task/23475/stat : 23475 (java) S 23462 23462 23167 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 15 0 223623641 15372775424 22535 33554432000 4194304 4196468 140720876951888 140569155787504 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23476] ppid=23462 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23465/task/23476/stat : 23476 (java) S 23462 23462 23167 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 223623641 15372775424 22535 33554432000 4194304 4196468 140720876951888 140569154734960 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23477] ppid=23462 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23465/task/23477/stat : 23477 (java) S 23462 23462 23167 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 223623641 15372775424 22535 33554432000 4194304 4196468 140720876951888 140569153681904 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23478] ppid=23462 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23478/stat : 23478 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 22535 33554432000 4194304 4196468 140720876951888 140567635815264 140570186319573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23479] ppid=23462 vsize=15012476 memory=4049359695133089841 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23479/stat : 23479 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623641 15372775424 22535 33554432000 4194304 4196468 140720876951888 140569152629296 140570186320514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91536 KiB
[startup+0.700719 s]
/proc/loadavg: 1.17 1.16 1.49 3/223 23479
/proc/meminfo: memFree=20480384/32770624 swapFree=67108688/67108860
[pid=23462] ppid=23459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23462/stat : 23462 (scop.sh) S 23459 23462 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223623634 115843072 349 33554432000 4194304 5098028 140723050636784 140723050634040 139981880337020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15343616 140723050644545 140723050644743 140723050644743 140723050647501 0
/proc/23462/statm: 28282 349 296 221 0 87 0
[pid=23465] ppid=23462 vsize=15018748 memory=126500 CPUtime=0.94 cores=0,2,4,6
/proc/23465/stat : 23465 (java) S 23462 23462 23167 0 -1 1077944320 17264 0 0 0 88 6 0 0 20 0 15 0 223623634 15379197952 31625 33554432000 4194304 4196468 140720876951888 140720876934432 140570186309367 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
/proc/23465/statm: 3754687 31625 3134 1 0 3716091 0
[pid=23465/tid=23466] ppid=23462 vsize=15018748 memory=2372 CPUtime=0.64 cores=0,2,4,6
/proc/23465/task/23466/stat : 23466 (java) R 23462 23462 23167 0 -1 4202560 14620 0 0 0 59 5 0 0 20 0 15 0 223623635 15379197952 31625 33554432000 4194304 4196468 140720876951888 140570158135832 140570170389854 0 4 2 25189581 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23467] ppid=23462 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23467/stat : 23467 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623636 15379197952 31625 33554432000 4194304 4196468 140720876951888 140570190552080 140570186319573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23468] ppid=23462 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23468/stat : 23468 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623637 15379197952 31625 33554432000 4194304 4196468 140720876951888 140569989328016 140570186319573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23469] ppid=23462 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23469/stat : 23469 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623637 15379197952 31625 33554432000 4194304 4196468 140720876951888 140569988274960 140570186319573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23470] ppid=23462 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23470/stat : 23470 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623637 15379197952 31625 33554432000 4194304 4196468 140720876951888 140569987222416 140570186319573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23471] ppid=23462 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23471/stat : 23471 (java) S 23462 23462 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223623638 15379197952 31625 33554432000 4194304 4196468 140720876951888 140569156839664 140570186320514 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23472] ppid=23462 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23472/stat : 23472 (java) S 23462 23462 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223623638 15379197952 31625 33554432000 4194304 4196468 140720876951888 140568776664224 140570186319573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23473] ppid=23462 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23473/stat : 23473 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223623639 15379197952 31625 33554432000 4194304 4196468 140720876951888 140568508228336 140570186319573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23474] ppid=23462 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23474/stat : 23474 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223623641 15379197952 31625 33554432000 4194304 4196468 140720876951888 140568133720016 140570186327963 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23475] ppid=23462 vsize=15018748 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/23465/task/23475/stat : 23475 (java) S 23462 23462 23167 0 -1 1077944384 582 0 0 0 6 0 0 0 20 0 15 0 223623641 15379197952 31625 33554432000 4194304 4196468 140720876951888 140569155787504 140570186320514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23476] ppid=23462 vsize=15018748 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23465/task/23476/stat : 23476 (java) S 23462 23462 23167 0 -1 1077944384 340 0 0 0 7 0 0 0 20 0 15 0 223623641 15379197952 31625 33554432000 4194304 4196468 140720876951888 140569154734960 140570186320514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23477] ppid=23462 vsize=15018748 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/23465/task/23477/stat : 23477 (java) S 23462 23462 23167 0 -1 1077944384 385 0 0 0 14 0 0 0 20 0 15 0 223623641 15379197952 31625 33554432000 4194304 4196468 140720876951888 140569153681904 140570186320514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23478] ppid=23462 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23478/stat : 23478 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223623641 15379197952 31625 33554432000 4194304 4196468 140720876951888 140567635815264 140570186319573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
[pid=23465/tid=23479] ppid=23462 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23465/task/23479/stat : 23479 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223623641 15379197952 31625 33554432000 4194304 4196468 140720876951888 140569152629296 140570186320514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140720876954631 140720876954929 140720876954929 140720876957647 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 127896 KiB
[startup+1.50076 s]
/proc/loadavg: 1.56 1.24 1.51 3/223 23479
/proc/meminfo: memFree=20458008/32770624 swapFree=67108688/67108860
[pid=23462] ppid=23459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23462/stat : 23462 (scop.sh) S 23459 23462 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 223623634 115843072 349 33554432000 4194304 5098028 140723050636784 140723050634040 139981880337020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15343616 140723050644545 140723050644743 140723050644743 140723050647501 0
/proc/23462/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=23480/tid=23483] ppid=23462 vsize=8068220 memory=114484 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23483/stat : 23483 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608642120720 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23484] ppid=23462 vsize=8068220 memory=114484 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23484/stat : 23484 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608641067920 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23485] ppid=23462 vsize=8068220 memory=114484 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23485/stat : 23485 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608640015120 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23486] ppid=23462 vsize=8068220 memory=114484 CPUtime=0.03 cores=0,2,4,6
/proc/23480/task/23486/stat : 23486 (java) S 23462 23462 23167 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 223623850 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608603457904 140609157008002 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23487] ppid=23462 vsize=8068220 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23487/stat : 23487 (java) S 23462 23462 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223623850 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608035349536 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23488] ppid=23462 vsize=8068220 memory=60928 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23488/stat : 23488 (java) S 23462 23462 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223623850 8261857280 28621 33554432000 4194304 4196468 140720748825056 140607901127536 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23489] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23489/stat : 23489 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140607526623056 140609157015451 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23490] ppid=23462 vsize=8068220 memory=114484 CPUtime=0.09 cores=0,2,4,6
/proc/23480/task/23490/stat : 23490 (java) S 23462 23462 23167 0 -1 1077944384 592 0 0 0 9 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608602405744 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23491] ppid=23462 vsize=8068220 memory=114484 CPUtime=0.09 cores=0,2,4,6
/proc/23480/task/23491/stat : 23491 (java) S 23462 23462 23167 0 -1 1077944384 356 0 0 0 9 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608601352944 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23492] ppid=23462 vsize=8068220 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/23480/task/23492/stat : 23492 (java) S 23462 23462 23167 0 -1 1077944384 577 0 0 0 19 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608600300144 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23493] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23493/stat : 23493 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140607028718304 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23494] ppid=23462 vsize=8068220 memory=114484 CPUtime=1.06 cores=0,2,4,6
/proc/23480/task/23494/stat : 23494 (java) S 23462 23462 23167 0 -1 1077944384 167 0 0 0 53 53 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608599247536 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23496] ppid=23462 vsize=8068220 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23496/stat : 23496 (java) S 23462 23462 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223623918 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608591439040 140609157021465 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23498] ppid=23462 vsize=8068220 memory=60928 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23498/stat : 23498 (java) S 23462 23462 23167 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 223623919 8261857280 28621 33554432000 4194304 4196468 140720748825056 140606491831568 140609157018781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23499] ppid=23462 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23499/stat : 23499 (java) S 23462 23462 23167 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 223623919 8261857280 28621 33554432000 4194304 4196468 140720748825056 140606357610640 140609157018781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23500] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23500/stat : 23500 (java) S 23462 23462 23167 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 223623922 8261857280 28621 33554432000 4194304 4196468 140720748825056 140606626061984 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
Current children cumulated CPU time: 2506.28 s
Current children cumulated vsize: 8250168 KiB
Current children cumulated memory: 168168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.11 s]
/proc/loadavg: 2.08 2.03 1.97 3/227 23699
/proc/meminfo: memFree=20443804/32770624 swapFree=67108688/67108860
[pid=23462] ppid=23459 vsize=113128 memory=1472 CPUtime=4.77 cores=0,2,4,6
/proc/23462/stat : 23462 (scop.sh) S 23459 23462 23167 0 -1 4202496 590 24329 0 0 0 0 464 13 20 0 1 0 223623634 115843072 368 33554432000 4194304 5098028 140723050636784 140723050633528 139981880337020 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15343616 140723050644545 140723050644743 140723050644743 140723050647501 0
/proc/23462/statm: 28282 368 311 221 0 87 0
[pid=23480] ppid=23462 vsize=8068220 memory=114484 CPUtime=2.26 cores=0,2,4,6
/proc/23480/stat : 23480 (java) S 23462 23462 23167 0 -1 1077944320 18583 0 0 0 172 54 0 0 20 0 19 0 223623847 8261857280 28621 33554432000 4194304 4196468 140720748825056 140720748807600 140609156996855 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
/proc/23480/statm: 2017055 28621 3153 1 0 1978454 0
[pid=23495] ppid=23480 vsize=68820 memory=52216 CPUtime=2513.06 cores=0,2,4,6
/proc/23495/stat : 23495 (minisat_release) R 23480 23462 23167 0 -1 4202496 159592 0 0 0 251295 11 0 0 20 0 1 0 223623918 70471680 13054 33554432000 4194304 4308513 140729728830832 140729728828328 4276436 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 10686464 140729728836724 140729728836822 140729728836822 140729728839621 0
/proc/23495/statm: 17205 13054 341 28 0 13445 0
[pid=23480/tid=23481] ppid=23462 vsize=8068220 memory=279544659059232 CPUtime=0.74 cores=0,2,4,6
/proc/23480/task/23481/stat : 23481 (java) S 23462 23462 23167 0 -1 1077944384 15441 0 0 0 69 5 0 0 20 0 19 0 223623847 8261857280 28621 33554432000 4194304 4196468 140720748825056 140609128837008 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23482] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23482/stat : 23482 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140609161239696 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23483] ppid=23462 vsize=8068220 memory=114484 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23483/stat : 23483 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608642120720 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23484] ppid=23462 vsize=8068220 memory=114484 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23484/stat : 23484 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608641067920 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23485] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23485/stat : 23485 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608640015120 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23486] ppid=23462 vsize=8068220 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23480/task/23486/stat : 23486 (java) S 23462 23462 23167 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 223623850 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608603457904 140609157008002 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23487] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23487/stat : 23487 (java) S 23462 23462 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223623850 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608035349536 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23488] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23488/stat : 23488 (java) S 23462 23462 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223623850 8261857280 28621 33554432000 4194304 4196468 140720748825056 140607901127536 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23489] ppid=23462 vsize=8068220 memory=3464 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23489/stat : 23489 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140607526623056 140609157015451 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23490] ppid=23462 vsize=8068220 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/23480/task/23490/stat : 23490 (java) S 23462 23462 23167 0 -1 1077944384 593 0 0 0 9 1 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608602405744 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23491] ppid=23462 vsize=8068220 memory=114484 CPUtime=0.09 cores=0,2,4,6
/proc/23480/task/23491/stat : 23491 (java) S 23462 23462 23167 0 -1 1077944384 356 0 0 0 9 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608601352944 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23492] ppid=23462 vsize=8068220 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/23480/task/23492/stat : 23492 (java) S 23462 23462 23167 0 -1 1077944384 580 0 0 0 19 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608600300144 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23493] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23493/stat : 23493 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140607028718304 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23494] ppid=23462 vsize=8068220 memory=1472 CPUtime=1.07 cores=0,2,4,6
/proc/23480/task/23494/stat : 23494 (java) S 23462 23462 23167 0 -1 1077944384 169 0 0 0 54 53 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608599247536 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23496] ppid=23462 vsize=8068220 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23496/stat : 23496 (java) S 23462 23462 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223623918 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608591439040 140609157021465 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23498] ppid=23462 vsize=8068220 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23498/stat : 23498 (java) S 23462 23462 23167 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 223623919 8261857280 28621 33554432000 4194304 4196468 140720748825056 140606491831568 140609157018781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23499] ppid=23462 vsize=8068220 memory=114484 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23499/stat : 23499 (java) S 23462 23462 23167 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 223623919 8261857280 28621 33554432000 4194304 4196468 140720748825056 140606357610640 140609157018781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23500] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23500/stat : 23500 (java) S 23462 23462 23167 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 223623922 8261857280 28621 33554432000 4194304 4196468 140720748825056 140606626061984 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8250168 KiB
Current children cumulated memory: 168172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.12 s]
# the end of solver process 23462 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.6452 s, system=0.141589 s
[startup+2516.12 s]
# the end of solver process 23480 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.33 s, system=0.812912 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
[startup+2516.11 s]
/proc/loadavg: 2.08 2.03 1.97 3/227 23699
/proc/meminfo: memFree=20443804/32770624 swapFree=67108688/67108860
[pid=23462] ppid=23459 vsize=113128 memory=1472 CPUtime=4.77 cores=0,2,4,6
/proc/23462/stat : 23462 (scop.sh) S 23459 23462 23167 0 -1 4202496 590 24329 0 0 0 0 464 13 20 0 1 0 223623634 115843072 368 33554432000 4194304 5098028 140723050636784 140723050633528 139981880337020 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15343616 140723050644545 140723050644743 140723050644743 140723050647501 0
/proc/23462/statm: 28282 368 311 221 0 87 0
[pid=23480] ppid=23462 vsize=8068220 memory=114484 CPUtime=2.26 cores=0,2,4,6
/proc/23480/stat : 23480 (java) S 23462 23462 23167 0 -1 1077944320 18583 0 0 0 172 54 0 0 20 0 19 0 223623847 8261857280 28621 33554432000 4194304 4196468 140720748825056 140720748807600 140609156996855 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
/proc/23480/statm: 2017055 28621 3153 1 0 1978454 0
[pid=23495] ppid=23480 vsize=68820 memory=52216 CPUtime=2513.06 cores=0,2,4,6
/proc/23495/stat : 23495 (minisat_release) R 23480 23462 23167 0 -1 4202496 159592 0 0 0 251295 11 0 0 20 0 1 0 223623918 70471680 13054 33554432000 4194304 4308513 140729728830832 140729728828328 4276436 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 10686464 140729728836724 140729728836822 140729728836822 140729728839621 0
/proc/23495/statm: 17205 13054 341 28 0 13445 0
[pid=23480/tid=23481] ppid=23462 vsize=8068220 memory=279544659059232 CPUtime=0.74 cores=0,2,4,6
/proc/23480/task/23481/stat : 23481 (java) S 23462 23462 23167 0 -1 1077944384 15441 0 0 0 69 5 0 0 20 0 19 0 223623847 8261857280 28621 33554432000 4194304 4196468 140720748825056 140609128837008 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23482] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23482/stat : 23482 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140609161239696 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23483] ppid=23462 vsize=8068220 memory=114484 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23483/stat : 23483 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608642120720 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23484] ppid=23462 vsize=8068220 memory=114484 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23484/stat : 23484 (java) S 23462 23462 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608641067920 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23485] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23485/stat : 23485 (java) S 23462 23462 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623848 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608640015120 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23486] ppid=23462 vsize=8068220 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23480/task/23486/stat : 23486 (java) S 23462 23462 23167 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 223623850 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608603457904 140609157008002 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23487] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23487/stat : 23487 (java) S 23462 23462 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223623850 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608035349536 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23488] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23488/stat : 23488 (java) S 23462 23462 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223623850 8261857280 28621 33554432000 4194304 4196468 140720748825056 140607901127536 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23489] ppid=23462 vsize=8068220 memory=3464 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23489/stat : 23489 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140607526623056 140609157015451 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23490] ppid=23462 vsize=8068220 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/23480/task/23490/stat : 23490 (java) S 23462 23462 23167 0 -1 1077944384 593 0 0 0 9 1 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608602405744 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23491] ppid=23462 vsize=8068220 memory=114484 CPUtime=0.09 cores=0,2,4,6
/proc/23480/task/23491/stat : 23491 (java) S 23462 23462 23167 0 -1 1077944384 356 0 0 0 9 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608601352944 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23492] ppid=23462 vsize=8068220 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/23480/task/23492/stat : 23492 (java) S 23462 23462 23167 0 -1 1077944384 580 0 0 0 19 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608600300144 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23493] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23493/stat : 23493 (java) S 23462 23462 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140607028718304 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23494] ppid=23462 vsize=8068220 memory=1472 CPUtime=1.07 cores=0,2,4,6
/proc/23480/task/23494/stat : 23494 (java) S 23462 23462 23167 0 -1 1077944384 169 0 0 0 54 53 0 0 20 0 19 0 223623853 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608599247536 140609157008002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23496] ppid=23462 vsize=8068220 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23496/stat : 23496 (java) S 23462 23462 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223623918 8261857280 28621 33554432000 4194304 4196468 140720748825056 140608591439040 140609157021465 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23498] ppid=23462 vsize=8068220 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23498/stat : 23498 (java) S 23462 23462 23167 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 223623919 8261857280 28621 33554432000 4194304 4196468 140720748825056 140606491831568 140609157018781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23499] ppid=23462 vsize=8068220 memory=114484 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23499/stat : 23499 (java) S 23462 23462 23167 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 223623919 8261857280 28621 33554432000 4194304 4196468 140720748825056 140606357610640 140609157018781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
[pid=23480/tid=23500] ppid=23462 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23480/task/23500/stat : 23500 (java) S 23462 23462 23167 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 223623922 8261857280 28621 33554432000 4194304 4196468 140720748825056 140606626061984 140609157007061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32305152 140720748827829 140720748827953 140720748827953 140720748830671 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8250168 KiB
Current children cumulated memory: 168172 KiB
Child status: 1
Real time (s): 2516.12
CPU time (s): 2520.15
CPU user time (s): 2519.33
CPU system time (s): 0.812912
CPU usage (%): 100.16
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 299992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.33
system time used= 0.812912
maximum resident set size= 298920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59275
involuntary context switches= 754
# summary of solver processes directly reported to runsolver:
# pid: 23462,23480
# total CPU time (s): 2520.15
# total CPU user time (s): 2519.33
# total CPU system time (s): 0.812912
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7205 second user time and 23.7306 second system time
The end