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-23460-serial-file.bin HOME/instance-4305475-1534088385.xml
0.55/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 17:39:46 CEST 2018
0.67/0.54 c PID: 23463
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.64/1.28 c (0,0) Parsing End
2.64/1.29 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 511 ctr, max domain size 25
2.64/1.29 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.64/1.29 c (0,0) Constraint Name Generate Begin
2.98/1.30 c (0,0) Ctr:HOME/instance-4305475-1534088385.xml,ExtensionConflict:ExtensionSupport:IntVar
2.98/1.30 c (0,0) Constraint Name Generate End
2.98/1.30 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.98/1.30 c (0,0) CSP to CSPinCNF Begin
6.05/2.39 c (1,1) translated 52 (10%) constraints
7.90/2.93 c (2,2) translated 103 (20%) constraints
9.11/3.35 c (2,2) translated 154 (30%) constraints
10.32/3.79 c (3,3) translated 205 (40%) constraints
11.83/4.20 c (3,3) translated 256 (50%) constraints
12.74/4.55 c (4,4) translated 307 (60%) constraints
13.66/4.85 c (4,4) translated 358 (70%) constraints
13.96/5.09 c (4,4) translated 409 (80%) constraints
14.26/5.32 c (4,4) translated 460 (90%) constraints
14.52/5.54 c (5,4) translated 511 (100%) constraints
15.69/5.93 c (5,5) STATISTICS1:HOME/instance-4305475-1534088385.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,26,1,,25:252529;2:5132,26:14;4:56537;3:9811;2:865,1:257661;0:14,
15.69/5.93 c (5,5) ==========================================
15.69/5.93 c (5,5) Order
15.69/5.93 c (5,5) ==========================================
16.35/6.14 c (5,5) translated 6723 (10%) constraints
16.56/6.27 c (5,5) translated 13446 (20%) constraints
16.82/6.38 c (5,5) translated 20169 (30%) constraints
16.92/6.49 c (5,5) translated 26891 (40%) constraints
17.12/6.60 c (6,6) translated 33614 (50%) constraints
17.23/6.72 c (6,6) translated 40337 (60%) constraints
17.32/6.83 c (6,6) translated 47059 (70%) constraints
17.43/6.95 c (6,6) translated 53782 (80%) constraints
17.54/7.07 c (6,6) translated 60505 (90%) constraints
17.63/7.19 c (6,6) translated 67227 (100%) constraints
17.63/7.19 c (6,6) CSP to CSPinCNF End
17.63/7.19 c (6,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
17.63/7.19 c (6,6) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.63/7.19 c (6,6) CSPinCNF Propagation Begin
19.04/7.74 c (7,7) 0 values, 5957 unsatisfiable literals, and 0 valid clauses are removed
19.04/7.74 c (7,7) CSPinCNF Propagation End
19.04/7.74 c (7,7) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
19.04/7.74 c (7,7) Heap : 231 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.04/7.75 c (7,7) Simplify CSPinCNF Begin
19.26/7.88 c (7,7) Simplify CSPinCNF End
19.26/7.88 c (7,7) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
19.26/7.88 c (7,7) Heap : 287 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.26/7.88 c (7,7) Calculate Precise Domain Begin
19.26/7.88 c (7,7) 0 values are removed by re-calculation
19.26/7.88 c (7,7) Calculate Precise Domain End
19.26/7.88 c (7,7) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
19.26/7.88 c (7,7) Heap : 287 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.26/7.88 c (7,7) CSPinCNF to SatSolver Begin
19.73/8.03 c (7,7) 6723 (10 %) CSP clauses are encoded (1694 SAT variables, 8010 SAT clauses)
19.73/8.09 c (7,7) 13446 (20 %) CSP clauses are encoded (1694 SAT variables, 14733 SAT clauses)
20.04/8.13 c (7,7) 20169 (30 %) CSP clauses are encoded (1694 SAT variables, 21456 SAT clauses)
20.04/8.17 c (7,7) 26891 (40 %) CSP clauses are encoded (1694 SAT variables, 28178 SAT clauses)
20.17/8.21 c (7,7) 33614 (50 %) CSP clauses are encoded (1694 SAT variables, 34901 SAT clauses)
20.17/8.25 c (7,7) 40337 (60 %) CSP clauses are encoded (1694 SAT variables, 41624 SAT clauses)
20.17/8.29 c (7,7) 47059 (70 %) CSP clauses are encoded (1694 SAT variables, 48346 SAT clauses)
20.27/8.33 c (7,7) 53782 (80 %) CSP clauses are encoded (1694 SAT variables, 55069 SAT clauses)
20.27/8.38 c (7,7) 60505 (90 %) CSP clauses are encoded (1694 SAT variables, 61792 SAT clauses)
20.37/8.42 c (7,7) 67227 (100 %) CSP clauses are encoded (1694 SAT variables, 68514 SAT clauses)
20.37/8.42 c (7,7) Launch Command will be: minisat_release
20.37/8.42 c (7,7) CSPinCNF to SatSolver End
20.37/8.42 c (7,7) Heap : 733 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.84/8.66 c (8,7) STATISTICS2:HOME/instance-4305475-1534088385.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,25,1,,25:246586;2:5132,25:14;4:51003;3:14936;2:1274,1:251718,
20.84/8.66 c (8,7) 1694 bool, 68515 clause
20.84/8.66 c (8,7) Export Begin
20.97/8.75 c (8,8) Export to HOME/scop-23460-serial-file.bin
20.97/8.75 c (8,8) Export End
20.97/8.75 c (8,8) Export File Size: 0.01 MB
20.97/8.75 c (8,8) 0,0,6,7,7,7,7,STOP-AFTER(DIMACS)
20.97/8.75 c END-Prog: Sun Aug 12 17:39:54 CEST 2018
20.97/8.77 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23460-serial-file.bin
21.65/9.26 c (0,0) Read Serial File Begin
21.65/9.26 c (0,0) HOME/scop-23460-serial-file.bin
21.93/9.44 c (0,0) Read Serial File End
21.93/9.46
21.93/9.46 scop order+minisat_release (2018-07-31)
21.93/9.46 (Solving Process)
21.93/9.46
21.93/9.48 c BEGIN-Prog: Sun Aug 12 17:39:55 CEST 2018
21.93/9.48 c PID: 23478
21.93/9.48 c IP: 172.20.3.107
21.93/9.48 c HOST: node107.alineos.net
21.93/9.48 c (0,0) SatSolver.solve Begin
21.93/9.48 c (0,0) 0 bool, 0 clause
21.93/9.48 c (0,0) minisat_release HOME/instance-4305475-1534088385.xml-scop-23463.cnf
2520.05/2505.50 c (2496,0) SatSolver is killed by some reasons.
2520.05/2505.50 c (2496,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.05/2505.50 s UNKNOWN
2520.05/2505.50 c END-Prog: Sun Aug 12 18:21:31 CEST 2018
2520.05/2505.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.05/2505.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 (12968 MiB free)
memory of node 1: 16384 MiB (11216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305475-1534088385/watcher-4305475-1534088385 -o /tmp/evaluation-result-4305475-1534088385/solver-4305475-1534088385 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305475-1534088385.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=23460, runsolver pid=23457
Current StackSize limit: 8192 KiB
[startup+0.100165 s]*
/proc/loadavg: 2.32 2.09 2.07 3/222 23477
/proc/meminfo: memFree=24704032/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226401708 115843072 349 33554432000 4194304 5098028 140723714573456 140723714570712 140003937763964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17838080 140723714577472 140723714577671 140723714577671 140723714580429 0
/proc/23460/statm: 28282 349 296 221 0 87 0
[pid=23463] ppid=23460 vsize=15012476 memory=73284 CPUtime=0.11 cores=0,2,4,6
/proc/23463/stat : 23463 (java) S 23460 23460 16605 0 -1 1077944320 6943 0 0 0 10 1 0 0 20 0 15 0 226401709 15372775424 18321 33554432000 4194304 4196468 140735793396016 140735793378560 139903574806263 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
/proc/23463/statm: 3753119 18321 2770 1 0 3715579 0
[pid=23463/tid=23464] ppid=23460 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=0,2,4,6
/proc/23463/task/23464/stat : 23464 (java) R 23460 23460 16605 0 -1 4202560 5031 0 0 0 8 1 0 0 20 0 15 0 226401709 15372775424 18321 33554432000 4194304 4196468 140735793396016 139903546618248 139903556369815 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23465] ppid=23460 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23465/stat : 23465 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 18321 33554432000 4194304 4196468 140735793396016 139903579048208 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23466] ppid=23460 vsize=15012476 memory=140001181189760 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23466/stat : 23466 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 18321 33554432000 4194304 4196468 140735793396016 139903035058576 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23467] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23467/stat : 23467 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 18321 33554432000 4194304 4196468 140735793396016 139903034006032 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23468] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23468/stat : 23468 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 18321 33554432000 4194304 4196468 140735793396016 139903032953488 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23469] ppid=23460 vsize=15012476 memory=140001181189760 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23469/stat : 23469 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401712 15372775424 18321 33554432000 4194304 4196468 140735793396016 139902434138608 139903574817410 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23470] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23470/stat : 23470 (java) S 23460 23460 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226401713 15372775424 18321 33554432000 4194304 4196468 140735793396016 139902184318368 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23471] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23471/stat : 23471 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401713 15372775424 18321 33554432000 4194304 4196468 140735793396016 139901915882992 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23472] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23472/stat : 23472 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226401715 15372775424 18321 33554432000 4194304 4196468 140735793396016 139901541374672 139903574824859 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23473] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23473/stat : 23473 (java) S 23460 23460 16605 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 226401715 15372775424 18321 33554432000 4194304 4196468 140735793396016 139902433085424 139903574817410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23474] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23474/stat : 23474 (java) S 23460 23460 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226401715 15372775424 18321 33554432000 4194304 4196468 140735793396016 139902432032880 139903574817410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23475] ppid=23460 vsize=15012476 memory=140001181189760 CPUtime=0.01 cores=0,2,4,6
/proc/23463/task/23475/stat : 23475 (java) S 23460 23460 16605 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 226401715 15372775424 18321 33554432000 4194304 4196468 140735793396016 139902430980336 139903574817410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23476] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23476/stat : 23476 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226401716 15372775424 18321 33554432000 4194304 4196468 140735793396016 139901043468896 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23477] ppid=23460 vsize=15012476 memory=140001181189760 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23477/stat : 23477 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401716 15372775424 18321 33554432000 4194304 4196468 140735793396016 139902429928240 139903574817410 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74680 KiB
[startup+0.210666 s]*
/proc/loadavg: 2.32 2.09 2.07 4/222 23477
/proc/meminfo: memFree=24690700/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226401708 115843072 349 33554432000 4194304 5098028 140723714573456 140723714570712 140003937763964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17838080 140723714577472 140723714577671 140723714577671 140723714580429 0
/proc/23460/statm: 28282 349 296 221 0 87 0
[pid=23463] ppid=23460 vsize=15012476 memory=86324 CPUtime=0.25 cores=0,2,4,6
/proc/23463/stat : 23463 (java) S 23460 23460 16605 0 -1 1077944320 10439 0 0 0 23 2 0 0 20 0 15 0 226401709 15372775424 21581 33554432000 4194304 4196468 140735793396016 140735793378560 139903574806263 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
/proc/23463/statm: 3753119 21581 2880 1 0 3715579 0
[pid=23463/tid=23464] ppid=23460 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23463/task/23464/stat : 23464 (java) R 23460 23460 16605 0 -1 4202560 8346 0 0 0 18 2 0 0 20 0 15 0 226401709 15372775424 21581 33554432000 4194304 4196468 140735793396016 139903546631360 139903574818198 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23465] ppid=23460 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23465/stat : 23465 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 21581 33554432000 4194304 4196468 140735793396016 139903579048208 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23466] ppid=23460 vsize=15012476 memory=140001181209243 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23466/stat : 23466 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 21581 33554432000 4194304 4196468 140735793396016 139903035058576 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23467] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23467/stat : 23467 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 21581 33554432000 4194304 4196468 140735793396016 139903034006032 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23468] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23468/stat : 23468 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 21581 33554432000 4194304 4196468 140735793396016 139903032953488 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23469] ppid=23460 vsize=15012476 memory=140001181189760 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23469/stat : 23469 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401712 15372775424 21581 33554432000 4194304 4196468 140735793396016 139902434138608 139903574817410 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23470] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23470/stat : 23470 (java) S 23460 23460 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226401713 15372775424 21581 33554432000 4194304 4196468 140735793396016 139902184318368 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23471] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23471/stat : 23471 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401713 15372775424 21581 33554432000 4194304 4196468 140735793396016 139901915882992 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23472] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23472/stat : 23472 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226401715 15372775424 21581 33554432000 4194304 4196468 140735793396016 139901541374672 139903574824859 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23473] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23473/stat : 23473 (java) S 23460 23460 16605 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 226401715 15372775424 21581 33554432000 4194304 4196468 140735793396016 139902433085424 139903574817410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23474] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23474/stat : 23474 (java) S 23460 23460 16605 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 226401715 15372775424 21581 33554432000 4194304 4196468 140735793396016 139902432032880 139903574817410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23475] ppid=23460 vsize=15012476 memory=140001181189760 CPUtime=0.03 cores=0,2,4,6
/proc/23463/task/23475/stat : 23475 (java) R 23460 23460 16605 0 -1 4202560 295 0 0 0 3 0 0 0 20 0 15 0 226401715 15372775424 21581 33554432000 4194304 4196468 140735793396016 139902430980336 139903556369792 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23476] ppid=23460 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23476/stat : 23476 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226401716 15372775424 21581 33554432000 4194304 4196468 140735793396016 139901043468896 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23477] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23477/stat : 23477 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401716 15372775424 21581 33554432000 4194304 4196468 140735793396016 139902429928240 139903574817410 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87720 KiB
[startup+0.31061 s]*
/proc/loadavg: 2.32 2.09 2.07 3/222 23477
/proc/meminfo: memFree=24687296/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226401708 115843072 349 33554432000 4194304 5098028 140723714573456 140723714570712 140003937763964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17838080 140723714577472 140723714577671 140723714577671 140723714580429 0
/proc/23460/statm: 28282 349 296 221 0 87 0
[pid=23463] ppid=23460 vsize=15012476 memory=90108 CPUtime=0.43 cores=0,2,4,6
/proc/23463/stat : 23463 (java) S 23460 23460 16605 0 -1 1077944320 10981 0 0 0 40 3 0 0 20 0 15 0 226401709 15372775424 22527 33554432000 4194304 4196468 140735793396016 140735793378560 139903574806263 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
/proc/23463/statm: 3753119 22527 3015 1 0 3715579 0
[pid=23463/tid=23464] ppid=23460 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/23463/task/23464/stat : 23464 (java) R 23460 23460 16605 0 -1 4202560 8722 0 0 0 28 2 0 0 20 0 15 0 226401709 15372775424 22527 33554432000 4194304 4196468 140735793396016 139903546601264 139903558886750 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23465] ppid=23460 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23465/stat : 23465 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 22527 33554432000 4194304 4196468 140735793396016 139903579048208 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23466] ppid=23460 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23466/stat : 23466 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 22527 33554432000 4194304 4196468 140735793396016 139903035058576 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23467] ppid=23460 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23467/stat : 23467 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 22527 33554432000 4194304 4196468 140735793396016 139903034006032 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23468] ppid=23460 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23468/stat : 23468 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401711 15372775424 22527 33554432000 4194304 4196468 140735793396016 139903032953488 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23469] ppid=23460 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23469/stat : 23469 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401712 15372775424 22527 33554432000 4194304 4196468 140735793396016 139902434138608 139903574817410 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23470] ppid=23460 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23470/stat : 23470 (java) S 23460 23460 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226401713 15372775424 22527 33554432000 4194304 4196468 140735793396016 139902184318368 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23471] ppid=23460 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23471/stat : 23471 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401713 15372775424 22527 33554432000 4194304 4196468 140735793396016 139901915882992 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23472] ppid=23460 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23472/stat : 23472 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226401715 15372775424 22527 33554432000 4194304 4196468 140735793396016 139901541374672 139903574824859 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23473] ppid=23460 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23463/task/23473/stat : 23473 (java) R 23460 23460 16605 0 -1 4202560 469 0 0 0 2 0 0 0 20 0 15 0 226401715 15372775424 22527 33554432000 4194304 4196468 140735793396016 139902433085424 139903558304533 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23474] ppid=23460 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23463/task/23474/stat : 23474 (java) R 23460 23460 16605 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 15 0 226401715 15372775424 22527 33554432000 4194304 4196468 140735793396016 139902432032880 139903574817410 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23475] ppid=23460 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23463/task/23475/stat : 23475 (java) R 23460 23460 16605 0 -1 4202560 316 0 0 0 7 0 0 0 20 0 15 0 226401715 15372775424 22527 33554432000 4194304 4196468 140735793396016 139902430980336 139903559065507 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23476] ppid=23460 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23476/stat : 23476 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226401716 15372775424 22527 33554432000 4194304 4196468 140735793396016 139901043468896 139903574816469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23477] ppid=23460 vsize=15012476 memory=3545238011844304945 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23477/stat : 23477 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401716 15372775424 22527 33554432000 4194304 4196468 140735793396016 139902429928240 139903574817410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91504 KiB
[startup+0.70548 s]
/proc/loadavg: 2.32 2.09 2.07 3/222 23477
/proc/meminfo: memFree=24662988/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226401708 115843072 349 33554432000 4194304 5098028 140723714573456 140723714570712 140003937763964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17838080 140723714577472 140723714577671 140723714577671 140723714580429 0
/proc/23460/statm: 28282 349 296 221 0 87 0
[pid=23463] ppid=23460 vsize=15018748 memory=129680 CPUtime=1.07 cores=0,2,4,6
/proc/23463/stat : 23463 (java) S 23460 23460 16605 0 -1 1077944320 18029 0 0 0 102 5 0 0 20 0 15 0 226401709 15379197952 32420 33554432000 4194304 4196468 140735793396016 140735793378560 139903574806263 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
/proc/23463/statm: 3754687 32420 3127 1 0 3716091 0
[pid=23463/tid=23464] ppid=23460 vsize=15018748 memory=-7816663703405220396 CPUtime=0.68 cores=0,2,4,6
/proc/23463/task/23464/stat : 23464 (java) R 23460 23460 16605 0 -1 4202560 15181 0 0 0 64 4 0 0 20 0 15 0 226401709 15379197952 32420 33554432000 4194304 4196468 140735793396016 139903546627568 139903558886750 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23465] ppid=23460 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23465/stat : 23465 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401711 15379197952 32420 33554432000 4194304 4196468 140735793396016 139903579048208 139903574816469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23466] ppid=23460 vsize=15018748 memory=61596 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23466/stat : 23466 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401711 15379197952 32420 33554432000 4194304 4196468 140735793396016 139903035058576 139903574816469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23467] ppid=23460 vsize=15018748 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23467/stat : 23467 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401711 15379197952 32420 33554432000 4194304 4196468 140735793396016 139903034006032 139903574816469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23468] ppid=23460 vsize=15018748 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23468/stat : 23468 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226401711 15379197952 32420 33554432000 4194304 4196468 140735793396016 139903032953488 139903574816469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23469] ppid=23460 vsize=15018748 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23469/stat : 23469 (java) S 23460 23460 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226401712 15379197952 32420 33554432000 4194304 4196468 140735793396016 139902434138608 139903574817410 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23470] ppid=23460 vsize=15018748 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23470/stat : 23470 (java) S 23460 23460 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226401713 15379197952 32420 33554432000 4194304 4196468 140735793396016 139902184318368 139903574816469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23471] ppid=23460 vsize=15018748 memory=752 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23471/stat : 23471 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401713 15379197952 32420 33554432000 4194304 4196468 140735793396016 139901915882992 139903574816469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23472] ppid=23460 vsize=15018748 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23472/stat : 23472 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226401715 15379197952 32420 33554432000 4194304 4196468 140735793396016 139901541374672 139903574824859 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23473] ppid=23460 vsize=15018748 memory=1120 CPUtime=0.08 cores=0,2,4,6
/proc/23463/task/23473/stat : 23473 (java) S 23460 23460 16605 0 -1 1077944384 651 0 0 0 8 0 0 0 20 0 15 0 226401715 15379197952 32420 33554432000 4194304 4196468 140735793396016 139902433085424 139903574817410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23474] ppid=23460 vsize=15018748 memory=6120 CPUtime=0.1 cores=0,2,4,6
/proc/23463/task/23474/stat : 23474 (java) S 23460 23460 16605 0 -1 1077944384 375 0 0 0 10 0 0 0 20 0 15 0 226401715 15379197952 32420 33554432000 4194304 4196468 140735793396016 139902432032880 139903574817410 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23475] ppid=23460 vsize=15018748 memory=1724 CPUtime=0.18 cores=0,2,4,6
/proc/23463/task/23475/stat : 23475 (java) S 23460 23460 16605 0 -1 1077944384 490 0 0 0 18 0 0 0 20 0 15 0 226401715 15379197952 32420 33554432000 4194304 4196468 140735793396016 139902430980336 139903574817410 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23476] ppid=23460 vsize=15018748 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23476/stat : 23476 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226401716 15379197952 32420 33554432000 4194304 4196468 140735793396016 139901043468896 139903574816469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
[pid=23463/tid=23477] ppid=23460 vsize=15018748 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/23463/task/23477/stat : 23477 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226401716 15379197952 32420 33554432000 4194304 4196468 140735793396016 139902429928240 139903574817410 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21364736 140735793402886 140735793403185 140735793403185 140735793405903 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 131076 KiB
[startup+1.50084 s]
/proc/loadavg: 2.45 2.12 2.08 5/222 23477
/proc/meminfo: memFree=24559712/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226401708 115843072 349 33554432000 4194304 5098028 140723714573456 140723714570712 140003937763964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17838080 140723714577472 140723714577671 140723714577671 140723714580429 0
/proc/23460/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=23478/tid=23481] ppid=23460 vsize=8068220 memory=118820 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23481/stat : 23481 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285043177744 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23482] ppid=23460 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23482/stat : 23482 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285042125456 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23483] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23483/stat : 23483 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285041072656 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23484] ppid=23460 vsize=8068220 memory=1472 CPUtime=0.04 cores=0,2,4,6
/proc/23478/task/23484/stat : 23484 (java) S 23460 23460 16605 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 226402589 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284870298224 140285558041218 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23485] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23485/stat : 23485 (java) S 23460 23460 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226402590 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284369298720 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23486] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23486/stat : 23486 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226402590 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284100863600 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23487] ppid=23460 vsize=8068220 memory=118820 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23487/stat : 23487 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140283726355024 140285558048667 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23488] ppid=23460 vsize=8068220 memory=92196 CPUtime=0.1 cores=0,2,4,6
/proc/23478/task/23488/stat : 23488 (java) S 23460 23460 16605 0 -1 1077944384 631 0 0 0 10 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284869245040 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23489] ppid=23460 vsize=8068220 memory=118820 CPUtime=0.08 cores=0,2,4,6
/proc/23478/task/23489/stat : 23489 (java) S 23460 23460 16605 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284868192240 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23490] ppid=23460 vsize=8068220 memory=92196 CPUtime=0.2 cores=0,2,4,6
/proc/23478/task/23490/stat : 23490 (java) S 23460 23460 16605 0 -1 1077944384 596 0 0 0 20 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284867139952 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23491] ppid=23460 vsize=8068220 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23491/stat : 23491 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140283228449248 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23492] ppid=23460 vsize=8068220 memory=4004 CPUtime=1.6 cores=0,2,4,6
/proc/23478/task/23492/stat : 23492 (java) S 23460 23460 16605 0 -1 1077944384 165 0 0 0 82 78 0 0 20 0 19 0 226402593 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284866087856 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23494] ppid=23460 vsize=8068220 memory=92196 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23494/stat : 23494 (java) S 23460 23460 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226402660 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284858279360 140285558054681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23496] ppid=23460 vsize=8068220 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23496/stat : 23496 (java) S 23460 23460 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226402660 8261857280 29705 33554432000 4194304 4196468 140722261054656 140282691563536 140285558051997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23497] ppid=23460 vsize=8068220 memory=7288 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23497/stat : 23497 (java) S 23460 23460 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226402660 8261857280 29705 33554432000 4194304 4196468 140722261054656 140282825784720 140285558051997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23498] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23498/stat : 23498 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226402662 8261857280 29705 33554432000 4194304 4196468 140722261054656 140282423139232 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
Current children cumulated CPU time: 2516.84 s
Current children cumulated vsize: 8293720 KiB
Current children cumulated memory: 212488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.5 s]
/proc/loadavg: 2.00 2.03 2.05 3/228 23701
/proc/meminfo: memFree=22486876/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1472 CPUtime=21.09 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 16605 0 -1 4202496 591 42794 0 0 0 0 2040 69 20 0 1 0 226401708 115843072 368 33554432000 4194304 5098028 140723714573456 140723714570200 140003937763964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17838080 140723714577472 140723714577671 140723714577671 140723714580429 0
/proc/23460/statm: 28282 368 311 221 0 87 0
[pid=23478] ppid=23460 vsize=8068220 memory=118820 CPUtime=2.85 cores=0,2,4,6
/proc/23478/stat : 23478 (java) S 23460 23460 16605 0 -1 1077944320 18630 0 0 0 204 81 0 0 20 0 19 0 226402586 8261857280 29705 33554432000 4194304 4196468 140722261054656 140722261037200 140285558030071 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
/proc/23478/statm: 2017055 29705 3148 1 0 1978454 0
[pid=23493] ppid=23478 vsize=112372 memory=92196 CPUtime=2496.11 cores=0,2,4,6
/proc/23493/stat : 23493 (minisat_release) R 23478 23460 16605 0 -1 4202496 109959 0 0 0 249597 14 0 0 20 0 1 0 226402659 115068928 23049 33554432000 4194304 4308513 140729129194128 140729129191128 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 31137792 140729129202804 140729129202902 140729129202902 140729129205701 0
/proc/23493/statm: 28093 23049 341 28 0 24333 0
[pid=23478/tid=23479] ppid=23460 vsize=8068220 memory=1472 CPUtime=0.75 cores=0,2,4,6
/proc/23478/task/23479/stat : 23479 (java) S 23460 23460 16605 0 -1 1077944384 15520 0 0 0 70 5 0 0 20 0 19 0 226402586 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285529870224 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23480] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23480/stat : 23480 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285562272144 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23481] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23481/stat : 23481 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285043177744 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23482] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23482/stat : 23482 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285042125456 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23483] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23483/stat : 23483 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285041072656 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23484] ppid=23460 vsize=8068220 memory=118820 CPUtime=0.04 cores=0,2,4,6
/proc/23478/task/23484/stat : 23484 (java) S 23460 23460 16605 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 226402589 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284870298224 140285558041218 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23485] ppid=23460 vsize=8068220 memory=92196 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23485/stat : 23485 (java) S 23460 23460 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226402590 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284369298720 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23486] ppid=23460 vsize=8068220 memory=118820 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23486/stat : 23486 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226402590 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284100863600 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23487] ppid=23460 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23487/stat : 23487 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140283726355024 140285558048667 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23488] ppid=23460 vsize=8068220 memory=118820 CPUtime=0.1 cores=0,2,4,6
/proc/23478/task/23488/stat : 23488 (java) S 23460 23460 16605 0 -1 1077944384 631 0 0 0 10 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284869245040 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23489] ppid=23460 vsize=8068220 memory=92196 CPUtime=0.08 cores=0,2,4,6
/proc/23478/task/23489/stat : 23489 (java) S 23460 23460 16605 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284868192240 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23490] ppid=23460 vsize=8068220 memory=1472 CPUtime=0.2 cores=0,2,4,6
/proc/23478/task/23490/stat : 23490 (java) S 23460 23460 16605 0 -1 1077944384 596 0 0 0 20 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284867139952 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23491] ppid=23460 vsize=8068220 memory=118820 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23491/stat : 23491 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140283228449248 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23492] ppid=23460 vsize=8068220 memory=92196 CPUtime=1.61 cores=0,2,4,6
/proc/23478/task/23492/stat : 23492 (java) S 23460 23460 16605 0 -1 1077944384 167 0 0 0 83 78 0 0 20 0 19 0 226402593 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284866087856 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23494] ppid=23460 vsize=8068220 memory=118820 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23494/stat : 23494 (java) S 23460 23460 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226402660 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284858279360 140285558054681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23496] ppid=23460 vsize=8068220 memory=-7824251494390519399 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23496/stat : 23496 (java) S 23460 23460 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226402660 8261857280 29705 33554432000 4194304 4196468 140722261054656 140282691563536 140285558051997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23497] ppid=23460 vsize=8068220 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23497/stat : 23497 (java) S 23460 23460 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226402660 8261857280 29705 33554432000 4194304 4196468 140722261054656 140282825784720 140285558051997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23498] ppid=23460 vsize=8068220 memory=872 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23498/stat : 23498 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226402662 8261857280 29705 33554432000 4194304 4196468 140722261054656 140282423139232 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 8293720 KiB
Current children cumulated memory: 212488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.52 s]
# the end of solver process 23460 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20.4078 s, system=0.692495 s
[startup+2505.52 s]
# the end of solver process 23478 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.44 s, system=1.65874 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+2505.5 s]
/proc/loadavg: 2.00 2.03 2.05 3/228 23701
/proc/meminfo: memFree=22486876/32770624 swapFree=67108860/67108860
[pid=23460] ppid=23457 vsize=113128 memory=1472 CPUtime=21.09 cores=0,2,4,6
/proc/23460/stat : 23460 (scop.sh) S 23457 23460 16605 0 -1 4202496 591 42794 0 0 0 0 2040 69 20 0 1 0 226401708 115843072 368 33554432000 4194304 5098028 140723714573456 140723714570200 140003937763964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17838080 140723714577472 140723714577671 140723714577671 140723714580429 0
/proc/23460/statm: 28282 368 311 221 0 87 0
[pid=23478] ppid=23460 vsize=8068220 memory=118820 CPUtime=2.85 cores=0,2,4,6
/proc/23478/stat : 23478 (java) S 23460 23460 16605 0 -1 1077944320 18630 0 0 0 204 81 0 0 20 0 19 0 226402586 8261857280 29705 33554432000 4194304 4196468 140722261054656 140722261037200 140285558030071 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
/proc/23478/statm: 2017055 29705 3148 1 0 1978454 0
[pid=23493] ppid=23478 vsize=112372 memory=92196 CPUtime=2496.11 cores=0,2,4,6
/proc/23493/stat : 23493 (minisat_release) R 23478 23460 16605 0 -1 4202496 109959 0 0 0 249597 14 0 0 20 0 1 0 226402659 115068928 23049 33554432000 4194304 4308513 140729129194128 140729129191128 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 31137792 140729129202804 140729129202902 140729129202902 140729129205701 0
/proc/23493/statm: 28093 23049 341 28 0 24333 0
[pid=23478/tid=23479] ppid=23460 vsize=8068220 memory=1472 CPUtime=0.75 cores=0,2,4,6
/proc/23478/task/23479/stat : 23479 (java) S 23460 23460 16605 0 -1 1077944384 15520 0 0 0 70 5 0 0 20 0 19 0 226402586 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285529870224 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23480] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23480/stat : 23480 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285562272144 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23481] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23481/stat : 23481 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285043177744 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23482] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23482/stat : 23482 (java) S 23460 23460 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285042125456 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23483] ppid=23460 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23483/stat : 23483 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226402588 8261857280 29705 33554432000 4194304 4196468 140722261054656 140285041072656 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23484] ppid=23460 vsize=8068220 memory=118820 CPUtime=0.04 cores=0,2,4,6
/proc/23478/task/23484/stat : 23484 (java) S 23460 23460 16605 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 226402589 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284870298224 140285558041218 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23485] ppid=23460 vsize=8068220 memory=92196 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23485/stat : 23485 (java) S 23460 23460 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226402590 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284369298720 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23486] ppid=23460 vsize=8068220 memory=118820 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23486/stat : 23486 (java) S 23460 23460 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226402590 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284100863600 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23487] ppid=23460 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23487/stat : 23487 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140283726355024 140285558048667 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23488] ppid=23460 vsize=8068220 memory=118820 CPUtime=0.1 cores=0,2,4,6
/proc/23478/task/23488/stat : 23488 (java) S 23460 23460 16605 0 -1 1077944384 631 0 0 0 10 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284869245040 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23489] ppid=23460 vsize=8068220 memory=92196 CPUtime=0.08 cores=0,2,4,6
/proc/23478/task/23489/stat : 23489 (java) S 23460 23460 16605 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284868192240 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23490] ppid=23460 vsize=8068220 memory=1472 CPUtime=0.2 cores=0,2,4,6
/proc/23478/task/23490/stat : 23490 (java) S 23460 23460 16605 0 -1 1077944384 596 0 0 0 20 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284867139952 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23491] ppid=23460 vsize=8068220 memory=118820 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23491/stat : 23491 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226402592 8261857280 29705 33554432000 4194304 4196468 140722261054656 140283228449248 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23492] ppid=23460 vsize=8068220 memory=92196 CPUtime=1.61 cores=0,2,4,6
/proc/23478/task/23492/stat : 23492 (java) S 23460 23460 16605 0 -1 1077944384 167 0 0 0 83 78 0 0 20 0 19 0 226402593 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284866087856 140285558041218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23494] ppid=23460 vsize=8068220 memory=118820 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23494/stat : 23494 (java) S 23460 23460 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226402660 8261857280 29705 33554432000 4194304 4196468 140722261054656 140284858279360 140285558054681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23496] ppid=23460 vsize=8068220 memory=-7824251494390519399 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23496/stat : 23496 (java) S 23460 23460 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226402660 8261857280 29705 33554432000 4194304 4196468 140722261054656 140282691563536 140285558051997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23497] ppid=23460 vsize=8068220 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23497/stat : 23497 (java) S 23460 23460 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226402660 8261857280 29705 33554432000 4194304 4196468 140722261054656 140282825784720 140285558051997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
[pid=23478/tid=23498] ppid=23460 vsize=8068220 memory=872 CPUtime=0 cores=0,2,4,6
/proc/23478/task/23498/stat : 23498 (java) S 23460 23460 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226402662 8261857280 29705 33554432000 4194304 4196468 140722261054656 140282423139232 140285558040277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140722261058741 140722261058865 140722261058865 140722261061583 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 8293720 KiB
Current children cumulated memory: 212488 KiB
Child status: 1
Real time (s): 2505.52
CPU time (s): 2520.1
CPU user time (s): 2518.44
CPU system time (s): 1.65874
CPU usage (%): 100.582
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3122656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.44
system time used= 1.65874
maximum resident set size= 3122376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172243
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60112
involuntary context switches= 922
# summary of solver processes directly reported to runsolver:
# pid: 23460,23478
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.44
# total CPU system time (s): 1.65874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2519 second user time and 25.8908 second system time
The end