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-22247-serial-file.bin HOME/instance-4305585-1534072635.xml
0.54/0.51
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 13:17:15 CEST 2018
0.66/0.54 c PID: 22250
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.20/0.86 c (0,0) Parsing End
1.20/0.87 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 39 ctr, max domain size 26
1.20/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87 c (0,0) Constraint Name Generate Begin
1.20/0.87 c (0,0) Ctr:HOME/instance-4305585-1534072635.xml,Add:Element:Eq:IntVar:Num
1.20/0.87 c (0,0) Constraint Name Generate End
1.20/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87 c (0,0) CSP to CSPinCNF Begin
1.56/1.05 c (0,0) translated 4 (10%) constraints
1.56/1.10 c (0,0) translated 8 (20%) constraints
1.84/1.14 c (0,0) translated 12 (30%) constraints
1.84/1.19 c (0,0) translated 16 (40%) constraints
2.09/1.20 c (0,0) translated 20 (50%) constraints
2.09/1.22 c (0,0) translated 24 (60%) constraints
2.09/1.24 c (0,0) translated 28 (70%) constraints
2.09/1.24 c (0,0) translated 32 (80%) constraints
2.09/1.24 c (0,0) translated 36 (90%) constraints
2.09/1.24 c (0,0) translated 39 (100%) constraints
2.09/1.29 c (0,0) STATISTICS1:HOME/instance-4305585-1534072635.xml,Add:Element:Eq:IntVar:Num,52,689,24,24,3,2,24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2,24:54;23:54;22:54;21:54;20:54;19:54;18:54;17:54;16:54;15:54;14:54;13:730;12:54,3:676;1:13,2:26;1:2028,
2.09/1.29 c (0,0) ==========================================
2.09/1.29 c (0,0) Both Encoding selects:
2.09/1.29 c (0,0) Order
2.09/1.29 c (0,0) ==========================================
2.36/1.34 c (0,0) translated 69 (10%) constraints
2.36/1.37 c (0,0) translated 138 (20%) constraints
2.36/1.39 c (0,0) translated 207 (30%) constraints
2.64/1.41 c (0,0) translated 276 (40%) constraints
2.64/1.42 c (0,0) translated 345 (50%) constraints
2.64/1.43 c (0,0) translated 414 (60%) constraints
2.64/1.45 c (0,0) translated 483 (70%) constraints
2.64/1.46 c (0,0) translated 552 (80%) constraints
2.64/1.47 c (0,0) translated 621 (90%) constraints
2.64/1.48 c (0,0) translated 689 (100%) constraints
2.64/1.48 c (0,0) CSP to CSPinCNF End
2.64/1.49 c (0,0) CSP: 52 int (0 aux), 338 bool (338 aux), 2054 ctr, max domain size 24
2.64/1.49 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.64/1.49 c (0,0) CSPinCNF Propagation Begin
2.91/1.54 c (1,1) 0 values, 260 unsatisfiable literals, and 312 valid clauses are removed
2.91/1.54 c (1,1) CSPinCNF Propagation End
2.91/1.55 c (1,1) CSP: 52 int (0 aux), 338 bool (338 aux), 1742 ctr, max domain size 24
2.91/1.55 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.91/1.55 c (1,1) Simplify CSPinCNF Begin
2.91/1.55 c (1,1) Simplify CSPinCNF End
2.91/1.56 c (1,1) CSP: 52 int (0 aux), 338 bool (338 aux), 1742 ctr, max domain size 24
2.91/1.56 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.91/1.56 c (1,1) Calculate Precise Domain Begin
2.91/1.56 c (1,1) 0 values are removed by re-calculation
2.91/1.56 c (1,1) Calculate Precise Domain End
2.91/1.56 c (1,1) CSP: 52 int (0 aux), 338 bool (338 aux), 1742 ctr, max domain size 24
2.91/1.56 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.91/1.56 c (1,1) CSPinCNF to SatSolver Begin
3.27/1.61 c (1,1) 175 (10 %) CSP clauses are encoded (1092 SAT variables, 876 SAT clauses)
3.27/1.62 c (1,1) 349 (20 %) CSP clauses are encoded (1092 SAT variables, 1050 SAT clauses)
3.27/1.63 c (1,1) 523 (30 %) CSP clauses are encoded (1092 SAT variables, 1224 SAT clauses)
3.27/1.63 c (1,1) 697 (40 %) CSP clauses are encoded (1092 SAT variables, 1398 SAT clauses)
3.27/1.64 c (1,1) 871 (50 %) CSP clauses are encoded (1092 SAT variables, 1572 SAT clauses)
3.27/1.64 c (1,1) 1046 (60 %) CSP clauses are encoded (1092 SAT variables, 1747 SAT clauses)
3.27/1.64 c (1,1) 1220 (70 %) CSP clauses are encoded (1092 SAT variables, 1921 SAT clauses)
3.27/1.65 c (1,1) 1394 (80 %) CSP clauses are encoded (1092 SAT variables, 2095 SAT clauses)
3.27/1.65 c (1,1) 1568 (90 %) CSP clauses are encoded (1092 SAT variables, 2269 SAT clauses)
3.27/1.67 c (1,1) 1742 (100 %) CSP clauses are encoded (1092 SAT variables, 2849 SAT clauses)
3.27/1.67 c (1,1) Launch Command will be: minisat_release
3.27/1.67 c (1,1) CSPinCNF to SatSolver End
3.27/1.67 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.27/1.69 c (1,1) STATISTICS2:HOME/instance-4305585-1534072635.xml,Add:Element:Eq:IntVar:Num,390,1742,24,24,3,2,24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2,24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:64;15:60;14:56;13:1300;12:48;2:1716,3:416;2:1300;1:26,2:26;1:3848,
3.27/1.69 c (1,1) 1092 bool, 2860 clause
3.27/1.69 c (1,1) Export Begin
3.61/1.78 c (1,1) Export to HOME/scop-22247-serial-file.bin
3.61/1.78 c (1,1) Export End
3.61/1.78 c (1,1) Export File Size: 0.01 MB
3.61/1.78 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
3.61/1.78 c END-Prog: Sun Aug 12 13:17:16 CEST 2018
3.61/1.78 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22247-serial-file.bin
4.38/2.27 c (0,0) Read Serial File Begin
4.38/2.27 c (0,0) HOME/scop-22247-serial-file.bin
4.66/2.43 c (0,0) Read Serial File End
4.66/2.44
4.66/2.44 scop order+minisat_release (2018-07-31)
4.66/2.44 (Solving Process)
4.66/2.44
4.66/2.47 c BEGIN-Prog: Sun Aug 12 13:17:17 CEST 2018
4.66/2.47 c PID: 22265
4.66/2.47 c IP: 172.20.3.135
4.66/2.47 c HOST: node135.alineos.net
4.66/2.47 c (0,0) SatSolver.solve Begin
4.66/2.47 c (0,0) 0 bool, 0 clause
4.66/2.47 c (0,0) minisat_release HOME/instance-4305585-1534072635.xml-scop-22250.cnf
2510.07/2507.27 c (2505,0) c This is COMiniSatPS.
2510.07/2507.27 c (2505,0) c WARNING: for repeatability, setting FPU to use double precision
2510.07/2507.27 c (2505,0) c ============================[ Problem Statistics ]=============================
2510.07/2507.27 c (2505,0) c | |
2510.07/2507.27 c (2505,0) c | Number of variables: 1092 |
2510.07/2507.27 c (2505,0) c | Number of clauses: 2860 |
2510.07/2507.27 c (2505,0) c | Parse time: 0.00 s |
2510.07/2507.27 c (2505,0) c | Eliminated clauses: 0.01 Mb |
2510.07/2507.27 c (2505,0) c Reduced to 620 vars, 1957 cls (grow=0)
2510.07/2507.27 c (2505,0) c No iterative elimination performed. (vars=620, c/v ratio=3.2)
2510.07/2507.27 c (2505,0) c | Simplification time: 0.00 s |
2510.07/2507.27 c (2505,0) c | |
2510.07/2507.27 c (2505,0) c ============================[ Search Statistics ]==============================
2510.07/2507.27 c (2505,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2510.07/2507.27 c (2505,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2510.07/2507.27 c (2505,0) c ===============================================================================
2510.07/2507.27 c (2505,0) c Switched to VSIDS.
2520.07/2517.20 c (2515,0) SatSolver is killed by some reasons.
2520.07/2517.20 c (2515,0) receiving signal SIGTERM
2520.07/2517.20 s UNKNOWN
2520.07/2517.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2517.21 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 (6885 MiB free)
memory of node 1: 16384 MiB (4465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305585-1534072635/watcher-4305585-1534072635 -o /tmp/evaluation-result-4305585-1534072635/solver-4305585-1534072635 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305585-1534072635.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22247, runsolver pid=22244
[startup+0.100061 s]*
/proc/loadavg: 1.97 2.03 2.04 5/225 22264
/proc/meminfo: memFree=11562948/32770624 swapFree=67108860/67108860
[pid=22247] ppid=22244 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22247/stat : 22247 (scop.sh) S 22244 22247 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224826631 115843072 349 33554432000 4194304 5098028 140722343306784 140722343304040 140112941732476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36577280 140722343314497 140722343314695 140722343314695 140722343317453 0
/proc/22247/statm: 28282 349 296 221 0 87 0
[pid=22250] ppid=22247 vsize=15012476 memory=73880 CPUtime=0.12 cores=0,2,4,6
/proc/22250/stat : 22250 (java) S 22247 22247 19383 0 -1 1077944320 6052 0 0 0 10 2 0 0 20 0 15 0 224826631 15372775424 18470 33554432000 4194304 4196468 140736172052208 140736172034752 140642608697079 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
/proc/22250/statm: 3753119 18470 2772 1 0 3715579 0
[pid=22250/tid=22251] ppid=22247 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/22250/task/22251/stat : 22251 (java) R 22247 22247 19383 0 -1 4202560 4189 0 0 0 8 1 0 0 20 0 15 0 224826631 15372775424 18470 33554432000 4194304 4196468 140736172052208 140642580509064 140642588972786 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22252] ppid=22247 vsize=15012476 memory=3472468024380348080 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22252/stat : 22252 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 18536 33554432000 4194304 4196468 140736172052208 140642612939664 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22253] ppid=22247 vsize=15012476 memory=139728152667776 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22253/stat : 22253 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 18536 33554432000 4194304 4196468 140736172052208 140642404023056 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22254] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22254/stat : 22254 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 18536 33554432000 4194304 4196468 140736172052208 140642402970768 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22255] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22255/stat : 22255 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 18536 33554432000 4194304 4196468 140736172052208 140642401917968 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22256] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22256/stat : 22256 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826635 15372775424 18536 33554432000 4194304 4196468 140736172052208 140641948211312 140642608708226 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22257] ppid=22247 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22257/stat : 22257 (java) S 22247 22247 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826635 15372775424 18536 33554432000 4194304 4196468 140736172052208 140641220682528 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22258] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22258/stat : 22258 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826635 15372775424 18536 33554432000 4194304 4196468 140736172052208 140640985801840 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22259] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22259/stat : 22259 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 18536 33554432000 4194304 4196468 140736172052208 140640611293264 140642608715675 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22260] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22260/stat : 22260 (java) S 22247 22247 19383 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 18536 33554432000 4194304 4196468 140736172052208 140641947159152 140642608708226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22261] ppid=22247 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22261/stat : 22261 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 18536 33554432000 4194304 4196468 140736172052208 140641946106352 140642608708226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22262] ppid=22247 vsize=15012476 memory=139728152667776 CPUtime=0.01 cores=0,2,4,6
/proc/22250/task/22262/stat : 22262 (java) S 22247 22247 19383 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 224826638 15372775424 18536 33554432000 4194304 4196468 140736172052208 140641945054064 140642608708226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22263] ppid=22247 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22263/stat : 22263 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 18536 33554432000 4194304 4196468 140736172052208 140640113388512 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22264] ppid=22247 vsize=15012476 memory=139728152667776 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22264/stat : 22264 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 18602 33554432000 4194304 4196468 140736172052208 140641944000944 140642608708226 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75276 KiB
[startup+0.210838 s]*
/proc/loadavg: 1.97 2.03 2.04 4/225 22264
/proc/meminfo: memFree=11548656/32770624 swapFree=67108860/67108860
[pid=22247] ppid=22244 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22247/stat : 22247 (scop.sh) S 22244 22247 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224826631 115843072 349 33554432000 4194304 5098028 140722343306784 140722343304040 140112941732476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36577280 140722343314497 140722343314695 140722343314695 140722343317453 0
/proc/22247/statm: 28282 349 296 221 0 87 0
[pid=22250] ppid=22247 vsize=15012476 memory=86660 CPUtime=0.25 cores=0,2,4,6
/proc/22250/stat : 22250 (java) S 22247 22247 19383 0 -1 1077944320 9499 0 0 0 23 2 0 0 20 0 15 0 224826631 15372775424 21665 33554432000 4194304 4196468 140736172052208 140736172034752 140642608697079 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
/proc/22250/statm: 3753119 21665 2908 1 0 3715579 0
[pid=22250/tid=22251] ppid=22247 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/22250/task/22251/stat : 22251 (java) R 22247 22247 19383 0 -1 4202560 7413 0 0 0 18 2 0 0 20 0 15 0 224826631 15372775424 21665 33554432000 4194304 4196468 140736172052208 140642580524736 140642608709014 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22252] ppid=22247 vsize=15012476 memory=3472468024380348080 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22252/stat : 22252 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 21665 33554432000 4194304 4196468 140736172052208 140642612939664 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22253] ppid=22247 vsize=15012476 memory=139728152667776 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22253/stat : 22253 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 21665 33554432000 4194304 4196468 140736172052208 140642404023056 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22254] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22254/stat : 22254 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 21665 33554432000 4194304 4196468 140736172052208 140642402970768 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22255] ppid=22247 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22255/stat : 22255 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 21665 33554432000 4194304 4196468 140736172052208 140642401917968 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22256] ppid=22247 vsize=15012476 memory=139728152667776 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22256/stat : 22256 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826635 15372775424 21665 33554432000 4194304 4196468 140736172052208 140641948211312 140642608708226 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22257] ppid=22247 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22257/stat : 22257 (java) S 22247 22247 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826635 15372775424 21665 33554432000 4194304 4196468 140736172052208 140641220682528 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22258] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22258/stat : 22258 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826635 15372775424 21665 33554432000 4194304 4196468 140736172052208 140640985801840 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22259] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22259/stat : 22259 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 21665 33554432000 4194304 4196468 140736172052208 140640611293264 140642608715675 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22260] ppid=22247 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22260/stat : 22260 (java) S 22247 22247 19383 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 21665 33554432000 4194304 4196468 140736172052208 140641947159152 140642608708226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22261] ppid=22247 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22261/stat : 22261 (java) S 22247 22247 19383 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 21665 33554432000 4194304 4196468 140736172052208 140641946106352 140642608708226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22262] ppid=22247 vsize=15012476 memory=139728152667776 CPUtime=0.03 cores=0,2,4,6
/proc/22250/task/22262/stat : 22262 (java) R 22247 22247 19383 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 224826638 15372775424 21665 33554432000 4194304 4196468 140736172052208 140641945054064 140642587654822 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22263] ppid=22247 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22263/stat : 22263 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 21665 33554432000 4194304 4196468 140736172052208 140640113388512 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22264] ppid=22247 vsize=15012476 memory=139728152667776 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22264/stat : 22264 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 21665 33554432000 4194304 4196468 140736172052208 140641944000944 140642608708226 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88056 KiB
[startup+0.310809 s]*
/proc/loadavg: 1.97 2.03 2.04 3/225 22264
/proc/meminfo: memFree=11545740/32770624 swapFree=67108860/67108860
[pid=22247] ppid=22244 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22247/stat : 22247 (scop.sh) S 22244 22247 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224826631 115843072 349 33554432000 4194304 5098028 140722343306784 140722343304040 140112941732476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36577280 140722343314497 140722343314695 140722343314695 140722343317453 0
/proc/22247/statm: 28282 349 296 221 0 87 0
[pid=22250] ppid=22247 vsize=15012476 memory=90448 CPUtime=0.43 cores=0,2,4,6
/proc/22250/stat : 22250 (java) S 22247 22247 19383 0 -1 1077944320 10037 0 0 0 40 3 0 0 20 0 15 0 224826631 15372775424 22612 33554432000 4194304 4196468 140736172052208 140736172034752 140642608697079 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
/proc/22250/statm: 3753119 22612 3016 1 0 3715579 0
[pid=22250/tid=22251] ppid=22247 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/22250/task/22251/stat : 22251 (java) R 22247 22247 19383 0 -1 4202560 7789 0 0 0 27 2 0 0 20 0 15 0 224826631 15372775424 22612 33554432000 4194304 4196468 140736172052208 140642580526384 140642592777566 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22252] ppid=22247 vsize=15012476 memory=3472468024380348080 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22252/stat : 22252 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 22612 33554432000 4194304 4196468 140736172052208 140642612939664 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22253] ppid=22247 vsize=15012476 memory=279456189606784 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22253/stat : 22253 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 22612 33554432000 4194304 4196468 140736172052208 140642404023056 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22254] ppid=22247 vsize=15012476 memory=279456073910304 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22254/stat : 22254 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 22612 33554432000 4194304 4196468 140736172052208 140642402970768 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22255] ppid=22247 vsize=15012476 memory=139728036939023 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22255/stat : 22255 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826633 15372775424 22612 33554432000 4194304 4196468 140736172052208 140642401917968 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22256] ppid=22247 vsize=15012476 memory=279456189613696 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22256/stat : 22256 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826635 15372775424 22612 33554432000 4194304 4196468 140736172052208 140641948211312 140642608708226 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22257] ppid=22247 vsize=15012476 memory=139728036943631 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22257/stat : 22257 (java) S 22247 22247 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826635 15372775424 22612 33554432000 4194304 4196468 140736172052208 140641220682528 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22258] ppid=22247 vsize=15012476 memory=139728036967488 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22258/stat : 22258 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826635 15372775424 22612 33554432000 4194304 4196468 140736172052208 140640985801840 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22259] ppid=22247 vsize=15012476 memory=279456073919520 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22259/stat : 22259 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 22612 33554432000 4194304 4196468 140736172052208 140640611293264 140642608715675 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22260] ppid=22247 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22250/task/22260/stat : 22260 (java) R 22247 22247 19383 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 15 0 224826638 15372775424 22612 33554432000 4194304 4196468 140736172052208 140641947159152 140642608708226 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22261] ppid=22247 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22250/task/22261/stat : 22261 (java) R 22247 22247 19383 0 -1 4202560 207 0 0 0 1 0 0 0 20 0 15 0 224826638 15372775424 22612 33554432000 4194304 4196468 140736172052208 140641946106352 140642592180453 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22262] ppid=22247 vsize=15012476 memory=139728152667776 CPUtime=0.07 cores=0,2,4,6
/proc/22250/task/22262/stat : 22262 (java) R 22247 22247 19383 0 -1 4202560 311 0 0 0 7 0 0 0 20 0 15 0 224826638 15372775424 22612 33554432000 4194304 4196468 140736172052208 140641945054064 140642600934206 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22263] ppid=22247 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22263/stat : 22263 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 22612 33554432000 4194304 4196468 140736172052208 140640113388512 140642608707285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22264] ppid=22247 vsize=15012476 memory=139728152669172 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22264/stat : 22264 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826638 15372775424 22612 33554432000 4194304 4196468 140736172052208 140641944000944 140642608708226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91844 KiB
[startup+0.700846 s]
/proc/loadavg: 1.97 2.03 2.04 3/225 22264
/proc/meminfo: memFree=11520772/32770624 swapFree=67108860/67108860
[pid=22247] ppid=22244 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22247/stat : 22247 (scop.sh) S 22244 22247 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224826631 115843072 349 33554432000 4194304 5098028 140722343306784 140722343304040 140112941732476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36577280 140722343314497 140722343314695 140722343314695 140722343317453 0
/proc/22247/statm: 28282 349 296 221 0 87 0
[pid=22250] ppid=22247 vsize=15020872 memory=129952 CPUtime=1.01 cores=0,2,4,6
/proc/22250/stat : 22250 (java) S 22247 22247 19383 0 -1 1077944320 17095 0 0 0 95 6 0 0 20 0 15 0 224826631 15381372928 32488 33554432000 4194304 4196468 140736172052208 140736172034752 140642608697079 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
/proc/22250/statm: 3755218 32488 3147 1 0 3716603 0
[pid=22250/tid=22251] ppid=22247 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/22250/task/22251/stat : 22251 (java) R 22247 22247 19383 0 -1 4202560 14430 0 0 0 62 5 0 0 20 0 15 0 224826631 15381372928 32488 33554432000 4194304 4196468 140736172052208 140642580531424 140642076463172 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22252] ppid=22247 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22252/stat : 22252 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15381372928 32488 33554432000 4194304 4196468 140736172052208 140642612939664 140642608707285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22253] ppid=22247 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22253/stat : 22253 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15381372928 32488 33554432000 4194304 4196468 140736172052208 140642404023056 140642608707285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22254] ppid=22247 vsize=15020872 memory=7518566443438922081 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22254/stat : 22254 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826633 15381372928 32488 33554432000 4194304 4196468 140736172052208 140642402970768 140642608707285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22255] ppid=22247 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22255/stat : 22255 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826633 15381372928 32488 33554432000 4194304 4196468 140736172052208 140642401917968 140642608707285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22256] ppid=22247 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22256/stat : 22256 (java) S 22247 22247 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224826635 15381372928 32488 33554432000 4194304 4196468 140736172052208 140641948211312 140642608708226 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22257] ppid=22247 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22257/stat : 22257 (java) S 22247 22247 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224826635 15381372928 32488 33554432000 4194304 4196468 140736172052208 140641220682528 140642608707285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22258] ppid=22247 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22258/stat : 22258 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224826635 15381372928 32488 33554432000 4194304 4196468 140736172052208 140640985801840 140642608707285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22259] ppid=22247 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22259/stat : 22259 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826638 15381372928 32488 33554432000 4194304 4196468 140736172052208 140640611293264 140642608715675 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22260] ppid=22247 vsize=15020872 memory=12144 CPUtime=0.07 cores=0,2,4,6
/proc/22250/task/22260/stat : 22260 (java) S 22247 22247 19383 0 -1 1077944384 463 0 0 0 7 0 0 0 20 0 15 0 224826638 15381372928 32488 33554432000 4194304 4196468 140736172052208 140641947159152 140642608708226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22261] ppid=22247 vsize=15020872 memory=1712 CPUtime=0.09 cores=0,2,4,6
/proc/22250/task/22261/stat : 22261 (java) S 22247 22247 19383 0 -1 1077944384 458 0 0 0 9 0 0 0 20 0 15 0 224826638 15381372928 32488 33554432000 4194304 4196468 140736172052208 140641946106352 140642608708226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22262] ppid=22247 vsize=15020872 memory=8812 CPUtime=0.15 cores=0,2,4,6
/proc/22250/task/22262/stat : 22262 (java) R 22247 22247 19383 0 -1 4202560 408 0 0 0 15 0 0 0 20 0 15 0 224826638 15381372928 32488 33554432000 4194304 4196468 140736172052208 140641945054064 140642608709014 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22263] ppid=22247 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22263/stat : 22263 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224826638 15381372928 32488 33554432000 4194304 4196468 140736172052208 140640113388512 140642608707285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
[pid=22250/tid=22264] ppid=22247 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/22250/task/22264/stat : 22264 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224826638 15381372928 32488 33554432000 4194304 4196468 140736172052208 140641944000944 140642608708226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22102016 140736172053511 140736172053809 140736172053809 140736172056527 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131348 KiB
[startup+1.50109 s]
/proc/loadavg: 1.97 2.03 2.04 4/225 22264
/proc/meminfo: memFree=11492980/32770624 swapFree=67108860/67108860
[pid=22247] ppid=22244 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22247/stat : 22247 (scop.sh) S 22244 22247 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224826631 115843072 349 33554432000 4194304 5098028 140722343306784 140722343304040 140112941732476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36577280 140722343314497 140722343314695 140722343314695 140722343317453 0
/proc/22247/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=22265/tid=22268] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22268/stat : 22268 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218205760656 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22269] ppid=22247 vsize=8068220 memory=116140 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22269/stat : 22269 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218204707600 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22270] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22270/stat : 22270 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218203655056 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22271] ppid=22247 vsize=8068220 memory=1472 CPUtime=0.02 cores=0,2,4,6
/proc/22265/task/22271/stat : 22271 (java) S 22247 22247 19383 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 224826813 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217780652272 140218401360514 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22272] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22272/stat : 22272 (java) S 22247 22247 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224826813 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217260434592 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22273] ppid=22247 vsize=8068220 memory=279456074538096 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22273/stat : 22273 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224826813 8261857280 29035 33554432000 4194304 4196468 140733576947344 140216991998704 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22274] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22274/stat : 22274 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140216617490384 140218401367963 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22275] ppid=22247 vsize=8068220 memory=3560 CPUtime=0.07 cores=0,2,4,6
/proc/22265/task/22275/stat : 22275 (java) S 22247 22247 19383 0 -1 1077944384 764 0 0 0 7 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217779600112 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22276] ppid=22247 vsize=8068220 memory=63984 CPUtime=0.09 cores=0,2,4,6
/proc/22265/task/22276/stat : 22276 (java) S 22247 22247 19383 0 -1 1077944384 189 0 0 0 9 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217778547568 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22277] ppid=22247 vsize=8068220 memory=1472 CPUtime=0.18 cores=0,2,4,6
/proc/22265/task/22277/stat : 22277 (java) S 22247 22247 19383 0 -1 1077944384 488 0 0 0 18 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217777494512 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22278] ppid=22247 vsize=8068220 memory=63984 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22278/stat : 22278 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140216119585632 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22279] ppid=22247 vsize=8068220 memory=1472 CPUtime=0.7 cores=0,2,4,6
/proc/22265/task/22279/stat : 22279 (java) S 22247 22247 19383 0 -1 1077944384 163 0 0 0 34 36 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217776441904 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22281] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22281/stat : 22281 (java) S 22247 22247 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224826881 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217768633664 140218401373977 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22283] ppid=22247 vsize=8068220 memory=116140 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22283/stat : 22283 (java) S 22247 22247 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224826881 8261857280 29035 33554432000 4194304 4196468 140733576947344 140215582698896 140218401371293 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22284] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22284/stat : 22284 (java) S 22247 22247 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224826881 8261857280 29035 33554432000 4194304 4196468 140733576947344 140215716921360 140218401371293 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22285] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22285/stat : 22285 (java) S 22247 22247 19383 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 224826883 8261857280 29035 33554432000 4194304 4196468 140733576947344 140215314276128 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
Current children cumulated CPU time: 2445.16 s
Current children cumulated vsize: 8262308 KiB
Current children cumulated memory: 181596 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/231 22470
/proc/meminfo: memFree=11630548/32770624 swapFree=67108860/67108860
[pid=22247] ppid=22244 vsize=113128 memory=1472 CPUtime=3.84 cores=0,2,4,6
/proc/22247/stat : 22247 (scop.sh) S 22244 22247 19383 0 -1 4202496 591 23545 0 0 0 0 373 11 20 0 1 0 224826631 115843072 368 33554432000 4194304 5098028 140722343306784 140722343303528 140112941732476 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36577280 140722343314497 140722343314695 140722343314695 140722343317453 0
/proc/22247/statm: 28282 368 311 221 0 87 0
[pid=22265] ppid=22247 vsize=8068220 memory=116140 CPUtime=1.88 cores=0,2,4,6
/proc/22265/stat : 22265 (java) S 22247 22247 19383 0 -1 1077944320 17489 0 0 0 144 44 0 0 20 0 19 0 224826810 8261857280 29035 33554432000 4194304 4196468 140733576947344 140733576929888 140218401349367 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
/proc/22265/statm: 2017055 29035 3144 1 0 1978454 0
[pid=22280] ppid=22265 vsize=80960 memory=63992 CPUtime=2499.45 cores=0,2,4,6
/proc/22280/stat : 22280 (minisat_release) R 22265 22247 19383 0 -1 4202496 160235 0 0 0 249932 13 0 0 20 0 1 0 224826880 82903040 15998 33554432000 4194304 4308513 140729063405872 140729063402872 4276395 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 28233728 140729063408756 140729063408854 140729063408854 140729063411653 0
/proc/22280/statm: 20240 15998 341 28 0 16480 0
[pid=22265/tid=22266] ppid=22247 vsize=8068220 memory=1472 CPUtime=0.72 cores=0,2,4,6
/proc/22265/task/22266/stat : 22266 (java) S 22247 22247 19383 0 -1 1077944384 14463 0 0 0 68 4 0 0 20 0 19 0 224826810 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218373189520 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22267] ppid=22247 vsize=8068220 memory=63992 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22267/stat : 22267 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218405592080 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22268] ppid=22247 vsize=8068220 memory=63992 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22268/stat : 22268 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218205760656 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22269] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22269/stat : 22269 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218204707600 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22270] ppid=22247 vsize=8068220 memory=116140 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22270/stat : 22270 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218203655056 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22271] ppid=22247 vsize=8068220 memory=1472 CPUtime=0.02 cores=0,2,4,6
/proc/22265/task/22271/stat : 22271 (java) S 22247 22247 19383 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 224826813 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217780652272 140218401360514 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22272] ppid=22247 vsize=8068220 memory=63992 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22272/stat : 22272 (java) S 22247 22247 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224826813 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217260434592 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22273] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22273/stat : 22273 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224826813 8261857280 29035 33554432000 4194304 4196468 140733576947344 140216991998704 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22274] ppid=22247 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22274/stat : 22274 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140216617490384 140218401367963 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22275] ppid=22247 vsize=8068220 memory=2836 CPUtime=0.07 cores=0,2,4,6
/proc/22265/task/22275/stat : 22275 (java) S 22247 22247 19383 0 -1 1077944384 764 0 0 0 7 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217779600112 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22276] ppid=22247 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/22265/task/22276/stat : 22276 (java) S 22247 22247 19383 0 -1 1077944384 189 0 0 0 9 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217778547568 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22277] ppid=22247 vsize=8068220 memory=1472 CPUtime=0.18 cores=0,2,4,6
/proc/22265/task/22277/stat : 22277 (java) S 22247 22247 19383 0 -1 1077944384 488 0 0 0 18 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217777494512 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22278] ppid=22247 vsize=8068220 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22278/stat : 22278 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140216119585632 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22279] ppid=22247 vsize=8068220 memory=792 CPUtime=0.72 cores=0,2,4,6
/proc/22265/task/22279/stat : 22279 (java) S 22247 22247 19383 0 -1 1077944384 167 0 0 0 35 37 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217776441904 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22281] ppid=22247 vsize=8068220 memory=8812 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22281/stat : 22281 (java) S 22247 22247 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224826881 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217768633664 140218401373977 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22283] ppid=22247 vsize=8068220 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22283/stat : 22283 (java) S 22247 22247 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224826881 8261857280 29035 33554432000 4194304 4196468 140733576947344 140215582698896 140218401371293 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22284] ppid=22247 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22284/stat : 22284 (java) S 22247 22247 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224826881 8261857280 29035 33554432000 4194304 4196468 140733576947344 140215716921360 140218401371293 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22285] ppid=22247 vsize=8068220 memory=116140 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22285/stat : 22285 (java) S 22247 22247 19383 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 224826883 8261857280 29035 33554432000 4194304 4196468 140733576947344 140215314276128 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
Current children cumulated CPU time: 2505.17 s
Current children cumulated vsize: 8262308 KiB
Current children cumulated memory: 181604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2517.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/231 22471
/proc/meminfo: memFree=11630316/32770624 swapFree=67108860/67108860
[pid=22247] ppid=22244 vsize=113128 memory=1472 CPUtime=3.84 cores=0,2,4,6
/proc/22247/stat : 22247 (scop.sh) S 22244 22247 19383 0 -1 4202496 591 23545 0 0 0 0 373 11 20 0 1 0 224826631 115843072 368 33554432000 4194304 5098028 140722343306784 140722343303528 140112941732476 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36577280 140722343314497 140722343314695 140722343314695 140722343317453 0
/proc/22247/statm: 28282 368 311 221 0 87 0
[pid=22265] ppid=22247 vsize=8068220 memory=116140 CPUtime=1.89 cores=0,2,4,6
/proc/22265/stat : 22265 (java) S 22247 22247 19383 0 -1 1077944320 17495 0 0 0 145 44 0 0 20 0 19 0 224826810 8261857280 29035 33554432000 4194304 4196468 140733576947344 140733576929888 140218401349367 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
/proc/22265/statm: 2017055 29035 3144 1 0 1978454 0
[pid=22280] ppid=22265 vsize=80960 memory=63996 CPUtime=2514.34 cores=0,2,4,6
/proc/22280/stat : 22280 (minisat_release) R 22265 22247 19383 0 -1 4202496 160477 0 0 0 251421 13 0 0 20 0 1 0 224826880 82903040 15999 33554432000 4194304 4308513 140729063405872 140729063403368 4276089 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 28233728 140729063408756 140729063408854 140729063408854 140729063411653 0
/proc/22280/statm: 20240 15999 342 28 0 16480 0
[pid=22265/tid=22266] ppid=22247 vsize=8068220 memory=116140 CPUtime=0.72 cores=0,2,4,6
/proc/22265/task/22266/stat : 22266 (java) S 22247 22247 19383 0 -1 1077944384 14463 0 0 0 68 4 0 0 20 0 19 0 224826810 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218373189520 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22267] ppid=22247 vsize=8068220 memory=63996 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22267/stat : 22267 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218405592080 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22268] ppid=22247 vsize=8068220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22268/stat : 22268 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218205760656 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22269] ppid=22247 vsize=8068220 memory=644 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22269/stat : 22269 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218204707600 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22270] ppid=22247 vsize=8068220 memory=290763849282617370 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22270/stat : 22270 (java) S 22247 22247 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224826811 8261857280 29035 33554432000 4194304 4196468 140733576947344 140218203655056 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22271] ppid=22247 vsize=8068220 memory=288230596050944315 CPUtime=0.02 cores=0,2,4,6
/proc/22265/task/22271/stat : 22271 (java) S 22247 22247 19383 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 224826813 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217780652272 140218401360514 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22272] ppid=22247 vsize=8068220 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22272/stat : 22272 (java) S 22247 22247 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224826813 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217260434592 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22273] ppid=22247 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22273/stat : 22273 (java) S 22247 22247 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224826813 8261857280 29035 33554432000 4194304 4196468 140733576947344 140216991998704 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22274] ppid=22247 vsize=8068220 memory=968 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22274/stat : 22274 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140216617490384 140218401367963 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22275] ppid=22247 vsize=8068220 memory=12144 CPUtime=0.07 cores=0,2,4,6
/proc/22265/task/22275/stat : 22275 (java) S 22247 22247 19383 0 -1 1077944384 764 0 0 0 7 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217779600112 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22276] ppid=22247 vsize=8068220 memory=1712 CPUtime=0.09 cores=0,2,4,6
/proc/22265/task/22276/stat : 22276 (java) S 22247 22247 19383 0 -1 1077944384 189 0 0 0 9 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217778547568 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22277] ppid=22247 vsize=8068220 memory=8812 CPUtime=0.18 cores=0,2,4,6
/proc/22265/task/22277/stat : 22277 (java) S 22247 22247 19383 0 -1 1077944384 492 0 0 0 18 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217777494512 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22278] ppid=22247 vsize=8068220 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22278/stat : 22278 (java) S 22247 22247 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140216119585632 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22279] ppid=22247 vsize=8068220 memory=15868 CPUtime=0.73 cores=0,2,4,6
/proc/22265/task/22279/stat : 22279 (java) S 22247 22247 19383 0 -1 1077944384 167 0 0 0 36 37 0 0 20 0 19 0 224826816 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217776441904 140218401360514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22281] ppid=22247 vsize=8068220 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22281/stat : 22281 (java) S 22247 22247 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224826881 8261857280 29035 33554432000 4194304 4196468 140733576947344 140217768633664 140218401373977 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22283] ppid=22247 vsize=8068220 memory=35004 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22283/stat : 22283 (java) S 22247 22247 19383 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224826881 8261857280 29035 33554432000 4194304 4196468 140733576947344 140215582698896 140218401371293 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22284] ppid=22247 vsize=8068220 memory=18220 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22284/stat : 22284 (java) S 22247 22247 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224826881 8261857280 29035 33554432000 4194304 4196468 140733576947344 140215716921360 140218401371293 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
[pid=22265/tid=22285] ppid=22247 vsize=8068220 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22285/stat : 22285 (java) S 22247 22247 19383 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 224826883 8261857280 29035 33554432000 4194304 4196468 140733576947344 140215314276128 140218401359573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140733576950965 140733576951089 140733576951089 140733576953807 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8262308 KiB
Current children cumulated memory: 181608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2517.21 s]
# the end of solver process 22247 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.73351 s, system=0.120159 s
[startup+2517.21 s]
# the end of solver process 22265 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.41 s, system=0.716867 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2517.21
CPU time (s): 2520.13
CPU user time (s): 2519.41
CPU system time (s): 0.716867
CPU usage (%): 100.116
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 208736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.716867
maximum resident set size= 216828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58825
involuntary context switches= 2471
# summary of solver processes directly reported to runsolver:
# pid: 22247,22265
# total CPU time (s): 2520.13
# total CPU user time (s): 2519.41
# total CPU system time (s): 0.716867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1639 second user time and 27.4744 second system time
The end