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-19442-serial-file.bin HOME/instance-4305571-1534062530.xml
0.54/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 10:28:51 CEST 2018
0.66/0.54 c PID: 19450
0.66/0.54 c IP: 172.20.3.135
0.66/0.54 c HOST: node135.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.22/0.87 c (0,0) Parsing End
1.22/0.88 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 54 ctr, max domain size 10
1.22/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.88 c (0,0) Constraint Name Generate Begin
1.22/0.89 c (0,0) Ctr:HOME/instance-4305571-1534062530.xml,AllDifferent:IntVar
1.22/0.89 c (0,0) Constraint Name Generate End
1.22/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.89 c (0,0) CSP to CSPinCNF Begin
1.84/1.12 c (0,0) translated 6 (10%) constraints
2.09/1.20 c (0,0) translated 11 (20%) constraints
2.09/1.25 c (0,0) translated 17 (30%) constraints
2.09/1.27 c (0,0) translated 22 (40%) constraints
2.09/1.28 c (0,0) translated 27 (50%) constraints
2.09/1.30 c (0,0) translated 33 (60%) constraints
2.42/1.30 c (0,0) translated 38 (70%) constraints
2.42/1.31 c (0,0) translated 44 (80%) constraints
2.42/1.32 c (0,0) translated 49 (90%) constraints
2.42/1.33 c (0,0) translated 54 (100%) constraints
2.71/1.40 c (0,0) STATISTICS1:HOME/instance-4305571-1534062530.xml,AllDifferent:IntVar,100,1578,10,10,10,2,10:1470,10:3732,10:44;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:1478,2:1470;1:792,
2.71/1.40 c (0,0) ==========================================
2.71/1.40 c (0,0) Both Encoding selects:
2.71/1.40 c (0,0) Order
2.71/1.40 c (0,0) ==========================================
2.71/1.43 c (0,0) translated 158 (10%) constraints
2.71/1.45 c (0,0) translated 316 (20%) constraints
2.71/1.47 c (0,0) translated 474 (30%) constraints
2.71/1.48 c (0,0) translated 632 (40%) constraints
2.71/1.49 c (0,0) translated 789 (50%) constraints
3.00/1.50 c (0,0) translated 947 (60%) constraints
3.00/1.51 c (0,0) translated 1105 (70%) constraints
3.00/1.52 c (1,0) translated 1263 (80%) constraints
3.00/1.53 c (1,1) translated 1421 (90%) constraints
3.00/1.54 c (1,1) translated 1578 (100%) constraints
3.00/1.55 c (1,1) CSP to CSPinCNF End
3.00/1.55 c (1,1) CSP: 100 int (0 aux), 0 bool (0 aux), 1578 ctr, max domain size 10
3.00/1.55 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.00/1.55 c (1,1) CSPinCNF Propagation Begin
3.00/1.58 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.00/1.58 c (1,1) CSPinCNF Propagation End
3.00/1.58 c (1,1) CSP: 100 int (0 aux), 0 bool (0 aux), 1578 ctr, max domain size 10
3.00/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.00/1.58 c (1,1) Simplify CSPinCNF Begin
3.67/1.75 c (1,1) Simplify CSPinCNF End
3.67/1.75 c (1,1) CSP: 100 int (0 aux), 2940 bool (2940 aux), 4518 ctr, max domain size 10
3.67/1.75 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.67/1.75 c (1,1) Calculate Precise Domain Begin
3.67/1.75 c (1,1) 0 values are removed by re-calculation
3.67/1.75 c (1,1) Calculate Precise Domain End
3.67/1.75 c (1,1) CSP: 100 int (0 aux), 2940 bool (2940 aux), 4518 ctr, max domain size 10
3.67/1.75 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.67/1.75 c (1,1) CSPinCNF to SatSolver Begin
3.98/1.88 c (1,1) 452 (10 %) CSP clauses are encoded (3840 SAT variables, 3915 SAT clauses)
4.34/1.92 c (1,1) 904 (20 %) CSP clauses are encoded (3840 SAT variables, 7049 SAT clauses)
4.34/1.95 c (1,1) 1356 (30 %) CSP clauses are encoded (3840 SAT variables, 10174 SAT clauses)
4.34/1.97 c (1,1) 1808 (40 %) CSP clauses are encoded (3840 SAT variables, 13290 SAT clauses)
4.34/1.99 c (1,1) 2259 (50 %) CSP clauses are encoded (3840 SAT variables, 16414 SAT clauses)
4.69/2.01 c (1,1) 2711 (60 %) CSP clauses are encoded (3840 SAT variables, 19539 SAT clauses)
4.69/2.03 c (1,1) 3163 (70 %) CSP clauses are encoded (3840 SAT variables, 22646 SAT clauses)
4.69/2.05 c (1,1) 3615 (80 %) CSP clauses are encoded (3840 SAT variables, 25672 SAT clauses)
4.69/2.07 c (1,1) 4067 (90 %) CSP clauses are encoded (3840 SAT variables, 28716 SAT clauses)
4.69/2.09 c (1,1) 4518 (100 %) CSP clauses are encoded (3840 SAT variables, 31777 SAT clauses)
4.69/2.09 c (1,1) Launch Command will be: minisat_release
4.69/2.09 c (1,1) CSPinCNF to SatSolver End
4.69/2.09 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.99/2.14 c (1,1) STATISTICS2:HOME/instance-4305571-1534062530.xml,AllDifferent:IntVar,3040,4518,10,10,10,2,10:2940,10:6672;2:5880,10:44;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:4418,2:2940;1:6672,
4.99/2.14 c (1,1) 3840 bool, 31778 clause
4.99/2.14 c (1,1) Export Begin
5.27/2.23 c (1,1) Export to HOME/scop-19442-serial-file.bin
5.27/2.23 c (1,1) Export End
5.27/2.24 c (1,1) Export File Size: 0.02 MB
5.27/2.24 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.27/2.24 c END-Prog: Sun Aug 12 10:28:52 CEST 2018
5.27/2.26 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19442-serial-file.bin
5.39/2.75 c (0,0) Read Serial File Begin
5.39/2.82 c (0,0) HOME/scop-19442-serial-file.bin
5.39/2.98 c (0,0) Read Serial File End
5.39/2.99
5.39/2.99 scop order+minisat_release (2018-07-31)
5.39/2.99 (Solving Process)
5.39/2.99
6.32/3.01 c BEGIN-Prog: Sun Aug 12 10:28:53 CEST 2018
6.32/3.01 c PID: 19479
6.32/3.01 c IP: 172.20.3.135
6.32/3.01 c HOST: node135.alineos.net
6.32/3.02 c (0,0) SatSolver.solve Begin
6.32/3.02 c (0,0) 0 bool, 0 clause
6.32/3.02 c (0,0) minisat_release HOME/instance-4305571-1534062530.xml-scop-19450.cnf
2510.91/2506.45 c (2503,0) c This is COMiniSatPS.
2510.91/2506.45 c (2503,0) c WARNING: for repeatability, setting FPU to use double precision
2510.91/2506.45 c (2503,0) c ============================[ Problem Statistics ]=============================
2510.91/2506.45 c (2503,0) c | |
2510.91/2506.45 c (2503,0) c | Number of variables: 3840 |
2510.91/2506.45 c (2503,0) c | Number of clauses: 31778 |
2510.91/2506.45 c (2503,0) c | Parse time: 0.01 s |
2510.91/2506.45 c (2503,0) c | Eliminated clauses: 0.03 Mb |
2510.91/2506.45 c (2503,0) c Reduced to 2370 vars, 30308 cls (grow=0)
2510.91/2506.45 c (2503,0) c No iterative elimination performed. (vars=2370, c/v ratio=12.8)
2510.91/2506.45 c (2503,0) c | Simplification time: 0.02 s |
2510.91/2506.45 c (2503,0) c | |
2510.91/2506.45 c (2503,0) c ============================[ Search Statistics ]==============================
2510.91/2506.45 c (2503,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2510.91/2506.45 c (2503,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2510.91/2506.45 c (2503,0) c ===============================================================================
2510.91/2506.45 c (2503,0) c Switched to VSIDS.
2520.02/2515.50 c (2512,0) SatSolver is killed by some reasons.
2520.02/2515.50 c (2512,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.02/2515.50 s UNKNOWN
2520.02/2515.50 c END-Prog: Sun Aug 12 11:10:46 CEST 2018
2520.02/2515.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.02/2515.51 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 (6887 MiB free)
memory of node 1: 16384 MiB (4639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305571-1534062530/watcher-4305571-1534062530 -o /tmp/evaluation-result-4305571-1534062530/solver-4305571-1534062530 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305571-1534062530.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19442, runsolver pid=19437
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 0.94 0.97 1.24 4/222 19478
/proc/meminfo: memFree=11681816/32770624 swapFree=67108860/67108860
[pid=19442] ppid=19437 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19442/stat : 19442 (scop.sh) S 19437 19442 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223816168 115843072 349 33554432000 4194304 5098028 140732512014224 140732512011480 140564670407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36786176 140732512019521 140732512019719 140732512019719 140732512022477 0
/proc/19442/statm: 28282 349 296 221 0 87 0
[pid=19450] ppid=19442 vsize=15012476 memory=73744 CPUtime=0.11 cores=1,3,5,7
/proc/19450/stat : 19450 (java) S 19442 19442 19383 0 -1 1077944320 6538 0 0 0 8 3 0 0 20 0 15 0 223816169 15372775424 18436 33554432000 4194304 4196468 140734530421616 140734530404160 139725387312887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
/proc/19450/statm: 3753119 18436 2770 1 0 3715579 0
[pid=19450/tid=19451] ppid=19442 vsize=15012476 memory=5855087028934049954 CPUtime=0.09 cores=1,3,5,7
/proc/19450/task/19451/stat : 19451 (java) R 19442 19442 19383 0 -1 4202560 4648 0 0 0 7 2 0 0 20 0 15 0 223816169 15372775424 18436 33554432000 4194304 4196468 140734530421616 139725359124872 139725367588647 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19453] ppid=19442 vsize=15012476 memory=3472468807807472848 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19453/stat : 19453 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 18436 33554432000 4194304 4196468 140734530421616 139725391555472 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19454] ppid=19442 vsize=15012476 memory=140678912321152 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19454/stat : 19454 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 18436 33554432000 4194304 4196468 140734530421616 139724848364304 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19455] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19455/stat : 19455 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 18436 33554432000 4194304 4196468 140734530421616 139724847312016 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19456] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19456/stat : 19456 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 18502 33554432000 4194304 4196468 140734530421616 139724846259216 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19461] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19461/stat : 19461 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223816172 15372775424 18502 33554432000 4194304 4196468 140734530421616 139724726786160 139725387324034 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19464] ppid=19442 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19464/stat : 19464 (java) S 19442 19442 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223816173 15372775424 18502 33554432000 4194304 4196468 140734530421616 139723976729376 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19466] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19466/stat : 19466 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816173 15372775424 18502 33554432000 4194304 4196468 140734530421616 139723741848688 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19467] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19467/stat : 19467 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 18502 33554432000 4194304 4196468 140734530421616 139723367340112 139725387331483 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19468] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19468/stat : 19468 (java) S 19442 19442 19383 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 18502 33554432000 4194304 4196468 140734530421616 139724725734000 139725387324034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19469] ppid=19442 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19469/stat : 19469 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 18502 33554432000 4194304 4196468 140734530421616 139724724681200 139725387324034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19470] ppid=19442 vsize=15012476 memory=140678912321152 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19470/stat : 19470 (java) S 19442 19442 19383 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 18502 33554432000 4194304 4196468 140734530421616 139724723628912 139725387324034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19475] ppid=19442 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19475/stat : 19475 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 18502 33554432000 4194304 4196468 140734530421616 139722869435360 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19477] ppid=19442 vsize=15012476 memory=140678912321152 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19477/stat : 19477 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816176 15372775424 18502 33554432000 4194304 4196468 140734530421616 139724722575792 139725387324034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75140 KiB
[startup+0.211171 s]*
/proc/loadavg: 0.94 0.97 1.24 8/222 19478
/proc/meminfo: memFree=11652796/32770624 swapFree=67108860/67108860
[pid=19442] ppid=19437 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19442/stat : 19442 (scop.sh) S 19437 19442 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223816168 115843072 349 33554432000 4194304 5098028 140732512014224 140732512011480 140564670407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36786176 140732512019521 140732512019719 140732512019719 140732512022477 0
/proc/19442/statm: 28282 349 296 221 0 87 0
[pid=19450] ppid=19442 vsize=15012476 memory=86840 CPUtime=0.25 cores=1,3,5,7
/proc/19450/stat : 19450 (java) S 19442 19442 19383 0 -1 1077944320 10048 0 0 0 22 3 0 0 20 0 15 0 223816169 15372775424 21710 33554432000 4194304 4196468 140734530421616 140734530404160 139725387312887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
/proc/19450/statm: 3753119 21710 2904 1 0 3715579 0
[pid=19450/tid=19451] ppid=19442 vsize=15012476 memory=5855087028934049954 CPUtime=0.19 cores=1,3,5,7
/proc/19450/task/19451/stat : 19451 (java) R 19442 19442 19383 0 -1 4202560 7966 0 0 0 17 2 0 0 20 0 15 0 223816169 15372775424 21710 33554432000 4194304 4196468 140734530421616 139725359139280 139725387324822 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19453] ppid=19442 vsize=15012476 memory=3472468807807472848 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19453/stat : 19453 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 21710 33554432000 4194304 4196468 140734530421616 139725391555472 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19454] ppid=19442 vsize=15012476 memory=140678912321152 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19454/stat : 19454 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 21710 33554432000 4194304 4196468 140734530421616 139724848364304 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19455] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19455/stat : 19455 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 21710 33554432000 4194304 4196468 140734530421616 139724847312016 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19456] ppid=19442 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19456/stat : 19456 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 21710 33554432000 4194304 4196468 140734530421616 139724846259216 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19461] ppid=19442 vsize=15012476 memory=140678912321152 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19461/stat : 19461 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223816172 15372775424 21710 33554432000 4194304 4196468 140734530421616 139724726786160 139725387324034 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19464] ppid=19442 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19464/stat : 19464 (java) S 19442 19442 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223816173 15372775424 21710 33554432000 4194304 4196468 140734530421616 139723976729376 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19466] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19466/stat : 19466 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816173 15372775424 21710 33554432000 4194304 4196468 140734530421616 139723741848688 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19467] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19467/stat : 19467 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 21710 33554432000 4194304 4196468 140734530421616 139723367340112 139725387331483 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19468] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19468/stat : 19468 (java) S 19442 19442 19383 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 21710 33554432000 4194304 4196468 140734530421616 139724725734000 139725387324034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19469] ppid=19442 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19469/stat : 19469 (java) S 19442 19442 19383 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 21710 33554432000 4194304 4196468 140734530421616 139724724681200 139725387324034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19470] ppid=19442 vsize=15012476 memory=140678912321152 CPUtime=0.03 cores=1,3,5,7
/proc/19450/task/19470/stat : 19470 (java) R 19442 19442 19383 0 -1 4202560 285 0 0 0 3 0 0 0 20 0 15 0 223816175 15372775424 21710 33554432000 4194304 4196468 140734530421616 139724723628912 139725379550014 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19475] ppid=19442 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19475/stat : 19475 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 21710 33554432000 4194304 4196468 140734530421616 139722869435360 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19477] ppid=19442 vsize=15012476 memory=140678912321152 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19477/stat : 19477 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816176 15372775424 21710 33554432000 4194304 4196468 140734530421616 139724722575792 139725387324034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88236 KiB
[startup+0.310965 s]*
/proc/loadavg: 0.94 0.97 1.24 4/222 19478
/proc/meminfo: memFree=11646840/32770624 swapFree=67108860/67108860
[pid=19442] ppid=19437 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19442/stat : 19442 (scop.sh) S 19437 19442 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223816168 115843072 349 33554432000 4194304 5098028 140732512014224 140732512011480 140564670407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36786176 140732512019521 140732512019719 140732512019719 140732512022477 0
/proc/19442/statm: 28282 349 296 221 0 87 0
[pid=19450] ppid=19442 vsize=15012476 memory=90632 CPUtime=0.42 cores=1,3,5,7
/proc/19450/stat : 19450 (java) S 19442 19442 19383 0 -1 1077944320 10586 0 0 0 38 4 0 0 20 0 15 0 223816169 15372775424 22658 33554432000 4194304 4196468 140734530421616 140734530404160 139725387312887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
/proc/19450/statm: 3753119 22658 3010 1 0 3715579 0
[pid=19450/tid=19451] ppid=19442 vsize=15012476 memory=-6441945639024693605 CPUtime=0.29 cores=1,3,5,7
/proc/19450/task/19451/stat : 19451 (java) R 19442 19442 19383 0 -1 4202560 8340 0 0 0 26 3 0 0 20 0 15 0 223816169 15372775424 22658 33554432000 4194304 4196468 140734530421616 139725359107888 139725387334813 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19453] ppid=19442 vsize=15012476 memory=3472468807807472848 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19453/stat : 19453 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 22658 33554432000 4194304 4196468 140734530421616 139725391555472 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19454] ppid=19442 vsize=15012476 memory=140678912321152 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19454/stat : 19454 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 22658 33554432000 4194304 4196468 140734530421616 139724848364304 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19455] ppid=19442 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19455/stat : 19455 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 22658 33554432000 4194304 4196468 140734530421616 139724847312016 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19456] ppid=19442 vsize=15012476 memory=140678768240671 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19456/stat : 19456 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223816171 15372775424 22658 33554432000 4194304 4196468 140734530421616 139724846259216 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19461] ppid=19442 vsize=15012476 memory=281357536455968 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19461/stat : 19461 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223816172 15372775424 22658 33554432000 4194304 4196468 140734530421616 139724726786160 139725387324034 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19464] ppid=19442 vsize=15012476 memory=140678768213007 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19464/stat : 19464 (java) S 19442 19442 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223816173 15372775424 22658 33554432000 4194304 4196468 140734530421616 139723976729376 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19466] ppid=19442 vsize=15012476 memory=281357680541056 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19466/stat : 19466 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816173 15372775424 22658 33554432000 4194304 4196468 140734530421616 139723741848688 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19467] ppid=19442 vsize=15012476 memory=140678768217615 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19467/stat : 19467 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 22658 33554432000 4194304 4196468 140734530421616 139723367340112 139725387331483 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19468] ppid=19442 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19450/task/19468/stat : 19468 (java) R 19442 19442 19383 0 -1 4202560 400 0 0 0 2 0 0 0 20 0 15 0 223816175 15372775424 22658 33554432000 4194304 4196468 140734530421616 139724725734000 139725370798837 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19469] ppid=19442 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/19450/task/19469/stat : 19469 (java) R 19442 19442 19383 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 15 0 223816175 15372775424 22658 33554432000 4194304 4196468 140734530421616 139724724681200 139725387324034 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19470] ppid=19442 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19450/task/19470/stat : 19470 (java) R 19442 19442 19383 0 -1 4202560 304 0 0 0 7 0 0 0 20 0 15 0 223816175 15372775424 22658 33554432000 4194304 4196468 140734530421616 139724723628912 139725371448943 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19475] ppid=19442 vsize=15012476 memory=2068 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19475/stat : 19475 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223816175 15372775424 22658 33554432000 4194304 4196468 140734530421616 139722869435360 139725387323093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19477] ppid=19442 vsize=15012476 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19477/stat : 19477 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816176 15372775424 22658 33554432000 4194304 4196468 140734530421616 139724722575792 139725387324034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 92028 KiB
[startup+0.700764 s]
/proc/loadavg: 0.94 0.97 1.24 4/222 19478
/proc/meminfo: memFree=11597480/32770624 swapFree=67108860/67108860
[pid=19442] ppid=19437 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19442/stat : 19442 (scop.sh) S 19437 19442 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223816168 115843072 349 33554432000 4194304 5098028 140732512014224 140732512011480 140564670407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36786176 140732512019521 140732512019719 140732512019719 140732512022477 0
/proc/19442/statm: 28282 349 296 221 0 87 0
[pid=19450] ppid=19442 vsize=15020872 memory=129600 CPUtime=1 cores=1,3,5,7
/proc/19450/stat : 19450 (java) S 19442 19442 19383 0 -1 1077944320 17554 0 0 0 92 8 0 0 20 0 15 0 223816169 15381372928 32400 33554432000 4194304 4196468 140734530421616 140734530404160 139725387312887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
/proc/19450/statm: 3755218 32400 3148 1 0 3716603 0
[pid=19450/tid=19451] ppid=19442 vsize=15020872 memory=6935650355287975249 CPUtime=0.66 cores=1,3,5,7
/proc/19450/task/19451/stat : 19451 (java) R 19442 19442 19383 0 -1 4202560 14960 0 0 0 60 6 0 0 20 0 15 0 223816169 15381372928 32400 33554432000 4194304 4196468 140734530421616 139725359148896 139725371393374 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19453] ppid=19442 vsize=15020872 memory=7372786582024121444 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19453/stat : 19453 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15381372928 32400 33554432000 4194304 4196468 140734530421616 139725391555472 139725387323093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19454] ppid=19442 vsize=15020872 memory=6935651454782824512 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19454/stat : 19454 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15381372928 32400 33554432000 4194304 4196468 140734530421616 139724848364304 139725387323093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19455] ppid=19442 vsize=15020872 memory=7825734864442108491 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19455/stat : 19455 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816171 15381372928 32400 33554432000 4194304 4196468 140734530421616 139724847312016 139725387323093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19456] ppid=19442 vsize=15020872 memory=7100839852556452247 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19456/stat : 19456 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223816171 15381372928 32400 33554432000 4194304 4196468 140734530421616 139724846259216 139725387323093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19461] ppid=19442 vsize=15020872 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19461/stat : 19461 (java) S 19442 19442 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223816172 15381372928 32400 33554432000 4194304 4196468 140734530421616 139724726786160 139725387324034 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19464] ppid=19442 vsize=15020872 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19464/stat : 19464 (java) S 19442 19442 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223816173 15381372928 32400 33554432000 4194304 4196468 140734530421616 139723976729376 139725387323093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19466] ppid=19442 vsize=15020872 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19466/stat : 19466 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816173 15381372928 32400 33554432000 4194304 4196468 140734530421616 139723741848688 139725387323093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19467] ppid=19442 vsize=15020872 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19467/stat : 19467 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223816175 15381372928 32400 33554432000 4194304 4196468 140734530421616 139723367340112 139725387331483 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19468] ppid=19442 vsize=15020872 memory=4576 CPUtime=0.1 cores=1,3,5,7
/proc/19450/task/19468/stat : 19468 (java) R 19442 19442 19383 0 -1 4202560 612 0 0 0 10 0 0 0 20 0 15 0 223816175 15381372928 32400 33554432000 4194304 4196468 140734530421616 139724725724384 139725372242367 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19469] ppid=19442 vsize=15020872 memory=15868 CPUtime=0.06 cores=1,3,5,7
/proc/19450/task/19469/stat : 19469 (java) R 19442 19442 19383 0 -1 4202560 290 0 0 0 6 0 0 0 20 0 15 0 223816175 15381372928 32400 33554432000 4194304 4196468 140734530421616 139724724669872 139725372388641 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19470] ppid=19442 vsize=15020872 memory=4012 CPUtime=0.15 cores=1,3,5,7
/proc/19450/task/19470/stat : 19470 (java) S 19442 19442 19383 0 -1 1077944384 358 0 0 0 15 0 0 0 20 0 15 0 223816175 15381372928 32400 33554432000 4194304 4196468 140734530421616 139724723628912 139725387324034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19475] ppid=19442 vsize=15020872 memory=6153431502485415265 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19475/stat : 19475 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223816175 15381372928 32400 33554432000 4194304 4196468 140734530421616 139722869435360 139725387323093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
[pid=19450/tid=19477] ppid=19442 vsize=15020872 memory=7739528766989822568 CPUtime=0 cores=1,3,5,7
/proc/19450/task/19477/stat : 19477 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223816176 15381372928 32400 33554432000 4194304 4196468 140734530421616 139724722575792 139725387324034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10149888 140734530429959 140734530430257 140734530430257 140734530432975 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130996 KiB
[startup+1.50217 s]
/proc/loadavg: 1.02 0.99 1.24 5/222 19478
/proc/meminfo: memFree=11541772/32770624 swapFree=67108860/67108860
[pid=19442] ppid=19437 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19442/stat : 19442 (scop.sh) S 19437 19442 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223816168 115843072 349 33554432000 4194304 5098028 140732512014224 140732512011480 140564670407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36786176 140732512019521 140732512019719 140732512019719 140732512022477 0
/proc/19442/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=19479/tid=19482] ppid=19442 vsize=8068220 memory=45016 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19482/stat : 19482 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434656536976 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19483] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19483/stat : 19483 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434655484432 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19484] ppid=19442 vsize=8068220 memory=45016 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19484/stat : 19484 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434654431888 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19485] ppid=19442 vsize=8068220 memory=116444 CPUtime=0.03 cores=1,3,5,7
/proc/19479/task/19485/stat : 19485 (java) S 19442 19442 19383 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 19 0 223816398 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434298587632 140434852137602 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19486] ppid=19442 vsize=8068220 memory=45016 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19486/stat : 19486 (java) S 19442 19442 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223816398 8261857280 29111 33554432000 4194304 4196468 140724743984784 140433686521248 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19487] ppid=19442 vsize=8068220 memory=45016 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19487/stat : 19487 (java) S 19442 19442 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223816398 8261857280 29111 33554432000 4194304 4196468 140724743984784 140433552299504 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19488] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19488/stat : 19488 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140433177795280 140434852145051 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19489] ppid=19442 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/19479/task/19489/stat : 19489 (java) S 19442 19442 19383 0 -1 1077944384 467 0 0 0 8 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434297534448 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19490] ppid=19442 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/19479/task/19490/stat : 19490 (java) S 19442 19442 19383 0 -1 1077944384 473 0 0 0 9 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434296481904 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19491] ppid=19442 vsize=8068220 memory=116444 CPUtime=0.18 cores=1,3,5,7
/proc/19479/task/19491/stat : 19491 (java) S 19442 19442 19383 0 -1 1077944384 518 0 0 0 18 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434295429360 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19492] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19492/stat : 19492 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140432679889504 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19493] ppid=19442 vsize=8068220 memory=3560 CPUtime=0.93 cores=1,3,5,7
/proc/19479/task/19493/stat : 19493 (java) S 19442 19442 19383 0 -1 1077944384 167 0 0 0 41 52 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434294377264 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19495] ppid=19442 vsize=8068220 memory=60964 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19495/stat : 19495 (java) S 19442 19442 19383 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 223816473 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434290857536 140434852151065 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19497] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19497/stat : 19497 (java) S 19442 19442 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 223816473 8261857280 29111 33554432000 4194304 4196468 140724743984784 140432143003792 140434852148381 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19498] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19498/stat : 19498 (java) S 19442 19442 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223816473 8261857280 29111 33554432000 4194304 4196468 140724743984784 140432277224720 140434852148381 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19499] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19499/stat : 19499 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223816475 8261857280 29111 33554432000 4194304 4196468 140724743984784 140431874579488 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
Current children cumulated CPU time: 2506.81 s
Current children cumulated vsize: 8250360 KiB
Current children cumulated memory: 162932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.5 s]
/proc/loadavg: 2.00 2.01 1.97 6/226 19708
/proc/meminfo: memFree=11516256/32770624 swapFree=67108860/67108860
[pid=19442] ppid=19437 vsize=113128 memory=1472 CPUtime=5.39 cores=1,3,5,7
/proc/19442/stat : 19442 (scop.sh) S 19437 19442 19383 0 -1 4202496 590 24666 0 0 0 0 523 16 20 0 1 0 223816168 115843072 368 33554432000 4194304 5098028 140732512014224 140732512010968 140564670407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36786176 140732512019521 140732512019719 140732512019719 140732512022477 0
/proc/19442/statm: 28282 368 311 221 0 87 0
[pid=19479] ppid=19442 vsize=8068220 memory=116444 CPUtime=2.12 cores=1,3,5,7
/proc/19479/stat : 19479 (java) S 19442 19442 19383 0 -1 1077944320 17934 0 1 0 155 57 0 0 20 0 19 0 223816395 8261857280 29111 33554432000 4194304 4196468 140724743984784 140724743967328 140434852126455 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
/proc/19479/statm: 2017055 29111 3150 1 0 1978454 0
[pid=19494] ppid=19479 vsize=69012 memory=45020 CPUtime=2512.51 cores=1,3,5,7
/proc/19494/stat : 19494 (minisat_release) R 19479 19442 19383 0 -1 4202496 150661 0 0 0 251236 15 0 0 20 0 1 0 223816473 70668288 11255 33554432000 4194304 4308513 140728657497952 140728657495448 4276291 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 26497024 140728657503348 140728657503446 140728657503446 140728657506245 0
/proc/19494/statm: 17253 11255 343 28 0 13493 0
[pid=19479/tid=19480] ppid=19442 vsize=8068220 memory=116444 CPUtime=0.74 cores=1,3,5,7
/proc/19479/task/19480/stat : 19480 (java) S 19442 19442 19383 0 -1 1077944384 14876 0 1 0 69 5 0 0 20 0 19 0 223816395 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434823966608 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19481] ppid=19442 vsize=8068220 memory=116444 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19481/stat : 19481 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434856368400 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19482] ppid=19442 vsize=8068220 memory=116444 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19482/stat : 19482 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434656536976 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19483] ppid=19442 vsize=8068220 memory=116444 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19483/stat : 19483 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434655484432 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19484] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19484/stat : 19484 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434654431888 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19485] ppid=19442 vsize=8068220 memory=45020 CPUtime=0.03 cores=1,3,5,7
/proc/19479/task/19485/stat : 19485 (java) S 19442 19442 19383 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 19 0 223816398 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434298587632 140434852137602 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19486] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19486/stat : 19486 (java) S 19442 19442 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223816398 8261857280 29111 33554432000 4194304 4196468 140724743984784 140433686521248 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19487] ppid=19442 vsize=8068220 memory=1409 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19487/stat : 19487 (java) S 19442 19442 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223816398 8261857280 29111 33554432000 4194304 4196468 140724743984784 140433552299504 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19488] ppid=19442 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19488/stat : 19488 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140433177795280 140434852145051 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19489] ppid=19442 vsize=8068220 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/19479/task/19489/stat : 19489 (java) S 19442 19442 19383 0 -1 1077944384 467 0 0 0 8 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434297534448 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19490] ppid=19442 vsize=8068220 memory=116444 CPUtime=0.09 cores=1,3,5,7
/proc/19479/task/19490/stat : 19490 (java) S 19442 19442 19383 0 -1 1077944384 473 0 0 0 9 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434296481904 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19491] ppid=19442 vsize=8068220 memory=45020 CPUtime=0.18 cores=1,3,5,7
/proc/19479/task/19491/stat : 19491 (java) S 19442 19442 19383 0 -1 1077944384 521 0 0 0 18 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434295429360 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19492] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19492/stat : 19492 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140432679889504 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19493] ppid=19442 vsize=8068220 memory=2192 CPUtime=0.94 cores=1,3,5,7
/proc/19479/task/19493/stat : 19493 (java) S 19442 19442 19383 0 -1 1077944384 167 0 0 0 42 52 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434294377264 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19495] ppid=19442 vsize=8068220 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19495/stat : 19495 (java) S 19442 19442 19383 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 223816473 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434290857536 140434852151065 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19497] ppid=19442 vsize=8068220 memory=116444 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19497/stat : 19497 (java) S 19442 19442 19383 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 223816473 8261857280 29111 33554432000 4194304 4196468 140724743984784 140432143003792 140434852148381 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19498] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19498/stat : 19498 (java) S 19442 19442 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223816473 8261857280 29111 33554432000 4194304 4196468 140724743984784 140432277224720 140434852148381 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19499] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19499/stat : 19499 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223816475 8261857280 29111 33554432000 4194304 4196468 140724743984784 140431874579488 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8250360 KiB
Current children cumulated memory: 162936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.51 s]
# the end of solver process 19442 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.23879 s, system=0.170356 s
[startup+2515.51 s]
# the end of solver process 19479 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.16 s, system=0.918367 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+2515.5 s]
/proc/loadavg: 2.00 2.01 1.97 6/226 19708
/proc/meminfo: memFree=11516256/32770624 swapFree=67108860/67108860
[pid=19442] ppid=19437 vsize=113128 memory=1472 CPUtime=5.39 cores=1,3,5,7
/proc/19442/stat : 19442 (scop.sh) S 19437 19442 19383 0 -1 4202496 590 24666 0 0 0 0 523 16 20 0 1 0 223816168 115843072 368 33554432000 4194304 5098028 140732512014224 140732512010968 140564670407292 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36786176 140732512019521 140732512019719 140732512019719 140732512022477 0
/proc/19442/statm: 28282 368 311 221 0 87 0
[pid=19479] ppid=19442 vsize=8068220 memory=116444 CPUtime=2.12 cores=1,3,5,7
/proc/19479/stat : 19479 (java) S 19442 19442 19383 0 -1 1077944320 17934 0 1 0 155 57 0 0 20 0 19 0 223816395 8261857280 29111 33554432000 4194304 4196468 140724743984784 140724743967328 140434852126455 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
/proc/19479/statm: 2017055 29111 3150 1 0 1978454 0
[pid=19494] ppid=19479 vsize=69012 memory=45020 CPUtime=2512.51 cores=1,3,5,7
/proc/19494/stat : 19494 (minisat_release) R 19479 19442 19383 0 -1 4202496 150661 0 0 0 251236 15 0 0 20 0 1 0 223816473 70668288 11255 33554432000 4194304 4308513 140728657497952 140728657495448 4276291 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 26497024 140728657503348 140728657503446 140728657503446 140728657506245 0
/proc/19494/statm: 17253 11255 343 28 0 13493 0
[pid=19479/tid=19480] ppid=19442 vsize=8068220 memory=116444 CPUtime=0.74 cores=1,3,5,7
/proc/19479/task/19480/stat : 19480 (java) S 19442 19442 19383 0 -1 1077944384 14876 0 1 0 69 5 0 0 20 0 19 0 223816395 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434823966608 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19481] ppid=19442 vsize=8068220 memory=116444 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19481/stat : 19481 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434856368400 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19482] ppid=19442 vsize=8068220 memory=116444 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19482/stat : 19482 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434656536976 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19483] ppid=19442 vsize=8068220 memory=116444 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19483/stat : 19483 (java) S 19442 19442 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434655484432 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19484] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19484/stat : 19484 (java) S 19442 19442 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223816396 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434654431888 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19485] ppid=19442 vsize=8068220 memory=45020 CPUtime=0.03 cores=1,3,5,7
/proc/19479/task/19485/stat : 19485 (java) S 19442 19442 19383 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 19 0 223816398 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434298587632 140434852137602 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19486] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19486/stat : 19486 (java) S 19442 19442 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223816398 8261857280 29111 33554432000 4194304 4196468 140724743984784 140433686521248 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19487] ppid=19442 vsize=8068220 memory=1409 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19487/stat : 19487 (java) S 19442 19442 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223816398 8261857280 29111 33554432000 4194304 4196468 140724743984784 140433552299504 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19488] ppid=19442 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19488/stat : 19488 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140433177795280 140434852145051 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19489] ppid=19442 vsize=8068220 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/19479/task/19489/stat : 19489 (java) S 19442 19442 19383 0 -1 1077944384 467 0 0 0 8 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434297534448 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19490] ppid=19442 vsize=8068220 memory=116444 CPUtime=0.09 cores=1,3,5,7
/proc/19479/task/19490/stat : 19490 (java) S 19442 19442 19383 0 -1 1077944384 473 0 0 0 9 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434296481904 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19491] ppid=19442 vsize=8068220 memory=45020 CPUtime=0.18 cores=1,3,5,7
/proc/19479/task/19491/stat : 19491 (java) S 19442 19442 19383 0 -1 1077944384 521 0 0 0 18 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434295429360 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19492] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19492/stat : 19492 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140432679889504 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19493] ppid=19442 vsize=8068220 memory=2192 CPUtime=0.94 cores=1,3,5,7
/proc/19479/task/19493/stat : 19493 (java) S 19442 19442 19383 0 -1 1077944384 167 0 0 0 42 52 0 0 20 0 19 0 223816401 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434294377264 140434852137602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19495] ppid=19442 vsize=8068220 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19495/stat : 19495 (java) S 19442 19442 19383 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 223816473 8261857280 29111 33554432000 4194304 4196468 140724743984784 140434290857536 140434852151065 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19497] ppid=19442 vsize=8068220 memory=116444 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19497/stat : 19497 (java) S 19442 19442 19383 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 223816473 8261857280 29111 33554432000 4194304 4196468 140724743984784 140432143003792 140434852148381 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19498] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19498/stat : 19498 (java) S 19442 19442 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223816473 8261857280 29111 33554432000 4194304 4196468 140724743984784 140432277224720 140434852148381 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
[pid=19479/tid=19499] ppid=19442 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19479/task/19499/stat : 19499 (java) S 19442 19442 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223816475 8261857280 29111 33554432000 4194304 4196468 140724743984784 140431874579488 140434852136661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10801152 140724743988405 140724743988529 140724743988529 140724743991247 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8250360 KiB
Current children cumulated memory: 162936 KiB
Child status: 1
Real time (s): 2515.51
CPU time (s): 2520.08
CPU user time (s): 2519.16
CPU system time (s): 0.918367
CPU usage (%): 100.182
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 351624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.16
system time used= 0.918367
maximum resident set size= 352608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194115
page faults= 1
swaps= 0
block input operations= 736
block output operations= 2528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59099
involuntary context switches= 1502
# summary of solver processes directly reported to runsolver:
# pid: 19442,19479
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.16
# total CPU system time (s): 0.918367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5783 second user time and 28.4726 second system time
The end