0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-17363-serial-file.bin HOME/instance-4305339-1534062965.xml
0.54/0.51
0.66/0.52 scop order+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:36:06 CEST 2018
0.66/0.54 c PID: 17366
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.41/0.91 c (0,0) Parsing End
1.41/0.92 c (0,0) CSP: 196 int (0 aux), 0 bool (0 aux), 78 ctr, max domain size 14
1.41/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.92 c (0,0) Constraint Name Generate Begin
1.41/0.93 c (0,0) Ctr:HOME/instance-4305339-1534062965.xml,AllDifferent:IntVar
1.41/0.93 c (0,0) Constraint Name Generate End
1.41/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.93 c (0,0) CSP to CSPinCNF Begin
2.10/1.24 c (0,0) translated 8 (10%) constraints
2.39/1.32 c (0,0) translated 16 (20%) constraints
2.39/1.37 c (0,0) translated 24 (30%) constraints
2.72/1.41 c (0,0) translated 32 (40%) constraints
2.72/1.42 c (0,0) translated 39 (50%) constraints
2.72/1.43 c (0,0) translated 47 (60%) constraints
2.72/1.44 c (0,0) translated 55 (70%) constraints
2.72/1.45 c (0,0) translated 63 (80%) constraints
2.72/1.47 c (0,0) translated 71 (90%) constraints
2.72/1.48 c (0,0) translated 78 (100%) constraints
3.05/1.58 c (1,1) STATISTICS1:HOME/instance-4305339-1534062965.xml,AllDifferent:IntVar,196,4342,14,14,14,2,14:4186,14:9932,14:60;13:8;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:4194,2:4186;1:1560,
3.05/1.58 c (1,1) ==========================================
3.05/1.58 c (1,1) Order
3.05/1.58 c (1,1) ==========================================
3.36/1.64 c (1,1) translated 435 (10%) constraints
3.36/1.66 c (1,1) translated 869 (20%) constraints
3.36/1.69 c (1,1) translated 1303 (30%) constraints
3.70/1.71 c (1,1) translated 1737 (40%) constraints
3.70/1.74 c (1,1) translated 2171 (50%) constraints
3.70/1.76 c (1,1) translated 2606 (60%) constraints
3.70/1.78 c (1,1) translated 3040 (70%) constraints
3.99/1.80 c (1,1) translated 3474 (80%) constraints
3.99/1.82 c (1,1) translated 3908 (90%) constraints
3.99/1.84 c (1,1) translated 4342 (100%) constraints
3.99/1.85 c (1,1) CSP to CSPinCNF End
3.99/1.85 c (1,1) CSP: 196 int (0 aux), 0 bool (0 aux), 4342 ctr, max domain size 14
3.99/1.85 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.99/1.85 c (1,1) CSPinCNF Propagation Begin
4.32/1.92 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.32/1.92 c (1,1) CSPinCNF Propagation End
4.32/1.92 c (1,1) CSP: 196 int (0 aux), 0 bool (0 aux), 4342 ctr, max domain size 14
4.32/1.92 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.32/1.92 c (1,1) Simplify CSPinCNF Begin
5.22/2.22 c (1,1) Simplify CSPinCNF End
5.22/2.23 c (1,1) CSP: 196 int (0 aux), 8372 bool (8372 aux), 12714 ctr, max domain size 14
5.22/2.23 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.22/2.23 c (1,1) Calculate Precise Domain Begin
5.22/2.23 c (1,1) 0 values are removed by re-calculation
5.22/2.23 c (1,1) Calculate Precise Domain End
5.22/2.23 c (1,1) CSP: 196 int (0 aux), 8372 bool (8372 aux), 12714 ctr, max domain size 14
5.22/2.23 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.22/2.23 c (1,1) CSPinCNF to SatSolver Begin
5.91/2.43 c (1,1) 1272 (10 %) CSP clauses are encoded (10920 SAT variables, 14569 SAT clauses)
6.22/2.51 c (1,1) 2543 (20 %) CSP clauses are encoded (10920 SAT variables, 26760 SAT clauses)
6.22/2.58 c (2,2) 3815 (30 %) CSP clauses are encoded (10920 SAT variables, 38991 SAT clauses)
6.53/2.65 c (2,2) 5086 (40 %) CSP clauses are encoded (10920 SAT variables, 51195 SAT clauses)
6.82/2.71 c (2,2) 6357 (50 %) CSP clauses are encoded (10920 SAT variables, 63386 SAT clauses)
6.82/2.76 c (2,2) 7629 (60 %) CSP clauses are encoded (10920 SAT variables, 75617 SAT clauses)
7.12/2.80 c (2,2) 8900 (70 %) CSP clauses are encoded (10920 SAT variables, 87782 SAT clauses)
7.12/2.84 c (2,2) 10172 (80 %) CSP clauses are encoded (10920 SAT variables, 99805 SAT clauses)
7.12/2.87 c (2,2) 11443 (90 %) CSP clauses are encoded (10920 SAT variables, 111827 SAT clauses)
7.33/2.91 c (2,2) 12714 (100 %) CSP clauses are encoded (10920 SAT variables, 123901 SAT clauses)
7.33/2.91 c (2,2) Launch Command will be: minisat_release
7.33/2.91 c (2,2) CSPinCNF to SatSolver End
7.33/2.91 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
7.33/3.00 c (2,2) STATISTICS2:HOME/instance-4305339-1534062965.xml,AllDifferent:IntVar,8568,12714,14,14,14,2,14:8372,14:18304;2:16744,14:60;13:8;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:12566,2:8372;1:18304,
7.33/3.00 c (2,2) 10920 bool, 123902 clause
7.33/3.00 c (2,2) Export Begin
7.63/3.09 c (2,2) Export to HOME/scop-17363-serial-file.bin
7.63/3.09 c (2,2) Export End
7.63/3.10 c (2,2) Export File Size: 0.03 MB
7.63/3.10 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.63/3.10 c END-Prog: Sun Aug 12 10:36:08 CEST 2018
0.00/3.11 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17363-serial-file.bin
7.91/3.59 c (0,0) Read Serial File Begin
7.91/3.59 c (0,0) HOME/scop-17363-serial-file.bin
7.91/3.77 c (0,0) Read Serial File End
7.91/3.78
7.91/3.78 scop order+minisat_release (2018-07-31)
7.91/3.78 (Solving Process)
7.91/3.78
7.91/3.80 c BEGIN-Prog: Sun Aug 12 10:36:09 CEST 2018
7.91/3.80 c PID: 17381
7.91/3.80 c IP: 172.20.3.139
7.91/3.80 c HOST: node139.alineos.net
7.91/3.81 c (0,0) SatSolver.solve Begin
7.91/3.81 c (0,0) 0 bool, 0 clause
7.91/3.81 c (0,0) minisat_release HOME/instance-4305339-1534062965.xml-scop-17366.cnf
2510.43/2504.00 c (2500,0) c This is COMiniSatPS.
2510.43/2504.00 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2510.43/2504.01 c (2500,0) c ============================[ Problem Statistics ]=============================
2510.43/2504.01 c (2500,0) c | |
2510.43/2504.01 c (2500,0) c | Number of variables: 10920 |
2510.43/2504.01 c (2500,0) c | Number of clauses: 123902 |
2510.43/2504.01 c (2500,0) c | Parse time: 0.03 s |
2510.43/2504.01 c (2500,0) c | Eliminated clauses: 0.08 Mb |
2510.43/2504.01 c (2500,0) c Reduced to 6734 vars, 119716 cls (grow=0)
2510.43/2504.01 c (2500,0) c No iterative elimination performed. (vars=6734, c/v ratio=17.8)
2510.43/2504.01 c (2500,0) c | Simplification time: 0.09 s |
2510.43/2504.01 c (2500,0) c | |
2510.43/2504.01 c (2500,0) c ============================[ Search Statistics ]==============================
2510.43/2504.01 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2510.43/2504.01 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2510.43/2504.01 c (2500,0) c ===============================================================================
2510.43/2504.01 c (2500,0) c Switched to VSIDS.
2520.03/2513.50 c (2510,0) SatSolver is killed by some reasons.
2520.03/2513.50 c (2510,0) receiving signal SIGTERM
2520.03/2513.50 s UNKNOWN
2520.03/2513.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2513.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 (4551 MiB free)
memory of node 1: 16384 MiB (5830 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305339-1534062965/watcher-4305339-1534062965 -o /tmp/evaluation-result-4305339-1534062965/solver-4305339-1534062965 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305339-1534062965.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=17363, runsolver pid=17360
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 2.23 2.07 1.98 3/222 17380
/proc/meminfo: memFree=10571312/32770624 swapFree=67108860/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17363/stat : 17363 (scop.sh) S 17360 17363 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223859670 115843072 349 33554432000 4194304 5098028 140722622924272 140722622921528 139820174729852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13578240 140722622932032 140722622932231 140722622932231 140722622934989 0
/proc/17363/statm: 28282 349 296 221 0 87 0
[pid=17366] ppid=17363 vsize=15012476 memory=72224 CPUtime=0.11 cores=1,3,5,7
/proc/17366/stat : 17366 (java) S 17363 17363 16770 0 -1 1077944320 6170 0 0 0 10 1 0 0 20 0 15 0 223859671 15372775424 18056 33554432000 4194304 4196468 140732849750160 140732849732704 140223581740791 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
/proc/17366/statm: 3753119 18056 2749 1 0 3715579 0
[pid=17366/tid=17367] ppid=17363 vsize=15012476 memory=-6004281011623739329 CPUtime=0.09 cores=1,3,5,7
/proc/17366/task/17367/stat : 17367 (java) R 17363 17363 16770 0 -1 4202560 4254 0 0 0 8 1 0 0 20 0 15 0 223859671 15372775424 18056 33554432000 4194304 4196468 140732849750160 140223553552776 140223563304377 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17368] ppid=17363 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17368/stat : 17368 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 18056 33554432000 4194304 4196468 140732849750160 140223585982864 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17369] ppid=17363 vsize=15012476 memory=139661481547392 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17369/stat : 17369 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 18056 33554432000 4194304 4196468 140732849750160 140223377066256 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17370] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17370/stat : 17370 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 18056 33554432000 4194304 4196468 140732849750160 140223376013968 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17371] ppid=17363 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17371/stat : 17371 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 18056 33554432000 4194304 4196468 140732849750160 140223374961168 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17372] ppid=17363 vsize=15012476 memory=139661481547392 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17372/stat : 17372 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859674 15372775424 18056 33554432000 4194304 4196468 140732849750160 140222642399856 140223581751938 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17373] ppid=17363 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17373/stat : 17373 (java) S 17363 17363 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223859675 15372775424 18056 33554432000 4194304 4196468 140732849750160 140222159381792 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17374] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17374/stat : 17374 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859675 15372775424 18056 33554432000 4194304 4196468 140732849750160 140221890946672 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17375] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17375/stat : 17375 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223859677 15372775424 18056 33554432000 4194304 4196468 140732849750160 140221516438096 140223581759387 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17376] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17376/stat : 17376 (java) S 17363 17363 16770 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 223859677 15372775424 18056 33554432000 4194304 4196468 140732849750160 140222641346672 140223581751938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17377] ppid=17363 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17377/stat : 17377 (java) S 17363 17363 16770 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 223859677 15372775424 18056 33554432000 4194304 4196468 140732849750160 140222640293872 140223581751938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17378] ppid=17363 vsize=15012476 memory=139661481547392 CPUtime=0.01 cores=1,3,5,7
/proc/17366/task/17378/stat : 17378 (java) S 17363 17363 16770 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 223859677 15372775424 18122 33554432000 4194304 4196468 140732849750160 140222639241584 140223581751938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17379] ppid=17363 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17379/stat : 17379 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223859678 15372775424 18122 33554432000 4194304 4196468 140732849750160 140221018532320 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17380] ppid=17363 vsize=15012476 memory=139661481547392 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17380/stat : 17380 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859678 15372775424 18122 33554432000 4194304 4196468 140732849750160 140222638189488 140223581751938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73620 KiB
[startup+0.210517 s]*
/proc/loadavg: 2.23 2.07 1.98 3/222 17380
/proc/meminfo: memFree=10557484/32770624 swapFree=67108860/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17363/stat : 17363 (scop.sh) S 17360 17363 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223859670 115843072 349 33554432000 4194304 5098028 140722622924272 140722622921528 139820174729852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13578240 140722622932032 140722622932231 140722622932231 140722622934989 0
/proc/17363/statm: 28282 349 296 221 0 87 0
[pid=17366] ppid=17363 vsize=15012476 memory=85528 CPUtime=0.25 cores=1,3,5,7
/proc/17366/stat : 17366 (java) S 17363 17363 16770 0 -1 1077944320 9765 0 0 0 23 2 0 0 20 0 15 0 223859671 15372775424 21382 33554432000 4194304 4196468 140732849750160 140732849732704 140223581740791 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
/proc/17366/statm: 3753119 21382 2880 1 0 3715579 0
[pid=17366/tid=17367] ppid=17363 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/17366/task/17367/stat : 17367 (java) R 17363 17363 16770 0 -1 4202560 7665 0 0 0 18 1 0 0 20 0 15 0 223859671 15372775424 21382 33554432000 4194304 4196468 140732849750160 140223553556144 140223581752726 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17368] ppid=17363 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17368/stat : 17368 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 21382 33554432000 4194304 4196468 140732849750160 140223585982864 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17369] ppid=17363 vsize=15012476 memory=139661481564766 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17369/stat : 17369 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 21382 33554432000 4194304 4196468 140732849750160 140223377066256 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17370] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17370/stat : 17370 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 21382 33554432000 4194304 4196468 140732849750160 140223376013968 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17371] ppid=17363 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17371/stat : 17371 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 21382 33554432000 4194304 4196468 140732849750160 140223374961168 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17372] ppid=17363 vsize=15012476 memory=139661481547392 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17372/stat : 17372 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859674 15372775424 21382 33554432000 4194304 4196468 140732849750160 140222642399856 140223581751938 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17373] ppid=17363 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17373/stat : 17373 (java) S 17363 17363 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223859675 15372775424 21382 33554432000 4194304 4196468 140732849750160 140222159381792 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17374] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17374/stat : 17374 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859675 15372775424 21382 33554432000 4194304 4196468 140732849750160 140221890946672 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17375] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17375/stat : 17375 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223859677 15372775424 21382 33554432000 4194304 4196468 140732849750160 140221516438096 140223581759387 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17376] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17376/stat : 17376 (java) S 17363 17363 16770 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 15 0 223859677 15372775424 21382 33554432000 4194304 4196468 140732849750160 140222641346672 140223581751938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17377] ppid=17363 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17366/task/17377/stat : 17377 (java) S 17363 17363 16770 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 223859677 15372775424 21382 33554432000 4194304 4196468 140732849750160 140222640293872 140223581751938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17378] ppid=17363 vsize=15012476 memory=139661481547392 CPUtime=0.03 cores=1,3,5,7
/proc/17366/task/17378/stat : 17378 (java) R 17363 17363 16770 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 15 0 223859677 15372775424 21382 33554432000 4194304 4196468 140732849750160 140222639241584 140223560656297 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17379] ppid=17363 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17379/stat : 17379 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223859678 15372775424 21382 33554432000 4194304 4196468 140732849750160 140221018532320 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17380] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17380/stat : 17380 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859678 15372775424 21382 33554432000 4194304 4196468 140732849750160 140222638189488 140223581751938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86924 KiB
[startup+0.310565 s]*
/proc/loadavg: 2.23 2.07 1.98 3/222 17380
/proc/meminfo: memFree=10553452/32770624 swapFree=67108860/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17363/stat : 17363 (scop.sh) S 17360 17363 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223859670 115843072 349 33554432000 4194304 5098028 140722622924272 140722622921528 139820174729852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13578240 140722622932032 140722622932231 140722622932231 140722622934989 0
/proc/17363/statm: 28282 349 296 221 0 87 0
[pid=17366] ppid=17363 vsize=15012476 memory=89660 CPUtime=0.42 cores=1,3,5,7
/proc/17366/stat : 17366 (java) S 17363 17363 16770 0 -1 1077944320 10384 0 0 0 40 2 0 0 20 0 15 0 223859671 15372775424 22415 33554432000 4194304 4196468 140732849750160 140732849732704 140223581740791 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
/proc/17366/statm: 3753119 22415 2983 1 0 3715579 0
[pid=17366/tid=17367] ppid=17363 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17366/task/17367/stat : 17367 (java) R 17363 17363 16770 0 -1 4202560 8098 0 0 0 27 2 0 0 20 0 15 0 223859671 15372775424 22415 33554432000 4194304 4196468 140732849750160 140223553535792 140223581762717 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17368] ppid=17363 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17368/stat : 17368 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 22415 33554432000 4194304 4196468 140732849750160 140223585982864 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17369] ppid=17363 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17369/stat : 17369 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 22415 33554432000 4194304 4196468 140732849750160 140223377066256 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17370] ppid=17363 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17370/stat : 17370 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 22415 33554432000 4194304 4196468 140732849750160 140223376013968 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17371] ppid=17363 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17371/stat : 17371 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859673 15372775424 22415 33554432000 4194304 4196468 140732849750160 140223374961168 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17372] ppid=17363 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17372/stat : 17372 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859674 15372775424 22415 33554432000 4194304 4196468 140732849750160 140222642399856 140223581751938 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17373] ppid=17363 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17373/stat : 17373 (java) S 17363 17363 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223859675 15372775424 22415 33554432000 4194304 4196468 140732849750160 140222159381792 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17374] ppid=17363 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17374/stat : 17374 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859675 15372775424 22415 33554432000 4194304 4196468 140732849750160 140221890946672 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17375] ppid=17363 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17375/stat : 17375 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223859677 15372775424 22415 33554432000 4194304 4196468 140732849750160 140221516438096 140223581759387 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17376] ppid=17363 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17366/task/17376/stat : 17376 (java) R 17363 17363 16770 0 -1 4202560 215 0 0 0 1 0 0 0 20 0 15 0 223859677 15372775424 22415 33554432000 4194304 4196468 140732849750160 140222641346672 140223566031029 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17377] ppid=17363 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17366/task/17377/stat : 17377 (java) R 17363 17363 16770 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 223859677 15372775424 22415 33554432000 4194304 4196468 140732849750160 140222640293872 140223581751938 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17378] ppid=17363 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17366/task/17378/stat : 17378 (java) R 17363 17363 16770 0 -1 4202560 347 0 0 0 7 0 0 0 20 0 15 0 223859677 15372775424 22415 33554432000 4194304 4196468 140732849750160 140222639241584 140223565821278 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17379] ppid=17363 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17379/stat : 17379 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223859678 15372775424 22415 33554432000 4194304 4196468 140732849750160 140221018532320 140223581750997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17380] ppid=17363 vsize=15012476 memory=3689353199920160817 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17380/stat : 17380 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859678 15372775424 22415 33554432000 4194304 4196468 140732849750160 140222638189488 140223581751938 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91056 KiB
[startup+0.700863 s]
/proc/loadavg: 2.23 2.07 1.98 3/222 17380
/proc/meminfo: memFree=10528028/32770624 swapFree=67108860/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17363/stat : 17363 (scop.sh) S 17360 17363 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223859670 115843072 349 33554432000 4194304 5098028 140722622924272 140722622921528 139820174729852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13578240 140722622932032 140722622932231 140722622932231 140722622934989 0
/proc/17363/statm: 28282 349 296 221 0 87 0
[pid=17366] ppid=17363 vsize=15020872 memory=129724 CPUtime=1.02 cores=1,3,5,7
/proc/17366/stat : 17366 (java) S 17363 17363 16770 0 -1 1077944320 17649 0 0 0 97 5 0 0 20 0 15 0 223859671 15381372928 32431 33554432000 4194304 4196468 140732849750160 140732849732704 140223581740791 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
/proc/17366/statm: 3755218 32431 3160 1 0 3716603 0
[pid=17366/tid=17367] ppid=17363 vsize=15020872 memory=-7082918048272507482 CPUtime=0.67 cores=1,3,5,7
/proc/17366/task/17367/stat : 17367 (java) R 17363 17363 16770 0 -1 4202560 14874 0 0 0 63 4 0 0 20 0 15 0 223859671 15381372928 32431 33554432000 4194304 4196468 140732849750160 140223553577312 140223581762717 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17368] ppid=17363 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17368/stat : 17368 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859673 15381372928 32431 33554432000 4194304 4196468 140732849750160 140223585982864 140223581750997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17369] ppid=17363 vsize=15020872 memory=60744 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17369/stat : 17369 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859673 15381372928 32431 33554432000 4194304 4196468 140732849750160 140223377066256 140223581750997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17370] ppid=17363 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17370/stat : 17370 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859673 15381372928 32431 33554432000 4194304 4196468 140732849750160 140223376013968 140223581750997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17371] ppid=17363 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17371/stat : 17371 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223859673 15381372928 32431 33554432000 4194304 4196468 140732849750160 140223374961168 140223581750997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17372] ppid=17363 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17372/stat : 17372 (java) S 17363 17363 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223859674 15381372928 32431 33554432000 4194304 4196468 140732849750160 140222642399856 140223581751938 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17373] ppid=17363 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17373/stat : 17373 (java) S 17363 17363 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223859675 15381372928 32431 33554432000 4194304 4196468 140732849750160 140222159381792 140223581750997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17374] ppid=17363 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17374/stat : 17374 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859675 15381372928 32431 33554432000 4194304 4196468 140732849750160 140221890946672 140223581750997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17375] ppid=17363 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17375/stat : 17375 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223859677 15381372928 32431 33554432000 4194304 4196468 140732849750160 140221516438096 140223581759387 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17376] ppid=17363 vsize=15020872 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/17366/task/17376/stat : 17376 (java) S 17363 17363 16770 0 -1 1077944384 477 0 0 0 9 0 0 0 20 0 15 0 223859677 15381372928 32431 33554432000 4194304 4196468 140732849750160 140222641346672 140223581751938 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17377] ppid=17363 vsize=15020872 memory=10096 CPUtime=0.07 cores=1,3,5,7
/proc/17366/task/17377/stat : 17377 (java) R 17363 17363 16770 0 -1 4202560 451 0 0 0 7 0 0 0 20 0 15 0 223859677 15381372928 32431 33554432000 4194304 4196468 140732849750160 140222640281552 140223563263759 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17378] ppid=17363 vsize=15020872 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/17366/task/17378/stat : 17378 (java) S 17363 17363 16770 0 -1 1077944384 511 0 0 0 16 0 0 0 20 0 15 0 223859677 15381372928 32431 33554432000 4194304 4196468 140732849750160 140222639241584 140223581751938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17379] ppid=17363 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17379/stat : 17379 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223859678 15381372928 32431 33554432000 4194304 4196468 140732849750160 140221018532320 140223581750997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
[pid=17366/tid=17380] ppid=17363 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/17366/task/17380/stat : 17380 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223859678 15381372928 32431 33554432000 4194304 4196468 140732849750160 140222638189488 140223581751938 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35872768 140732849755142 140732849755441 140732849755441 140732849758159 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131120 KiB
[startup+1.50157 s]
/proc/loadavg: 2.29 2.08 1.98 4/222 17380
/proc/meminfo: memFree=10496576/32770624 swapFree=67108860/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17363/stat : 17363 (scop.sh) S 17360 17363 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223859670 115843072 349 33554432000 4194304 5098028 140722622924272 140722622921528 139820174729852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13578240 140722622932032 140722622932231 140722622932231 140722622934989 0
/proc/17363/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=17381/tid=17384] ppid=17363 vsize=8068220 memory=91828 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17384/stat : 17384 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027835038352 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17385] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17385/stat : 17385 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027833985296 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17386] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17386/stat : 17386 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027832932752 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17387] ppid=17363 vsize=8068220 memory=118676 CPUtime=0.04 cores=1,3,5,7
/proc/17381/task/17387/stat : 17387 (java) S 17363 17363 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 223859984 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027409459952 140028030638722 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17388] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17388/stat : 17388 (java) S 17363 17363 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223859985 8261857280 29669 33554432000 4194304 4196468 140722922504912 140026872587936 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17389] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17389/stat : 17389 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223859985 8261857280 29669 33554432000 4194304 4196468 140722922504912 140026604152048 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17390] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17390/stat : 17390 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223859987 8261857280 29669 33554432000 4194304 4196468 140722922504912 140026229643728 140028030646171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17391] ppid=17363 vsize=8068220 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/17381/task/17391/stat : 17391 (java) S 17363 17363 16770 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027408406768 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17392] ppid=17363 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/17381/task/17392/stat : 17392 (java) S 17363 17363 16770 0 -1 1077944384 193 0 0 0 9 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027407354224 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17393] ppid=17363 vsize=8068220 memory=118676 CPUtime=0.2 cores=1,3,5,7
/proc/17381/task/17393/stat : 17393 (java) S 17363 17363 16770 0 -1 1077944384 579 0 0 0 20 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027406301168 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17394] ppid=17363 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17394/stat : 17394 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140025731737952 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17395] ppid=17363 vsize=8068220 memory=60820 CPUtime=1.29 cores=1,3,5,7
/proc/17381/task/17395/stat : 17395 (java) S 17363 17363 16770 0 -1 1077944384 167 0 0 0 60 69 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027405249584 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17397] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17397/stat : 17397 (java) S 17363 17363 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 223860054 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027397773120 140028030652185 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17399] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17399/stat : 17399 (java) S 17363 17363 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 223860054 8261857280 29669 33554432000 4194304 4196468 140722922504912 140025194852272 140028030649501 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17400] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17400/stat : 17400 (java) S 17363 17363 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 223860054 8261857280 29669 33554432000 4194304 4196468 140722922504912 140024926420528 140028030649501 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17401] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17401/stat : 17401 (java) S 17363 17363 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 223860057 8261857280 29669 33554432000 4194304 4196468 140722922504912 140025329081632 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
Current children cumulated CPU time: 2508.82 s
Current children cumulated vsize: 8303464 KiB
Current children cumulated memory: 211976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.5 s]
/proc/loadavg: 2.16 2.05 2.06 4/222 17680
/proc/meminfo: memFree=10458016/32770624 swapFree=67108860/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1472 CPUtime=7.91 cores=1,3,5,7
/proc/17363/stat : 17363 (scop.sh) S 17360 17363 16770 0 -1 4202496 591 26029 0 0 0 0 773 18 20 0 1 0 223859670 115843072 368 33554432000 4194304 5098028 140722622924272 140722622921016 139820174729852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13578240 140722622932032 140722622932231 140722622932231 140722622934989 0
/proc/17363/statm: 28282 368 311 221 0 87 0
[pid=17381] ppid=17363 vsize=8068220 memory=118676 CPUtime=2.53 cores=1,3,5,7
/proc/17381/stat : 17381 (java) S 17363 17363 16770 0 -1 1077944320 18057 0 0 0 179 74 0 0 20 0 19 0 223859982 8261857280 29669 33554432000 4194304 4196468 140722922504912 140722922487456 140028030627575 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
/proc/17381/statm: 2017055 29669 3150 1 0 1978454 0
[pid=17396] ppid=17381 vsize=72984 memory=56864 CPUtime=2509.59 cores=1,3,5,7
/proc/17396/stat : 17396 (minisat_release) R 17381 17363 16770 0 -1 4202496 225393 0 0 0 250939 20 0 0 20 0 1 0 223860054 74735616 14216 33554432000 4194304 4308513 140733511291104 140733511288008 4276395 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12550144 140733511296116 140733511296214 140733511296214 140733511299013 0
/proc/17396/statm: 18246 14216 344 28 0 14486 0
[pid=17381/tid=17382] ppid=17363 vsize=8068220 memory=1428 CPUtime=0.74 cores=1,3,5,7
/proc/17381/task/17382/stat : 17382 (java) S 17363 17363 16770 0 -1 1077944384 14951 0 0 0 70 4 0 0 20 0 19 0 223859982 8261857280 29669 33554432000 4194304 4196468 140722922504912 140028002467728 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17383] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17383/stat : 17383 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140028034869776 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17384] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17384/stat : 17384 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027835038352 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17385] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17385/stat : 17385 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027833985296 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17386] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17386/stat : 17386 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027832932752 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17387] ppid=17363 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/17381/task/17387/stat : 17387 (java) S 17363 17363 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 223859984 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027409459952 140028030638722 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17388] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17388/stat : 17388 (java) S 17363 17363 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223859985 8261857280 29669 33554432000 4194304 4196468 140722922504912 140026872587936 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17389] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17389/stat : 17389 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223859985 8261857280 29669 33554432000 4194304 4196468 140722922504912 140026604152048 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17390] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17390/stat : 17390 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223859987 8261857280 29669 33554432000 4194304 4196468 140722922504912 140026229643728 140028030646171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17391] ppid=17363 vsize=8068220 memory=118676 CPUtime=0.08 cores=1,3,5,7
/proc/17381/task/17391/stat : 17391 (java) S 17363 17363 16770 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027408406768 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17392] ppid=17363 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/17381/task/17392/stat : 17392 (java) S 17363 17363 16770 0 -1 1077944384 193 0 0 0 9 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027407354224 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17393] ppid=17363 vsize=8068220 memory=21 CPUtime=0.21 cores=1,3,5,7
/proc/17381/task/17393/stat : 17393 (java) S 17363 17363 16770 0 -1 1077944384 582 0 0 0 21 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027406301168 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17394] ppid=17363 vsize=8068220 memory=56 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17394/stat : 17394 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140025731737952 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17395] ppid=17363 vsize=8068220 memory=1472 CPUtime=1.3 cores=1,3,5,7
/proc/17381/task/17395/stat : 17395 (java) S 17363 17363 16770 0 -1 1077944384 167 0 0 0 60 70 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027405249584 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17397] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17397/stat : 17397 (java) S 17363 17363 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 223860054 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027397773120 140028030652185 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17399] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17399/stat : 17399 (java) S 17363 17363 16770 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 223860054 8261857280 29669 33554432000 4194304 4196468 140722922504912 140025194852272 140028030649501 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17400] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17400/stat : 17400 (java) S 17363 17363 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 223860054 8261857280 29669 33554432000 4194304 4196468 140722922504912 140024926420528 140028030649501 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17401] ppid=17363 vsize=8068220 memory=54816 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17401/stat : 17401 (java) S 17363 17363 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 223860057 8261857280 29669 33554432000 4194304 4196468 140722922504912 140025329081632 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8254332 KiB
Current children cumulated memory: 177012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.51 s]
# the end of solver process 17363 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.73573 s, system=0.189399 s
[startup+2513.51 s]
# the end of solver process 17381 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.93 s, system=1.15061 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+2513.5 s]
/proc/loadavg: 2.16 2.05 2.06 4/222 17680
/proc/meminfo: memFree=10458016/32770624 swapFree=67108860/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1472 CPUtime=7.91 cores=1,3,5,7
/proc/17363/stat : 17363 (scop.sh) S 17360 17363 16770 0 -1 4202496 591 26029 0 0 0 0 773 18 20 0 1 0 223859670 115843072 368 33554432000 4194304 5098028 140722622924272 140722622921016 139820174729852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13578240 140722622932032 140722622932231 140722622932231 140722622934989 0
/proc/17363/statm: 28282 368 311 221 0 87 0
[pid=17381] ppid=17363 vsize=8068220 memory=118676 CPUtime=2.53 cores=1,3,5,7
/proc/17381/stat : 17381 (java) S 17363 17363 16770 0 -1 1077944320 18057 0 0 0 179 74 0 0 20 0 19 0 223859982 8261857280 29669 33554432000 4194304 4196468 140722922504912 140722922487456 140028030627575 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
/proc/17381/statm: 2017055 29669 3150 1 0 1978454 0
[pid=17396] ppid=17381 vsize=72984 memory=56864 CPUtime=2509.59 cores=1,3,5,7
/proc/17396/stat : 17396 (minisat_release) R 17381 17363 16770 0 -1 4202496 225393 0 0 0 250939 20 0 0 20 0 1 0 223860054 74735616 14216 33554432000 4194304 4308513 140733511291104 140733511288008 4276395 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12550144 140733511296116 140733511296214 140733511296214 140733511299013 0
/proc/17396/statm: 18246 14216 344 28 0 14486 0
[pid=17381/tid=17382] ppid=17363 vsize=8068220 memory=1428 CPUtime=0.74 cores=1,3,5,7
/proc/17381/task/17382/stat : 17382 (java) S 17363 17363 16770 0 -1 1077944384 14951 0 0 0 70 4 0 0 20 0 19 0 223859982 8261857280 29669 33554432000 4194304 4196468 140722922504912 140028002467728 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17383] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17383/stat : 17383 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140028034869776 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17384] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17384/stat : 17384 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027835038352 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17385] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17385/stat : 17385 (java) S 17363 17363 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027833985296 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17386] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17386/stat : 17386 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223859983 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027832932752 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17387] ppid=17363 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/17381/task/17387/stat : 17387 (java) S 17363 17363 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 223859984 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027409459952 140028030638722 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17388] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17388/stat : 17388 (java) S 17363 17363 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223859985 8261857280 29669 33554432000 4194304 4196468 140722922504912 140026872587936 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17389] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17389/stat : 17389 (java) S 17363 17363 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223859985 8261857280 29669 33554432000 4194304 4196468 140722922504912 140026604152048 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17390] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17390/stat : 17390 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223859987 8261857280 29669 33554432000 4194304 4196468 140722922504912 140026229643728 140028030646171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17391] ppid=17363 vsize=8068220 memory=118676 CPUtime=0.08 cores=1,3,5,7
/proc/17381/task/17391/stat : 17391 (java) S 17363 17363 16770 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027408406768 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17392] ppid=17363 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/17381/task/17392/stat : 17392 (java) S 17363 17363 16770 0 -1 1077944384 193 0 0 0 9 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027407354224 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17393] ppid=17363 vsize=8068220 memory=21 CPUtime=0.21 cores=1,3,5,7
/proc/17381/task/17393/stat : 17393 (java) S 17363 17363 16770 0 -1 1077944384 582 0 0 0 21 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027406301168 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17394] ppid=17363 vsize=8068220 memory=56 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17394/stat : 17394 (java) S 17363 17363 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140025731737952 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17395] ppid=17363 vsize=8068220 memory=1472 CPUtime=1.3 cores=1,3,5,7
/proc/17381/task/17395/stat : 17395 (java) S 17363 17363 16770 0 -1 1077944384 167 0 0 0 60 70 0 0 20 0 19 0 223859988 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027405249584 140028030638722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17397] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17397/stat : 17397 (java) S 17363 17363 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 223860054 8261857280 29669 33554432000 4194304 4196468 140722922504912 140027397773120 140028030652185 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17399] ppid=17363 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17399/stat : 17399 (java) S 17363 17363 16770 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 223860054 8261857280 29669 33554432000 4194304 4196468 140722922504912 140025194852272 140028030649501 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17400] ppid=17363 vsize=8068220 memory=118676 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17400/stat : 17400 (java) S 17363 17363 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 223860054 8261857280 29669 33554432000 4194304 4196468 140722922504912 140024926420528 140028030649501 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
[pid=17381/tid=17401] ppid=17363 vsize=8068220 memory=54816 CPUtime=0 cores=1,3,5,7
/proc/17381/task/17401/stat : 17401 (java) S 17363 17363 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 223860057 8261857280 29669 33554432000 4194304 4196468 140722922504912 140025329081632 140028030637781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33808384 140722922509493 140722922509617 140722922509617 140722922512335 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8254332 KiB
Current children cumulated memory: 177012 KiB
Child status: 1
Real time (s): 2513.51
CPU time (s): 2520.08
CPU user time (s): 2518.93
CPU system time (s): 1.15061
CPU usage (%): 100.261
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 746108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.93
system time used= 1.15061
maximum resident set size= 752072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59403
involuntary context switches= 733
# summary of solver processes directly reported to runsolver:
# pid: 17363,17381
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.93
# total CPU system time (s): 1.15061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8938 second user time and 26.7546 second system time
The end