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-19938-serial-file.bin HOME/instance-4305506-1534068371.xml
0.55/0.51
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 12:06:12 CEST 2018
0.66/0.54 c PID: 19941
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.59/1.40 c (0,0) Parsing End
2.93/1.41 c (0,0) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
2.93/1.41 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.93/1.41 c (0,0) Constraint Name Generate Begin
2.93/1.42 c (0,0) Ctr:HOME/instance-4305506-1534068371.xml,IntVar:Num:WeightedSum
2.93/1.42 c (0,0) Constraint Name Generate End
2.93/1.42 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.93/1.42 c (0,0) CSP to CSPinCNF Begin
3.48/1.64 c (1,1) translated 21 (10%) constraints
3.82/1.70 c (1,1) translated 41 (20%) constraints
3.82/1.76 c (1,1) translated 61 (30%) constraints
4.09/1.80 c (1,1) translated 81 (40%) constraints
4.09/1.85 c (1,1) translated 101 (50%) constraints
4.34/1.90 c (1,1) translated 122 (60%) constraints
4.34/1.94 c (1,1) translated 142 (70%) constraints
4.34/1.99 c (1,1) translated 162 (80%) constraints
4.66/2.03 c (1,1) translated 182 (90%) constraints
4.66/2.08 c (1,1) translated 202 (100%) constraints
5.24/2.22 c (1,1) STATISTICS1:HOME/instance-4305506-1534068371.xml,IntVar:Num:WeightedSum,5100,202,1125899906842624,2,1,51,1125899906842624:100;562949953421312:102,2:10200,1:202,51:100;50:102,
5.24/2.22 c (1,1) ==========================================
5.24/2.22 c (1,1) Order
5.24/2.22 c (1,1) ==========================================
5.62/2.37 c (1,1) translated 21 (10%) constraints
5.96/2.46 c (1,1) translated 41 (20%) constraints
6.28/2.52 c (2,1) translated 61 (30%) constraints
6.28/2.58 c (2,2) translated 81 (40%) constraints
6.59/2.63 c (2,2) translated 101 (50%) constraints
6.59/2.69 c (2,2) translated 122 (60%) constraints
6.88/2.73 c (2,2) translated 142 (70%) constraints
6.88/2.78 c (2,2) translated 162 (80%) constraints
7.13/2.83 c (2,2) translated 182 (90%) constraints
7.13/2.87 c (2,2) translated 202 (100%) constraints
7.13/2.88 c (2,2) CSP to CSPinCNF End
7.13/2.88 c (2,2) CSP: 1818 int (1818 aux), 5100 bool (0 aux), 2020 ctr, max domain size 18
7.13/2.88 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.13/2.88 c (2,2) CSPinCNF Propagation Begin
7.39/2.96 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.39/2.96 c (2,2) CSPinCNF Propagation End
7.39/2.96 c (2,2) CSP: 1818 int (1818 aux), 5100 bool (0 aux), 2020 ctr, max domain size 18
7.39/2.96 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.39/2.96 c (2,2) Simplify CSPinCNF Begin
7.39/2.98 c (2,2) Simplify CSPinCNF End
7.39/2.98 c (2,2) CSP: 1818 int (1818 aux), 5100 bool (0 aux), 2020 ctr, max domain size 18
7.39/2.98 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.39/2.98 c (2,2) Calculate Precise Domain Begin
7.68/3.07 c (2,2) 0 values are removed by re-calculation
7.68/3.07 c (2,2) Calculate Precise Domain End
7.68/3.08 c (2,2) CSP: 1818 int (1818 aux), 5100 bool (0 aux), 2020 ctr, max domain size 18
7.68/3.08 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.68/3.08 c (2,2) CSPinCNF to SatSolver Begin
8.85/3.44 c (2,2) 202 (10 %) CSP clauses are encoded (16200 SAT variables, 55303 SAT clauses)
9.15/3.62 c (3,3) 404 (20 %) CSP clauses are encoded (16200 SAT variables, 102089 SAT clauses)
9.27/3.79 c (3,3) 606 (30 %) CSP clauses are encoded (16200 SAT variables, 148709 SAT clauses)
9.47/3.96 c (3,3) 808 (40 %) CSP clauses are encoded (16200 SAT variables, 195073 SAT clauses)
9.68/4.14 c (3,3) 1010 (50 %) CSP clauses are encoded (16200 SAT variables, 241603 SAT clauses)
9.68/4.19 c (3,3) 1212 (60 %) CSP clauses are encoded (16200 SAT variables, 248832 SAT clauses)
9.89/4.23 c (3,3) 1414 (70 %) CSP clauses are encoded (16200 SAT variables, 254013 SAT clauses)
9.89/4.26 c (3,3) 1616 (80 %) CSP clauses are encoded (16200 SAT variables, 259161 SAT clauses)
9.89/4.29 c (3,3) 1818 (90 %) CSP clauses are encoded (16200 SAT variables, 264300 SAT clauses)
10.15/4.32 c (3,3) 2020 (100 %) CSP clauses are encoded (16200 SAT variables, 269481 SAT clauses)
10.15/4.32 c (3,3) Launch Command will be: minisat_release
10.15/4.32 c (3,3) CSPinCNF to SatSolver End
10.15/4.32 c (3,3) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.15/4.39 c (3,3) STATISTICS2:HOME/instance-4305506-1534068371.xml,IntVar:Num:WeightedSum,6918,2020,512,18,1,10,512:504;306:102;256:708;90:204;81:102;4:400,18:408;17:204;10:408;9:816;2:12000,1:2020,10:504;9:708;3:808,
10.15/4.39 c (3,3) 16200 bool, 269484 clause
10.15/4.39 c (3,3) Export Begin
11.01/4.68 c (4,4) Export to HOME/scop-19938-serial-file.bin
11.01/4.68 c (4,4) Export End
11.01/4.68 c (4,4) Export File Size: 0.79 MB
11.01/4.68 c (4,4) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
11.01/4.68 c END-Prog: Sun Aug 12 12:06:16 CEST 2018
0.00/4.71 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19938-serial-file.bin
11.77/5.20 c (0,0) Read Serial File Begin
11.77/5.20 c (0,0) HOME/scop-19938-serial-file.bin
12.46/5.55 c (0,0) Read Serial File End
12.46/5.57
12.46/5.57 scop order+minisat_release (2018-07-31)
12.46/5.57 (Solving Process)
12.46/5.57
12.46/5.59 c BEGIN-Prog: Sun Aug 12 12:06:17 CEST 2018
12.46/5.59 c PID: 19956
12.46/5.59 c IP: 172.20.3.139
12.46/5.59 c HOST: node139.alineos.net
12.46/5.59 c (0,0) SatSolver.solve Begin
12.46/5.59 c (0,0) 0 bool, 0 clause
12.46/5.59 c (0,0) minisat_release HOME/instance-4305506-1534068371.xml-scop-19941.cnf
2513.98/2505.91 c (2500,0) c This is COMiniSatPS.
2513.98/2505.91 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2513.98/2505.91 c (2500,0) c ============================[ Problem Statistics ]=============================
2513.98/2505.91 c (2500,0) c | |
2513.98/2505.91 c (2500,0) c | Number of variables: 16200 |
2513.98/2505.91 c (2500,0) c | Number of clauses: 269484 |
2513.98/2505.91 c (2500,0) c | Parse time: 0.09 s |
2513.98/2505.91 c (2500,0) c | Eliminated clauses: 0.12 Mb |
2513.98/2505.91 c (2500,0) c Reduced to 5798 vars, 25500 cls (grow=0)
2513.98/2505.91 c (2500,0) c No iterative elimination performed. (vars=5798, c/v ratio=4.4)
2513.98/2505.91 c (2500,0) c | Simplification time: 0.19 s |
2513.98/2505.91 c (2500,0) c | |
2513.98/2505.91 c (2500,0) c ============================[ Search Statistics ]==============================
2513.98/2505.91 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2513.98/2505.91 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2513.98/2505.91 c (2500,0) c ===============================================================================
2513.98/2505.91 c (2500,0) c Switched to VSIDS.
2520.09/2512.01 c (2506,0) receiving signal SIGTERM
2520.09/2512.01 s UNKNOWN
2520.09/2512.01 c (2506,0) SatSolver is killed by some reasons.
2520.09/2512.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2512.02 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 (4472 MiB free)
memory of node 1: 16384 MiB (5829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305506-1534068371/watcher-4305506-1534068371 -o /tmp/evaluation-result-4305506-1534068371/solver-4305506-1534068371 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305506-1534068371.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=19938, runsolver pid=19935
[startup+0.100149 s]*
/proc/loadavg: 2.26 2.30 2.20 4/222 19955
/proc/meminfo: memFree=10488816/32770624 swapFree=67108860/67108860
[pid=19938] ppid=19935 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19938/stat : 19938 (scop.sh) S 19935 19938 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224400269 115843072 349 33554432000 4194304 5098028 140730855620720 140730855617976 140544441057916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27602944 140730855625792 140730855625991 140730855625991 140730855628749 0
/proc/19938/statm: 28282 349 296 221 0 87 0
[pid=19941] ppid=19938 vsize=15012476 memory=72072 CPUtime=0.11 cores=1,3,5,7
/proc/19941/stat : 19941 (java) S 19938 19938 16770 0 -1 1077944320 6136 0 0 0 10 1 0 0 20 0 15 0 224400269 15372775424 18018 33554432000 4194304 4196468 140731087846736 140731087829280 139972937768695 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
/proc/19941/statm: 3753119 18018 2766 1 0 3715579 0
[pid=19941/tid=19942] ppid=19938 vsize=15012476 memory=-6222985969016291267 CPUtime=0.09 cores=1,3,5,7
/proc/19941/task/19942/stat : 19942 (java) R 19938 19938 16770 0 -1 4202560 4245 0 0 0 8 1 0 0 20 0 15 0 224400269 15372775424 18018 33554432000 4194304 4196468 140731087846736 139972909580680 139972918045520 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19943] ppid=19938 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19943/stat : 19943 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 18084 33554432000 4194304 4196468 140731087846736 139972942010896 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19944] ppid=19938 vsize=15012476 memory=139910859839104 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19944/stat : 19944 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 18084 33554432000 4194304 4196468 140731087846736 139972717714064 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19945] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19945/stat : 19945 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 18084 33554432000 4194304 4196468 140731087846736 139972396968208 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19946] ppid=19938 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19946/stat : 19946 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 18084 33554432000 4194304 4196468 140731087846736 139972395915664 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19947] ppid=19938 vsize=15012476 memory=139910859839104 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19947/stat : 19947 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400272 15372775424 18084 33554432000 4194304 4196468 140731087846736 139971705944816 139972937779842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19948] ppid=19938 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19948/stat : 19948 (java) S 19938 19938 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224400273 15372775424 18084 33554432000 4194304 4196468 140731087846736 139971574884000 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19949] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19949/stat : 19949 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400273 15372775424 18084 33554432000 4194304 4196468 140731087846736 139971306448112 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19950] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19950/stat : 19950 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 18084 33554432000 4194304 4196468 140731087846736 139970931939792 139972937787291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19951] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19951/stat : 19951 (java) S 19938 19938 16770 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 18084 33554432000 4194304 4196468 140731087846736 139971704891632 139972937779842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19952] ppid=19938 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19952/stat : 19952 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 18084 33554432000 4194304 4196468 140731087846736 139971703839088 139972937779842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19953] ppid=19938 vsize=15012476 memory=139910859839104 CPUtime=0.01 cores=1,3,5,7
/proc/19941/task/19953/stat : 19953 (java) S 19938 19938 16770 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 15 0 224400276 15372775424 18084 33554432000 4194304 4196468 140731087846736 139971702786032 139972937779842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19954] ppid=19938 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19954/stat : 19954 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 18084 33554432000 4194304 4196468 140731087846736 139970434034016 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19955] ppid=19938 vsize=15012476 memory=139910859839104 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19955/stat : 19955 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 18150 33554432000 4194304 4196468 140731087846736 139971701734448 139972937779842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73468 KiB
[startup+0.210595 s]*
/proc/loadavg: 2.26 2.30 2.20 3/222 19955
/proc/meminfo: memFree=10474120/32770624 swapFree=67108860/67108860
[pid=19938] ppid=19935 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19938/stat : 19938 (scop.sh) S 19935 19938 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224400269 115843072 349 33554432000 4194304 5098028 140730855620720 140730855617976 140544441057916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27602944 140730855625792 140730855625991 140730855625991 140730855628749 0
/proc/19938/statm: 28282 349 296 221 0 87 0
[pid=19941] ppid=19938 vsize=15012476 memory=85348 CPUtime=0.25 cores=1,3,5,7
/proc/19941/stat : 19941 (java) S 19938 19938 16770 0 -1 1077944320 9764 0 0 0 23 2 0 0 20 0 15 0 224400269 15372775424 21337 33554432000 4194304 4196468 140731087846736 140731087829280 139972937768695 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
/proc/19941/statm: 3753119 21337 2899 1 0 3715579 0
[pid=19941/tid=19942] ppid=19938 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/19941/task/19942/stat : 19942 (java) R 19938 19938 16770 0 -1 4202560 7636 0 0 0 18 2 0 0 20 0 15 0 224400269 15372775424 21337 33554432000 4194304 4196468 140731087846736 139972909596352 139972937780630 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19943] ppid=19938 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19943/stat : 19943 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 21337 33554432000 4194304 4196468 140731087846736 139972942010896 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19944] ppid=19938 vsize=15012476 memory=139910861031193 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19944/stat : 19944 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 21337 33554432000 4194304 4196468 140731087846736 139972717714064 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19945] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19945/stat : 19945 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 21337 33554432000 4194304 4196468 140731087846736 139972396968208 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19946] ppid=19938 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19946/stat : 19946 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 21337 33554432000 4194304 4196468 140731087846736 139972395915664 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19947] ppid=19938 vsize=15012476 memory=139910859839104 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19947/stat : 19947 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400272 15372775424 21337 33554432000 4194304 4196468 140731087846736 139971705944816 139972937779842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19948] ppid=19938 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19948/stat : 19948 (java) S 19938 19938 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224400273 15372775424 21337 33554432000 4194304 4196468 140731087846736 139971574884000 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19949] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19949/stat : 19949 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400273 15372775424 21337 33554432000 4194304 4196468 140731087846736 139971306448112 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19950] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19950/stat : 19950 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 21337 33554432000 4194304 4196468 140731087846736 139970931939792 139972937787291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19951] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19951/stat : 19951 (java) S 19938 19938 16770 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 21337 33554432000 4194304 4196468 140731087846736 139971704891632 139972937779842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19952] ppid=19938 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19952/stat : 19952 (java) S 19938 19938 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 21337 33554432000 4194304 4196468 140731087846736 139971703839088 139972937779842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19953] ppid=19938 vsize=15012476 memory=139910859839104 CPUtime=0.03 cores=1,3,5,7
/proc/19941/task/19953/stat : 19953 (java) R 19938 19938 16770 0 -1 4202560 320 0 0 0 3 0 0 0 20 0 15 0 224400276 15372775424 21337 33554432000 4194304 4196468 140731087846736 139971702786032 139972930005822 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19954] ppid=19938 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19954/stat : 19954 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 21337 33554432000 4194304 4196468 140731087846736 139970434034016 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19955] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19955/stat : 19955 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 21337 33554432000 4194304 4196468 140731087846736 139971701734448 139972937779842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86744 KiB
[startup+0.310642 s]*
/proc/loadavg: 2.26 2.30 2.20 3/222 19955
/proc/meminfo: memFree=10470336/32770624 swapFree=67108860/67108860
[pid=19938] ppid=19935 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19938/stat : 19938 (scop.sh) S 19935 19938 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224400269 115843072 349 33554432000 4194304 5098028 140730855620720 140730855617976 140544441057916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27602944 140730855625792 140730855625991 140730855625991 140730855628749 0
/proc/19938/statm: 28282 349 296 221 0 87 0
[pid=19941] ppid=19938 vsize=15012476 memory=89812 CPUtime=0.43 cores=1,3,5,7
/proc/19941/stat : 19941 (java) S 19938 19938 16770 0 -1 1077944320 10387 0 0 0 40 3 0 0 20 0 15 0 224400269 15372775424 22453 33554432000 4194304 4196468 140731087846736 140731087829280 139972937768695 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
/proc/19941/statm: 3753119 22453 3013 1 0 3715579 0
[pid=19941/tid=19942] ppid=19938 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19941/task/19942/stat : 19942 (java) R 19938 19938 16770 0 -1 4202560 8070 0 0 0 27 2 0 0 20 0 15 0 224400269 15372775424 22453 33554432000 4194304 4196468 140731087846736 139972909595648 139972921812325 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19943] ppid=19938 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19943/stat : 19943 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 22453 33554432000 4194304 4196468 140731087846736 139972942010896 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19944] ppid=19938 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19944/stat : 19944 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 22453 33554432000 4194304 4196468 140731087846736 139972717714064 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19945] ppid=19938 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19945/stat : 19945 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 22453 33554432000 4194304 4196468 140731087846736 139972396968208 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19946] ppid=19938 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19946/stat : 19946 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15372775424 22453 33554432000 4194304 4196468 140731087846736 139972395915664 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19947] ppid=19938 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19947/stat : 19947 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400272 15372775424 22453 33554432000 4194304 4196468 140731087846736 139971705944816 139972937779842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19948] ppid=19938 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19948/stat : 19948 (java) S 19938 19938 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224400273 15372775424 22453 33554432000 4194304 4196468 140731087846736 139971574884000 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19949] ppid=19938 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19949/stat : 19949 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400273 15372775424 22453 33554432000 4194304 4196468 140731087846736 139971306448112 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19950] ppid=19938 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19950/stat : 19950 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 22453 33554432000 4194304 4196468 140731087846736 139970931939792 139972937787291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19951] ppid=19938 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19941/task/19951/stat : 19951 (java) R 19938 19938 16770 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 224400276 15372775424 22453 33554432000 4194304 4196468 140731087846736 139971704891632 139972937779842 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19952] ppid=19938 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19941/task/19952/stat : 19952 (java) R 19938 19938 16770 0 -1 4202560 213 0 0 0 2 0 0 0 20 0 15 0 224400276 15372775424 22453 33554432000 4194304 4196468 140731087846736 139971703839088 139972915403344 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19953] ppid=19938 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19941/task/19953/stat : 19953 (java) R 19938 19938 16770 0 -1 4202560 365 0 0 0 7 0 0 0 20 0 15 0 224400276 15372775424 22453 33554432000 4194304 4196468 140731087846736 139971702786032 139972916700355 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19954] ppid=19938 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19954/stat : 19954 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 22453 33554432000 4194304 4196468 140731087846736 139970434034016 139972937778901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19955] ppid=19938 vsize=15012476 memory=3617014130905522225 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19955/stat : 19955 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400276 15372775424 22453 33554432000 4194304 4196468 140731087846736 139971701734448 139972937779842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91208 KiB
[startup+0.700851 s]
/proc/loadavg: 2.26 2.30 2.20 3/222 19955
/proc/meminfo: memFree=10446028/32770624 swapFree=67108860/67108860
[pid=19938] ppid=19935 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19938/stat : 19938 (scop.sh) S 19935 19938 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224400269 115843072 349 33554432000 4194304 5098028 140730855620720 140730855617976 140544441057916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27602944 140730855625792 140730855625991 140730855625991 140730855628749 0
/proc/19938/statm: 28282 349 296 221 0 87 0
[pid=19941] ppid=19938 vsize=15020872 memory=129488 CPUtime=1.01 cores=1,3,5,7
/proc/19941/stat : 19941 (java) S 19938 19938 16770 0 -1 1077944320 17514 0 0 0 96 5 0 0 20 0 15 0 224400269 15381372928 32372 33554432000 4194304 4196468 140731087846736 140731087829280 139972937768695 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
/proc/19941/statm: 3755218 32372 3145 1 0 3716603 0
[pid=19941/tid=19942] ppid=19938 vsize=15020904 memory=-7816663703405220396 CPUtime=0.66 cores=1,3,5,7
/proc/19941/task/19942/stat : 19942 (java) R 19938 19938 16770 0 -1 4202560 14747 0 0 0 62 4 0 0 20 0 15 0 224400269 15381405696 32372 33554432000 4194304 4196468 140731087846736 139972909577616 139972930448413 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19943] ppid=19938 vsize=15020904 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19943/stat : 19943 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15381405696 32372 33554432000 4194304 4196468 140731087846736 139972942010896 139972937778901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19944] ppid=19938 vsize=15020904 memory=60928 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19944/stat : 19944 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400271 15381405696 32372 33554432000 4194304 4196468 140731087846736 139972717714064 139972937778901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19945] ppid=19938 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19945/stat : 19945 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15381372928 32401 33554432000 4194304 4196468 140731087846736 139972396968208 139972937778901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19946] ppid=19938 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19946/stat : 19946 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224400271 15381372928 32401 33554432000 4194304 4196468 140731087846736 139972395915664 139972937778901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19947] ppid=19938 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19947/stat : 19947 (java) S 19938 19938 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224400272 15381372928 32401 33554432000 4194304 4196468 140731087846736 139971705944816 139972937779842 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19948] ppid=19938 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19948/stat : 19948 (java) S 19938 19938 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224400273 15381372928 32401 33554432000 4194304 4196468 140731087846736 139971574884000 139972937778901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19949] ppid=19938 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19949/stat : 19949 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400273 15381372928 32401 33554432000 4194304 4196468 140731087846736 139971306448112 139972937778901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19950] ppid=19938 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19950/stat : 19950 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224400276 15381372928 32401 33554432000 4194304 4196468 140731087846736 139970931939792 139972937787291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19951] ppid=19938 vsize=15020904 memory=876 CPUtime=0.08 cores=1,3,5,7
/proc/19941/task/19951/stat : 19951 (java) R 19938 19938 16770 0 -1 4202560 474 0 0 0 8 0 0 0 20 0 15 0 224400276 15381405696 32401 33554432000 4194304 4196468 140731087846736 139971704891632 139972915745088 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19952] ppid=19938 vsize=15020904 memory=10096 CPUtime=0.08 cores=1,3,5,7
/proc/19941/task/19952/stat : 19952 (java) S 19938 19938 16770 0 -1 1077944384 461 0 0 0 8 0 0 0 20 0 15 0 224400276 15381405696 32401 33554432000 4194304 4196468 140731087846736 139971703839088 139972937779842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19953] ppid=19938 vsize=15020904 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/19941/task/19953/stat : 19953 (java) R 19938 19938 16770 0 -1 4202560 502 0 0 0 16 0 0 0 20 0 15 0 224400276 15381405696 32401 33554432000 4194304 4196468 140731087846736 139971702786032 139972937780630 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19954] ppid=19938 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19954/stat : 19954 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224400276 15381372928 32401 33554432000 4194304 4196468 140731087846736 139970434034016 139972937778901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
[pid=19941/tid=19955] ppid=19938 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/19941/task/19955/stat : 19955 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224400276 15381372928 32401 33554432000 4194304 4196468 140731087846736 139971701734448 139972937779842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11190272 140731087852550 140731087852849 140731087852849 140731087855567 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130884 KiB
[startup+1.50085 s]
/proc/loadavg: 2.26 2.30 2.20 5/222 19955
/proc/meminfo: memFree=10410728/32770624 swapFree=67108860/67108860
[pid=19938] ppid=19935 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19938/stat : 19938 (scop.sh) S 19935 19938 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224400269 115843072 349 33554432000 4194304 5098028 140730855620720 140730855617976 140544441057916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27602944 140730855625792 140730855625991 140730855625991 140730855628749 0
/proc/19938/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=19956/tid=19959] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19959/stat : 19959 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151897500176 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19960] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19960/stat : 19960 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151553161616 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19961] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19961/stat : 19961 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151552108816 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19962] ppid=19938 vsize=8068220 memory=4128 CPUtime=0.03 cores=1,3,5,7
/proc/19956/task/19962/stat : 19962 (java) S 19938 19938 16770 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224400743 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151389240176 140152068627074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19963] ppid=19938 vsize=8068220 memory=131148 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19963/stat : 19963 (java) S 19938 19938 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224400744 8261857280 32787 33554432000 4194304 4196468 140720331021344 140150889768480 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19964] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19964/stat : 19964 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400744 8261857280 32787 33554432000 4194304 4196468 140720331021344 140150621332848 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19965] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19965/stat : 19965 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140150246824272 140152068634523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19966] ppid=19938 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/19956/task/19966/stat : 19966 (java) S 19938 19938 16770 0 -1 1077944384 919 0 0 0 23 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151388186992 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19967] ppid=19938 vsize=8068220 memory=293560 CPUtime=0.23 cores=1,3,5,7
/proc/19956/task/19967/stat : 19967 (java) S 19938 19938 16770 0 -1 1077944384 577 0 0 0 23 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151387134192 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19968] ppid=19938 vsize=8068220 memory=295580 CPUtime=0.22 cores=1,3,5,7
/proc/19956/task/19968/stat : 19968 (java) S 19938 19938 16770 0 -1 1077944384 548 0 0 0 22 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151386081392 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19969] ppid=19938 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19969/stat : 19969 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140149748918496 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19970] ppid=19938 vsize=8068220 memory=1160 CPUtime=0.89 cores=1,3,5,7
/proc/19956/task/19970/stat : 19970 (java) S 19938 19938 16770 0 -1 1077944384 163 0 0 0 45 44 0 0 20 0 19 0 224400747 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151385029808 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19972] ppid=19938 vsize=8068220 memory=255648 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19972/stat : 19972 (java) S 19938 19938 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224400831 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151377221312 140152068640537 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19974] ppid=19938 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19974/stat : 19974 (java) S 19938 19938 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224400831 8261857280 32787 33554432000 4194304 4196468 140720331021344 140149212032816 140152068637853 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19975] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19975/stat : 19975 (java) S 19938 19938 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224400831 8261857280 32787 33554432000 4194304 4196468 140720331021344 140149346254512 140152068637853 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19976] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19976/stat : 19976 (java) S 19938 19938 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224400833 8261857280 32787 33554432000 4194304 4196468 140720331021344 140148943608992 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
Current children cumulated CPU time: 2450.34 s
Current children cumulated vsize: 8453296 KiB
Current children cumulated memory: 388268 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/227 20149
/proc/meminfo: memFree=8598616/32770624 swapFree=67108860/67108860
[pid=19938] ppid=19935 vsize=113128 memory=1472 CPUtime=11.14 cores=1,3,5,7
/proc/19938/stat : 19938 (scop.sh) S 19935 19938 16770 0 -1 4202496 589 26056 0 0 0 0 1064 50 20 0 1 0 224400269 115843072 368 33554432000 4194304 5098028 140730855620720 140730855617464 140544441057916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27602944 140730855625792 140730855625991 140730855625991 140730855628749 0
/proc/19938/statm: 28282 368 311 221 0 87 0
[pid=19956] ppid=19938 vsize=8068220 memory=131148 CPUtime=2.62 cores=1,3,5,7
/proc/19956/stat : 19956 (java) S 19938 19938 16770 0 -1 1077944320 19138 0 0 0 201 61 0 0 20 0 19 0 224400740 8261857280 32787 33554432000 4194304 4196468 140720331021344 140720331003888 140152068615927 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
/proc/19956/statm: 2017055 32787 3148 1 0 1978454 0
[pid=19971] ppid=19956 vsize=290624 memory=274324 CPUtime=2496.62 cores=1,3,5,7
/proc/19971/stat : 19971 (minisat_release) R 19956 19938 16770 0 -1 4202496 597473 0 0 0 249029 633 0 0 20 0 1 0 224400831 297598976 68581 33554432000 4194304 4308513 140734849540368 140734849537816 4276135 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 36868096 140734849545332 140734849545430 140734849545430 140734849548229 0
/proc/19971/statm: 72656 68581 339 28 0 68896 0
[pid=19956/tid=19957] ppid=19938 vsize=8068220 memory=131148 CPUtime=0.92 cores=1,3,5,7
/proc/19956/task/19957/stat : 19957 (java) S 19938 19938 16770 0 -1 1077944384 15518 0 0 0 79 13 0 0 20 0 19 0 224400740 8261857280 32787 33554432000 4194304 4196468 140720331021344 140152040456080 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19958] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19958/stat : 19958 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140152072858256 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19959] ppid=19938 vsize=8068220 memory=131148 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19959/stat : 19959 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151897500176 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19960] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19960/stat : 19960 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151553161616 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19961] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19961/stat : 19961 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151552108816 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19962] ppid=19938 vsize=8068220 memory=12073153071324 CPUtime=0.03 cores=1,3,5,7
/proc/19956/task/19962/stat : 19962 (java) S 19938 19938 16770 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224400743 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151389240176 140152068627074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19963] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19963/stat : 19963 (java) S 19938 19938 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224400744 8261857280 32787 33554432000 4194304 4196468 140720331021344 140150889768480 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19964] ppid=19938 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19964/stat : 19964 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400744 8261857280 32787 33554432000 4194304 4196468 140720331021344 140150621332848 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19965] ppid=19938 vsize=8068220 memory=131148 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19965/stat : 19965 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140150246824272 140152068634523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19966] ppid=19938 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/19956/task/19966/stat : 19966 (java) S 19938 19938 16770 0 -1 1077944384 919 0 0 0 23 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151388186992 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19967] ppid=19938 vsize=8068220 memory=4128 CPUtime=0.23 cores=1,3,5,7
/proc/19956/task/19967/stat : 19967 (java) S 19938 19938 16770 0 -1 1077944384 577 0 0 0 23 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151387134192 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19968] ppid=19938 vsize=8068220 memory=60964 CPUtime=0.22 cores=1,3,5,7
/proc/19956/task/19968/stat : 19968 (java) S 19938 19938 16770 0 -1 1077944384 548 0 0 0 22 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151386081392 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19969] ppid=19938 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19969/stat : 19969 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140149748918496 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19970] ppid=19938 vsize=8068220 memory=60964 CPUtime=0.92 cores=1,3,5,7
/proc/19956/task/19970/stat : 19970 (java) S 19938 19938 16770 0 -1 1077944384 167 0 0 0 46 46 0 0 20 0 19 0 224400747 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151385029808 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19972] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19972/stat : 19972 (java) S 19938 19938 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224400831 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151377221312 140152068640537 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19974] ppid=19938 vsize=8068220 memory=131148 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19974/stat : 19974 (java) S 19938 19938 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224400831 8261857280 32787 33554432000 4194304 4196468 140720331021344 140149212032816 140152068637853 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19975] ppid=19938 vsize=8068220 memory=131148 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19975/stat : 19975 (java) S 19938 19938 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224400831 8261857280 32787 33554432000 4194304 4196468 140720331021344 140149346254512 140152068637853 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19976] ppid=19938 vsize=8068220 memory=274324 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19976/stat : 19976 (java) S 19938 19938 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224400833 8261857280 32787 33554432000 4194304 4196468 140720331021344 140148943608992 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
Current children cumulated CPU time: 2510.38 s
Current children cumulated vsize: 8471972 KiB
Current children cumulated memory: 406944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512 s]*
/proc/loadavg: 2.00 2.02 2.05 4/227 20149
/proc/meminfo: memFree=8620476/32770624 swapFree=67108860/67108860
[pid=19938] ppid=19935 vsize=113128 memory=1472 CPUtime=11.14 cores=1,3,5,7
/proc/19938/stat : 19938 (scop.sh) S 19935 19938 16770 0 -1 4202496 589 26056 0 0 0 0 1064 50 20 0 1 0 224400269 115843072 368 33554432000 4194304 5098028 140730855620720 140730855617464 140544441057916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27602944 140730855625792 140730855625991 140730855625991 140730855628749 0
/proc/19938/statm: 28282 368 311 221 0 87 0
[pid=19956] ppid=19938 vsize=8068220 memory=131148 CPUtime=2.63 cores=1,3,5,7
/proc/19956/stat : 19956 (java) S 19938 19938 16770 0 -1 1077944320 19147 0 0 0 202 61 0 0 20 0 19 0 224400740 8261857280 32787 33554432000 4194304 4196468 140720331021344 140720331003888 140152068615927 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
/proc/19956/statm: 2017055 32787 3148 1 0 1978454 0
[pid=19971] ppid=19956 vsize=290624 memory=274328 CPUtime=2506.32 cores=1,3,5,7
/proc/19971/stat : 19971 (minisat_release) R 19956 19938 16770 0 -1 4202496 602332 0 0 0 249998 634 0 0 20 0 1 0 224400831 297598976 68582 33554432000 4194304 4308513 140734849540368 140734849537864 4267393 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 36868096 140734849545332 140734849545430 140734849545430 140734849548229 0
/proc/19971/statm: 72656 68582 340 28 0 68896 0
[pid=19956/tid=19957] ppid=19938 vsize=8068220 memory=4616 CPUtime=0.92 cores=1,3,5,7
/proc/19956/task/19957/stat : 19957 (java) S 19938 19938 16770 0 -1 1077944384 15518 0 0 0 79 13 0 0 20 0 19 0 224400740 8261857280 32787 33554432000 4194304 4196468 140720331021344 140152040456080 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19958] ppid=19938 vsize=8068220 memory=274324 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19958/stat : 19958 (java) S 19938 19938 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140152072858256 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19959] ppid=19938 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19959/stat : 19959 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151897500176 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19960] ppid=19938 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19960/stat : 19960 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151553161616 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19961] ppid=19938 vsize=8068220 memory=672 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19961/stat : 19961 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400742 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151552108816 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19962] ppid=19938 vsize=8068220 memory=8302 CPUtime=0.03 cores=1,3,5,7
/proc/19956/task/19962/stat : 19962 (java) S 19938 19938 16770 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224400743 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151389240176 140152068627074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19963] ppid=19938 vsize=8068220 memory=2190 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19963/stat : 19963 (java) S 19938 19938 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224400744 8261857280 32787 33554432000 4194304 4196468 140720331021344 140150889768480 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19964] ppid=19938 vsize=8068220 memory=198 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19964/stat : 19964 (java) S 19938 19938 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224400744 8261857280 32787 33554432000 4194304 4196468 140720331021344 140150621332848 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19965] ppid=19938 vsize=8068220 memory=274328 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19965/stat : 19965 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140150246824272 140152068634523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19966] ppid=19938 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/19956/task/19966/stat : 19966 (java) S 19938 19938 16770 0 -1 1077944384 920 0 0 0 23 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151388186992 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19967] ppid=19938 vsize=8068220 memory=131148 CPUtime=0.23 cores=1,3,5,7
/proc/19956/task/19967/stat : 19967 (java) S 19938 19938 16770 0 -1 1077944384 581 0 0 0 23 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151387134192 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19968] ppid=19938 vsize=8068220 memory=274328 CPUtime=0.22 cores=1,3,5,7
/proc/19956/task/19968/stat : 19968 (java) S 19938 19938 16770 0 -1 1077944384 550 0 0 0 22 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151386081392 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19969] ppid=19938 vsize=8068220 memory=1047156 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19969/stat : 19969 (java) S 19938 19938 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224400746 8261857280 32787 33554432000 4194304 4196468 140720331021344 140149748918496 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19970] ppid=19938 vsize=8068220 memory=4104 CPUtime=0.92 cores=1,3,5,7
/proc/19956/task/19970/stat : 19970 (java) S 19938 19938 16770 0 -1 1077944384 167 0 0 0 46 46 0 0 20 0 19 0 224400747 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151385029808 140152068627074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19972] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19972/stat : 19972 (java) S 19938 19938 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224400831 8261857280 32787 33554432000 4194304 4196468 140720331021344 140151377221312 140152068640537 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19974] ppid=19938 vsize=8068220 memory=-7824251494390650978 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19974/stat : 19974 (java) S 19938 19938 16770 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224400831 8261857280 32787 33554432000 4194304 4196468 140720331021344 140149212032816 140152068637853 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19975] ppid=19938 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19975/stat : 19975 (java) S 19938 19938 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224400831 8261857280 32787 33554432000 4194304 4196468 140720331021344 140149346254512 140152068637853 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
[pid=19956/tid=19976] ppid=19938 vsize=8068220 memory=156232 CPUtime=0 cores=1,3,5,7
/proc/19956/task/19976/stat : 19976 (java) S 19938 19938 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224400833 8261857280 32787 33554432000 4194304 4196468 140720331021344 140148943608992 140152068626133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8851456 140720331023541 140720331023665 140720331023665 140720331026383 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8471972 KiB
Current children cumulated memory: 406948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.02 s]
# the end of solver process 19938 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.6432 s, system=0.510638 s
[startup+2512.03 s]
# the end of solver process 19956 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.67 s, system=7.48139 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): 2512.03
CPU time (s): 2520.15
CPU user time (s): 2512.67
CPU system time (s): 7.48139
CPU usage (%): 100.323
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1643248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.67
system time used= 7.48139
maximum resident set size= 1646468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59521
involuntary context switches= 703
# summary of solver processes directly reported to runsolver:
# pid: 19938,19956
# total CPU time (s): 2520.15
# total CPU user time (s): 2512.67
# total CPU system time (s): 7.48139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9859 second user time and 24.7849 second system time
The end