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-21762-serial-file.bin HOME/instance-4305453-1534078207.xml
0.65/0.52
0.65/0.53 scop order+minisat_release (2018-07-31)
0.65/0.53 (Encoding Process)
0.65/0.53
0.65/0.55 c BEGIN-Prog: Sun Aug 12 14:50:08 CEST 2018
0.65/0.55 c PID: 21765
0.65/0.55 c IP: 172.20.3.139
0.65/0.55 c HOST: node139.alineos.net
0.65/0.56 c (0,0) Parsing Begin
1.45/0.91 c (0,0) Parsing End
1.45/0.92 c (0,0) CSP: 41 int (0 aux), 0 bool (0 aux), 121 ctr, max domain size 73
1.45/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.45/0.92 c (0,0) Constraint Name Generate Begin
1.45/0.92 c (0,0) Ctr:HOME/instance-4305453-1534078207.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.45/0.92 c (0,0) Constraint Name Generate End
1.45/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.45/0.92 c (0,0) CSP to CSPinCNF Begin
5.09/2.26 c (1,1) translated 13 (10%) constraints
6.74/2.83 c (2,2) translated 25 (20%) constraints
7.36/3.32 c (2,2) translated 37 (30%) constraints
7.97/3.81 c (3,3) translated 49 (40%) constraints
8.38/4.28 c (3,3) translated 61 (50%) constraints
8.93/4.76 c (4,4) translated 73 (60%) constraints
9.44/5.12 c (4,4) translated 85 (70%) constraints
9.44/5.14 c (4,4) translated 97 (80%) constraints
9.44/5.16 c (4,4) translated 109 (90%) constraints
9.44/5.18 c (4,4) translated 121 (100%) constraints
10.69/5.62 c (5,5) STATISTICS1:HOME/instance-4305453-1534078207.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,5721,87453,73,73,72,2,73:595;72:225,73:126010;72:37288;2:91600,72:80;41:2;3:74400;2:12965;1:6,2:820;1:253258;0:80,
10.69/5.62 c (5,5) ==========================================
10.69/5.62 c (5,5) Order
10.69/5.62 c (5,5) ==========================================
11.63/5.91 c (5,5) translated 8746 (10%) constraints
12.26/6.14 c (5,5) translated 17491 (20%) constraints
12.83/6.34 c (5,5) translated 26236 (30%) constraints
13.13/6.47 c (5,5) translated 34982 (40%) constraints
13.27/6.58 c (6,6) translated 43727 (50%) constraints
13.37/6.70 c (6,6) translated 52472 (60%) constraints
13.60/6.81 c (6,6) translated 61218 (70%) constraints
13.71/6.92 c (6,6) translated 69963 (80%) constraints
13.84/7.03 c (6,6) translated 78708 (90%) constraints
13.94/7.14 c (6,6) translated 87453 (100%) constraints
13.94/7.14 c (6,6) CSP to CSPinCNF End
13.94/7.15 c (6,6) CSP: 41 int (0 aux), 5680 bool (5680 aux), 87453 ctr, max domain size 73
13.94/7.15 c (6,6) Heap : 2422 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.94/7.15 c (6,6) CSPinCNF Propagation Begin
15.04/7.65 c (7,7) 0 values, 319 unsatisfiable literals, and 245 valid clauses are removed
15.04/7.65 c (7,7) CSPinCNF Propagation End
15.04/7.66 c (7,7) CSP: 41 int (0 aux), 5680 bool (5680 aux), 87208 ctr, max domain size 73
15.04/7.66 c (7,7) Heap : 2816 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.04/7.66 c (7,7) Simplify CSPinCNF Begin
15.91/7.95 c (7,7) Simplify CSPinCNF End
15.91/7.95 c (7,7) CSP: 41 int (0 aux), 7320 bool (7320 aux), 88848 ctr, max domain size 73
15.91/7.95 c (7,7) Heap : 169 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.91/7.95 c (7,7) Calculate Precise Domain Begin
15.91/7.95 c (7,7) 0 values are removed by re-calculation
15.91/7.95 c (7,7) Calculate Precise Domain End
15.91/7.95 c (7,7) CSP: 41 int (0 aux), 7320 bool (7320 aux), 88848 ctr, max domain size 73
15.91/7.95 c (7,7) Heap : 169 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.91/7.95 c (7,7) CSPinCNF to SatSolver Begin
17.16/8.48 c (7,7) 8885 (10 %) CSP clauses are encoded (10266 SAT variables, 129419 SAT clauses)
17.36/8.52 c (7,7) 17770 (20 %) CSP clauses are encoded (10266 SAT variables, 138304 SAT clauses)
17.36/8.57 c (8,7) 26655 (30 %) CSP clauses are encoded (10266 SAT variables, 147189 SAT clauses)
17.49/8.61 c (8,7) 35540 (40 %) CSP clauses are encoded (10266 SAT variables, 156074 SAT clauses)
17.49/8.65 c (8,7) 44424 (50 %) CSP clauses are encoded (10266 SAT variables, 164958 SAT clauses)
17.49/8.69 c (8,8) 53309 (60 %) CSP clauses are encoded (10266 SAT variables, 173843 SAT clauses)
17.60/8.74 c (8,8) 62194 (70 %) CSP clauses are encoded (10266 SAT variables, 182728 SAT clauses)
17.60/8.78 c (8,8) 71079 (80 %) CSP clauses are encoded (10266 SAT variables, 191613 SAT clauses)
17.70/8.82 c (8,8) 79964 (90 %) CSP clauses are encoded (10266 SAT variables, 200498 SAT clauses)
17.70/8.86 c (8,8) 88848 (100 %) CSP clauses are encoded (10266 SAT variables, 209382 SAT clauses)
17.70/8.86 c (8,8) Launch Command will be: minisat_release
17.70/8.86 c (8,8) CSPinCNF to SatSolver End
17.70/8.86 c (8,8) Heap : 838 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
18.37/9.14 c (8,8) STATISTICS2:HOME/instance-4305453-1534078207.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,7361,88848,73,73,71,2,73:1190;72:450,73:127410;72:37044;2:94641,71:80;41:2;3:74161;2:14605,2:1640;1:255815,
18.37/9.14 c (8,8) 10266 bool, 209383 clause
18.37/9.14 c (8,8) Export Begin
18.54/9.22 c (8,8) Export to HOME/scop-21762-serial-file.bin
18.54/9.22 c (8,8) Export End
18.54/9.23 c (8,8) Export File Size: 0.01 MB
18.54/9.23 c (8,8) 0,0,6,7,7,7,8,STOP-AFTER(DIMACS)
18.54/9.23 c END-Prog: Sun Aug 12 14:50:17 CEST 2018
18.54/9.25 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21762-serial-file.bin
18.64/9.74 c (0,0) Read Serial File Begin
18.64/9.74 c (0,0) HOME/scop-21762-serial-file.bin
18.64/9.91 c (0,0) Read Serial File End
18.64/9.92
18.64/9.92 scop order+minisat_release (2018-07-31)
18.64/9.92 (Solving Process)
18.64/9.92
18.64/9.94 c BEGIN-Prog: Sun Aug 12 14:50:17 CEST 2018
18.64/9.94 c PID: 21780
18.64/9.94 c IP: 172.20.3.139
18.64/9.94 c HOST: node139.alineos.net
18.64/9.95 c (0,0) SatSolver.solve Begin
18.64/9.95 c (0,0) 0 bool, 0 clause
18.64/9.95 c (0,0) minisat_release HOME/instance-4305453-1534078207.xml-scop-21765.cnf
2520.08/2508.60 c (2498,0) SatSolver is killed by some reasons.
2520.08/2508.60 c (2498,0) receiving signal SIGTERM
2520.08/2508.60 s UNKNOWN
2520.08/2508.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2508.61 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 (5698 MiB free)
memory of node 1: 16384 MiB (6570 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305453-1534078207/watcher-4305453-1534078207 -o /tmp/evaluation-result-4305453-1534078207/solver-4305453-1534078207 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305453-1534078207.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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21762, runsolver pid=21759
[startup+0.103688 s]*
/proc/loadavg: 2.08 2.85 2.84 4/223 21779
/proc/meminfo: memFree=12499996/32770624 swapFree=67108860/67108860
[pid=21762] ppid=21759 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21762/stat : 21762 (scop.sh) S 21759 21762 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225383899 115843072 349 33554432000 4194304 5098028 140731631899600 140731631896856 140554138251900 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16240640 140731631907904 140731631908103 140731631908103 140731631910861 0
/proc/21762/statm: 28282 349 296 221 0 87 0
[pid=21765] ppid=21762 vsize=15012476 memory=72684 CPUtime=0.12 cores=0,2,4,6
/proc/21765/stat : 21765 (java) S 21762 21762 16770 0 -1 1077944320 6266 0 0 0 10 2 0 0 20 0 15 0 225383900 15372775424 18171 33554432000 4194304 4196468 140722248708736 140722248691280 139834244488951 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
/proc/21765/statm: 3753119 18171 2766 1 0 3715579 0
[pid=21765/tid=21766] ppid=21762 vsize=15012476 memory=-6222985969016291267 CPUtime=0.09 cores=0,2,4,6
/proc/21765/task/21766/stat : 21766 (java) R 21762 21762 16770 0 -1 4202560 4409 0 0 0 8 1 0 0 20 0 15 0 225383900 15372775424 18237 33554432000 4194304 4196468 140722248708736 139834216294424 139834224764779 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21767] ppid=21762 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21767/stat : 21767 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 18237 33554432000 4194304 4196468 140722248708736 139834248731152 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21768] ppid=21762 vsize=15012476 memory=139666489321088 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21768/stat : 21768 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 18237 33554432000 4194304 4196468 140722248708736 139833705462416 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21769] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21769/stat : 21769 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 18237 33554432000 4194304 4196468 140722248708736 139833704409360 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21770] ppid=21762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21770/stat : 21770 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 18237 33554432000 4194304 4196468 140722248708736 139833703356816 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21771] ppid=21762 vsize=15012476 memory=139666489321088 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21771/stat : 21771 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383903 15372775424 18237 33554432000 4194304 4196468 140722248708736 139833584052976 139834244500098 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21772] ppid=21762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21772/stat : 21772 (java) S 21762 21762 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225383904 15372775424 18237 33554432000 4194304 4196468 140722248708736 139832827307680 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21773] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21773/stat : 21773 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383904 15372775424 18237 33554432000 4194304 4196468 140722248708736 139832592426224 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21774] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21774/stat : 21774 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225383906 15372775424 18237 33554432000 4194304 4196468 140722248708736 139832217917904 139834244507547 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21775] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21775/stat : 21775 (java) S 21762 21762 16770 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 225383906 15372775424 18237 33554432000 4194304 4196468 140722248708736 139833582999792 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21776] ppid=21762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21776/stat : 21776 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383906 15372775424 18237 33554432000 4194304 4196468 140722248708736 139833581947248 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21777] ppid=21762 vsize=15012476 memory=139666489321088 CPUtime=0.01 cores=0,2,4,6
/proc/21765/task/21777/stat : 21777 (java) S 21762 21762 16770 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 225383906 15372775424 18237 33554432000 4194304 4196468 140722248708736 139833580894192 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21778] ppid=21762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21778/stat : 21778 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225383907 15372775424 18237 33554432000 4194304 4196468 140722248708736 139831720012128 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21779] ppid=21762 vsize=15012476 memory=139666489321088 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21779/stat : 21779 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383907 15372775424 18303 33554432000 4194304 4196468 140722248708736 139833579842608 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74080 KiB
[startup+0.210632 s]*
/proc/loadavg: 2.08 2.85 2.84 3/223 21779
/proc/meminfo: memFree=12486404/32770624 swapFree=67108860/67108860
[pid=21762] ppid=21759 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21762/stat : 21762 (scop.sh) S 21759 21762 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225383899 115843072 349 33554432000 4194304 5098028 140731631899600 140731631896856 140554138251900 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16240640 140731631907904 140731631908103 140731631908103 140731631910861 0
/proc/21762/statm: 28282 349 296 221 0 87 0
[pid=21765] ppid=21762 vsize=15012476 memory=85484 CPUtime=0.25 cores=0,2,4,6
/proc/21765/stat : 21765 (java) S 21762 21762 16770 0 -1 1077944320 9763 0 0 0 22 3 0 0 20 0 15 0 225383900 15372775424 21371 33554432000 4194304 4196468 140722248708736 140722248691280 139834244488951 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
/proc/21765/statm: 3753119 21371 2867 1 0 3715579 0
[pid=21765/tid=21766] ppid=21762 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/21765/task/21766/stat : 21766 (java) R 21762 21762 16770 0 -1 4202560 7658 0 0 0 17 2 0 0 20 0 15 0 225383900 15372775424 21371 33554432000 4194304 4196468 140722248708736 139834216305008 139834244500886 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21767] ppid=21762 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21767/stat : 21767 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 21371 33554432000 4194304 4196468 140722248708736 139834248731152 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21768] ppid=21762 vsize=15012476 memory=139666490515806 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21768/stat : 21768 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 21371 33554432000 4194304 4196468 140722248708736 139833705462416 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21769] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21769/stat : 21769 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 21371 33554432000 4194304 4196468 140722248708736 139833704409360 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21770] ppid=21762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21770/stat : 21770 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 21371 33554432000 4194304 4196468 140722248708736 139833703356816 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21771] ppid=21762 vsize=15012476 memory=139666489321088 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21771/stat : 21771 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383903 15372775424 21371 33554432000 4194304 4196468 140722248708736 139833584052976 139834244500098 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21772] ppid=21762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21772/stat : 21772 (java) S 21762 21762 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225383904 15372775424 21371 33554432000 4194304 4196468 140722248708736 139832827307680 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21773] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21773/stat : 21773 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383904 15372775424 21371 33554432000 4194304 4196468 140722248708736 139832592426224 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21774] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21774/stat : 21774 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225383906 15372775424 21371 33554432000 4194304 4196468 140722248708736 139832217917904 139834244507547 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21775] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21775/stat : 21775 (java) S 21762 21762 16770 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 225383906 15372775424 21371 33554432000 4194304 4196468 140722248708736 139833582999792 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21776] ppid=21762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21776/stat : 21776 (java) S 21762 21762 16770 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 225383906 15372775424 21371 33554432000 4194304 4196468 140722248708736 139833581947248 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21777] ppid=21762 vsize=15012476 memory=139666489321088 CPUtime=0.03 cores=0,2,4,6
/proc/21765/task/21777/stat : 21777 (java) R 21762 21762 16770 0 -1 4202560 303 0 0 0 3 0 0 0 20 0 15 0 225383906 15372775424 21371 33554432000 4194304 4196468 140722248708736 139833580894192 139834230813335 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21778] ppid=21762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21778/stat : 21778 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225383907 15372775424 21371 33554432000 4194304 4196468 140722248708736 139831720012128 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21779] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21779/stat : 21779 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383907 15372775424 21371 33554432000 4194304 4196468 140722248708736 139833579842608 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86880 KiB
[startup+0.310514 s]*
/proc/loadavg: 2.08 2.85 2.84 3/223 21779
/proc/meminfo: memFree=12482476/32770624 swapFree=67108860/67108860
[pid=21762] ppid=21759 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21762/stat : 21762 (scop.sh) S 21759 21762 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225383899 115843072 349 33554432000 4194304 5098028 140731631899600 140731631896856 140554138251900 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16240640 140731631907904 140731631908103 140731631908103 140731631910861 0
/proc/21762/statm: 28282 349 296 221 0 87 0
[pid=21765] ppid=21762 vsize=15012476 memory=89956 CPUtime=0.42 cores=0,2,4,6
/proc/21765/stat : 21765 (java) S 21762 21762 16770 0 -1 1077944320 10394 0 0 0 39 3 0 0 20 0 15 0 225383900 15372775424 22489 33554432000 4194304 4196468 140722248708736 140722248691280 139834244488951 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
/proc/21765/statm: 3753119 22489 3017 1 0 3715579 0
[pid=21765/tid=21766] ppid=21762 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21765/task/21766/stat : 21766 (java) R 21762 21762 16770 0 -1 4202560 8094 0 0 0 27 2 0 0 20 0 15 0 225383900 15372775424 22489 33554432000 4194304 4196468 140722248708736 139834216283952 139834226052507 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21767] ppid=21762 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21767/stat : 21767 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 22489 33554432000 4194304 4196468 140722248708736 139834248731152 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21768] ppid=21762 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21768/stat : 21768 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 22489 33554432000 4194304 4196468 140722248708736 139833705462416 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21769] ppid=21762 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21769/stat : 21769 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 22489 33554432000 4194304 4196468 140722248708736 139833704409360 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21770] ppid=21762 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21770/stat : 21770 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383902 15372775424 22489 33554432000 4194304 4196468 140722248708736 139833703356816 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21771] ppid=21762 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21771/stat : 21771 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383903 15372775424 22489 33554432000 4194304 4196468 140722248708736 139833584052976 139834244500098 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21772] ppid=21762 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21772/stat : 21772 (java) S 21762 21762 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225383904 15372775424 22489 33554432000 4194304 4196468 140722248708736 139832827307680 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21773] ppid=21762 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21773/stat : 21773 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383904 15372775424 22489 33554432000 4194304 4196468 140722248708736 139832592426224 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21774] ppid=21762 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21774/stat : 21774 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225383906 15372775424 22489 33554432000 4194304 4196468 140722248708736 139832217917904 139834244507547 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21775] ppid=21762 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21765/task/21775/stat : 21775 (java) S 21762 21762 16770 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 15 0 225383906 15372775424 22489 33554432000 4194304 4196468 140722248708736 139833582999792 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21776] ppid=21762 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21765/task/21776/stat : 21776 (java) S 21762 21762 16770 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 15 0 225383906 15372775424 22489 33554432000 4194304 4196468 140722248708736 139833581947248 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21777] ppid=21762 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21765/task/21777/stat : 21777 (java) S 21762 21762 16770 0 -1 1077944384 351 0 0 0 7 0 0 0 20 0 15 0 225383906 15372775424 22489 33554432000 4194304 4196468 140722248708736 139833580894192 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21778] ppid=21762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21778/stat : 21778 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225383907 15372775424 22489 33554432000 4194304 4196468 140722248708736 139831720012128 139834244499157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21779] ppid=21762 vsize=15012476 memory=3690471420374037041 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21779/stat : 21779 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383907 15372775424 22489 33554432000 4194304 4196468 140722248708736 139833579842608 139834244500098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91352 KiB
[startup+0.704478 s]
/proc/loadavg: 2.08 2.85 2.84 3/223 21779
/proc/meminfo: memFree=12458168/32770624 swapFree=67108860/67108860
[pid=21762] ppid=21759 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21762/stat : 21762 (scop.sh) S 21759 21762 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225383899 115843072 349 33554432000 4194304 5098028 140731631899600 140731631896856 140554138251900 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16240640 140731631907904 140731631908103 140731631908103 140731631910861 0
/proc/21762/statm: 28282 349 296 221 0 87 0
[pid=21765] ppid=21762 vsize=15020872 memory=129768 CPUtime=1 cores=0,2,4,6
/proc/21765/stat : 21765 (java) S 21762 21762 16770 0 -1 1077944320 17564 0 0 0 95 5 0 0 20 0 15 0 225383900 15381372928 32442 33554432000 4194304 4196468 140722248708736 140722248691280 139834244488951 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
/proc/21765/statm: 3755218 32442 3157 1 0 3716603 0
[pid=21765/tid=21766] ppid=21762 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/21765/task/21766/stat : 21766 (java) R 21762 21762 16770 0 -1 4202560 14835 0 0 0 63 4 0 0 20 0 15 0 225383900 15381372928 32442 33554432000 4194304 4196468 140722248708736 139834216310784 139834244510877 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21767] ppid=21762 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21767/stat : 21767 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383902 15381372928 32442 33554432000 4194304 4196468 140722248708736 139834248731152 139834244499157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21768] ppid=21762 vsize=15020872 memory=61160 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21768/stat : 21768 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383902 15381372928 32442 33554432000 4194304 4196468 140722248708736 139833705462416 139834244499157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21769] ppid=21762 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21769/stat : 21769 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225383902 15381372928 32442 33554432000 4194304 4196468 140722248708736 139833704409360 139834244499157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21770] ppid=21762 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21770/stat : 21770 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383902 15381372928 32442 33554432000 4194304 4196468 140722248708736 139833703356816 139834244499157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21771] ppid=21762 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21771/stat : 21771 (java) S 21762 21762 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225383903 15381372928 32442 33554432000 4194304 4196468 140722248708736 139833584052976 139834244500098 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21772] ppid=21762 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21772/stat : 21772 (java) S 21762 21762 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225383904 15381372928 32442 33554432000 4194304 4196468 140722248708736 139832827307680 139834244499157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21773] ppid=21762 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21773/stat : 21773 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383904 15381372928 32442 33554432000 4194304 4196468 140722248708736 139832592426224 139834244499157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21774] ppid=21762 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21774/stat : 21774 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225383906 15381372928 32442 33554432000 4194304 4196468 140722248708736 139832217917904 139834244507547 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21775] ppid=21762 vsize=15020872 memory=876 CPUtime=0.09 cores=0,2,4,6
/proc/21765/task/21775/stat : 21775 (java) S 21762 21762 16770 0 -1 1077944384 727 0 0 0 9 0 0 0 20 0 15 0 225383906 15381372928 32442 33554432000 4194304 4196468 140722248708736 139833582999792 139834244500098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21776] ppid=21762 vsize=15020872 memory=10096 CPUtime=0.06 cores=0,2,4,6
/proc/21765/task/21776/stat : 21776 (java) R 21762 21762 16770 0 -1 4202560 198 0 0 0 6 0 0 0 20 0 15 0 225383906 15381372928 32442 33554432000 4194304 4196468 140722248708736 139833581934800 139834225189248 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21777] ppid=21762 vsize=15020872 memory=1228 CPUtime=0.16 cores=0,2,4,6
/proc/21765/task/21777/stat : 21777 (java) R 21762 21762 16770 0 -1 4202560 475 0 0 0 16 0 0 0 20 0 15 0 225383906 15381372928 32442 33554432000 4194304 4196468 140722248708736 139833580891728 139834224708976 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21778] ppid=21762 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21778/stat : 21778 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225383907 15381372928 32442 33554432000 4194304 4196468 140722248708736 139831720012128 139834244499157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
[pid=21765/tid=21779] ppid=21762 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/21765/task/21779/stat : 21779 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383907 15381372928 32442 33554432000 4194304 4196468 140722248708736 139833579842608 139834244500098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140722248713222 140722248713521 140722248713521 140722248716239 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131164 KiB
[startup+1.50137 s]
/proc/loadavg: 2.08 2.85 2.84 4/223 21779
/proc/meminfo: memFree=12429036/32770624 swapFree=67108860/67108860
[pid=21762] ppid=21759 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21762/stat : 21762 (scop.sh) S 21759 21762 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225383899 115843072 349 33554432000 4194304 5098028 140731631899600 140731631896856 140554138251900 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16240640 140731631907904 140731631908103 140731631908103 140731631910861 0
################
# More data... #
################
[pid=21780/tid=21783] ppid=21762 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21783/stat : 21783 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276254337552 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21784] ppid=21762 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21784/stat : 21784 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276253284752 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21785] ppid=21762 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21785/stat : 21785 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276252231952 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21786] ppid=21762 vsize=8068220 memory=118828 CPUtime=0.05 cores=0,2,4,6
/proc/21780/task/21786/stat : 21786 (java) S 21762 21762 16770 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 225384828 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275487804272 140276444342914 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21787] ppid=21762 vsize=8068220 memory=125060 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21787/stat : 21787 (java) S 21762 21762 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225384828 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275376711200 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21788] ppid=21762 vsize=8068220 memory=119076 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21788/stat : 21788 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225384829 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275108275568 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21789] ppid=21762 vsize=8068220 memory=125060 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21789/stat : 21789 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140274733766992 140276444350363 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21790] ppid=21762 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/21780/task/21790/stat : 21790 (java) S 21762 21762 16770 0 -1 1077944384 626 0 0 0 9 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275486751088 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21791] ppid=21762 vsize=8068220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21780/task/21791/stat : 21791 (java) S 21762 21762 16770 0 -1 1077944384 326 0 0 0 9 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275485698288 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21792] ppid=21762 vsize=8068220 memory=2241 CPUtime=0.21 cores=0,2,4,6
/proc/21780/task/21792/stat : 21792 (java) S 21762 21762 16770 0 -1 1077944384 535 0 0 0 20 1 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275484645488 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21793] ppid=21762 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21793/stat : 21793 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140274235861216 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21794] ppid=21762 vsize=8068220 memory=0 CPUtime=1.62 cores=0,2,4,6
/proc/21780/task/21794/stat : 21794 (java) S 21762 21762 16770 0 -1 1077944384 165 0 0 0 84 78 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275483593904 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21796] ppid=21762 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21796/stat : 21796 (java) S 21762 21762 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225384897 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275779679936 140276444356377 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21798] ppid=21762 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21798/stat : 21798 (java) S 21762 21762 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225384897 8261857280 29707 33554432000 4194304 4196468 140725130706288 140273698975504 140276444353693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21799] ppid=21762 vsize=8068220 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21799/stat : 21799 (java) S 21762 21762 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225384897 8261857280 29707 33554432000 4194304 4196468 140725130706288 140273430544016 140276444353693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21800] ppid=21762 vsize=8068220 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21800/stat : 21800 (java) S 21762 21762 16770 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 225384899 8261857280 29707 33554432000 4194304 4196468 140725130706288 140273833204896 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
Current children cumulated CPU time: 2453.74 s
Current children cumulated vsize: 8330128 KiB
Current children cumulated memory: 245360 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.10 3/228 22000
/proc/meminfo: memFree=12586852/32770624 swapFree=67108860/67108860
[pid=21762] ppid=21759 vsize=113128 memory=1472 CPUtime=18.64 cores=0,2,4,6
/proc/21762/stat : 21762 (scop.sh) S 21759 21762 16770 0 -1 4202496 592 38153 0 0 0 0 1797 67 20 0 1 0 225383899 115843072 368 33554432000 4194304 5098028 140731631899600 140731631896344 140554138251900 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16240640 140731631907904 140731631908103 140731631908103 140731631910861 0
/proc/21762/statm: 28282 368 311 221 0 87 0
[pid=21780] ppid=21762 vsize=8068220 memory=118828 CPUtime=2.9 cores=0,2,4,6
/proc/21780/stat : 21780 (java) S 21762 21762 16770 0 -1 1077944320 17601 0 0 0 209 81 0 0 20 0 19 0 225384825 8261857280 29707 33554432000 4194304 4196468 140725130706288 140725130688832 140276444331767 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
/proc/21780/statm: 2017055 29707 3147 1 0 1978454 0
[pid=21795] ppid=21780 vsize=148780 memory=127108 CPUtime=2492.24 cores=0,2,4,6
/proc/21795/stat : 21795 (minisat_release) R 21780 21762 16770 0 -1 4202496 241240 0 0 0 249206 18 0 0 20 0 1 0 225384897 152350720 31777 33554432000 4194304 4308513 140724926623232 140724926620232 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 14647296 140724926628980 140724926629078 140724926629078 140724926631877 0
/proc/21795/statm: 37195 31777 341 28 0 33435 0
[pid=21780/tid=21781] ppid=21762 vsize=8068220 memory=118828 CPUtime=0.74 cores=0,2,4,6
/proc/21780/task/21781/stat : 21781 (java) S 21762 21762 16770 0 -1 1077944384 14550 0 0 0 70 4 0 0 20 0 19 0 225384825 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276416171920 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21782] ppid=21762 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21782/stat : 21782 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276448574096 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21783] ppid=21762 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21783/stat : 21783 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276254337552 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21784] ppid=21762 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21784/stat : 21784 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276253284752 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21785] ppid=21762 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21785/stat : 21785 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276252231952 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21786] ppid=21762 vsize=8068220 memory=118828 CPUtime=0.06 cores=0,2,4,6
/proc/21780/task/21786/stat : 21786 (java) S 21762 21762 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225384828 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275487804272 140276444342914 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21787] ppid=21762 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21787/stat : 21787 (java) S 21762 21762 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225384828 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275376711200 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21788] ppid=21762 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21788/stat : 21788 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225384829 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275108275568 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21789] ppid=21762 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21789/stat : 21789 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140274733766992 140276444350363 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21790] ppid=21762 vsize=8068220 memory=4128 CPUtime=0.09 cores=0,2,4,6
/proc/21780/task/21790/stat : 21790 (java) S 21762 21762 16770 0 -1 1077944384 626 0 0 0 9 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275486751088 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21791] ppid=21762 vsize=8068220 memory=1788 CPUtime=0.09 cores=0,2,4,6
/proc/21780/task/21791/stat : 21791 (java) S 21762 21762 16770 0 -1 1077944384 326 0 0 0 9 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275485698288 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21792] ppid=21762 vsize=8068220 memory=1704 CPUtime=0.21 cores=0,2,4,6
/proc/21780/task/21792/stat : 21792 (java) S 21762 21762 16770 0 -1 1077944384 535 0 0 0 20 1 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275484645488 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21793] ppid=21762 vsize=8068220 memory=-7824251494391043428 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21793/stat : 21793 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140274235861216 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21794] ppid=21762 vsize=8068220 memory=1160 CPUtime=1.65 cores=0,2,4,6
/proc/21780/task/21794/stat : 21794 (java) S 21762 21762 16770 0 -1 1077944384 169 0 0 0 85 80 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275483593904 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21796] ppid=21762 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21796/stat : 21796 (java) S 21762 21762 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225384897 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275779679936 140276444356377 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21798] ppid=21762 vsize=8068220 memory=-7824251494391043428 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21798/stat : 21798 (java) S 21762 21762 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225384897 8261857280 29707 33554432000 4194304 4196468 140725130706288 140273698975504 140276444353693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21799] ppid=21762 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21799/stat : 21799 (java) S 21762 21762 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225384897 8261857280 29707 33554432000 4194304 4196468 140725130706288 140273430544016 140276444353693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21800] ppid=21762 vsize=8068220 memory=127108 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21800/stat : 21800 (java) S 21762 21762 16770 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 225384899 8261857280 29707 33554432000 4194304 4196468 140725130706288 140273833204896 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
Current children cumulated CPU time: 2513.78 s
Current children cumulated vsize: 8330128 KiB
Current children cumulated memory: 247408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.6 s]
/proc/loadavg: 2.00 2.02 2.10 3/228 22000
/proc/meminfo: memFree=12544280/32770624 swapFree=67108860/67108860
[pid=21762] ppid=21759 vsize=113128 memory=1472 CPUtime=18.64 cores=0,2,4,6
/proc/21762/stat : 21762 (scop.sh) S 21759 21762 16770 0 -1 4202496 592 38153 0 0 0 0 1797 67 20 0 1 0 225383899 115843072 368 33554432000 4194304 5098028 140731631899600 140731631896344 140554138251900 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16240640 140731631907904 140731631908103 140731631908103 140731631910861 0
/proc/21762/statm: 28282 368 311 221 0 87 0
[pid=21780] ppid=21762 vsize=8068220 memory=118828 CPUtime=2.9 cores=0,2,4,6
/proc/21780/stat : 21780 (java) S 21762 21762 16770 0 -1 1077944320 17601 0 0 0 209 81 0 0 20 0 19 0 225384825 8261857280 29707 33554432000 4194304 4196468 140725130706288 140725130688832 140276444331767 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
/proc/21780/statm: 2017055 29707 3147 1 0 1978454 0
[pid=21795] ppid=21780 vsize=148780 memory=127108 CPUtime=2498.54 cores=0,2,4,6
/proc/21795/stat : 21795 (minisat_release) R 21780 21762 16770 0 -1 4202496 241255 0 0 0 249836 18 0 0 20 0 1 0 225384897 152350720 31777 33554432000 4194304 4308513 140724926623232 140724926620232 139751047447329 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 14647296 140724926628980 140724926629078 140724926629078 140724926631877 0
/proc/21795/statm: 37195 31777 341 28 0 33435 0
[pid=21780/tid=21781] ppid=21762 vsize=8068220 memory=678478 CPUtime=0.74 cores=0,2,4,6
/proc/21780/task/21781/stat : 21781 (java) S 21762 21762 16770 0 -1 1077944384 14550 0 0 0 70 4 0 0 20 0 19 0 225384825 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276416171920 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21782] ppid=21762 vsize=8068220 memory=279332727554288 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21782/stat : 21782 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276448574096 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21783] ppid=21762 vsize=8068220 memory=3047711553219693942 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21783/stat : 21783 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276254337552 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21784] ppid=21762 vsize=8068220 memory=4426639978525455914 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21784/stat : 21784 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276253284752 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21785] ppid=21762 vsize=8068220 memory=4572164749098055210 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21785/stat : 21785 (java) S 21762 21762 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225384826 8261857280 29707 33554432000 4194304 4196468 140725130706288 140276252231952 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21786] ppid=21762 vsize=8068220 memory=8328453600958622283 CPUtime=0.06 cores=0,2,4,6
/proc/21780/task/21786/stat : 21786 (java) S 21762 21762 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225384828 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275487804272 140276444342914 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21787] ppid=21762 vsize=8068220 memory=-8412652160765825907 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21787/stat : 21787 (java) S 21762 21762 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225384828 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275376711200 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21788] ppid=21762 vsize=8068220 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21788/stat : 21788 (java) S 21762 21762 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225384829 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275108275568 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21789] ppid=21762 vsize=8068220 memory=-7824251494391043428 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21789/stat : 21789 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140274733766992 140276444350363 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21790] ppid=21762 vsize=8068220 memory=3047711553219693942 CPUtime=0.09 cores=0,2,4,6
/proc/21780/task/21790/stat : 21790 (java) S 21762 21762 16770 0 -1 1077944384 626 0 0 0 9 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275486751088 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21791] ppid=21762 vsize=8068220 memory=4426639978525455914 CPUtime=0.09 cores=0,2,4,6
/proc/21780/task/21791/stat : 21791 (java) S 21762 21762 16770 0 -1 1077944384 326 0 0 0 9 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275485698288 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21792] ppid=21762 vsize=8068220 memory=3047711553219693942 CPUtime=0.21 cores=0,2,4,6
/proc/21780/task/21792/stat : 21792 (java) S 21762 21762 16770 0 -1 1077944384 535 0 0 0 20 1 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275484645488 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21793] ppid=21762 vsize=8068220 memory=4426639978525455914 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21793/stat : 21793 (java) S 21762 21762 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140274235861216 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21794] ppid=21762 vsize=8068220 memory=4572164749098055210 CPUtime=1.66 cores=0,2,4,6
/proc/21780/task/21794/stat : 21794 (java) S 21762 21762 16770 0 -1 1077944384 169 0 0 0 86 80 0 0 20 0 19 0 225384831 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275483593904 140276444342914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21796] ppid=21762 vsize=8068220 memory=8328453600958622283 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21796/stat : 21796 (java) S 21762 21762 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225384897 8261857280 29707 33554432000 4194304 4196468 140725130706288 140275779679936 140276444356377 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21798] ppid=21762 vsize=8068220 memory=-8412652160765825907 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21798/stat : 21798 (java) S 21762 21762 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225384897 8261857280 29707 33554432000 4194304 4196468 140725130706288 140273698975504 140276444353693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21799] ppid=21762 vsize=8068220 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21799/stat : 21799 (java) S 21762 21762 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225384897 8261857280 29707 33554432000 4194304 4196468 140725130706288 140273430544016 140276444353693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
[pid=21780/tid=21800] ppid=21762 vsize=8068220 memory=7100839878645619564 CPUtime=0 cores=0,2,4,6
/proc/21780/task/21800/stat : 21800 (java) S 21762 21762 16770 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 225384899 8261857280 29707 33554432000 4194304 4196468 140725130706288 140273833204896 140276444341973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140725130708149 140725130708273 140725130708273 140725130710991 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8330128 KiB
Current children cumulated memory: 247408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.61 s]
# the end of solver process 21762 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.9731 s, system=0.682905 s
[startup+2508.62 s]
# the end of solver process 21780 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.44 s, system=1.69448 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2508.62
CPU time (s): 2520.14
CPU user time (s): 2518.44
CPU system time (s): 1.69448
CPU usage (%): 100.459
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3106728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.44
system time used= 1.69448
maximum resident set size= 3106112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60989
involuntary context switches= 674
# summary of solver processes directly reported to runsolver:
# pid: 21762,21780
# total CPU time (s): 2520.14
# total CPU user time (s): 2518.44
# total CPU system time (s): 1.69448
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0795 second user time and 27.016 second system time
The end