0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-8293-serial-file.bin HOME/instance-4305687-1534130664.xml
0.54/0.51
0.54/0.52 scop both+minisat_release (2018-07-31)
0.54/0.52 (Encoding Process)
0.54/0.52
0.66/0.55 c BEGIN-Prog: Mon Aug 13 05:24:25 CEST 2018
0.66/0.55 c PID: 8299
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.23/1.22 c (0,0) Parsing End
2.23/1.23 c (0,0) CSP: 1001 int (0 aux), 0 bool (0 aux), 429 ctr, max domain size 325
2.23/1.24 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.23/1.24 c (0,0) Constraint Name Generate Begin
2.23/1.24 c (0,0) Ctr:HOME/instance-4305687-1534130664.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
2.23/1.24 c (0,0) Constraint Name Generate End
2.23/1.24 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.23/1.24 c (0,0) CSP to CSPinCNF Begin
12.17/6.26 c (5,5) translated 43 (10%) constraints
16.56/10.03 c (9,9) translated 86 (20%) constraints
19.94/13.36 c (12,12) translated 129 (30%) constraints
24.42/16.97 c (16,15) translated 172 (40%) constraints
27.74/20.29 c (19,19) translated 215 (50%) constraints
32.50/23.96 c (23,22) translated 258 (60%) constraints
35.91/27.30 c (26,25) translated 301 (70%) constraints
43.00/31.38 c (30,29) translated 344 (80%) constraints
47.57/33.67 c (33,31) translated 387 (90%) constraints
48.74/34.30 c (33,32) translated 429 (100%) constraints
55.26/37.12 c (36,34) STATISTICS1:HOME/instance-4305687-1534130664.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,132652,650196,2251799813685248,325,325,52,2251799813685248:676;562949953421312:676;4096:50;325:48516;25:8463;1:4134,325:506688;25:482430;2:972478;1:21125,325:2;26:1027;25:325;24:325;23:325;22:325;21:325;20:325;19:325;18:325;17:325;16:325;15:325;14:325;13:325;12:325;11:325;10:325;9:325;8:325;7:325;6:325;5:325;4:194675;3:147576;2:299026;1:1065,52:676;50:676;13:50;2:61113;1:1826708;0:325,
55.26/37.12 c (36,34) ==========================================
55.26/37.12 c (36,34) Both Encoding selects:
55.26/37.12 c (36,34) Order
55.26/37.12 c (36,34) ==========================================
57.26/38.17 c (37,35) translated 65020 (10%) constraints
60.00/39.52 c (38,36) translated 130040 (20%) constraints
60.94/40.43 c (39,37) translated 195059 (30%) constraints
61.84/41.34 c (40,38) translated 260079 (40%) constraints
62.74/42.25 c (41,39) translated 325098 (50%) constraints
63.65/43.16 c (42,40) translated 390118 (60%) constraints
64.55/44.07 c (43,41) translated 455138 (70%) constraints
65.45/44.98 c (44,42) translated 520157 (80%) constraints
70.11/46.96 c (46,43) translated 585177 (90%) constraints
77.51/50.80 c (50,47) translated 650196 (100%) constraints
77.51/50.80 c (50,47) CSP to CSPinCNF End
77.51/50.86 c (50,47) CSP: 8437 int (7436 aux), 149627 bool (149627 aux), 698692 ctr, max domain size 323
77.51/50.86 c (50,47) Heap : 2755 MiB used (max 10565 MiB), NonHeap : 32 MiB used (max 0 MiB)
77.51/50.86 c (50,47) CSPinCNF Propagation Begin
88.14/57.11 c (56,52) 11664 values, 49576 unsatisfiable literals, and 35138 valid clauses are removed
88.14/57.11 c (56,52) CSPinCNF Propagation End
88.14/57.18 c (56,52) CSP: 17046 int (16045 aux), 141018 bool (141018 aux), 663554 ctr, max domain size 323
88.14/57.18 c (56,52) Heap : 2156 MiB used (max 10385 MiB), NonHeap : 32 MiB used (max 0 MiB)
88.14/57.18 c (56,52) Simplify CSPinCNF Begin
93.96/60.70 c (60,55) Simplify CSPinCNF End
94.06/60.83 c (60,55) CSP: 17046 int (16045 aux), 261164 bool (261164 aux), 783700 ctr, max domain size 323
94.06/60.83 c (60,55) Heap : 1399 MiB used (max 10581 MiB), NonHeap : 32 MiB used (max 0 MiB)
94.06/60.83 c (60,55) Calculate Precise Domain Begin
94.27/60.91 c (60,55) 3601 values are removed by re-calculation
94.27/60.91 c (60,55) Calculate Precise Domain End
94.43/61.04 c (60,55) CSP: 17046 int (16045 aux), 261164 bool (261164 aux), 783700 ctr, max domain size 323
94.43/61.04 c (60,55) Heap : 1448 MiB used (max 10581 MiB), NonHeap : 33 MiB used (max 0 MiB)
94.43/61.04 c (60,55) CSPinCNF to SatSolver Begin
95.69/61.81 c (61,56) 78370 (10 %) CSP clauses are encoded (399926 SAT variables, 208915 SAT clauses)
96.02/62.19 c (61,57) 156740 (20 %) CSP clauses are encoded (399926 SAT variables, 287285 SAT clauses)
96.47/62.61 c (62,57) 235110 (30 %) CSP clauses are encoded (399926 SAT variables, 365655 SAT clauses)
96.77/62.99 c (62,57) 313480 (40 %) CSP clauses are encoded (399926 SAT variables, 444025 SAT clauses)
98.98/63.81 c (63,58) 391850 (50 %) CSP clauses are encoded (399926 SAT variables, 522395 SAT clauses)
99.30/64.18 c (63,58) 470220 (60 %) CSP clauses are encoded (399926 SAT variables, 600765 SAT clauses)
109.83/74.77 c (74,68) 548590 (70 %) CSP clauses are encoded (399926 SAT variables, 5308207 SAT clauses)
141.79/109.89 c (109,100) 626960 (80 %) CSP clauses are encoded (399926 SAT variables, 20931449 SAT clauses)
165.36/135.16 c (134,123) 705330 (90 %) CSP clauses are encoded (399926 SAT variables, 32434632 SAT clauses)
168.51/137.72 c (137,125) 783700 (100 %) CSP clauses are encoded (399926 SAT variables, 33078836 SAT clauses)
169.02/138.04 c (137,125) Launch Command will be: minisat_release
169.02/138.04 c (137,125) CSPinCNF to SatSolver End
169.02/138.04 c (137,125) Heap : 3032 MiB used (max 11059 MiB), NonHeap : 33 MiB used (max 0 MiB)
171.73/140.08 c (139,128) STATISTICS2:HOME/instance-4305687-1534130664.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,278210,783700,512,323,25,10,512:1196;323:97032;256:5980;33:276;32:152;27:552;25:4407;24:11856;21:36;20:11;18:46;16:928;15:72;12:2;10:6;9:4056;4:386;1:6864,323:604006;25:445328;24:58968;11:1104;10:68;9:1196;7:144;6:10;5:156;3:19968;2:1220780;1:13364,25:624;24:624;23:312;22:312;21:312;20:312;19:312;18:312;17:312;16:312;15:312;14:312;13:362;12:312;11:312;10:312;9:312;8:312;7:312;6:312;5:312;4:186888;3:137241;2:438633;1:13712,10:4056;9:4056;6:48;5:96;3:5443;2:120159;1:2030613,
171.73/140.08 c (139,128) 399926 bool, 33078860 clause
171.73/140.08 c (139,128) Export Begin
172.04/140.23 c (139,128) Export to HOME/scop-8293-serial-file.bin
172.04/140.23 c (139,128) Export End
172.04/140.23 c (139,128) Export File Size: 0.21 MB
172.04/140.23 c (139,128) 0,0,50,56,60,60,137,STOP-AFTER(DIMACS)
172.04/140.23 c END-Prog: Mon Aug 13 05:26:44 CEST 2018
172.04/140.28 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-8293-serial-file.bin
172.19/140.78 c (0,0) Read Serial File Begin
172.19/140.78 c (0,0) HOME/scop-8293-serial-file.bin
173.33/141.02 c (0,0) Read Serial File End
173.33/141.03
173.33/141.03 scop order+minisat_release (2018-07-31)
173.33/141.03 (Solving Process)
173.33/141.03
173.33/141.05 c BEGIN-Prog: Mon Aug 13 05:26:45 CEST 2018
173.33/141.05 c PID: 8453
173.33/141.05 c IP: 172.20.3.150
173.33/141.05 c HOST: node150.alineos.net
173.33/141.06 c (0,0) SatSolver.solve Begin
173.33/141.06 c (0,0) 0 bool, 0 clause
173.33/141.06 c (0,0) minisat_release HOME/instance-4305687-1534130664.xml-scop-8299.cnf
2520.07/2486.50 c (2345,0) receiving signal SIGTERM
2520.07/2486.50 s UNKNOWN
2520.07/2486.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2486.51 c (scop.sh) Remove HOME/scop-8293-serial-file.bin.
2520.07/2486.51 c (scop.sh) Killing background jobs.
2520.07/2486.54 c (2345,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 (5588 MiB free)
memory of node 1: 16384 MiB (9980 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305687-1534130664/watcher-4305687-1534130664 -o /tmp/evaluation-result-4305687-1534130664/solver-4305687-1534130664 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8262 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305687-1534130664.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8293, runsolver pid=8287
Current StackSize limit: 8192 KiB
[startup+0.100115 s]*
/proc/loadavg: 0.79 0.91 1.22 4/220 8327
/proc/meminfo: memFree=15821092/32770624 swapFree=67108792/67108860
[pid=8293] ppid=8287 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8293/stat : 8293 (scop.sh) S 8287 8293 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 349 33554432000 4194304 5098028 140722221659248 140722221656504 140019224666748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29609984 140722221663297 140722221663495 140722221663495 140722221666253 0
/proc/8293/statm: 28282 349 296 221 0 87 0
[pid=8299] ppid=8293 vsize=15012476 memory=73652 CPUtime=0.11 cores=0,2,4,6
/proc/8299/stat : 8299 (java) S 8293 8293 8231 0 -1 1077944320 6001 0 0 0 9 2 0 0 20 0 15 0 230629687 15372775424 18413 33554432000 4194304 4196468 140736552061712 140736552044256 140533877165815 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
/proc/8299/statm: 3753119 18413 2772 1 0 3715579 0
[pid=8299/tid=8301] ppid=8293 vsize=15012476 memory=4716008030661157272 CPUtime=0.08 cores=0,2,4,6
/proc/8299/task/8301/stat : 8301 (java) R 8293 8293 8231 0 -1 4202560 4124 0 0 0 7 1 0 0 20 0 15 0 230629687 15372775424 18413 33554432000 4194304 4196468 140736552061712 140533848977800 140533857442640 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8302] ppid=8293 vsize=15012476 memory=3472468101112157392 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8302/stat : 8302 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 18413 33554432000 4194304 4196468 140736552061712 140533881408272 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8303] ppid=8293 vsize=15012476 memory=139972217005696 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8303/stat : 8303 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 18479 33554432000 4194304 4196468 140736552061712 140533680184208 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8304] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8304/stat : 8304 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 18479 33554432000 4194304 4196468 140736552061712 140533336890384 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8306] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8306/stat : 8306 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 18479 33554432000 4194304 4196468 140736552061712 140533335837840 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8310] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8310/stat : 8310 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629690 15372775424 18479 33554432000 4194304 4196468 140736552061712 140532847306736 140533877176962 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8312] ppid=8293 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8312/stat : 8312 (java) S 8293 8293 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 18479 33554432000 4194304 4196468 140736552061712 140532470768544 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8314] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8314/stat : 8314 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 18479 33554432000 4194304 4196468 140736552061712 140532202333168 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8316] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8316/stat : 8316 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 18479 33554432000 4194304 4196468 140736552061712 140531827824848 140533877184411 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8317] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8317/stat : 8317 (java) S 8293 8293 8231 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 18479 33554432000 4194304 4196468 140736552061712 140532846254576 140533877176962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8318] ppid=8293 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8318/stat : 8318 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 18479 33554432000 4194304 4196468 140736552061712 140532845202032 140533877176962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8319] ppid=8293 vsize=15012476 memory=139972217005696 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8319/stat : 8319 (java) S 8293 8293 8231 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 18479 33554432000 4194304 4196468 140736552061712 140532844149488 140533877176962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8324] ppid=8293 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8324/stat : 8324 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 18479 33554432000 4194304 4196468 140736552061712 140531329920096 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8326] ppid=8293 vsize=15012476 memory=139972217005696 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8326/stat : 8326 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629694 15372775424 18479 33554432000 4194304 4196468 140736552061712 140532843096368 140533877176962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75048 KiB
[startup+0.210733 s]*
/proc/loadavg: 0.79 0.91 1.22 4/220 8327
/proc/meminfo: memFree=15792288/32770624 swapFree=67108792/67108860
[pid=8293] ppid=8287 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8293/stat : 8293 (scop.sh) S 8287 8293 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 349 33554432000 4194304 5098028 140722221659248 140722221656504 140019224666748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29609984 140722221663297 140722221663495 140722221663495 140722221666253 0
/proc/8293/statm: 28282 349 296 221 0 87 0
[pid=8299] ppid=8293 vsize=15012476 memory=86632 CPUtime=0.25 cores=0,2,4,6
/proc/8299/stat : 8299 (java) S 8293 8293 8231 0 -1 1077944320 9497 0 0 0 22 3 0 0 20 0 15 0 230629687 15372775424 21658 33554432000 4194304 4196468 140736552061712 140736552044256 140533877165815 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
/proc/8299/statm: 3753119 21658 2908 1 0 3715579 0
[pid=8299/tid=8301] ppid=8293 vsize=15012476 memory=4716008030661157272 CPUtime=0.19 cores=0,2,4,6
/proc/8299/task/8301/stat : 8301 (java) R 8293 8293 8231 0 -1 4202560 7402 0 0 0 17 2 0 0 20 0 15 0 230629687 15372775424 21658 33554432000 4194304 4196468 140736552061712 140533848985728 140533877177750 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8302] ppid=8293 vsize=15012476 memory=3472468101112157392 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8302/stat : 8302 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 21658 33554432000 4194304 4196468 140736552061712 140533881408272 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8303] ppid=8293 vsize=15012476 memory=139972217005696 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8303/stat : 8303 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 21658 33554432000 4194304 4196468 140736552061712 140533680184208 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8304] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8304/stat : 8304 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 21658 33554432000 4194304 4196468 140736552061712 140533336890384 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8306] ppid=8293 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8306/stat : 8306 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 21658 33554432000 4194304 4196468 140736552061712 140533335837840 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8310] ppid=8293 vsize=15012476 memory=139972217005696 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8310/stat : 8310 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629690 15372775424 21658 33554432000 4194304 4196468 140736552061712 140532847306736 140533877176962 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8312] ppid=8293 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8312/stat : 8312 (java) S 8293 8293 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 21658 33554432000 4194304 4196468 140736552061712 140532470768544 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8314] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8314/stat : 8314 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 21658 33554432000 4194304 4196468 140736552061712 140532202333168 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8316] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8316/stat : 8316 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 21658 33554432000 4194304 4196468 140736552061712 140531827824848 140533877184411 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8317] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8317/stat : 8317 (java) R 8293 8293 8231 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 21658 33554432000 4194304 4196468 140736552061712 140532846254672 140533877176021 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8318] ppid=8293 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8318/stat : 8318 (java) R 8293 8293 8231 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 21658 33554432000 4194304 4196468 140736552061712 140532845193680 140533856314504 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8319] ppid=8293 vsize=15012476 memory=139972217005696 CPUtime=0.03 cores=0,2,4,6
/proc/8299/task/8319/stat : 8319 (java) S 8293 8293 8231 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 230629693 15372775424 21658 33554432000 4194304 4196468 140736552061712 140532844149488 140533877176962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8324] ppid=8293 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8324/stat : 8324 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 21658 33554432000 4194304 4196468 140736552061712 140531329920096 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8326] ppid=8293 vsize=15012476 memory=139972217005696 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8326/stat : 8326 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629694 15372775424 21658 33554432000 4194304 4196468 140736552061712 140532843096368 140533877176962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88028 KiB
[startup+0.310743 s]*
/proc/loadavg: 0.79 0.91 1.22 4/220 8327
/proc/meminfo: memFree=15785448/32770624 swapFree=67108792/67108860
[pid=8293] ppid=8287 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8293/stat : 8293 (scop.sh) S 8287 8293 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 349 33554432000 4194304 5098028 140722221659248 140722221656504 140019224666748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29609984 140722221663297 140722221663495 140722221663495 140722221666253 0
/proc/8293/statm: 28282 349 296 221 0 87 0
[pid=8299] ppid=8293 vsize=15012476 memory=90160 CPUtime=0.43 cores=0,2,4,6
/proc/8299/stat : 8299 (java) S 8293 8293 8231 0 -1 1077944320 10025 0 0 0 39 4 0 0 20 0 15 0 230629687 15372775424 22540 33554432000 4194304 4196468 140736552061712 140736552044256 140533877165815 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
/proc/8299/statm: 3753119 22540 2988 1 0 3715579 0
[pid=8299/tid=8301] ppid=8293 vsize=15012476 memory=4716008030661157272 CPUtime=0.3 cores=0,2,4,6
/proc/8299/task/8301/stat : 8301 (java) R 8293 8293 8231 0 -1 4202560 7783 0 0 0 27 3 0 0 20 0 15 0 230629687 15372775424 22540 33554432000 4194304 4196468 140736552061712 140533848960816 140533862331383 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8302] ppid=8293 vsize=15012476 memory=3472468268444686000 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8302/stat : 8302 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 22540 33554432000 4194304 4196468 140736552061712 140533881408272 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8303] ppid=8293 vsize=15012476 memory=139972217005696 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8303/stat : 8303 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 22540 33554432000 4194304 4196468 140736552061712 140533680184208 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8304] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8304/stat : 8304 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 22540 33554432000 4194304 4196468 140736552061712 140533336890384 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8306] ppid=8293 vsize=15012476 memory=139972111902751 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8306/stat : 8306 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15372775424 22540 33554432000 4194304 4196468 140736552061712 140533335837840 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8310] ppid=8293 vsize=15012476 memory=279944223782432 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8310/stat : 8310 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629690 15372775424 22540 33554432000 4194304 4196468 140736552061712 140532847306736 140533877176962 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8312] ppid=8293 vsize=15012476 memory=139972111877391 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8312/stat : 8312 (java) S 8293 8293 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 22540 33554432000 4194304 4196468 140736552061712 140532470768544 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8314] ppid=8293 vsize=15012476 memory=279944328889984 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8314/stat : 8314 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629691 15372775424 22540 33554432000 4194304 4196468 140736552061712 140532202333168 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8316] ppid=8293 vsize=15012476 memory=139972111881999 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8316/stat : 8316 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 22540 33554432000 4194304 4196468 140736552061712 140531827824848 140533877184411 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8317] ppid=8293 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8299/task/8317/stat : 8317 (java) R 8293 8293 8231 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 230629693 15372775424 22540 33554432000 4194304 4196468 140736552061712 140532846254576 140533858344929 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8318] ppid=8293 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8299/task/8318/stat : 8318 (java) R 8293 8293 8231 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 230629693 15372775424 22540 33554432000 4194304 4196468 140736552061712 140532845202032 140533877176962 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8319] ppid=8293 vsize=15012476 memory=2072 CPUtime=0.07 cores=0,2,4,6
/proc/8299/task/8319/stat : 8319 (java) R 8293 8293 8231 0 -1 4202560 317 0 0 0 7 0 0 0 20 0 15 0 230629693 15372775424 22540 33554432000 4194304 4196468 140736552061712 140532844149488 140533869402942 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8324] ppid=8293 vsize=15012476 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8324/stat : 8324 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15372775424 22540 33554432000 4194304 4196468 140736552061712 140531329920096 140533877176021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8326] ppid=8293 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8326/stat : 8326 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629694 15372775424 22540 33554432000 4194304 4196468 140736552061712 140532843096368 140533877176962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91556 KiB
[startup+0.700789 s]
/proc/loadavg: 0.79 0.91 1.22 4/220 8327
/proc/meminfo: memFree=15736832/32770624 swapFree=67108792/67108860
[pid=8293] ppid=8287 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8293/stat : 8293 (scop.sh) S 8287 8293 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 349 33554432000 4194304 5098028 140722221659248 140722221656504 140019224666748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29609984 140722221663297 140722221663495 140722221663495 140722221666253 0
/proc/8293/statm: 28282 349 296 221 0 87 0
[pid=8299] ppid=8293 vsize=15020872 memory=127528 CPUtime=0.99 cores=0,2,4,6
/proc/8299/stat : 8299 (java) S 8293 8293 8231 0 -1 1077944320 16992 0 1 0 93 6 0 0 20 0 15 0 230629687 15381372928 31882 33554432000 4194304 4196468 140736552061712 140736552044256 140533877165815 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
/proc/8299/statm: 3755218 31882 3163 1 0 3716603 0
[pid=8299/tid=8301] ppid=8293 vsize=15020872 memory=7007712420471858773 CPUtime=0.67 cores=0,2,4,6
/proc/8299/task/8301/stat : 8301 (java) R 8293 8293 8231 0 -1 4202560 14307 0 1 0 62 5 0 0 20 0 15 0 230629687 15381372928 31882 33554432000 4194304 4196468 140736552061712 140533849002720 140533869402942 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8302] ppid=8293 vsize=15020872 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8302/stat : 8302 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15381372928 31882 33554432000 4194304 4196468 140736552061712 140533881408272 140533877176021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8303] ppid=8293 vsize=15020872 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8303/stat : 8303 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629689 15381372928 31882 33554432000 4194304 4196468 140736552061712 140533680184208 140533877176021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8304] ppid=8293 vsize=15020872 memory=-5874771483550381248 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8304/stat : 8304 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15381372928 31882 33554432000 4194304 4196468 140736552061712 140533336890384 140533877176021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8306] ppid=8293 vsize=15020872 memory=-7395679465411340910 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8306/stat : 8306 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230629689 15381372928 31882 33554432000 4194304 4196468 140736552061712 140533335837840 140533877176021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8310] ppid=8293 vsize=15020872 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8310/stat : 8310 (java) S 8293 8293 8231 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 230629690 15381372928 31882 33554432000 4194304 4196468 140736552061712 140532847306736 140533877176962 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8312] ppid=8293 vsize=15020872 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8312/stat : 8312 (java) S 8293 8293 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230629691 15381372928 31882 33554432000 4194304 4196468 140736552061712 140532470768544 140533877176021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8314] ppid=8293 vsize=15020872 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8314/stat : 8314 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629691 15381372928 31882 33554432000 4194304 4196468 140736552061712 140532202333168 140533877176021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8316] ppid=8293 vsize=15020872 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8316/stat : 8316 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15381372928 31882 33554432000 4194304 4196468 140736552061712 140531827824848 140533877184411 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8317] ppid=8293 vsize=15020872 memory=1108 CPUtime=0.08 cores=0,2,4,6
/proc/8299/task/8317/stat : 8317 (java) S 8293 8293 8231 0 -1 1077944384 606 0 0 0 8 0 0 0 20 0 15 0 230629693 15381372928 31882 33554432000 4194304 4196468 140736552061712 140532846254576 140533877176962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8318] ppid=8293 vsize=15020872 memory=15336 CPUtime=0.06 cores=0,2,4,6
/proc/8299/task/8318/stat : 8318 (java) S 8293 8293 8231 0 -1 1077944384 321 0 0 0 6 0 0 0 20 0 15 0 230629693 15381372928 31882 33554432000 4194304 4196468 140736552061712 140532845202032 140533877176962 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8319] ppid=8293 vsize=15020872 memory=15840 CPUtime=0.15 cores=0,2,4,6
/proc/8299/task/8319/stat : 8319 (java) S 8293 8293 8231 0 -1 1077944384 422 0 0 0 15 0 0 0 20 0 15 0 230629693 15381372928 31882 33554432000 4194304 4196468 140736552061712 140532844149488 140533877176962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8324] ppid=8293 vsize=15020872 memory=6153431502485415786 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8324/stat : 8324 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230629693 15381372928 31882 33554432000 4194304 4196468 140736552061712 140531329920096 140533877176021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
[pid=8299/tid=8326] ppid=8293 vsize=15020872 memory=7453282923511901780 CPUtime=0 cores=0,2,4,6
/proc/8299/task/8326/stat : 8326 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230629694 15381372928 31882 33554432000 4194304 4196468 140736552061712 140532843096368 140533877176962 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140736552068104 140736552068401 140736552068401 140736552071119 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128924 KiB
[startup+1.50077 s]
/proc/loadavg: 0.79 0.91 1.22 4/220 8327
/proc/meminfo: memFree=15677816/32770624 swapFree=67108792/67108860
[pid=8293] ppid=8287 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8293/stat : 8293 (scop.sh) S 8287 8293 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230629686 115843072 349 33554432000 4194304 5098028 140722221659248 140722221656504 140019224666748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29609984 140722221663297 140722221663495 140722221663495 140722221666253 0
/proc/8293/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8293/stat : 8293 (scop.sh) S 8287 8293 8231 0 -1 4202496 590 98254 0 1 0 0 16749 470 20 0 1 0 230629686 115843072 368 33554432000 4194304 5098028 140722221659248 140722221655992 140019224666748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29609984 140722221663297 140722221663495 140722221663495 140722221666253 0
/proc/8293/statm: 28282 368 311 221 0 87 0
[pid=8453] ppid=8293 vsize=8068220 memory=127048 CPUtime=2.76 cores=0,2,4,6
/proc/8453/stat : 8453 (java) S 8293 8293 8231 0 -1 1077944320 19094 0 0 0 207 69 0 0 20 0 19 0 230643715 8261857280 31762 33554432000 4194304 4196468 140723126895376 140723126877920 140404464193271 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
/proc/8453/statm: 2017055 31762 3163 1 0 1978454 0
[pid=8468] ppid=8453 vsize=3123752 memory=2915872 CPUtime=2345.12 cores=0,2,4,6
/proc/8468/stat : 8468 (minisat_release) R 8453 8293 8231 0 -1 4202496 13473923 0 0 0 233597 915 0 0 20 0 1 0 230643795 3198722048 728968 33554432000 4194304 4308513 140736518403728 140736518401352 4276008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 13750272 140736518411381 140736518411478 140736518411478 140736518414277 0
/proc/8468/statm: 780938 728968 342 28 0 777178 0
[pid=8453/tid=8454] ppid=8293 vsize=8068220 memory=1472 CPUtime=0.82 cores=0,2,4,6
/proc/8453/task/8454/stat : 8454 (java) S 8293 8293 8231 0 -1 1077944384 15551 0 0 0 74 8 0 0 20 0 19 0 230643715 8261857280 31762 33554432000 4194304 4196468 140723126895376 140404436033424 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8455] ppid=8293 vsize=8068220 memory=928 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8455/stat : 8455 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230643716 8261857280 31762 33554432000 4194304 4196468 140723126895376 140404468435472 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8456] ppid=8293 vsize=8068220 memory=2915872 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8456/stat : 8456 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230643716 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403949599376 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8457] ppid=8293 vsize=8068220 memory=2915872 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8457/stat : 8457 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230643716 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403948546320 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8458] ppid=8293 vsize=8068220 memory=127048 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8458/stat : 8458 (java) S 8293 8293 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230643716 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403947493776 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8459] ppid=8293 vsize=8068220 memory=1472 CPUtime=0.04 cores=0,2,4,6
/proc/8453/task/8459/stat : 8459 (java) S 8293 8293 8231 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 230643718 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403910589168 140404464204418 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8460] ppid=8293 vsize=8068220 memory=127048 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8460/stat : 8460 (java) S 8293 8293 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230643718 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403286206112 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8461] ppid=8293 vsize=8068220 memory=127048 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (java) S 8293 8293 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230643718 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403017770224 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8462] ppid=8293 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8462/stat : 8462 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230643721 8261857280 31762 33554432000 4194304 4196468 140723126895376 140402643261904 140404464211867 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8463] ppid=8293 vsize=8068220 memory=-5059952977386882957 CPUtime=0.16 cores=0,2,4,6
/proc/8453/task/8463/stat : 8463 (java) S 8293 8293 8231 0 -1 1077944384 805 0 0 0 16 0 0 0 20 0 19 0 230643721 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403909535984 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8464] ppid=8293 vsize=8068220 memory=127048 CPUtime=0.16 cores=0,2,4,6
/proc/8453/task/8464/stat : 8464 (java) S 8293 8293 8231 0 -1 1077944384 571 0 0 0 16 0 0 0 20 0 19 0 230643721 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403908483440 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8465] ppid=8293 vsize=8068220 memory=3892 CPUtime=0.24 cores=0,2,4,6
/proc/8453/task/8465/stat : 8465 (java) S 8293 8293 8231 0 -1 1077944384 609 0 0 0 23 1 0 0 20 0 19 0 230643721 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403907430384 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8466] ppid=8293 vsize=8068220 memory=62752 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8466/stat : 8466 (java) S 8293 8293 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230643721 8261857280 31762 33554432000 4194304 4196468 140723126895376 140402145356128 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8467] ppid=8293 vsize=8068220 memory=2380 CPUtime=1.28 cores=0,2,4,6
/proc/8453/task/8467/stat : 8467 (java) S 8293 8293 8231 0 -1 1077944384 157 0 0 0 67 61 0 0 20 0 19 0 230643722 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403906378800 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8469] ppid=8293 vsize=8068220 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8469/stat : 8469 (java) S 8293 8293 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230643795 8261857280 31762 33554432000 4194304 4196468 140723126895376 140403898570560 140404464217881 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8471] ppid=8293 vsize=8068220 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8471/stat : 8471 (java) S 8293 8293 8231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 230643795 8261857280 31762 33554432000 4194304 4196468 140723126895376 140401608470448 140404464215197 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8472] ppid=8293 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8472/stat : 8472 (java) S 8293 8293 8231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230643795 8261857280 31762 33554432000 4194304 4196468 140723126895376 140401340038704 140404464215197 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8473] ppid=8293 vsize=8068220 memory=127048 CPUtime=0 cores=0,2,4,6
/proc/8453/task/8473/stat : 8473 (java) S 8293 8293 8231 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 230643798 8261857280 31762 33554432000 4194304 4196468 140723126895376 140401742699808 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11305100 KiB
Current children cumulated memory: 3044392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2486.54 s]
# the end of solver process 8293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=167.501 s, system=4.7105 s
[startup+2486.75 s]
# the end of solver process 8453 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.55 s, system=14.8239 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2486.61 s]*
/proc/loadavg: 2.02 2.02 1.96 3/228 8573
/proc/meminfo: memFree=13972608/32770624 swapFree=67108792/67108860
[pid=8453] ppid=8287 vsize=8461444 memory=137288 CPUtime=2348 cores=0,2,4,6
/proc/8453/stat : 8453 (java) S 8287 8293 8231 0 -1 1077944320 19128 13473923 0 0 207 69 233597 927 20 0 21 0 230643715 8664518656 34322 33554432000 4194304 4196468 140723126895376 140723126877920 140404464193271 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
/proc/8453/statm: 2115361 34322 3163 1 0 2076760 0
[pid=8453/tid=8454] ppid=8287 vsize=8461444 memory=748 CPUtime=2346.06 cores=0,2,4,6
/proc/8453/task/8454/stat : 8454 (java) S 8287 8293 8231 0 -1 1077944384 15551 13473923 0 0 74 8 233597 927 20 0 21 0 230643715 8664518656 34322 33554432000 4194304 4196468 140723126895376 140404436033424 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8455] ppid=8287 vsize=8461444 memory=872 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8455/stat : 8455 (java) S 8287 8293 8231 0 -1 1077944384 2 13473923 0 0 0 0 233597 927 20 0 21 0 230643716 8664518656 34322 33554432000 4194304 4196468 140723126895376 140404468435472 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8456] ppid=8287 vsize=8461444 memory=1220 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8456/stat : 8456 (java) S 8287 8293 8231 0 -1 1077944384 1 13473923 0 0 0 0 233597 927 20 0 21 0 230643716 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403949599376 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8457] ppid=8287 vsize=8461444 memory=-7003737579269690708 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8457/stat : 8457 (java) S 8287 8293 8231 0 -1 1077944384 2 13473923 0 0 0 0 233597 927 20 0 21 0 230643716 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403948546320 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8458] ppid=8287 vsize=8461444 memory=1752 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8458/stat : 8458 (java) S 8287 8293 8231 0 -1 1077944384 2 13473923 0 0 0 0 233597 927 20 0 21 0 230643716 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403947493776 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8459] ppid=8287 vsize=8461444 memory=-5059952977386882957 CPUtime=2345.28 cores=0,2,4,6
/proc/8453/task/8459/stat : 8459 (java) S 8287 8293 8231 0 -1 1077944384 7 13473923 0 0 2 2 233597 927 20 0 21 0 230643718 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403910589168 140404464204418 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8460] ppid=8287 vsize=8461444 memory=127048 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8460/stat : 8460 (java) S 8287 8293 8231 0 -1 1077944384 13 13473923 0 0 0 0 233597 927 20 0 21 0 230643718 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403286206112 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8461] ppid=8287 vsize=8461444 memory=2915872 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (java) S 8287 8293 8231 0 -1 1077944384 1 13473923 0 0 0 0 233597 927 20 0 21 0 230643718 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403017770224 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8462] ppid=8287 vsize=8461444 memory=8564 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8462/stat : 8462 (java) S 8287 8293 8231 0 -1 1077944384 32 13473923 0 0 0 0 233597 927 20 0 21 0 230643721 8664518656 34322 33554432000 4194304 4196468 140723126895376 140402643261904 140404464211867 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8463] ppid=8287 vsize=8461444 memory=1800 CPUtime=2345.4 cores=0,2,4,6
/proc/8453/task/8463/stat : 8463 (java) S 8287 8293 8231 0 -1 1077944384 805 13473923 0 0 16 0 233597 927 20 0 21 0 230643721 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403909535984 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8464] ppid=8287 vsize=8461444 memory=1472 CPUtime=2345.4 cores=0,2,4,6
/proc/8453/task/8464/stat : 8464 (java) S 8287 8293 8231 0 -1 1077944384 571 13473923 0 0 16 0 233597 927 20 0 21 0 230643721 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403908483440 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8465] ppid=8287 vsize=8461444 memory=62752 CPUtime=2345.48 cores=0,2,4,6
/proc/8453/task/8465/stat : 8465 (java) S 8287 8293 8231 0 -1 1077944384 609 13473923 0 0 23 1 233597 927 20 0 21 0 230643721 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403907430384 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8466] ppid=8287 vsize=8461444 memory=1220 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8466/stat : 8466 (java) S 8287 8293 8231 0 -1 1077944384 3 13473923 0 0 0 0 233597 927 20 0 21 0 230643721 8664518656 34322 33554432000 4194304 4196468 140723126895376 140402145356128 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8467] ppid=8287 vsize=8461444 memory=2380 CPUtime=2346.52 cores=0,2,4,6
/proc/8453/task/8467/stat : 8467 (java) S 8287 8293 8231 0 -1 1077944384 157 13473923 0 0 67 61 233597 927 20 0 21 0 230643722 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403906378800 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8469] ppid=8287 vsize=8461444 memory=1752 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8469/stat : 8469 (java) D 8287 8293 8231 0 -1 4202560 21 13473923 0 0 0 0 233597 927 20 0 21 0 230643795 8664518656 34322 33554432000 4194304 4196468 140723126895376 140403898564944 140404445844708 0 4 2 25189581 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8471] ppid=8287 vsize=8461444 memory=1108 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8471/stat : 8471 (java) D 8287 8293 8231 0 -1 4202560 7 13473923 0 0 0 0 233597 927 20 0 21 0 230643795 8664518656 34322 33554432000 4194304 4196468 140723126895376 140401608482584 140404456910567 0 4 2 25189581 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8472] ppid=8287 vsize=8461444 memory=15336 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8472/stat : 8472 (java) R 8287 8293 8231 0 -1 4202560 1 13473923 0 0 0 0 233597 927 20 0 21 0 230643795 8664518656 34322 33554432000 4194304 4196468 140723126895376 140401340049672 140404456910234 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8473] ppid=8287 vsize=8461444 memory=15840 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8473/stat : 8473 (java) D 8287 8293 8231 0 -1 4202560 28 13473923 0 0 0 0 233597 927 20 0 21 0 230643798 8664518656 34322 33554432000 4194304 4196468 140723126895376 140401742683664 140404456434661 0 4 2 25189581 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8570] ppid=8287 vsize=8461444 memory=1472 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8570/stat : 8570 (java) D 8287 8293 8231 0 -1 4202560 3 13473923 0 0 0 0 233597 927 20 0 21 0 230878337 8664518656 34322 33554432000 4194304 4196468 140723126895376 140401071613000 140404456434661 0 4 2 25189581 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8573] ppid=8287 vsize=8461444 memory=1108 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8573/stat : 8573 (java) R 8287 8293 8231 0 -1 4202560 2 13473923 0 0 0 0 233597 927 20 0 21 0 230878340 8664518656 34322 33554432000 4194304 4196468 140723126895376 140400803177120 140404456878903 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
Current cumulated CPU time of completed processes: 172.211 s
Current children cumulated CPU time: 2348 s
Current children cumulated vsize: 8461444 KiB
Current children cumulated memory: 137288 KiB
[startup+2486.71 s]
/proc/loadavg: 2.02 2.02 1.96 3/228 8573
/proc/meminfo: memFree=13972608/32770624 swapFree=67108792/67108860
[pid=8453] ppid=8287 vsize=8199292 memory=135264 CPUtime=2348.11 cores=0,2,4,6
/proc/8453/stat : 8453 (java) S 8287 8293 8231 0 -1 1077944320 19139 13473923 0 0 207 80 233597 927 20 0 18 0 230643715 8396075008 33816 33554432000 4194304 4196468 140723126895376 140723126877920 140404464193271 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
/proc/8453/statm: 2049823 33816 3164 1 0 2011222 0
[pid=8453/tid=8454] ppid=8287 vsize=8199292 memory=127048 CPUtime=2346.06 cores=0,2,4,6
/proc/8453/task/8454/stat : 8454 (java) S 8287 8293 8231 0 -1 1077944384 15551 13473923 0 0 74 8 233597 927 20 0 18 0 230643715 8396075008 33816 33554432000 4194304 4196468 140723126895376 140404436033424 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8455] ppid=8287 vsize=8199292 memory=928 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8455/stat : 8455 (java) S 8287 8293 8231 0 -1 1077944384 2 13473923 0 0 0 0 233597 927 20 0 18 0 230643716 8396075008 33816 33554432000 4194304 4196468 140723126895376 140404468435472 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8456] ppid=8287 vsize=8199292 memory=1472 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8456/stat : 8456 (java) S 8287 8293 8231 0 -1 1077944384 1 13473923 0 0 0 0 233597 927 20 0 18 0 230643716 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403949599376 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8457] ppid=8287 vsize=8199292 memory=127048 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8457/stat : 8457 (java) S 8287 8293 8231 0 -1 1077944384 2 13473923 0 0 0 0 233597 927 20 0 18 0 230643716 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403948546320 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8458] ppid=8287 vsize=8199292 memory=1472 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8458/stat : 8458 (java) S 8287 8293 8231 0 -1 1077944384 2 13473923 0 0 0 0 233597 927 20 0 18 0 230643716 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403947493776 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8459] ppid=8287 vsize=8199292 memory=2915872 CPUtime=2345.28 cores=0,2,4,6
/proc/8453/task/8459/stat : 8459 (java) S 8287 8293 8231 0 -1 1077944384 7 13473923 0 0 2 2 233597 927 20 0 18 0 230643718 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403910588672 140404464204418 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8460] ppid=8287 vsize=8199292 memory=2915872 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8460/stat : 8460 (java) S 8287 8293 8231 0 -1 1077944384 13 13473923 0 0 0 0 233597 927 20 0 18 0 230643718 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403286206112 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8461] ppid=8287 vsize=8199292 memory=127048 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (java) S 8287 8293 8231 0 -1 1077944384 1 13473923 0 0 0 0 233597 927 20 0 18 0 230643718 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403017770224 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8462] ppid=8287 vsize=8199292 memory=1472 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8462/stat : 8462 (java) S 8287 8293 8231 0 -1 1077944384 32 13473923 0 0 0 0 233597 927 20 0 18 0 230643721 8396075008 33816 33554432000 4194304 4196468 140723126895376 140402643261616 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8463] ppid=8287 vsize=8199292 memory=-5059952977386882957 CPUtime=2345.4 cores=0,2,4,6
/proc/8453/task/8463/stat : 8463 (java) S 8287 8293 8231 0 -1 1077944384 805 13473923 0 0 16 0 233597 927 20 0 18 0 230643721 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403909535984 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8464] ppid=8287 vsize=8199292 memory=127048 CPUtime=2345.4 cores=0,2,4,6
/proc/8453/task/8464/stat : 8464 (java) S 8287 8293 8231 0 -1 1077944384 571 13473923 0 0 16 0 233597 927 20 0 18 0 230643721 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403908483440 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8465] ppid=8287 vsize=8199292 memory=3892 CPUtime=2345.48 cores=0,2,4,6
/proc/8453/task/8465/stat : 8465 (java) S 8287 8293 8231 0 -1 1077944384 609 13473923 0 0 23 1 233597 927 20 0 18 0 230643721 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403907430384 140404464204418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8466] ppid=8287 vsize=8199292 memory=62752 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8466/stat : 8466 (java) S 8287 8293 8231 0 -1 1077944384 3 13473923 0 0 0 0 233597 927 20 0 18 0 230643721 8396075008 33816 33554432000 4194304 4196468 140723126895376 140402145356128 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8469] ppid=8287 vsize=8199292 memory=127048 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8469/stat : 8469 (java) S 8287 8293 8231 0 -1 1077944384 22 13473923 0 0 0 0 233597 927 20 0 18 0 230643795 8396075008 33816 33554432000 4194304 4196468 140723126895376 140403898568112 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8473] ppid=8287 vsize=8199292 memory=2380 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8473/stat : 8473 (java) S 8287 8293 8231 0 -1 1077944384 32 13473923 0 0 0 0 233597 927 20 0 18 0 230643798 8396075008 33816 33554432000 4194304 4196468 140723126895376 140401742689056 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8570] ppid=8287 vsize=8199292 memory=1752 CPUtime=2345.24 cores=0,2,4,6
/proc/8453/task/8570/stat : 8570 (java) S 8287 8293 8231 0 -1 1077944384 9 13473923 0 0 0 0 233597 927 20 0 18 0 230878337 8396075008 33816 33554432000 4194304 4196468 140723126895376 140401071611600 140404464203477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
[pid=8453/tid=8573] ppid=8287 vsize=8199292 memory=1620 CPUtime=2345.33 cores=0,2,4,6
/proc/8453/task/8573/stat : 8573 (java) R 8287 8293 8231 0 -1 4202560 2 13473923 0 0 0 9 233597 927 20 0 18 0 230878340 8396075008 33816 33554432000 4194304 4196468 140723126895376 140400803177120 140404456878903 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14807040 140723126903990 140723126904113 140723126904113 140723126906831 0
Current cumulated CPU time of completed processes: 172.211 s
Current children cumulated CPU time: 2348.11 s
Current children cumulated vsize: 8199292 KiB
Current children cumulated memory: 135264 KiB
Child status: 1
Real time (s): 2486.75
CPU time (s): 2520.38
CPU user time (s): 2505.55
CPU system time (s): 14.8239
CPU usage (%): 101.352
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 5214696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.55
system time used= 14.8239
maximum resident set size= 5213640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13592409
page faults= 2
swaps= 0
block input operations= 520
block output operations= 1507336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63923
involuntary context switches= 3461
# summary of solver processes directly reported to runsolver:
# pid: 8293,8453
# total CPU time (s): 2520.38
# total CPU user time (s): 2505.55
# total CPU system time (s): 14.8239
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7495 second user time and 26.8899 second system time
The end