0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-26578-serial-file.bin HOME/instance-4305705-1534090075.xml
0.54/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 18:07:56 CEST 2018
0.66/0.54 c PID: 26581
0.66/0.54 c IP: 172.20.3.135
0.66/0.54 c HOST: node135.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.35/1.19 c (0,0) Parsing End
2.66/1.20 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 456 ctr, max domain size 23
2.66/1.20 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.66/1.20 c (0,0) Constraint Name Generate Begin
2.66/1.21 c (0,0) Ctr:HOME/instance-4305705-1534090075.xml,ExtensionConflict:ExtensionSupport:IntVar
2.66/1.21 c (0,0) Constraint Name Generate End
2.66/1.21 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.66/1.21 c (0,0) CSP to CSPinCNF Begin
5.23/2.18 c (1,1) translated 46 (10%) constraints
6.43/2.56 c (2,2) translated 92 (20%) constraints
7.35/2.89 c (2,2) translated 137 (30%) constraints
8.29/3.17 c (2,2) translated 183 (40%) constraints
9.16/3.43 c (2,2) translated 228 (50%) constraints
10.08/3.70 c (3,3) translated 274 (60%) constraints
10.68/3.99 c (3,3) translated 320 (70%) constraints
11.59/4.23 c (3,3) translated 365 (80%) constraints
12.37/4.52 c (3,3) translated 411 (90%) constraints
12.97/4.72 c (4,4) translated 456 (100%) constraints
13.91/5.08 c (4,4) STATISTICS1:HOME/instance-4305705-1534090075.xml,ExtensionConflict:ExtensionSupport:IntVar,326,50237,-1,23,24,1,,23:188503;2:3777,24:12;4:42009;3:7536;2:680,1:192280;0:12,
13.91/5.08 c (4,4) ==========================================
13.91/5.08 c (4,4) Both Encoding selects:
13.91/5.08 c (4,4) Order
13.91/5.08 c (4,4) ==========================================
14.55/5.22 c (4,4) translated 5024 (10%) constraints
14.86/5.32 c (4,4) translated 10048 (20%) constraints
15.18/5.42 c (4,4) translated 15072 (30%) constraints
15.47/5.54 c (5,4) translated 20095 (40%) constraints
15.78/5.64 c (5,5) translated 25119 (50%) constraints
16.08/5.74 c (5,5) translated 30143 (60%) constraints
16.30/5.82 c (5,5) translated 35166 (70%) constraints
16.41/5.91 c (5,5) translated 40190 (80%) constraints
16.41/6.00 c (5,5) translated 45214 (90%) constraints
16.52/6.09 c (5,5) translated 50237 (100%) constraints
16.52/6.09 c (5,5) CSP to CSPinCNF End
16.52/6.09 c (5,5) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
16.52/6.09 c (5,5) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.52/6.09 c (5,5) CSPinCNF Propagation Begin
17.34/6.45 c (5,5) 0 values, 4945 unsatisfiable literals, and 0 valid clauses are removed
17.34/6.45 c (5,5) CSPinCNF Propagation End
17.34/6.45 c (5,5) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
17.34/6.45 c (5,5) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.34/6.45 c (5,5) Simplify CSPinCNF Begin
17.52/6.59 c (6,5) Simplify CSPinCNF End
17.52/6.59 c (6,5) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
17.52/6.59 c (6,5) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.52/6.59 c (6,5) Calculate Precise Domain Begin
17.52/6.59 c (6,5) 0 values are removed by re-calculation
17.52/6.59 c (6,5) Calculate Precise Domain End
17.52/6.59 c (6,5) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
17.52/6.59 c (6,5) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.52/6.59 c (6,5) CSPinCNF to SatSolver Begin
17.92/6.74 c (6,6) 5024 (10 %) CSP clauses are encoded (1376 SAT variables, 6073 SAT clauses)
17.92/6.79 c (6,6) 10048 (20 %) CSP clauses are encoded (1376 SAT variables, 11097 SAT clauses)
18.23/6.84 c (6,6) 15072 (30 %) CSP clauses are encoded (1376 SAT variables, 16121 SAT clauses)
18.23/6.87 c (6,6) 20095 (40 %) CSP clauses are encoded (1376 SAT variables, 21144 SAT clauses)
18.48/6.91 c (6,6) 25119 (50 %) CSP clauses are encoded (1376 SAT variables, 26168 SAT clauses)
18.48/6.94 c (6,6) 30143 (60 %) CSP clauses are encoded (1376 SAT variables, 31192 SAT clauses)
18.48/6.98 c (6,6) 35166 (70 %) CSP clauses are encoded (1376 SAT variables, 36215 SAT clauses)
18.65/7.01 c (6,6) 40190 (80 %) CSP clauses are encoded (1376 SAT variables, 41239 SAT clauses)
18.65/7.05 c (6,6) 45214 (90 %) CSP clauses are encoded (1376 SAT variables, 46263 SAT clauses)
18.65/7.08 c (6,6) 50237 (100 %) CSP clauses are encoded (1376 SAT variables, 51286 SAT clauses)
18.65/7.08 c (6,6) Launch Command will be: minisat_release
18.65/7.08 c (6,6) CSPinCNF to SatSolver End
18.65/7.08 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.73/7.43 c (6,6) STATISTICS2:HOME/instance-4305705-1534090075.xml,ExtensionConflict:ExtensionSupport:IntVar,326,50237,-1,23,23,1,,23:183570;2:3777,23:12;4:37457;3:11707;2:1061,1:187347,
19.73/7.44 c (6,6) 1376 bool, 51287 clause
19.73/7.44 c (6,6) Export Begin
20.05/7.52 c (7,6) Export to HOME/scop-26578-serial-file.bin
20.05/7.52 c (7,6) Export End
20.05/7.52 c (7,6) Export File Size: 0.01 MB
20.05/7.52 c (7,6) 0,0,5,5,6,6,6,STOP-AFTER(DIMACS)
20.05/7.52 c END-Prog: Sun Aug 12 18:08:03 CEST 2018
20.05/7.55 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26578-serial-file.bin
20.71/8.04 c (0,0) Read Serial File Begin
20.71/8.04 c (0,0) HOME/scop-26578-serial-file.bin
21.00/8.21 c (0,0) Read Serial File End
21.00/8.22
21.00/8.22 scop order+minisat_release (2018-07-31)
21.00/8.22 (Solving Process)
21.00/8.22
21.00/8.25 c BEGIN-Prog: Sun Aug 12 18:08:04 CEST 2018
21.00/8.25 c PID: 26596
21.00/8.25 c IP: 172.20.3.135
21.00/8.25 c HOST: node135.alineos.net
21.00/8.25 c (0,0) SatSolver.solve Begin
21.00/8.25 c (0,0) 0 bool, 0 clause
21.00/8.25 c (0,0) minisat_release HOME/instance-4305705-1534090075.xml-scop-26581.cnf
2520.03/2505.90 c (2497,0) SatSolver is killed by some reasons.
2520.03/2505.90 c (2497,0) receiving signal SIGTERM
2520.03/2505.90 s UNKNOWN
2520.03/2505.91 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2505.91 c (scop.sh) Killing background jobs.
2520.03/2505.91 HOME/scop.sh: line 50: kill: (26596) - No such process
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 (7450 MiB free)
memory of node 1: 16384 MiB (5133 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305705-1534090075/watcher-4305705-1534090075 -o /tmp/evaluation-result-4305705-1534090075/solver-4305705-1534090075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305705-1534090075.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26578, runsolver pid=26575
[startup+0.10006 s]*
/proc/loadavg: 2.20 2.17 2.10 3/226 26595
/proc/meminfo: memFree=12825220/32770624 swapFree=67108860/67108860
[pid=26578] ppid=26575 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26578/stat : 26578 (scop.sh) S 26575 26578 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226570723 115843072 349 33554432000 4194304 5098028 140724658253408 140724658250664 139637324767868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26976256 140724658259009 140724658259207 140724658259207 140724658261965 0
/proc/26578/statm: 28282 349 296 221 0 87 0
[pid=26581] ppid=26578 vsize=15012476 memory=73440 CPUtime=0.11 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26578 26578 19383 0 -1 1077944320 6964 0 0 0 9 2 0 0 20 0 15 0 226570723 15372775424 18360 33554432000 4194304 4196468 140729861091088 140729861073632 140701872475895 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
/proc/26581/statm: 3753119 18360 2770 1 0 3715579 0
[pid=26581/tid=26582] ppid=26578 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26578 26578 19383 0 -1 4202560 5058 0 0 0 7 1 0 0 20 0 15 0 226570724 15372775424 18360 33554432000 4194304 4196468 140729861091088 140701844287880 140701852751560 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26583] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 18360 33554432000 4194304 4196468 140729861091088 140701876718096 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26584] ppid=26578 vsize=15012476 memory=140418713622144 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 18360 33554432000 4194304 4196468 140729861091088 140701333449360 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26585] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 18360 33554432000 4194304 4196468 140729861091088 140701332396304 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26586] ppid=26578 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 18360 33554432000 4194304 4196468 140729861091088 140701331343760 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26587] ppid=26578 vsize=15012476 memory=140418713622144 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570727 15372775424 18360 33554432000 4194304 4196468 140729861091088 140700842699504 140701872487042 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26588] ppid=26578 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26578 26578 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226570727 15372775424 18360 33554432000 4194304 4196468 140729861091088 140700444255904 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26589] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570727 15372775424 18360 33554432000 4194304 4196468 140729861091088 140700175820016 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26590] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 18360 33554432000 4194304 4196468 140729861091088 140699801311696 140701872494491 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26591] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) S 26578 26578 19383 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 18360 33554432000 4194304 4196468 140729861091088 140700841646320 140701872487042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26592] ppid=26578 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 18360 33554432000 4194304 4196468 140729861091088 140700840593776 140701872487042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26593] ppid=26578 vsize=15012476 memory=140418713622144 CPUtime=0.01 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) S 26578 26578 19383 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 226570730 15372775424 18360 33554432000 4194304 4196468 140729861091088 140700839540720 140701872487042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26594] ppid=26578 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 18360 33554432000 4194304 4196468 140729861091088 140699303405920 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26595] ppid=26578 vsize=15012476 memory=140418713622144 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 18360 33554432000 4194304 4196468 140729861091088 140700838489136 140701872487042 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74836 KiB
[startup+0.21197 s]*
/proc/loadavg: 2.20 2.17 2.10 3/226 26595
/proc/meminfo: memFree=12811392/32770624 swapFree=67108860/67108860
[pid=26578] ppid=26575 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26578/stat : 26578 (scop.sh) S 26575 26578 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226570723 115843072 349 33554432000 4194304 5098028 140724658253408 140724658250664 139637324767868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26976256 140724658259009 140724658259207 140724658259207 140724658261965 0
/proc/26578/statm: 28282 349 296 221 0 87 0
[pid=26581] ppid=26578 vsize=15012476 memory=86516 CPUtime=0.25 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26578 26578 19383 0 -1 1077944320 10483 0 0 0 22 3 0 0 20 0 15 0 226570723 15372775424 21629 33554432000 4194304 4196468 140729861091088 140729861073632 140701872475895 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
/proc/26581/statm: 3753119 21629 2906 1 0 3715579 0
[pid=26581/tid=26582] ppid=26578 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26578 26578 19383 0 -1 4202560 8396 0 0 0 18 2 0 0 20 0 15 0 226570724 15372775424 21629 33554432000 4194304 4196468 140729861091088 140701844302288 140701854344272 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26583] ppid=26578 vsize=15012476 memory=550 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 21629 33554432000 4194304 4196468 140729861091088 140701876718096 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26584] ppid=26578 vsize=15012476 memory=140418713646993 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 21629 33554432000 4194304 4196468 140729861091088 140701333449360 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26585] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 21629 33554432000 4194304 4196468 140729861091088 140701332396304 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26586] ppid=26578 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 21629 33554432000 4194304 4196468 140729861091088 140701331343760 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26587] ppid=26578 vsize=15012476 memory=140418713622144 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570727 15372775424 21629 33554432000 4194304 4196468 140729861091088 140700842699504 140701872487042 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26588] ppid=26578 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26578 26578 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226570727 15372775424 21629 33554432000 4194304 4196468 140729861091088 140700444255904 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26589] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570727 15372775424 21629 33554432000 4194304 4196468 140729861091088 140700175820016 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26590] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 21629 33554432000 4194304 4196468 140729861091088 140699801311696 140701872494491 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26591] ppid=26578 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) S 26578 26578 19383 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 15 0 226570730 15372775424 21629 33554432000 4194304 4196468 140729861091088 140700841646320 140701872487042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26592] ppid=26578 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) R 26578 26578 19383 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 21629 33554432000 4194304 4196468 140729861091088 140700840593776 140701865460937 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26593] ppid=26578 vsize=15012476 memory=140418713622144 CPUtime=0.03 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) R 26578 26578 19383 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 226570730 15372775424 21629 33554432000 4194304 4196468 140729861091088 140700839540720 140701872487042 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26594] ppid=26578 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 21629 33554432000 4194304 4196468 140729861091088 140699303405920 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26595] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 21629 33554432000 4194304 4196468 140729861091088 140700838489136 140701872487042 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87912 KiB
[startup+0.310846 s]*
/proc/loadavg: 2.20 2.17 2.10 3/226 26595
/proc/meminfo: memFree=12807584/32770624 swapFree=67108860/67108860
[pid=26578] ppid=26575 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26578/stat : 26578 (scop.sh) S 26575 26578 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226570723 115843072 349 33554432000 4194304 5098028 140724658253408 140724658250664 139637324767868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26976256 140724658259009 140724658259207 140724658259207 140724658261965 0
/proc/26578/statm: 28282 349 296 221 0 87 0
[pid=26581] ppid=26578 vsize=15012476 memory=90300 CPUtime=0.43 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26578 26578 19383 0 -1 1077944320 11017 0 0 0 39 4 0 0 20 0 15 0 226570723 15372775424 22575 33554432000 4194304 4196468 140729861091088 140729861073632 140701872475895 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
/proc/26581/statm: 3753119 22575 3011 1 0 3715579 0
[pid=26581/tid=26582] ppid=26578 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26578 26578 19383 0 -1 4202560 8767 0 0 0 27 3 0 0 20 0 15 0 226570724 15372775424 22575 33554432000 4194304 4196468 140729861091088 140701844271344 140701872497821 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26583] ppid=26578 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 22575 33554432000 4194304 4196468 140729861091088 140701876718096 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26584] ppid=26578 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 22575 33554432000 4194304 4196468 140729861091088 140701333449360 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26585] ppid=26578 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 22575 33554432000 4194304 4196468 140729861091088 140701332396304 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26586] ppid=26578 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570725 15372775424 22575 33554432000 4194304 4196468 140729861091088 140701331343760 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26587] ppid=26578 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570727 15372775424 22575 33554432000 4194304 4196468 140729861091088 140700842699504 140701872487042 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26588] ppid=26578 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26578 26578 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226570727 15372775424 22575 33554432000 4194304 4196468 140729861091088 140700444255904 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26589] ppid=26578 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570727 15372775424 22575 33554432000 4194304 4196468 140729861091088 140700175820016 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26590] ppid=26578 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 22575 33554432000 4194304 4196468 140729861091088 140699801311696 140701872494491 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26591] ppid=26578 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) R 26578 26578 19383 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 226570730 15372775424 22575 33554432000 4194304 4196468 140729861091088 140700841646320 140701872487042 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26592] ppid=26578 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) R 26578 26578 19383 0 -1 4202560 206 0 0 0 1 0 0 0 20 0 15 0 226570730 15372775424 22575 33554432000 4194304 4196468 140729861091088 140700840593776 140701857384938 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26593] ppid=26578 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) R 26578 26578 19383 0 -1 4202560 306 0 0 0 7 0 0 0 20 0 15 0 226570730 15372775424 22575 33554432000 4194304 4196468 140729861091088 140700839540720 140701851431379 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26594] ppid=26578 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 22575 33554432000 4194304 4196468 140729861091088 140699303405920 140701872486101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26595] ppid=26578 vsize=15012476 memory=3617295605882232881 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570730 15372775424 22575 33554432000 4194304 4196468 140729861091088 140700838489136 140701872487042 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91696 KiB
[startup+0.70081 s]
/proc/loadavg: 2.20 2.17 2.10 3/226 26595
/proc/meminfo: memFree=12783184/32770624 swapFree=67108860/67108860
[pid=26578] ppid=26575 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26578/stat : 26578 (scop.sh) S 26575 26578 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226570723 115843072 349 33554432000 4194304 5098028 140724658253408 140724658250664 139637324767868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26976256 140724658259009 140724658259207 140724658259207 140724658261965 0
/proc/26578/statm: 28282 349 296 221 0 87 0
[pid=26581] ppid=26578 vsize=15018748 memory=131348 CPUtime=1.04 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26578 26578 19383 0 -1 1077944320 17978 0 0 0 98 6 0 0 20 0 15 0 226570723 15379197952 32837 33554432000 4194304 4196468 140729861091088 140729861073632 140701872475895 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
/proc/26581/statm: 3754687 32837 3128 1 0 3716091 0
[pid=26581/tid=26582] ppid=26578 vsize=15018748 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26578 26578 19383 0 -1 4202560 15154 0 0 0 63 4 0 0 20 0 15 0 226570724 15379197952 32837 33554432000 4194304 4196468 140729861091088 140701844312688 140701856556382 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26583] ppid=26578 vsize=15018748 memory=288230377057958153 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570725 15379197952 32837 33554432000 4194304 4196468 140729861091088 140701876718096 140701872486101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26584] ppid=26578 vsize=15018748 memory=14975555351106623 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570725 15379197952 32837 33554432000 4194304 4196468 140729861091088 140701333449360 140701872486101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26585] ppid=26578 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226570725 15379197952 32837 33554432000 4194304 4196468 140729861091088 140701332396304 140701872486101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26586] ppid=26578 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570725 15379197952 32837 33554432000 4194304 4196468 140729861091088 140701331343760 140701872486101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26587] ppid=26578 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26578 26578 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226570727 15379197952 32837 33554432000 4194304 4196468 140729861091088 140700842699504 140701872487042 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26588] ppid=26578 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26578 26578 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226570727 15379197952 32837 33554432000 4194304 4196468 140729861091088 140700444255904 140701872486101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26589] ppid=26578 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570727 15379197952 32837 33554432000 4194304 4196468 140729861091088 140700175820016 140701872486101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26590] ppid=26578 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226570730 15379197952 32837 33554432000 4194304 4196468 140729861091088 140699801311696 140701872494491 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26591] ppid=26578 vsize=15018748 memory=280837174067440 CPUtime=0.08 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) S 26578 26578 19383 0 -1 1077944384 564 0 0 0 8 0 0 0 20 0 15 0 226570730 15379197952 32837 33554432000 4194304 4196468 140729861091088 140700841646320 140701872487042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26592] ppid=26578 vsize=15018748 memory=7234030490512222553 CPUtime=0.09 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) S 26578 26578 19383 0 -1 1077944384 455 0 0 0 9 0 0 0 20 0 15 0 226570730 15379197952 32837 33554432000 4194304 4196468 140729861091088 140700840593776 140701872487042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26593] ppid=26578 vsize=15018748 memory=8027223685274615916 CPUtime=0.17 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) R 26578 26578 19383 0 -1 4202560 472 0 0 0 17 0 0 0 20 0 15 0 226570730 15379197952 32837 33554432000 4194304 4196468 140729861091088 140700839536448 140701851777645 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26594] ppid=26578 vsize=15018748 memory=7649399371463996978 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226570730 15379197952 32837 33554432000 4194304 4196468 140729861091088 140699303405920 140701872486101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
[pid=26581/tid=26595] ppid=26578 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226570730 15379197952 32837 33554432000 4194304 4196468 140729861091088 140700838489136 140701872487042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7225344 140729861096455 140729861096753 140729861096753 140729861099471 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132744 KiB
[startup+1.50077 s]
/proc/loadavg: 2.34 2.20 2.11 5/226 26595
/proc/meminfo: memFree=12687684/32770624 swapFree=67108860/67108860
[pid=26578] ppid=26575 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/26578/stat : 26578 (scop.sh) S 26575 26578 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226570723 115843072 349 33554432000 4194304 5098028 140724658253408 140724658250664 139637324767868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26976256 140724658259009 140724658259207 140724658259207 140724658261965 0
/proc/26578/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/26611/statm: 25119 20786 341 28 0 21359 0
[pid=26596/tid=26597] ppid=26578 vsize=8068220 memory=117020 CPUtime=0.74 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) S 26578 26578 19383 0 -1 1077944384 14989 0 0 0 70 4 0 0 20 0 19 0 226571479 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811384618896 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26598] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811417021072 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26599] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811217189392 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26600] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811216136592 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26601] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811215083792 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26602] ppid=26578 vsize=8068220 memory=145 CPUtime=0.03 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26578 26578 19383 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 226571482 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810858564464 139811412789890 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26603] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26578 26578 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226571482 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810245174816 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26604] ppid=26578 vsize=8068220 memory=280837175732608 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571482 8261857280 29255 33554432000 4194304 4196468 140723439811696 139809976739184 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26605] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139809602230608 139811412797339 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26606] ppid=26578 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26578 26578 19383 0 -1 1077944384 634 0 0 0 10 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810857511280 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26607] ppid=26578 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) S 26578 26578 19383 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810856458480 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26608] ppid=26578 vsize=8068220 memory=117020 CPUtime=0.2 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) S 26578 26578 19383 0 -1 1077944384 606 0 0 0 20 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810855405680 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26609] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139809104324832 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26610] ppid=26578 vsize=8068220 memory=1472 CPUtime=1.02 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26578 26578 19383 0 -1 1077944384 167 0 0 0 46 56 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810854354096 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26612] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26612/stat : 26612 (java) S 26578 26578 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226571551 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811185080000 139811412803353 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26614] ppid=26578 vsize=8068220 memory=83144 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26614/stat : 26614 (java) S 26578 26578 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226571551 8261857280 29255 33554432000 4194304 4196468 140723439811696 139808567439120 139811412800669 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26615] ppid=26578 vsize=8068220 memory=3560 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26615/stat : 26615 (java) S 26578 26578 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226571551 8261857280 29255 33554432000 4194304 4196468 140723439811696 139808701660816 139811412800669 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26616] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26616/stat : 26616 (java) S 26578 26578 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226571553 8261857280 29255 33554432000 4194304 4196468 140723439811696 139808299015328 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
Current children cumulated CPU time: 2516.43 s
Current children cumulated vsize: 8281824 KiB
Current children cumulated memory: 201636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.9 s]
/proc/loadavg: 2.09 2.13 2.09 3/231 26796
/proc/meminfo: memFree=12688228/32770624 swapFree=67108860/67108860
[pid=26578] ppid=26575 vsize=113128 memory=1472 CPUtime=20.12 cores=1,3,5,7
/proc/26578/stat : 26578 (scop.sh) S 26575 26578 19383 0 -1 4202496 590 37575 0 0 0 0 1954 58 20 0 1 0 226570723 115843072 368 33554432000 4194304 5098028 140724658253408 140724658250152 139637324767868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26976256 140724658259009 140724658259207 140724658259207 140724658261965 0
/proc/26578/statm: 28282 368 311 221 0 87 0
[pid=26596] ppid=26578 vsize=8068220 memory=117020 CPUtime=2.23 cores=1,3,5,7
/proc/26596/stat : 26596 (java) S 26578 26578 19383 0 -1 1077944320 18133 0 0 0 160 63 0 0 20 0 19 0 226571479 8261857280 29255 33554432000 4194304 4196468 140723439811696 140723439794240 139811412778743 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
/proc/26596/statm: 2017055 29255 3153 1 0 1978454 0
[pid=26611] ppid=26596 vsize=100476 memory=83144 CPUtime=2497.68 cores=1,3,5,7
/proc/26611/stat : 26611 (minisat_release) R 26596 26578 19383 0 -1 4202496 182936 0 0 0 249752 16 0 0 20 0 1 0 226571550 102887424 20786 33554432000 4194304 4308513 140724660577488 140724660574488 4276047 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 22384640 140724660585588 140724660585686 140724660585686 140724660588485 0
/proc/26611/statm: 25119 20786 341 28 0 21359 0
[pid=26596/tid=26597] ppid=26578 vsize=8068220 memory=117020 CPUtime=0.74 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) S 26578 26578 19383 0 -1 1077944384 14989 0 0 0 70 4 0 0 20 0 19 0 226571479 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811384618896 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26598] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811417021072 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26599] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811217189392 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26600] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811216136592 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26601] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811215083792 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26602] ppid=26578 vsize=8068220 memory=117020 CPUtime=0.03 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26578 26578 19383 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 226571482 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810858564464 139811412789890 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26603] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26578 26578 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226571482 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810245174816 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26604] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571482 8261857280 29255 33554432000 4194304 4196468 140723439811696 139809976739184 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26605] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139809602230608 139811412797339 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26606] ppid=26578 vsize=8068220 memory=117020 CPUtime=0.1 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26578 26578 19383 0 -1 1077944384 634 0 0 0 10 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810857511280 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26607] ppid=26578 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) S 26578 26578 19383 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810856458480 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26608] ppid=26578 vsize=8068220 memory=145 CPUtime=0.2 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) S 26578 26578 19383 0 -1 1077944384 606 0 0 0 20 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810855405680 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26609] ppid=26578 vsize=8068220 memory=280837175732608 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139809104324832 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26610] ppid=26578 vsize=8068220 memory=117020 CPUtime=1.02 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26578 26578 19383 0 -1 1077944384 167 0 0 0 46 56 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810854354096 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26612] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26612/stat : 26612 (java) S 26578 26578 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226571551 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811185080000 139811412803353 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26614] ppid=26578 vsize=8068220 memory=3560 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26614/stat : 26614 (java) S 26578 26578 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226571551 8261857280 29255 33554432000 4194304 4196468 140723439811696 139808567439120 139811412800669 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26615] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26615/stat : 26615 (java) S 26578 26578 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226571551 8261857280 29255 33554432000 4194304 4196468 140723439811696 139808701660816 139811412800669 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26616] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26616/stat : 26616 (java) S 26578 26578 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226571553 8261857280 29255 33554432000 4194304 4196468 140723439811696 139808299015328 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8281824 KiB
Current children cumulated memory: 201636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.92 s]
# the end of solver process 26578 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.67 s, system=1.40548 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.9 s]
/proc/loadavg: 2.09 2.13 2.09 3/231 26796
/proc/meminfo: memFree=12688228/32770624 swapFree=67108860/67108860
[pid=26578] ppid=26575 vsize=113128 memory=1472 CPUtime=20.12 cores=1,3,5,7
/proc/26578/stat : 26578 (scop.sh) S 26575 26578 19383 0 -1 4202496 590 37575 0 0 0 0 1954 58 20 0 1 0 226570723 115843072 368 33554432000 4194304 5098028 140724658253408 140724658250152 139637324767868 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26976256 140724658259009 140724658259207 140724658259207 140724658261965 0
/proc/26578/statm: 28282 368 311 221 0 87 0
[pid=26596] ppid=26578 vsize=8068220 memory=117020 CPUtime=2.23 cores=1,3,5,7
/proc/26596/stat : 26596 (java) S 26578 26578 19383 0 -1 1077944320 18133 0 0 0 160 63 0 0 20 0 19 0 226571479 8261857280 29255 33554432000 4194304 4196468 140723439811696 140723439794240 139811412778743 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
/proc/26596/statm: 2017055 29255 3153 1 0 1978454 0
[pid=26611] ppid=26596 vsize=100476 memory=83144 CPUtime=2497.68 cores=1,3,5,7
/proc/26611/stat : 26611 (minisat_release) R 26596 26578 19383 0 -1 4202496 182936 0 0 0 249752 16 0 0 20 0 1 0 226571550 102887424 20786 33554432000 4194304 4308513 140724660577488 140724660574488 4276047 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 22384640 140724660585588 140724660585686 140724660585686 140724660588485 0
/proc/26611/statm: 25119 20786 341 28 0 21359 0
[pid=26596/tid=26597] ppid=26578 vsize=8068220 memory=117020 CPUtime=0.74 cores=1,3,5,7
/proc/26596/task/26597/stat : 26597 (java) S 26578 26578 19383 0 -1 1077944384 14989 0 0 0 70 4 0 0 20 0 19 0 226571479 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811384618896 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26598] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26598/stat : 26598 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811417021072 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26599] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26599/stat : 26599 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811217189392 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26600] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26600/stat : 26600 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811216136592 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26601] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26601/stat : 26601 (java) S 26578 26578 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226571480 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811215083792 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26602] ppid=26578 vsize=8068220 memory=117020 CPUtime=0.03 cores=1,3,5,7
/proc/26596/task/26602/stat : 26602 (java) S 26578 26578 19383 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 226571482 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810858564464 139811412789890 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26603] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26603/stat : 26603 (java) S 26578 26578 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226571482 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810245174816 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26604] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26604/stat : 26604 (java) S 26578 26578 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226571482 8261857280 29255 33554432000 4194304 4196468 140723439811696 139809976739184 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26605] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26605/stat : 26605 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139809602230608 139811412797339 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26606] ppid=26578 vsize=8068220 memory=117020 CPUtime=0.1 cores=1,3,5,7
/proc/26596/task/26606/stat : 26606 (java) S 26578 26578 19383 0 -1 1077944384 634 0 0 0 10 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810857511280 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26607] ppid=26578 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/26596/task/26607/stat : 26607 (java) S 26578 26578 19383 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810856458480 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26608] ppid=26578 vsize=8068220 memory=145 CPUtime=0.2 cores=1,3,5,7
/proc/26596/task/26608/stat : 26608 (java) S 26578 26578 19383 0 -1 1077944384 606 0 0 0 20 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810855405680 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26609] ppid=26578 vsize=8068220 memory=280837175732608 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26609/stat : 26609 (java) S 26578 26578 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139809104324832 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26610] ppid=26578 vsize=8068220 memory=117020 CPUtime=1.02 cores=1,3,5,7
/proc/26596/task/26610/stat : 26610 (java) S 26578 26578 19383 0 -1 1077944384 167 0 0 0 46 56 0 0 20 0 19 0 226571485 8261857280 29255 33554432000 4194304 4196468 140723439811696 139810854354096 139811412789890 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26612] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26612/stat : 26612 (java) S 26578 26578 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226571551 8261857280 29255 33554432000 4194304 4196468 140723439811696 139811185080000 139811412803353 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26614] ppid=26578 vsize=8068220 memory=3560 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26614/stat : 26614 (java) S 26578 26578 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226571551 8261857280 29255 33554432000 4194304 4196468 140723439811696 139808567439120 139811412800669 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26615] ppid=26578 vsize=8068220 memory=117020 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26615/stat : 26615 (java) S 26578 26578 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226571551 8261857280 29255 33554432000 4194304 4196468 140723439811696 139808701660816 139811412800669 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
[pid=26596/tid=26616] ppid=26578 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/26596/task/26616/stat : 26616 (java) S 26578 26578 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226571553 8261857280 29255 33554432000 4194304 4196468 140723439811696 139808299015328 139811412788949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18403328 140723439813813 140723439813937 140723439813937 140723439816655 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8281824 KiB
Current children cumulated memory: 201636 KiB
Child status: 0
Real time (s): 2505.92
CPU time (s): 2520.08
CPU user time (s): 2518.67
CPU system time (s): 1.40548
CPU usage (%): 100.565
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3001404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.67
system time used= 1.40548
maximum resident set size= 3002880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59489
involuntary context switches= 823
# summary of solver processes directly reported to runsolver:
# pid: 26578
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.67
# total CPU system time (s): 1.40548
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.388 second user time and 26.8768 second system time
The end