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-20407-serial-file.bin HOME/instance-4305312-1534070929.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:48:50 CEST 2018
0.66/0.54 c PID: 20410
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
3.38/1.56 c (1,1) Parsing End
3.38/1.57 c (1,1) CSP: 0 int (0 aux), 2890 bool (0 aux), 681 ctr, max domain size 2
3.38/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.38/1.57 c (1,1) Constraint Name Generate Begin
3.64/1.62 c (1,1) Ctr:HOME/instance-4305312-1534070929.xml,IntVar:LexMatrix:Num:WeightedSum
3.64/1.62 c (1,1) Constraint Name Generate End
3.64/1.62 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.64/1.62 c (1,1) CSP to CSPinCNF Begin
4.94/2.05 c (1,1) translated 69 (10%) constraints
7.55/2.89 c (2,2) translated 137 (20%) constraints
12.33/4.56 c (4,4) translated 205 (30%) constraints
13.67/5.79 c (5,5) translated 273 (40%) constraints
14.87/6.99 c (6,6) translated 341 (50%) constraints
16.23/8.21 c (7,7) translated 409 (60%) constraints
18.07/9.55 c (9,8) translated 477 (70%) constraints
19.18/10.67 c (10,9) translated 545 (80%) constraints
20.35/11.79 c (11,11) translated 613 (90%) constraints
21.55/12.91 c (12,12) translated 681 (100%) constraints
54.06/37.15 c (36,34) STATISTICS1:HOME/instance-4305312-1534070929.xml,IntVar:LexMatrix:Num:WeightedSum,103687,202508,9223372036854775807,2,4,85,9223372036854775807:1190;8589934592:170;2:11205,2:521321,4:5427;3:95487;2:100797;1:797,85:1190;34:170;2:11205;1:493131,3136:1190
54.06/37.15 c (36,34) ==========================================
54.06/37.15 c (36,34) Order
54.06/37.15 c (36,34) ==========================================
58.32/38.59 c (38,36) translated 20251 (10%) constraints
59.26/39.35 c (38,36) translated 40502 (20%) constraints
60.04/40.10 c (39,37) translated 60753 (30%) constraints
60.96/40.85 c (40,38) translated 81004 (40%) constraints
62.30/41.72 c (41,39) translated 101254 (50%) constraints
63.15/42.46 c (41,39) translated 121505 (60%) constraints
63.91/43.19 c (42,40) translated 141756 (70%) constraints
64.71/43.93 c (43,41) translated 162007 (80%) constraints
65.41/44.66 c (44,42) translated 182258 (90%) constraints
66.42/45.37 c (44,42) translated 202508 (100%) constraints
66.42/45.37 c (44,42) CSP to CSPinCNF End
66.52/45.42 c (44,42) CSP: 13430 int (13430 aux), 151372 bool (148482 aux), 325418 ctr, max domain size 30
66.52/45.42 c (44,42) Heap : 2226 MiB used (max 10841 MiB), NonHeap : 31 MiB used (max 0 MiB)
66.52/45.42 c (44,42) CSPinCNF Propagation Begin
69.69/47.19 c (46,44) 0 values, 47685 unsatisfiable literals, and 47685 valid clauses are removed
69.69/47.19 c (46,44) CSPinCNF Propagation End
69.78/47.23 c (46,44) CSP: 13430 int (13430 aux), 151372 bool (148482 aux), 277733 ctr, max domain size 30
69.78/47.23 c (46,44) Heap : 800 MiB used (max 10865 MiB), NonHeap : 32 MiB used (max 0 MiB)
69.78/47.23 c (46,44) Simplify CSPinCNF Begin
71.00/48.03 c (47,45) Simplify CSPinCNF End
71.00/48.08 c (47,45) CSP: 13430 int (13430 aux), 162577 bool (159687 aux), 288938 ctr, max domain size 30
71.00/48.08 c (47,45) Heap : 1102 MiB used (max 10865 MiB), NonHeap : 32 MiB used (max 0 MiB)
71.00/48.08 c (47,45) Calculate Precise Domain Begin
71.39/48.23 c (47,45) 0 values are removed by re-calculation
71.39/48.23 c (47,45) Calculate Precise Domain End
71.39/48.27 c (47,45) CSP: 13430 int (13430 aux), 162577 bool (159687 aux), 288938 ctr, max domain size 30
71.39/48.27 c (47,45) Heap : 1161 MiB used (max 10865 MiB), NonHeap : 33 MiB used (max 0 MiB)
71.39/48.27 c (47,45) CSPinCNF to SatSolver Begin
75.91/50.62 c (50,47) 28894 (10 %) CSP clauses are encoded (276052 SAT variables, 672918 SAT clauses)
77.71/51.78 c (51,48) 57788 (20 %) CSP clauses are encoded (276052 SAT variables, 972772 SAT clauses)
78.71/52.71 c (52,49) 86682 (30 %) CSP clauses are encoded (276052 SAT variables, 1275830 SAT clauses)
79.61/53.63 c (53,50) 115576 (40 %) CSP clauses are encoded (276052 SAT variables, 1574466 SAT clauses)
80.91/54.68 c (54,51) 144469 (50 %) CSP clauses are encoded (276052 SAT variables, 1877523 SAT clauses)
81.99/56.11 c (55,52) 173363 (60 %) CSP clauses are encoded (276052 SAT variables, 2180581 SAT clauses)
82.90/57.03 c (56,53) 202257 (70 %) CSP clauses are encoded (276052 SAT variables, 2479217 SAT clauses)
83.79/57.96 c (57,54) 231151 (80 %) CSP clauses are encoded (276052 SAT variables, 2782275 SAT clauses)
84.70/58.88 c (58,55) 260045 (90 %) CSP clauses are encoded (276052 SAT variables, 3080911 SAT clauses)
85.57/59.43 c (58,55) 288938 (100 %) CSP clauses are encoded (276052 SAT variables, 3182800 SAT clauses)
85.57/59.43 c (58,55) Launch Command will be: minisat_release
85.57/59.43 c (58,55) CSPinCNF to SatSolver End
85.57/59.43 c (58,55) Heap : 1781 MiB used (max 10869 MiB), NonHeap : 32 MiB used (max 0 MiB)
86.75/60.21 c (59,56) STATISTICS2:HOME/instance-4305312-1534070929.xml,IntVar:LexMatrix:Num:WeightedSum,176007,288938,841,30,4,9,841:68;256:1190;240:68;225:136;144:170;128:13090;121:4488;72:1530;64:6290;49:170;25:340;16:680;2:16749,30:136;29:272;16:136;15:680;13:340;12:680;11:20196;9:3060;8:26180;7:680;5:1360;2:703654,4:5427;3:47802;2:207372;1:28337,9:1190;8:13090;7:340;5:1020;3:12580;2:16749;1:563226,
86.75/60.21 c (59,56) 276052 bool, 3182801 clause
86.75/60.21 c (59,56) Export Begin
87.19/60.42 c (59,56) Export to HOME/scop-20407-serial-file.bin
87.19/60.42 c (59,56) Export End
87.25/60.82 c (59,56) Export File Size: 0.46 MB
87.25/60.82 c (59,56) 1,1,44,46,47,47,58,STOP-AFTER(DIMACS)
87.25/60.82 c END-Prog: Sun Aug 12 12:49:49 CEST 2018
87.25/60.84 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20407-serial-file.bin
87.86/61.34 c (0,0) Read Serial File Begin
87.86/61.34 c (0,0) HOME/scop-20407-serial-file.bin
88.51/61.63 c (0,0) Read Serial File End
88.51/61.64
88.51/61.64 scop order+minisat_release (2018-07-31)
88.51/61.64 (Solving Process)
88.51/61.64
88.51/61.67 c BEGIN-Prog: Sun Aug 12 12:49:51 CEST 2018
88.51/61.67 c PID: 20426
88.51/61.67 c IP: 172.20.3.139
88.51/61.67 c HOST: node139.alineos.net
88.51/61.67 c (0,0) SatSolver.solve Begin
88.51/61.67 c (0,0) 0 bool, 0 clause
88.51/61.67 c (0,0) minisat_release HOME/instance-4305312-1534070929.xml-scop-20410.cnf
2520.10/2492.01 c (2430,0) receiving signal SIGTERM
2520.10/2492.01 s UNKNOWN
2520.10/2492.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.10/2492.02 c (scop.sh) Remove HOME/scop-20407-serial-file.bin.
2520.10/2492.02 c (scop.sh) Killing background jobs.
2520.10/2492.02 c (2430,0) receiving signal SIGTERM
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 (2970 MiB free)
memory of node 1: 16384 MiB (5826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305312-1534070929/watcher-4305312-1534070929 -o /tmp/evaluation-result-4305312-1534070929/solver-4305312-1534070929 -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-4305312-1534070929.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=20407, runsolver pid=20404
[startup+0.100122 s]*
/proc/loadavg: 2.15 2.05 2.05 4/222 20424
/proc/meminfo: memFree=8948536/32770624 swapFree=67108860/67108860
[pid=20407] ppid=20404 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20407/stat : 20407 (scop.sh) S 20404 20407 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224656072 115843072 349 33554432000 4194304 5098028 140731583488128 140731583485384 139656955232892 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27967488 140731583493184 140731583493383 140731583493383 140731583496141 0
/proc/20407/statm: 28282 349 296 221 0 87 0
[pid=20410] ppid=20407 vsize=15012476 memory=71528 CPUtime=0.1 cores=1,3,5,7
/proc/20410/stat : 20410 (java) S 20407 20407 16770 0 -1 1077944320 6532 0 0 0 9 1 0 0 20 0 15 0 224656072 15372775424 17882 33554432000 4194304 4196468 140724119570432 140724119552976 139624645730039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
/proc/20410/statm: 3753119 17882 2771 1 0 3715579 0
[pid=20410/tid=20411] ppid=20407 vsize=15012476 memory=-6078870780940435395 CPUtime=0.08 cores=1,3,5,7
/proc/20410/task/20411/stat : 20411 (java) R 20407 20407 16770 0 -1 4202560 4629 0 0 0 7 1 0 0 20 0 15 0 224656072 15372775424 17948 33554432000 4194304 4196468 140724119570432 139624617542024 139624626006864 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20412] ppid=20407 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20412/stat : 20412 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 17948 33554432000 4194304 4196468 140724119570432 139624649972624 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20413] ppid=20407 vsize=15012476 memory=139844498896512 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20413/stat : 20413 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 17948 33554432000 4194304 4196468 140724119570432 139624425675536 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20414] ppid=20407 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20414/stat : 20414 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 17948 33554432000 4194304 4196468 140724119570432 139624424623248 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20415] ppid=20407 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20415/stat : 20415 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 17948 33554432000 4194304 4196468 140724119570432 139624423570448 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20416] ppid=20407 vsize=15012476 memory=139844498896512 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20416/stat : 20416 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656075 15372775424 17948 33554432000 4194304 4196468 140724119570432 139623615424624 139624645741186 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20417] ppid=20407 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20417/stat : 20417 (java) S 20407 20407 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224656076 15372775424 17948 33554432000 4194304 4196468 140724119570432 139623212770080 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20418] ppid=20407 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20418/stat : 20418 (java) S 20407 20407 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224656076 15372775424 17948 33554432000 4194304 4196468 140724119570432 139623078548592 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20419] ppid=20407 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20419/stat : 20419 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224656078 15372775424 17948 33554432000 4194304 4196468 140724119570432 139622704044112 139624645748635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20420] ppid=20407 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20420/stat : 20420 (java) S 20407 20407 16770 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 224656078 15372775424 17948 33554432000 4194304 4196468 140724119570432 139623614372464 139624645741186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20421] ppid=20407 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20421/stat : 20421 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224656078 15372775424 17948 33554432000 4194304 4196468 140724119570432 139623613319664 139624645741186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20422] ppid=20407 vsize=15012476 memory=139844498896512 CPUtime=0.01 cores=1,3,5,7
/proc/20410/task/20422/stat : 20422 (java) S 20407 20407 16770 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 224656078 15372775424 18014 33554432000 4194304 4196468 140724119570432 139623612267376 139624645741186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20423] ppid=20407 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20423/stat : 20423 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224656079 15372775424 18014 33554432000 4194304 4196468 140724119570432 139622206139360 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20424] ppid=20407 vsize=15012476 memory=139844498896512 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20424/stat : 20424 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224656079 15372775424 18014 33554432000 4194304 4196468 140724119570432 139623611214256 139624645741186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72924 KiB
[startup+0.210499 s]*
/proc/loadavg: 2.15 2.05 2.05 4/222 20424
/proc/meminfo: memFree=8932908/32770624 swapFree=67108860/67108860
[pid=20407] ppid=20404 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20407/stat : 20407 (scop.sh) S 20404 20407 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224656072 115843072 349 33554432000 4194304 5098028 140731583488128 140731583485384 139656955232892 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27967488 140731583493184 140731583493383 140731583493383 140731583496141 0
/proc/20407/statm: 28282 349 296 221 0 87 0
[pid=20410] ppid=20407 vsize=15012476 memory=84576 CPUtime=0.25 cores=1,3,5,7
/proc/20410/stat : 20410 (java) S 20407 20407 16770 0 -1 1077944320 10027 0 0 0 23 2 0 0 20 0 15 0 224656072 15372775424 21144 33554432000 4194304 4196468 140724119570432 140724119552976 139624645730039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
/proc/20410/statm: 3753119 21144 2874 1 0 3715579 0
[pid=20410/tid=20411] ppid=20407 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/20410/task/20411/stat : 20411 (java) R 20407 20407 16770 0 -1 4202560 7909 0 0 0 18 2 0 0 20 0 15 0 224656072 15372775424 21144 33554432000 4194304 4196468 140724119570432 139624617554848 139624102094543 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20412] ppid=20407 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20412/stat : 20412 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 21144 33554432000 4194304 4196468 140724119570432 139624649972624 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20413] ppid=20407 vsize=15012476 memory=139844500088972 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20413/stat : 20413 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 21144 33554432000 4194304 4196468 140724119570432 139624425675536 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20414] ppid=20407 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20414/stat : 20414 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 21144 33554432000 4194304 4196468 140724119570432 139624424623248 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20415] ppid=20407 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20415/stat : 20415 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 21144 33554432000 4194304 4196468 140724119570432 139624423570448 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20416] ppid=20407 vsize=15012476 memory=139844498896512 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20416/stat : 20416 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656075 15372775424 21144 33554432000 4194304 4196468 140724119570432 139623615424624 139624645741186 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20417] ppid=20407 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20417/stat : 20417 (java) S 20407 20407 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224656076 15372775424 21144 33554432000 4194304 4196468 140724119570432 139623212770080 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20418] ppid=20407 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20418/stat : 20418 (java) S 20407 20407 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224656076 15372775424 21144 33554432000 4194304 4196468 140724119570432 139623078548592 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20419] ppid=20407 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20419/stat : 20419 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224656078 15372775424 21144 33554432000 4194304 4196468 140724119570432 139622704044112 139624645748635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20420] ppid=20407 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20410/task/20420/stat : 20420 (java) S 20407 20407 16770 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 224656078 15372775424 21144 33554432000 4194304 4196468 140724119570432 139623614372464 139624645741186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20421] ppid=20407 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20421/stat : 20421 (java) S 20407 20407 16770 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 224656078 15372775424 21144 33554432000 4194304 4196468 140724119570432 139623613319664 139624645741186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20422] ppid=20407 vsize=15012476 memory=139844498896512 CPUtime=0.03 cores=1,3,5,7
/proc/20410/task/20422/stat : 20422 (java) S 20407 20407 16770 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 224656078 15372775424 21144 33554432000 4194304 4196468 140724119570432 139623612267376 139624645741186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20423] ppid=20407 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20423/stat : 20423 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224656079 15372775424 21144 33554432000 4194304 4196468 140724119570432 139622206139360 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20424] ppid=20407 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20424/stat : 20424 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224656079 15372775424 21144 33554432000 4194304 4196468 140724119570432 139623611214256 139624645741186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85972 KiB
[startup+0.310672 s]*
/proc/loadavg: 2.15 2.05 2.05 3/222 20424
/proc/meminfo: memFree=8929420/32770624 swapFree=67108860/67108860
[pid=20407] ppid=20404 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20407/stat : 20407 (scop.sh) S 20404 20407 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224656072 115843072 349 33554432000 4194304 5098028 140731583488128 140731583485384 139656955232892 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27967488 140731583493184 140731583493383 140731583493383 140731583496141 0
/proc/20407/statm: 28282 349 296 221 0 87 0
[pid=20410] ppid=20407 vsize=15012476 memory=88092 CPUtime=0.42 cores=1,3,5,7
/proc/20410/stat : 20410 (java) S 20407 20407 16770 0 -1 1077944320 10560 0 0 0 40 2 0 0 20 0 15 0 224656072 15372775424 22023 33554432000 4194304 4196468 140724119570432 140724119552976 139624645730039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
/proc/20410/statm: 3753119 22023 2972 1 0 3715579 0
[pid=20410/tid=20411] ppid=20407 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/20410/task/20411/stat : 20411 (java) R 20407 20407 16770 0 -1 4202560 8280 0 0 0 28 2 0 0 20 0 15 0 224656072 15372775424 22023 33554432000 4194304 4196468 140724119570432 139624617525488 139624627293568 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20412] ppid=20407 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20412/stat : 20412 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 22023 33554432000 4194304 4196468 140724119570432 139624649972624 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20413] ppid=20407 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20413/stat : 20413 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 22023 33554432000 4194304 4196468 140724119570432 139624425675536 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20414] ppid=20407 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20414/stat : 20414 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 22023 33554432000 4194304 4196468 140724119570432 139624424623248 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20415] ppid=20407 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20415/stat : 20415 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15372775424 22023 33554432000 4194304 4196468 140724119570432 139624423570448 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20416] ppid=20407 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20416/stat : 20416 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656075 15372775424 22023 33554432000 4194304 4196468 140724119570432 139623615424624 139624645741186 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20417] ppid=20407 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20417/stat : 20417 (java) S 20407 20407 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224656076 15372775424 22023 33554432000 4194304 4196468 140724119570432 139623212770080 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20418] ppid=20407 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20418/stat : 20418 (java) S 20407 20407 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224656076 15372775424 22023 33554432000 4194304 4196468 140724119570432 139623078548592 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20419] ppid=20407 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20419/stat : 20419 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224656078 15372775424 22023 33554432000 4194304 4196468 140724119570432 139622704044112 139624645748635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20420] ppid=20407 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20410/task/20420/stat : 20420 (java) R 20407 20407 16770 0 -1 4202560 485 0 0 0 2 0 0 0 20 0 15 0 224656078 15372775424 22023 33554432000 4194304 4196468 140724119570432 139623614372464 139624629224171 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20421] ppid=20407 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20410/task/20421/stat : 20421 (java) R 20407 20407 16770 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 15 0 224656078 15372775424 22023 33554432000 4194304 4196468 140724119570432 139623613319664 139624645741186 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20422] ppid=20407 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20410/task/20422/stat : 20422 (java) R 20407 20407 16770 0 -1 4202560 313 0 0 0 7 0 0 0 20 0 15 0 224656078 15372775424 22023 33554432000 4194304 4196468 140724119570432 139623612267376 139624637967166 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20423] ppid=20407 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20423/stat : 20423 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224656079 15372775424 22023 33554432000 4194304 4196468 140724119570432 139622206139360 139624645740245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20424] ppid=20407 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20424/stat : 20424 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224656079 15372775424 22023 33554432000 4194304 4196468 140724119570432 139623611214256 139624645741186 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89488 KiB
[startup+0.711156 s]
/proc/loadavg: 2.15 2.05 2.05 3/222 20424
/proc/meminfo: memFree=8905236/32770624 swapFree=67108860/67108860
[pid=20407] ppid=20404 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20407/stat : 20407 (scop.sh) S 20404 20407 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224656072 115843072 349 33554432000 4194304 5098028 140731583488128 140731583485384 139656955232892 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27967488 140731583493184 140731583493383 140731583493383 140731583496141 0
/proc/20407/statm: 28282 349 296 221 0 87 0
[pid=20410] ppid=20407 vsize=15020872 memory=127916 CPUtime=1.03 cores=1,3,5,7
/proc/20410/stat : 20410 (java) S 20407 20407 16770 0 -1 1077944320 17652 0 0 0 99 4 0 0 20 0 15 0 224656072 15381372928 31979 33554432000 4194304 4196468 140724119570432 140724119552976 139624645730039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
/proc/20410/statm: 3755218 31979 3154 1 0 3716603 0
[pid=20410/tid=20411] ppid=20407 vsize=15020872 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/20410/task/20411/stat : 20411 (java) R 20407 20407 16770 0 -1 4202560 14882 0 0 0 65 3 0 0 20 0 15 0 224656072 15381372928 31979 33554432000 4194304 4196468 140724119570432 139624617558088 139624102106612 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20412] ppid=20407 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20412/stat : 20412 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15381372928 31979 33554432000 4194304 4196468 140724119570432 139624649972624 139624645740245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20413] ppid=20407 vsize=15020872 memory=60964 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20413/stat : 20413 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15381372928 31979 33554432000 4194304 4196468 140724119570432 139624425675536 139624645740245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20414] ppid=20407 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20414/stat : 20414 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224656074 15381372928 31979 33554432000 4194304 4196468 140724119570432 139624424623248 139624645740245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20415] ppid=20407 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20415/stat : 20415 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224656074 15381372928 31979 33554432000 4194304 4196468 140724119570432 139624423570448 139624645740245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20416] ppid=20407 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20416/stat : 20416 (java) S 20407 20407 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224656075 15381372928 31979 33554432000 4194304 4196468 140724119570432 139623615424624 139624645741186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20417] ppid=20407 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20417/stat : 20417 (java) S 20407 20407 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224656076 15381372928 31979 33554432000 4194304 4196468 140724119570432 139623212770080 139624645740245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20418] ppid=20407 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20418/stat : 20418 (java) S 20407 20407 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224656076 15381372928 31979 33554432000 4194304 4196468 140724119570432 139623078548592 139624645740245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20419] ppid=20407 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20419/stat : 20419 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224656078 15381372928 31979 33554432000 4194304 4196468 140724119570432 139622704044112 139624645748635 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20420] ppid=20407 vsize=15020872 memory=876 CPUtime=0.1 cores=1,3,5,7
/proc/20410/task/20420/stat : 20420 (java) R 20407 20407 16770 0 -1 1077944384 734 0 0 0 10 0 0 0 20 0 15 0 224656078 15381372928 31979 33554432000 4194304 4196468 140724119570432 139623614364112 139624645740245 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20421] ppid=20407 vsize=15020872 memory=10096 CPUtime=0.06 cores=1,3,5,7
/proc/20410/task/20421/stat : 20421 (java) R 20407 20407 16770 0 -1 4202560 198 0 0 0 6 0 0 0 20 0 15 0 224656078 15381372928 31979 33554432000 4194304 4196468 140724119570432 139623613300680 139624624986614 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20422] ppid=20407 vsize=15020872 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/20410/task/20422/stat : 20422 (java) R 20407 20407 16770 0 -1 4202560 483 0 0 0 17 0 0 0 20 0 15 0 224656078 15381372928 31979 33554432000 4194304 4196468 140724119570432 139623612267376 139624637967166 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20423] ppid=20407 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20423/stat : 20423 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224656079 15381372928 31979 33554432000 4194304 4196468 140724119570432 139622206139360 139624645740245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
[pid=20410/tid=20424] ppid=20407 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/20410/task/20424/stat : 20424 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224656079 15381372928 31979 33554432000 4194304 4196468 140724119570432 139623611214256 139624645741186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35655680 140724119573510 140724119573809 140724119573809 140724119576527 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129312 KiB
[startup+1.50076 s]
/proc/loadavg: 2.15 2.05 2.05 4/222 20424
/proc/meminfo: memFree=8862272/32770624 swapFree=67108860/67108860
[pid=20407] ppid=20404 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20407/stat : 20407 (scop.sh) S 20404 20407 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224656072 115843072 349 33554432000 4194304 5098028 140731583488128 140731583485384 139656955232892 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27967488 140731583493184 140731583493383 140731583493383 140731583496141 0
/proc/20407/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=20426/tid=20429] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20429/stat : 20429 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496508803856 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20430] ppid=20407 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20430/stat : 20430 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496507751568 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20431] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20431/stat : 20431 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496506698768 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20432] ppid=20407 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/20426/task/20432/stat : 20432 (java) S 20407 20407 16770 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 224662160 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496268359792 140497023396482 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20433] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20433/stat : 20433 (java) S 20407 20407 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224662160 8261857280 31678 33554432000 4194304 4196468 140736271587376 140495896437536 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20434] ppid=20407 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20434/stat : 20434 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224662161 8261857280 31678 33554432000 4194304 4196468 140736271587376 140495628002416 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20435] ppid=20407 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20435/stat : 20435 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140495253493840 140497023403931 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20436] ppid=20407 vsize=8068220 memory=61032 CPUtime=0.2 cores=1,3,5,7
/proc/20426/task/20436/stat : 20436 (java) S 20407 20407 16770 0 -1 1077944384 902 0 0 0 20 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496267307632 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20437] ppid=20407 vsize=8068220 memory=1240 CPUtime=0.22 cores=1,3,5,7
/proc/20426/task/20437/stat : 20437 (java) S 20407 20407 16770 0 -1 1077944384 501 0 0 0 22 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496266254832 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20438] ppid=20407 vsize=8068220 memory=796 CPUtime=0.22 cores=1,3,5,7
/proc/20426/task/20438/stat : 20438 (java) S 20407 20407 16770 0 -1 1077944384 580 0 0 0 22 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496265202544 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20439] ppid=20407 vsize=8068220 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20439/stat : 20439 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140494755589088 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20440] ppid=20407 vsize=8068220 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/20426/task/20440/stat : 20440 (java) S 20407 20407 16770 0 -1 1077944384 155 0 0 0 53 62 0 0 20 0 19 0 224662164 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496264149424 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20442] ppid=20407 vsize=8068220 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20442/stat : 20442 (java) S 20407 20407 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224662241 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496256340928 140497023409945 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20444] ppid=20407 vsize=8068220 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20444/stat : 20444 (java) S 20407 20407 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224662242 8261857280 31678 33554432000 4194304 4196468 140736271587376 140494218702384 140497023407261 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20445] ppid=20407 vsize=8068220 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20445/stat : 20445 (java) S 20407 20407 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224662242 8261857280 31678 33554432000 4194304 4196468 140736271587376 140494352924592 140497023407261 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20446] ppid=20407 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20446/stat : 20446 (java) S 20407 20407 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224662244 8261857280 31678 33554432000 4194304 4196468 140736271587376 140493950279072 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
Current children cumulated CPU time: 2410.32 s
Current children cumulated vsize: 8589444 KiB
Current children cumulated memory: 470968 KiB
[startup+2442.3 s]
/proc/loadavg: 2.13 2.06 2.07 5/228 20646
/proc/meminfo: memFree=10110724/32770624 swapFree=67108860/67108860
[pid=20407] ppid=20404 vsize=113128 memory=1472 CPUtime=87.27 cores=1,3,5,7
/proc/20407/stat : 20407 (scop.sh) S 20404 20407 16770 0 -1 4202496 590 76079 0 0 0 0 8499 228 20 0 1 0 224656072 115843072 368 33554432000 4194304 5098028 140731583488128 140731583484872 139656955232892 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27967488 140731583493184 140731583493383 140731583493383 140731583496141 0
/proc/20407/statm: 28282 368 311 221 0 87 0
[pid=20426] ppid=20407 vsize=8068220 memory=126712 CPUtime=2.79 cores=1,3,5,7
/proc/20426/stat : 20426 (java) S 20407 20407 16770 0 -1 1077944320 18562 0 0 0 208 71 0 0 20 0 19 0 224662157 8261857280 31678 33554432000 4194304 4196468 140736271587376 140736271569920 140497023385335 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
/proc/20426/statm: 2017055 31678 3149 1 0 1978454 0
[pid=20441] ppid=20426 vsize=409568 memory=335920 CPUtime=2380.3 cores=1,3,5,7
/proc/20441/stat : 20441 (minisat_release) R 20426 20407 16770 0 -1 4202496 2839321 0 0 0 237516 514 0 0 20 0 1 0 224662241 419397632 83980 33554432000 4194304 4308513 140730532534960 140730532531704 4269968 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 34856960 140730532541556 140730532541654 140730532541654 140730532544453 0
/proc/20441/statm: 102392 83980 341 28 0 98632 0
[pid=20426/tid=20427] ppid=20407 vsize=8068220 memory=126712 CPUtime=0.86 cores=1,3,5,7
/proc/20426/task/20427/stat : 20427 (java) S 20407 20407 16770 0 -1 1077944384 15009 0 0 0 77 9 0 0 20 0 19 0 224662157 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496995225488 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20428] ppid=20407 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20428/stat : 20428 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140497027627920 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20429] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20429/stat : 20429 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496508803856 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20430] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20430/stat : 20430 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496507751568 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20431] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20431/stat : 20431 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496506698768 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20432] ppid=20407 vsize=8068220 memory=126712 CPUtime=0.05 cores=1,3,5,7
/proc/20426/task/20432/stat : 20432 (java) S 20407 20407 16770 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 224662160 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496268359792 140497023396482 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20433] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20433/stat : 20433 (java) S 20407 20407 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224662160 8261857280 31678 33554432000 4194304 4196468 140736271587376 140495896437536 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20434] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20434/stat : 20434 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224662161 8261857280 31678 33554432000 4194304 4196468 140736271587376 140495628002416 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20435] ppid=20407 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20435/stat : 20435 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140495253493840 140497023403931 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20436] ppid=20407 vsize=8068220 memory=126712 CPUtime=0.2 cores=1,3,5,7
/proc/20426/task/20436/stat : 20436 (java) S 20407 20407 16770 0 -1 1077944384 902 0 0 0 20 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496267307632 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20437] ppid=20407 vsize=8068220 memory=343836 CPUtime=0.22 cores=1,3,5,7
/proc/20426/task/20437/stat : 20437 (java) S 20407 20407 16770 0 -1 1077944384 501 0 0 0 22 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496266254832 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20438] ppid=20407 vsize=8068220 memory=1472 CPUtime=0.22 cores=1,3,5,7
/proc/20426/task/20438/stat : 20438 (java) S 20407 20407 16770 0 -1 1077944384 580 0 0 0 22 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496265202544 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20439] ppid=20407 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20439/stat : 20439 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140494755589088 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20440] ppid=20407 vsize=8068220 memory=1472 CPUtime=1.19 cores=1,3,5,7
/proc/20426/task/20440/stat : 20440 (java) S 20407 20407 16770 0 -1 1077944384 159 0 0 0 55 64 0 0 20 0 19 0 224662164 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496264149424 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20442] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20442/stat : 20442 (java) S 20407 20407 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224662241 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496256340928 140497023409945 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20444] ppid=20407 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20444/stat : 20444 (java) S 20407 20407 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224662242 8261857280 31678 33554432000 4194304 4196468 140736271587376 140494218702384 140497023407261 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20445] ppid=20407 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20445/stat : 20445 (java) S 20407 20407 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224662242 8261857280 31678 33554432000 4194304 4196468 140736271587376 140494352924592 140497023407261 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20446] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20446/stat : 20446 (java) S 20407 20407 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224662244 8261857280 31678 33554432000 4194304 4196468 140736271587376 140493950279072 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
Current children cumulated CPU time: 2470.36 s
Current children cumulated vsize: 8590916 KiB
Current children cumulated memory: 464104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492 s]*
/proc/loadavg: 2.14 2.06 2.07 3/227 20653
/proc/meminfo: memFree=10089892/32770624 swapFree=67108860/67108860
[pid=20407] ppid=20404 vsize=113128 memory=1472 CPUtime=87.27 cores=1,3,5,7
/proc/20407/stat : 20407 (scop.sh) S 20404 20407 16770 0 -1 4202496 590 76079 0 0 0 0 8499 228 20 0 1 0 224656072 115843072 368 33554432000 4194304 5098028 140731583488128 140731583484872 139656955232892 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27967488 140731583493184 140731583493383 140731583493383 140731583496141 0
/proc/20407/statm: 28282 368 311 221 0 87 0
[pid=20426] ppid=20407 vsize=8068220 memory=126712 CPUtime=2.82 cores=1,3,5,7
/proc/20426/stat : 20426 (java) S 20407 20407 16770 0 -1 1077944320 18566 0 0 0 210 72 0 0 20 0 19 0 224662157 8261857280 31678 33554432000 4194304 4196468 140736271587376 140736271569920 140497023385335 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
/proc/20426/statm: 2017055 31678 3149 1 0 1978454 0
[pid=20441] ppid=20426 vsize=411032 memory=353848 CPUtime=2430.01 cores=1,3,5,7
/proc/20441/stat : 20441 (minisat_release) R 20426 20407 16770 0 -1 4202496 2915211 0 0 0 242475 526 0 0 20 0 1 0 224662241 420896768 88462 33554432000 4194304 4308513 140730532534960 140730532531704 4269613 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 34856960 140730532541556 140730532541654 140730532541654 140730532544453 0
/proc/20441/statm: 102758 88462 341 28 0 98998 0
[pid=20426/tid=20427] ppid=20407 vsize=8068220 memory=-7824251494390912358 CPUtime=0.86 cores=1,3,5,7
/proc/20426/task/20427/stat : 20427 (java) S 20407 20407 16770 0 -1 1077944384 15009 0 0 0 77 9 0 0 20 0 19 0 224662157 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496995225488 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20428] ppid=20407 vsize=8068220 memory=89966881278442 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20428/stat : 20428 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140497027627920 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20429] ppid=20407 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20429/stat : 20429 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496508803856 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20430] ppid=20407 vsize=8068220 memory=126712 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20430/stat : 20430 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496507751568 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20431] ppid=20407 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20431/stat : 20431 (java) S 20407 20407 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224662158 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496506698768 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20432] ppid=20407 vsize=8068220 memory=8804 CPUtime=0.05 cores=1,3,5,7
/proc/20426/task/20432/stat : 20432 (java) S 20407 20407 16770 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 224662160 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496268359792 140497023396482 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20433] ppid=20407 vsize=8068220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20433/stat : 20433 (java) S 20407 20407 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224662160 8261857280 31678 33554432000 4194304 4196468 140736271587376 140495896437536 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20434] ppid=20407 vsize=8068220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20434/stat : 20434 (java) S 20407 20407 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224662161 8261857280 31678 33554432000 4194304 4196468 140736271587376 140495628002416 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20435] ppid=20407 vsize=8068220 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20435/stat : 20435 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140495253493840 140497023403931 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20436] ppid=20407 vsize=8068220 memory=16228 CPUtime=0.2 cores=1,3,5,7
/proc/20426/task/20436/stat : 20436 (java) S 20407 20407 16770 0 -1 1077944384 902 0 0 0 20 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496267307632 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20437] ppid=20407 vsize=8068220 memory=33928 CPUtime=0.22 cores=1,3,5,7
/proc/20426/task/20437/stat : 20437 (java) S 20407 20407 16770 0 -1 1077944384 501 0 0 0 22 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496266254832 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20438] ppid=20407 vsize=8068220 memory=4048 CPUtime=0.22 cores=1,3,5,7
/proc/20426/task/20438/stat : 20438 (java) S 20407 20407 16770 0 -1 1077944384 580 0 0 0 22 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496265202544 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20439] ppid=20407 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20439/stat : 20439 (java) S 20407 20407 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224662163 8261857280 31678 33554432000 4194304 4196468 140736271587376 140494755589088 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20440] ppid=20407 vsize=8068220 memory=636 CPUtime=1.21 cores=1,3,5,7
/proc/20426/task/20440/stat : 20440 (java) S 20407 20407 16770 0 -1 1077944384 163 0 0 0 56 65 0 0 20 0 19 0 224662164 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496264149424 140497023396482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20442] ppid=20407 vsize=8068220 memory=960 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20442/stat : 20442 (java) S 20407 20407 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224662241 8261857280 31678 33554432000 4194304 4196468 140736271587376 140496256340928 140497023409945 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20444] ppid=20407 vsize=8068220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20444/stat : 20444 (java) S 20407 20407 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224662242 8261857280 31678 33554432000 4194304 4196468 140736271587376 140494218702384 140497023407261 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20445] ppid=20407 vsize=8068220 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20445/stat : 20445 (java) S 20407 20407 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224662242 8261857280 31678 33554432000 4194304 4196468 140736271587376 140494352924592 140497023407261 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
[pid=20426/tid=20446] ppid=20407 vsize=8068220 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20426/task/20446/stat : 20446 (java) S 20407 20407 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224662244 8261857280 31678 33554432000 4194304 4196468 140736271587376 140493950279072 140497023395541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140736271590581 140736271590705 140736271590705 140736271593423 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 8592380 KiB
Current children cumulated memory: 482032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.02 s]
# the end of solver process 20407 was just reported to runsolver
# cumulated CPU time of all completed processes: user=85.0022 s, system=2.28893 s
[startup+2492.06 s]
# the end of solver process 20426 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.86 s, system=8.3163 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): 2492.06
CPU time (s): 2520.18
CPU user time (s): 2511.86
CPU system time (s): 8.3163
CPU usage (%): 101.128
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4366268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.86
system time used= 8.3163
maximum resident set size= 4364872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3010991
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61113
involuntary context switches= 3328
# summary of solver processes directly reported to runsolver:
# pid: 20407,20426
# total CPU time (s): 2520.18
# total CPU user time (s): 2511.86
# total CPU system time (s): 8.3163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1853 second user time and 29.8286 second system time
The end