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-17263-serial-file.bin HOME/instance-4305338-1534062955.xml
0.66/0.53
0.66/0.53 scop order+minisat_release (2018-07-31)
0.78/0.66 (Encoding Process)
0.78/0.66
0.78/0.66 c BEGIN-Prog: Sun Aug 12 10:35:55 CEST 2018
0.78/0.66 c PID: 17266
0.78/0.66 c IP: 172.20.3.139
0.78/0.66 c HOST: node139.alineos.net
0.78/0.66 c (0,0) Parsing Begin
1.38/0.93 c (0,0) Parsing End
1.38/0.94 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 13
1.38/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.94 c (0,0) Constraint Name Generate Begin
1.38/0.95 c (0,0) Ctr:HOME/instance-4305338-1534062955.xml,AllDifferent:IntVar
1.38/0.95 c (0,0) Constraint Name Generate End
1.38/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.95 c (0,0) CSP to CSPinCNF Begin
2.03/1.24 c (0,0) translated 8 (10%) constraints
2.35/1.33 c (0,0) translated 15 (20%) constraints
2.35/1.38 c (0,0) translated 22 (30%) constraints
2.68/1.40 c (0,0) translated 29 (40%) constraints
2.68/1.42 c (0,0) translated 36 (50%) constraints
2.68/1.43 c (0,0) translated 44 (60%) constraints
2.68/1.44 c (0,0) translated 51 (70%) constraints
2.68/1.45 c (0,0) translated 58 (80%) constraints
2.68/1.46 c (0,0) translated 65 (90%) constraints
2.68/1.47 c (0,0) translated 72 (100%) constraints
3.00/1.57 c (1,1) STATISTICS1:HOME/instance-4305338-1534062955.xml,AllDifferent:IntVar,169,3472,13,13,13,2,13:3328,13:8000,13:56;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:3336,2:3328;1:1344,
3.00/1.57 c (1,1) ==========================================
3.00/1.57 c (1,1) Order
3.00/1.57 c (1,1) ==========================================
3.33/1.63 c (1,1) translated 348 (10%) constraints
3.33/1.65 c (1,1) translated 695 (20%) constraints
3.33/1.68 c (1,1) translated 1042 (30%) constraints
3.66/1.70 c (1,1) translated 1389 (40%) constraints
3.66/1.72 c (1,1) translated 1736 (50%) constraints
3.66/1.74 c (1,1) translated 2084 (60%) constraints
3.66/1.77 c (1,1) translated 2431 (70%) constraints
3.66/1.79 c (1,1) translated 2778 (80%) constraints
3.96/1.81 c (1,1) translated 3125 (90%) constraints
3.96/1.83 c (1,1) translated 3472 (100%) constraints
3.96/1.83 c (1,1) CSP to CSPinCNF End
3.96/1.83 c (1,1) CSP: 169 int (0 aux), 0 bool (0 aux), 3472 ctr, max domain size 13
3.96/1.83 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.96/1.83 c (1,1) CSPinCNF Propagation Begin
3.96/1.89 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.96/1.89 c (1,1) CSPinCNF Propagation End
3.96/1.89 c (1,1) CSP: 169 int (0 aux), 0 bool (0 aux), 3472 ctr, max domain size 13
3.96/1.89 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.96/1.89 c (1,1) Simplify CSPinCNF Begin
4.94/2.16 c (1,1) Simplify CSPinCNF End
4.94/2.16 c (1,1) CSP: 169 int (0 aux), 6656 bool (6656 aux), 10128 ctr, max domain size 13
4.94/2.16 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.94/2.16 c (1,1) Calculate Precise Domain Begin
4.94/2.17 c (1,1) 0 values are removed by re-calculation
4.94/2.17 c (1,1) Calculate Precise Domain End
4.94/2.17 c (1,1) CSP: 169 int (0 aux), 6656 bool (6656 aux), 10128 ctr, max domain size 13
4.94/2.17 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.94/2.17 c (1,1) CSPinCNF to SatSolver Begin
5.54/2.36 c (1,1) 1013 (10 %) CSP clauses are encoded (8684 SAT variables, 10899 SAT clauses)
5.85/2.42 c (1,1) 2026 (20 %) CSP clauses are encoded (8684 SAT variables, 19952 SAT clauses)
5.85/2.47 c (1,1) 3039 (30 %) CSP clauses are encoded (8684 SAT variables, 29005 SAT clauses)
6.16/2.53 c (1,1) 4052 (40 %) CSP clauses are encoded (8684 SAT variables, 38046 SAT clauses)
6.16/2.58 c (2,2) 5064 (50 %) CSP clauses are encoded (8684 SAT variables, 47086 SAT clauses)
6.47/2.62 c (2,2) 6077 (60 %) CSP clauses are encoded (8684 SAT variables, 56139 SAT clauses)
6.47/2.66 c (2,2) 7090 (70 %) CSP clauses are encoded (8684 SAT variables, 65144 SAT clauses)
6.47/2.70 c (2,2) 8103 (80 %) CSP clauses are encoded (8684 SAT variables, 74041 SAT clauses)
6.76/2.73 c (2,2) 9116 (90 %) CSP clauses are encoded (8684 SAT variables, 82926 SAT clauses)
6.76/2.75 c (2,2) 10128 (100 %) CSP clauses are encoded (8684 SAT variables, 91858 SAT clauses)
6.76/2.75 c (2,2) Launch Command will be: minisat_release
6.76/2.75 c (2,2) CSPinCNF to SatSolver End
6.76/2.75 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.98/2.84 c (2,2) STATISTICS2:HOME/instance-4305338-1534062955.xml,AllDifferent:IntVar,6825,10128,13,13,13,2,13:6656,13:14656;2:13312,13:56;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:9992,2:6656;1:14656,
6.98/2.84 c (2,2) 8684 bool, 91859 clause
6.98/2.84 c (2,2) Export Begin
7.26/2.93 c (2,2) Export to HOME/scop-17263-serial-file.bin
7.26/2.93 c (2,2) Export End
7.26/2.93 c (2,2) Export File Size: 0.03 MB
7.26/2.93 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.26/2.93 c END-Prog: Sun Aug 12 10:35:58 CEST 2018
7.26/2.95 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17263-serial-file.bin
7.96/3.53 c (0,0) Read Serial File Begin
7.96/3.53 c (0,0) HOME/scop-17263-serial-file.bin
8.22/3.72 c (0,0) Read Serial File End
8.22/3.74
8.22/3.74 scop order+minisat_release (2018-07-31)
8.22/3.74 (Solving Process)
8.22/3.74
8.22/3.76 c BEGIN-Prog: Sun Aug 12 10:35:59 CEST 2018
8.22/3.76 c PID: 17281
8.22/3.76 c IP: 172.20.3.139
8.22/3.76 c HOST: node139.alineos.net
8.22/3.77 c (0,0) SatSolver.solve Begin
8.22/3.77 c (0,0) 0 bool, 0 clause
8.22/3.77 c (0,0) minisat_release HOME/instance-4305338-1534062955.xml-scop-17266.cnf
2511.54/2505.47 c (2502,0) c This is COMiniSatPS.
2511.54/2505.47 c (2502,0) c WARNING: for repeatability, setting FPU to use double precision
2511.54/2505.47 c (2502,0) c ============================[ Problem Statistics ]=============================
2511.54/2505.47 c (2502,0) c | |
2511.54/2505.47 c (2502,0) c | Number of variables: 8684 |
2511.54/2505.47 c (2502,0) c | Number of clauses: 91859 |
2511.54/2505.47 c (2502,0) c | Parse time: 0.03 s |
2511.54/2505.47 c (2502,0) c | Eliminated clauses: 0.06 Mb |
2511.54/2505.47 c (2502,0) c Reduced to 5356 vars, 88531 cls (grow=0)
2511.54/2505.47 c (2502,0) c No iterative elimination performed. (vars=5356, c/v ratio=16.5)
2511.54/2505.47 c (2502,0) c | Simplification time: 0.07 s |
2511.54/2505.47 c (2502,0) c | |
2511.54/2505.47 c (2502,0) c ============================[ Search Statistics ]==============================
2511.54/2505.47 c (2502,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2511.54/2505.47 c (2502,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2511.54/2505.47 c (2502,0) c ===============================================================================
2511.54/2505.47 c (2502,0) c Switched to VSIDS.
2520.05/2513.90 c (2510,0) SatSolver is killed by some reasons.
2520.05/2513.90 c (2510,0) receiving signal SIGTERM
2520.05/2513.90 s UNKNOWN
2520.05/2513.91 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.05/2513.91 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 (4670 MiB free)
memory of node 1: 16384 MiB (5675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305338-1534062955/watcher-4305338-1534062955 -o /tmp/evaluation-result-4305338-1534062955/solver-4305338-1534062955 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305338-1534062955.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
solver pid=17263, runsolver pid=17260
Current StackSize limit: 8192 KiB
[startup+0.100364 s]*
/proc/loadavg: 2.01 2.02 1.96 3/222 17280
/proc/meminfo: memFree=10536964/32770624 swapFree=67108860/67108860
[pid=17263] ppid=17260 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17263/stat : 17263 (scop.sh) S 17260 17263 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223858649 115843072 349 33554432000 4194304 5098028 140725386655136 140725386652392 139890442769020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26251264 140725386658880 140725386659079 140725386659079 140725386661837 0
/proc/17263/statm: 28282 349 296 221 0 87 0
[pid=17266] ppid=17263 vsize=15012476 memory=70008 CPUtime=0.1 cores=0,2,4,6
/proc/17266/stat : 17266 (java) S 17263 17263 16770 0 -1 1077944320 6682 0 0 0 9 1 0 0 20 0 15 0 223858649 15372775424 17502 33554432000 4194304 4196468 140721570537488 140721570520032 140516732694263 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
/proc/17266/statm: 3753119 17502 2734 1 0 3715579 0
[pid=17266/tid=17267] ppid=17263 vsize=15012476 memory=-6436626575851306945 CPUtime=0.08 cores=0,2,4,6
/proc/17266/task/17267/stat : 17267 (java) R 17263 17263 16770 0 -1 4202560 4783 0 0 0 7 1 0 0 20 0 15 0 223858649 15372775424 17502 33554432000 4194304 4196468 140721570537488 140516704474336 140516732706198 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17268] ppid=17263 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17268/stat : 17268 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 17502 33554432000 4194304 4196468 140721570537488 140516736936848 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17269] ppid=17263 vsize=15012476 memory=140120363800192 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17269/stat : 17269 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 17502 33554432000 4194304 4196468 140721570537488 140516193811216 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17270] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17270/stat : 17270 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 17502 33554432000 4194304 4196468 140721570537488 140516192758928 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17271] ppid=17263 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17271/stat : 17271 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 17502 33554432000 4194304 4196468 140721570537488 140516191706128 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17272] ppid=17263 vsize=15012476 memory=140120363800192 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17272/stat : 17272 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858653 15372775424 17502 33554432000 4194304 4196468 140721570537488 140515770308720 140516732705410 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17273] ppid=17263 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17273/stat : 17273 (java) S 17263 17263 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223858653 15372775424 17502 33554432000 4194304 4196468 140721570537488 140515290899232 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17274] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17274/stat : 17274 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858653 15372775424 17502 33554432000 4194304 4196468 140721570537488 140515022464112 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17275] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17275/stat : 17275 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 17502 33554432000 4194304 4196468 140721570537488 140514647955536 140516732712859 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17276] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17276/stat : 17276 (java) S 17263 17263 16770 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 17502 33554432000 4194304 4196468 140721570537488 140515769256560 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17277] ppid=17263 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17277/stat : 17277 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 17502 33554432000 4194304 4196468 140721570537488 140515768203760 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17278] ppid=17263 vsize=15012476 memory=140120363800192 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17278/stat : 17278 (java) R 17263 17263 16770 0 -1 4202560 263 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 17502 33554432000 4194304 4196468 140721570537488 140515767151472 140516712052619 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17279] ppid=17263 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17279/stat : 17279 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 17502 33554432000 4194304 4196468 140721570537488 140514150050784 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17280] ppid=17263 vsize=15012476 memory=140120363800192 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17280/stat : 17280 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 17502 33554432000 4194304 4196468 140721570537488 140515766098352 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71404 KiB
[startup+0.210392 s]*
/proc/loadavg: 2.01 2.02 1.96 4/222 17280
/proc/meminfo: memFree=10522460/32770624 swapFree=67108860/67108860
[pid=17263] ppid=17260 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17263/stat : 17263 (scop.sh) S 17260 17263 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223858649 115843072 349 33554432000 4194304 5098028 140725386655136 140725386652392 139890442769020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26251264 140725386658880 140725386659079 140725386659079 140725386661837 0
/proc/17263/statm: 28282 349 296 221 0 87 0
[pid=17266] ppid=17263 vsize=15012476 memory=83828 CPUtime=0.24 cores=0,2,4,6
/proc/17266/stat : 17266 (java) S 17263 17263 16770 0 -1 1077944320 10364 0 0 0 22 2 0 0 20 0 15 0 223858649 15372775424 20957 33554432000 4194304 4196468 140721570537488 140721570520032 140516732694263 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
/proc/17266/statm: 3753119 20957 2874 1 0 3715579 0
[pid=17266/tid=17267] ppid=17263 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/17266/task/17267/stat : 17267 (java) R 17263 17263 16770 0 -1 4202560 8206 0 0 0 17 2 0 0 20 0 15 0 223858649 15372775424 20957 33554432000 4194304 4196468 140721570537488 140516704515616 140516716774750 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17268] ppid=17263 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17268/stat : 17268 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 20957 33554432000 4194304 4196468 140721570537488 140516736936848 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17269] ppid=17263 vsize=15012476 memory=140120363817510 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17269/stat : 17269 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 20957 33554432000 4194304 4196468 140721570537488 140516193811216 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17270] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17270/stat : 17270 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 20957 33554432000 4194304 4196468 140721570537488 140516192758928 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17271] ppid=17263 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17271/stat : 17271 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 20957 33554432000 4194304 4196468 140721570537488 140516191706128 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17272] ppid=17263 vsize=15012476 memory=140120363800192 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17272/stat : 17272 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858653 15372775424 20957 33554432000 4194304 4196468 140721570537488 140515770308720 140516732705410 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17273] ppid=17263 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17273/stat : 17273 (java) S 17263 17263 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223858653 15372775424 20957 33554432000 4194304 4196468 140721570537488 140515290899232 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17274] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17274/stat : 17274 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858653 15372775424 20957 33554432000 4194304 4196468 140721570537488 140515022464112 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17275] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17275/stat : 17275 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 20957 33554432000 4194304 4196468 140721570537488 140514647955536 140516732712859 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17276] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17276/stat : 17276 (java) S 17263 17263 16770 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 20957 33554432000 4194304 4196468 140721570537488 140515769256560 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17277] ppid=17263 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17277/stat : 17277 (java) S 17263 17263 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 20957 33554432000 4194304 4196468 140721570537488 140515768203760 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17278] ppid=17263 vsize=15012476 memory=140120363800192 CPUtime=0.02 cores=0,2,4,6
/proc/17266/task/17278/stat : 17278 (java) S 17263 17263 16770 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 223858656 15372775424 20957 33554432000 4194304 4196468 140721570537488 140515767151472 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17279] ppid=17263 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17279/stat : 17279 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 20957 33554432000 4194304 4196468 140721570537488 140514150050784 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17280] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17280/stat : 17280 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 20957 33554432000 4194304 4196468 140721570537488 140515766098352 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85224 KiB
[startup+0.31045 s]*
/proc/loadavg: 2.01 2.02 1.96 3/222 17280
/proc/meminfo: memFree=10518716/32770624 swapFree=67108860/67108860
[pid=17263] ppid=17260 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17263/stat : 17263 (scop.sh) S 17260 17263 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223858649 115843072 349 33554432000 4194304 5098028 140725386655136 140725386652392 139890442769020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26251264 140725386658880 140725386659079 140725386659079 140725386661837 0
/proc/17263/statm: 28282 349 296 221 0 87 0
[pid=17266] ppid=17263 vsize=15012476 memory=88388 CPUtime=0.42 cores=0,2,4,6
/proc/17266/stat : 17266 (java) S 17263 17263 16770 0 -1 1077944320 11096 0 0 0 39 3 0 0 20 0 15 0 223858649 15372775424 22097 33554432000 4194304 4196468 140721570537488 140721570520032 140516732694263 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
/proc/17266/statm: 3753119 22097 2968 1 0 3715579 0
[pid=17266/tid=17267] ppid=17263 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17266/task/17267/stat : 17267 (java) R 17263 17263 16770 0 -1 4202560 8649 0 0 0 27 2 0 0 20 0 15 0 223858649 15372775424 22097 33554432000 4194304 4196468 140721570537488 140516704489712 140516717859902 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17268] ppid=17263 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17268/stat : 17268 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 22097 33554432000 4194304 4196468 140721570537488 140516736936848 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17269] ppid=17263 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17269/stat : 17269 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 22097 33554432000 4194304 4196468 140721570537488 140516193811216 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17270] ppid=17263 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17270/stat : 17270 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 22097 33554432000 4194304 4196468 140721570537488 140516192758928 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17271] ppid=17263 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17271/stat : 17271 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858651 15372775424 22097 33554432000 4194304 4196468 140721570537488 140516191706128 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17272] ppid=17263 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17272/stat : 17272 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858653 15372775424 22097 33554432000 4194304 4196468 140721570537488 140515770308720 140516732705410 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17273] ppid=17263 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17273/stat : 17273 (java) S 17263 17263 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223858653 15372775424 22097 33554432000 4194304 4196468 140721570537488 140515290899232 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17274] ppid=17263 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17274/stat : 17274 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858653 15372775424 22097 33554432000 4194304 4196468 140721570537488 140515022464112 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17275] ppid=17263 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17275/stat : 17275 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 22097 33554432000 4194304 4196468 140721570537488 140514647955536 140516732712859 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17276] ppid=17263 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17266/task/17276/stat : 17276 (java) S 17263 17263 16770 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 223858656 15372775424 22097 33554432000 4194304 4196468 140721570537488 140515769256560 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17277] ppid=17263 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17266/task/17277/stat : 17277 (java) S 17263 17263 16770 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 15 0 223858656 15372775424 22097 33554432000 4194304 4196468 140721570537488 140515768203760 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17278] ppid=17263 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17266/task/17278/stat : 17278 (java) S 17263 17263 16770 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 15 0 223858656 15372775424 22097 33554432000 4194304 4196468 140721570537488 140515767151472 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17279] ppid=17263 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17279/stat : 17279 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 22097 33554432000 4194304 4196468 140721570537488 140514150050784 140516732704469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17280] ppid=17263 vsize=15012476 memory=3833468387996016689 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17280/stat : 17280 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858656 15372775424 22097 33554432000 4194304 4196468 140721570537488 140515766098352 140516732705410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89784 KiB
[startup+0.701707 s]
/proc/loadavg: 2.01 2.02 1.96 3/222 17280
/proc/meminfo: memFree=10494656/32770624 swapFree=67108860/67108860
[pid=17263] ppid=17260 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17263/stat : 17263 (scop.sh) S 17260 17263 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223858649 115843072 349 33554432000 4194304 5098028 140725386655136 140725386652392 139890442769020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26251264 140725386658880 140725386659079 140725386659079 140725386661837 0
/proc/17263/statm: 28282 349 296 221 0 87 0
[pid=17266] ppid=17263 vsize=15018748 memory=126516 CPUtime=0.98 cores=0,2,4,6
/proc/17266/stat : 17266 (java) S 17263 17263 16770 0 -1 1077944320 18219 0 0 0 93 5 0 0 20 0 15 0 223858649 15379197952 31629 33554432000 4194304 4196468 140721570537488 140721570520032 140516732694263 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
/proc/17266/statm: 3754687 31629 3132 1 0 3716091 0
[pid=17266/tid=17267] ppid=17263 vsize=15018748 memory=-7082918048272507482 CPUtime=0.66 cores=0,2,4,6
/proc/17266/task/17267/stat : 17267 (java) R 17263 17263 16770 0 -1 1077944384 15248 0 0 0 63 3 0 0 20 0 15 0 223858649 15379197952 31629 33554432000 4194304 4196468 140721570537488 140516704526160 140516732718141 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17268] ppid=17263 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17268/stat : 17268 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858651 15379197952 31629 33554432000 4194304 4196468 140721570537488 140516736936848 140516732704469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17269] ppid=17263 vsize=15018748 memory=60744 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17269/stat : 17269 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858651 15379197952 31629 33554432000 4194304 4196468 140721570537488 140516193811216 140516732704469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17270] ppid=17263 vsize=15018748 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17270/stat : 17270 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223858651 15379197952 31629 33554432000 4194304 4196468 140721570537488 140516192758928 140516732704469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17271] ppid=17263 vsize=15018748 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17271/stat : 17271 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858651 15379197952 31629 33554432000 4194304 4196468 140721570537488 140516191706128 140516732704469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17272] ppid=17263 vsize=15018748 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17272/stat : 17272 (java) S 17263 17263 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223858653 15379197952 31629 33554432000 4194304 4196468 140721570537488 140515770308720 140516732705410 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17273] ppid=17263 vsize=15018748 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17273/stat : 17273 (java) S 17263 17263 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223858653 15379197952 31629 33554432000 4194304 4196468 140721570537488 140515290899232 140516732704469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17274] ppid=17263 vsize=15018748 memory=796 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17274/stat : 17274 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858653 15379197952 31629 33554432000 4194304 4196468 140721570537488 140515022464112 140516732704469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17275] ppid=17263 vsize=15018748 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17275/stat : 17275 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858656 15379197952 31629 33554432000 4194304 4196468 140721570537488 140514647955536 140516732712859 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17276] ppid=17263 vsize=15018748 memory=876 CPUtime=0.06 cores=0,2,4,6
/proc/17266/task/17276/stat : 17276 (java) S 17263 17263 16770 0 -1 1077944384 607 0 0 0 6 0 0 0 20 0 15 0 223858656 15379197952 31629 33554432000 4194304 4196468 140721570537488 140515769256560 140516732705410 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17277] ppid=17263 vsize=15018748 memory=10096 CPUtime=0.08 cores=0,2,4,6
/proc/17266/task/17277/stat : 17277 (java) S 17263 17263 16770 0 -1 1077944384 356 0 0 0 8 0 0 0 20 0 15 0 223858656 15379197952 31629 33554432000 4194304 4196468 140721570537488 140515768203760 140516732705410 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17278] ppid=17263 vsize=15018748 memory=1228 CPUtime=0.15 cores=0,2,4,6
/proc/17266/task/17278/stat : 17278 (java) S 17263 17263 16770 0 -1 1077944384 670 0 0 0 15 0 0 0 20 0 15 0 223858656 15379197952 31629 33554432000 4194304 4196468 140721570537488 140515767151472 140516732705410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17279] ppid=17263 vsize=15018748 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17279/stat : 17279 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223858656 15379197952 31629 33554432000 4194304 4196468 140721570537488 140514150050784 140516732704469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
[pid=17266/tid=17280] ppid=17263 vsize=15018748 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/17266/task/17280/stat : 17280 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223858656 15379197952 31629 33554432000 4194304 4196468 140721570537488 140515766098352 140516732705410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17195008 140721570546694 140721570546993 140721570546993 140721570549711 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 127912 KiB
[startup+1.50074 s]
/proc/loadavg: 2.01 2.02 1.96 4/222 17280
/proc/meminfo: memFree=10467996/32770624 swapFree=67108860/67108860
[pid=17263] ppid=17260 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17263/stat : 17263 (scop.sh) S 17260 17263 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223858649 115843072 349 33554432000 4194304 5098028 140725386655136 140725386652392 139890442769020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26251264 140725386658880 140725386659079 140725386659079 140725386661837 0
/proc/17263/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=17281/tid=17284] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875904228496 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17285] ppid=17263 vsize=8068220 memory=116492 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17285/stat : 17285 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875903175440 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17286] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17286/stat : 17286 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875902122896 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17287] ppid=17263 vsize=8068220 memory=56 CPUtime=0.05 cores=0,2,4,6
/proc/17281/task/17287/stat : 17287 (java) S 17263 17263 16770 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 223858947 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875546245360 139876099828354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17288] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17288/stat : 17288 (java) S 17263 17263 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223858947 8261857280 29123 33554432000 4194304 4196468 140723135417024 139874938119328 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17289] ppid=17263 vsize=8068220 memory=116492 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17289/stat : 17289 (java) S 17263 17263 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223858947 8261857280 29123 33554432000 4194304 4196468 140723135417024 139874803897072 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17290] ppid=17263 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17290/stat : 17290 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139874429392848 139876099835803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17291] ppid=17263 vsize=8068220 memory=288230621803970871 CPUtime=0.09 cores=0,2,4,6
/proc/17281/task/17291/stat : 17291 (java) S 17263 17263 16770 0 -1 1077944384 579 0 0 0 8 1 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875545193200 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17292] ppid=17263 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/17281/task/17292/stat : 17292 (java) S 17263 17263 16770 0 -1 1077944384 360 0 0 0 9 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875544140656 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17293] ppid=17263 vsize=8068220 memory=116492 CPUtime=0.2 cores=0,2,4,6
/proc/17281/task/17293/stat : 17293 (java) S 17263 17263 16770 0 -1 1077944384 562 0 0 0 20 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875474991600 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17294] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17294/stat : 17294 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873931488096 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17295] ppid=17263 vsize=8068220 memory=1472 CPUtime=1.52 cores=0,2,4,6
/proc/17281/task/17295/stat : 17295 (java) S 17263 17263 16770 0 -1 1077944384 169 0 0 0 76 76 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875473938992 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17297] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17297/stat : 17297 (java) S 17263 17263 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223859028 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875542754624 139876099841817 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17299] ppid=17263 vsize=8068220 memory=116492 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17299/stat : 17299 (java) S 17263 17263 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 223859028 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873394601360 139876099839133 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17300] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17300/stat : 17300 (java) S 17263 17263 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223859029 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873528823824 139876099839133 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17301] ppid=17263 vsize=8068220 memory=116492 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17301/stat : 17301 (java) S 17263 17263 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 223859031 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873126178592 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
Current children cumulated CPU time: 2508.44 s
Current children cumulated vsize: 8264900 KiB
Current children cumulated memory: 185164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.9 s]
/proc/loadavg: 2.02 2.02 2.05 3/227 17500
/proc/meminfo: memFree=10376484/32770624 swapFree=67108860/67108860
[pid=17263] ppid=17260 vsize=113128 memory=1472 CPUtime=7.35 cores=0,2,4,6
/proc/17263/stat : 17263 (scop.sh) S 17260 17263 16770 0 -1 4202496 591 26194 0 0 0 0 718 17 20 0 1 0 223858649 115843072 368 33554432000 4194304 5098028 140725386655136 140725386651880 139890442769020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26251264 140725386658880 140725386659079 140725386659079 140725386661837 0
/proc/17263/statm: 28282 368 311 221 0 87 0
[pid=17281] ppid=17263 vsize=8068220 memory=116492 CPUtime=2.77 cores=0,2,4,6
/proc/17281/stat : 17281 (java) S 17263 17263 16770 0 -1 1077944320 18066 0 0 0 197 80 0 0 20 0 19 0 223858944 8261857280 29123 33554432000 4194304 4196468 140723135417024 140723135399568 139876099817207 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
/proc/17281/statm: 2017055 29123 3142 1 0 1978454 0
[pid=17296] ppid=17281 vsize=83552 memory=67204 CPUtime=2509.93 cores=0,2,4,6
/proc/17296/stat : 17296 (minisat_release) R 17281 17263 16770 0 -1 4202496 184611 0 0 0 250978 15 0 0 20 0 1 0 223859028 85557248 16801 33554432000 4194304 4308513 140728762523376 140728762520872 4276039 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 17321984 140728762524788 140728762524886 140728762524886 140728762527685 0
/proc/17296/statm: 20888 16801 342 28 0 17128 0
[pid=17281/tid=17282] ppid=17263 vsize=8068220 memory=116492 CPUtime=0.75 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (java) S 17263 17263 16770 0 -1 1077944384 14980 0 0 0 71 4 0 0 20 0 19 0 223858944 8261857280 29123 33554432000 4194304 4196468 140723135417024 139876071657360 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17283] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139876104059920 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17284] ppid=17263 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875904228496 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17285] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17285/stat : 17285 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875903175440 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17286] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17286/stat : 17286 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875902122896 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17287] ppid=17263 vsize=8068220 memory=1160 CPUtime=0.05 cores=0,2,4,6
/proc/17281/task/17287/stat : 17287 (java) S 17263 17263 16770 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 223858947 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875546245360 139876099828354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17288] ppid=17263 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17288/stat : 17288 (java) S 17263 17263 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223858947 8261857280 29123 33554432000 4194304 4196468 140723135417024 139874938119328 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17289] ppid=17263 vsize=8068220 memory=116492 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17289/stat : 17289 (java) S 17263 17263 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223858947 8261857280 29123 33554432000 4194304 4196468 140723135417024 139874803897072 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17290] ppid=17263 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17290/stat : 17290 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139874429392848 139876099835803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17291] ppid=17263 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/17281/task/17291/stat : 17291 (java) S 17263 17263 16770 0 -1 1077944384 580 0 0 0 8 1 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875545193200 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17292] ppid=17263 vsize=8068220 memory=116492 CPUtime=0.09 cores=0,2,4,6
/proc/17281/task/17292/stat : 17292 (java) S 17263 17263 16770 0 -1 1077944384 360 0 0 0 9 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875544140656 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17293] ppid=17263 vsize=8068220 memory=67204 CPUtime=0.21 cores=0,2,4,6
/proc/17281/task/17293/stat : 17293 (java) S 17263 17263 16770 0 -1 1077944384 564 0 0 0 21 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875474991600 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17294] ppid=17263 vsize=8068220 memory=916 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17294/stat : 17294 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873931488096 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17295] ppid=17263 vsize=8068220 memory=3848 CPUtime=1.52 cores=0,2,4,6
/proc/17281/task/17295/stat : 17295 (java) S 17263 17263 16770 0 -1 1077944384 169 0 0 0 76 76 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875473938992 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17297] ppid=17263 vsize=8068220 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17297/stat : 17297 (java) S 17263 17263 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223859028 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875542754624 139876099841817 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17299] ppid=17263 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17299/stat : 17299 (java) S 17263 17263 16770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 223859028 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873394601360 139876099839133 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17300] ppid=17263 vsize=8068220 memory=91828 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17300/stat : 17300 (java) S 17263 17263 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223859029 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873528823824 139876099839133 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17301] ppid=17263 vsize=8068220 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17301/stat : 17301 (java) S 17263 17263 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 223859031 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873126178592 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 8264900 KiB
Current children cumulated memory: 185168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.91 s]
# the end of solver process 17263 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.18859 s, system=0.178705 s
[startup+2513.91 s]
# the end of solver process 17281 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.96 s, system=1.15502 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.9 s]
/proc/loadavg: 2.02 2.02 2.05 3/227 17500
/proc/meminfo: memFree=10376484/32770624 swapFree=67108860/67108860
[pid=17263] ppid=17260 vsize=113128 memory=1472 CPUtime=7.35 cores=0,2,4,6
/proc/17263/stat : 17263 (scop.sh) S 17260 17263 16770 0 -1 4202496 591 26194 0 0 0 0 718 17 20 0 1 0 223858649 115843072 368 33554432000 4194304 5098028 140725386655136 140725386651880 139890442769020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26251264 140725386658880 140725386659079 140725386659079 140725386661837 0
/proc/17263/statm: 28282 368 311 221 0 87 0
[pid=17281] ppid=17263 vsize=8068220 memory=116492 CPUtime=2.77 cores=0,2,4,6
/proc/17281/stat : 17281 (java) S 17263 17263 16770 0 -1 1077944320 18066 0 0 0 197 80 0 0 20 0 19 0 223858944 8261857280 29123 33554432000 4194304 4196468 140723135417024 140723135399568 139876099817207 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
/proc/17281/statm: 2017055 29123 3142 1 0 1978454 0
[pid=17296] ppid=17281 vsize=83552 memory=67204 CPUtime=2509.93 cores=0,2,4,6
/proc/17296/stat : 17296 (minisat_release) R 17281 17263 16770 0 -1 4202496 184611 0 0 0 250978 15 0 0 20 0 1 0 223859028 85557248 16801 33554432000 4194304 4308513 140728762523376 140728762520872 4276039 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 17321984 140728762524788 140728762524886 140728762524886 140728762527685 0
/proc/17296/statm: 20888 16801 342 28 0 17128 0
[pid=17281/tid=17282] ppid=17263 vsize=8068220 memory=116492 CPUtime=0.75 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (java) S 17263 17263 16770 0 -1 1077944384 14980 0 0 0 71 4 0 0 20 0 19 0 223858944 8261857280 29123 33554432000 4194304 4196468 140723135417024 139876071657360 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17283] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139876104059920 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17284] ppid=17263 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875904228496 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17285] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17285/stat : 17285 (java) S 17263 17263 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875903175440 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17286] ppid=17263 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17286/stat : 17286 (java) S 17263 17263 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223858945 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875902122896 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17287] ppid=17263 vsize=8068220 memory=1160 CPUtime=0.05 cores=0,2,4,6
/proc/17281/task/17287/stat : 17287 (java) S 17263 17263 16770 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 223858947 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875546245360 139876099828354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17288] ppid=17263 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17288/stat : 17288 (java) S 17263 17263 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223858947 8261857280 29123 33554432000 4194304 4196468 140723135417024 139874938119328 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17289] ppid=17263 vsize=8068220 memory=116492 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17289/stat : 17289 (java) S 17263 17263 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223858947 8261857280 29123 33554432000 4194304 4196468 140723135417024 139874803897072 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17290] ppid=17263 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17290/stat : 17290 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139874429392848 139876099835803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17291] ppid=17263 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/17281/task/17291/stat : 17291 (java) S 17263 17263 16770 0 -1 1077944384 580 0 0 0 8 1 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875545193200 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17292] ppid=17263 vsize=8068220 memory=116492 CPUtime=0.09 cores=0,2,4,6
/proc/17281/task/17292/stat : 17292 (java) S 17263 17263 16770 0 -1 1077944384 360 0 0 0 9 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875544140656 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17293] ppid=17263 vsize=8068220 memory=67204 CPUtime=0.21 cores=0,2,4,6
/proc/17281/task/17293/stat : 17293 (java) S 17263 17263 16770 0 -1 1077944384 564 0 0 0 21 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875474991600 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17294] ppid=17263 vsize=8068220 memory=916 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17294/stat : 17294 (java) S 17263 17263 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873931488096 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17295] ppid=17263 vsize=8068220 memory=3848 CPUtime=1.52 cores=0,2,4,6
/proc/17281/task/17295/stat : 17295 (java) S 17263 17263 16770 0 -1 1077944384 169 0 0 0 76 76 0 0 20 0 19 0 223858950 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875473938992 139876099828354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17297] ppid=17263 vsize=8068220 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17297/stat : 17297 (java) S 17263 17263 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223859028 8261857280 29123 33554432000 4194304 4196468 140723135417024 139875542754624 139876099841817 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17299] ppid=17263 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17299/stat : 17299 (java) S 17263 17263 16770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 223859028 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873394601360 139876099839133 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17300] ppid=17263 vsize=8068220 memory=91828 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17300/stat : 17300 (java) S 17263 17263 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223859029 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873528823824 139876099839133 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
[pid=17281/tid=17301] ppid=17263 vsize=8068220 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17301/stat : 17301 (java) S 17263 17263 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 223859031 8261857280 29123 33554432000 4194304 4196468 140723135417024 139873126178592 139876099827413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140723135419573 140723135419697 140723135419697 140723135422415 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 8264900 KiB
Current children cumulated memory: 185168 KiB
Child status: 1
Real time (s): 2513.91
CPU time (s): 2520.11
CPU user time (s): 2518.96
CPU system time (s): 1.15502
CPU usage (%): 100.246
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 620696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.96
system time used= 1.15502
maximum resident set size= 622080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229748
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59865
involuntary context switches= 3169
# summary of solver processes directly reported to runsolver:
# pid: 17263,17281
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.96
# total CPU system time (s): 1.15502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3716 second user time and 29.5895 second system time
The end