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-23085-serial-file.bin HOME/instance-4305389-1534134725.xml
0.66/0.52
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: Mon Aug 13 06:32:06 CEST 2018
0.66/0.54 c PID: 23088
0.66/0.54 c IP: 172.20.3.104
0.66/0.54 c HOST: node104.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.84/1.49 c (0,0) Parsing End
3.07/1.50 c (0,0) CSP: 616 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 196
3.07/1.50 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.07/1.50 c (0,0) Constraint Name Generate Begin
3.07/1.51 c (0,0) Ctr:HOME/instance-4305389-1534134725.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
3.07/1.51 c (0,0) Constraint Name Generate End
3.07/1.51 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.07/1.51 c (0,0) CSP to CSPinCNF Begin
30.49/18.57 c (18,17) translated 26 (10%) constraints
47.72/34.11 c (33,32) translated 51 (20%) constraints
65.58/49.81 c (49,47) translated 76 (30%) constraints
84.33/66.20 c (65,63) translated 102 (40%) constraints
101.53/81.78 c (81,78) translated 127 (50%) constraints
118.09/97.16 c (96,93) translated 152 (60%) constraints
134.84/113.10 c (112,109) translated 178 (70%) constraints
148.13/125.40 c (124,121) translated 203 (80%) constraints
148.13/125.41 c (124,121) translated 228 (90%) constraints
148.13/125.41 c (124,121) translated 253 (100%) constraints
153.98/129.95 c (129,125) STATISTICS1:HOME/instance-4305389-1534134725.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,228172,1465060,196,196,197,2,196:19110,196:115052;21:1739556;2:2500176;1:133868,197:196;196:2;5:26264;4:610540;3:220304;2:607698;1:56,2:19110;1:4450488;0:196,
153.98/129.95 c (129,125) ==========================================
153.98/129.95 c (129,125) Order
153.98/129.95 c (129,125) ==========================================
157.51/132.39 c (131,127) translated 146506 (10%) constraints
159.74/134.51 c (133,130) translated 293012 (20%) constraints
162.37/136.76 c (136,132) translated 439518 (30%) constraints
164.48/138.88 c (138,134) translated 586024 (40%) constraints
166.58/140.99 c (140,136) translated 732530 (50%) constraints
170.12/143.46 c (142,138) translated 879036 (60%) constraints
172.22/145.56 c (145,140) translated 1025542 (70%) constraints
174.43/147.74 c (147,142) translated 1172048 (80%) constraints
176.63/149.93 c (149,144) translated 1318554 (90%) constraints
180.48/152.55 c (152,147) translated 1465060 (100%) constraints
180.48/152.55 c (152,147) CSP to CSPinCNF End
180.67/152.63 c (152,147) CSP: 616 int (0 aux), 227556 bool (227556 aux), 1465116 ctr, max domain size 196
180.67/152.63 c (152,147) Heap : 2210 MiB used (max 10827 MiB), NonHeap : 30 MiB used (max 0 MiB)
180.67/152.63 c (152,147) CSPinCNF Propagation Begin
221.98/186.10 c (185,178) 47718 values, 250600 unsatisfiable literals, and 276085 valid clauses are removed
221.98/186.10 c (185,178) CSPinCNF Propagation End
222.08/186.17 c (185,178) CSP: 40654 int (40038 aux), 187518 bool (187518 aux), 1189031 ctr, max domain size 196
222.08/186.17 c (185,178) Heap : 2660 MiB used (max 10702 MiB), NonHeap : 31 MiB used (max 0 MiB)
222.08/186.17 c (185,178) Simplify CSPinCNF Begin
224.98/188.41 c (187,180) Simplify CSPinCNF End
225.08/188.50 c (187,180) CSP: 40654 int (40038 aux), 225738 bool (225738 aux), 1227251 ctr, max domain size 196
225.08/188.50 c (187,180) Heap : 3909 MiB used (max 10702 MiB), NonHeap : 32 MiB used (max 0 MiB)
225.08/188.50 c (187,180) Calculate Precise Domain Begin
225.08/188.50 c (187,180) 0 values are removed by re-calculation
225.08/188.50 c (187,180) Calculate Precise Domain End
225.08/188.58 c (188,180) CSP: 40654 int (40038 aux), 225738 bool (225738 aux), 1227251 ctr, max domain size 196
225.08/188.58 c (188,180) Heap : 3969 MiB used (max 10702 MiB), NonHeap : 32 MiB used (max 0 MiB)
225.08/188.58 c (188,180) CSPinCNF to SatSolver Begin
241.02/200.93 c (200,192) 122726 (10 %) CSP clauses are encoded (263558 SAT variables, 5000149 SAT clauses)
241.69/201.52 c (200,193) 245451 (20 %) CSP clauses are encoded (263558 SAT variables, 5122874 SAT clauses)
242.28/202.30 c (201,193) 368176 (30 %) CSP clauses are encoded (263558 SAT variables, 5245599 SAT clauses)
242.78/202.88 c (202,194) 490901 (40 %) CSP clauses are encoded (263558 SAT variables, 5368324 SAT clauses)
243.41/203.49 c (202,194) 613626 (50 %) CSP clauses are encoded (263558 SAT variables, 5491049 SAT clauses)
244.03/204.08 c (203,195) 736351 (60 %) CSP clauses are encoded (263558 SAT variables, 5613774 SAT clauses)
244.62/204.66 c (204,195) 859076 (70 %) CSP clauses are encoded (263558 SAT variables, 5736499 SAT clauses)
245.21/205.25 c (204,196) 981801 (80 %) CSP clauses are encoded (263558 SAT variables, 5859224 SAT clauses)
245.82/205.84 c (205,197) 1104526 (90 %) CSP clauses are encoded (263558 SAT variables, 5981949 SAT clauses)
246.45/206.44 c (205,197) 1227251 (100 %) CSP clauses are encoded (263558 SAT variables, 6104674 SAT clauses)
246.65/206.52 c (205,197) Launch Command will be: minisat_release
246.65/206.52 c (205,197) CSPinCNF to SatSolver End
246.65/206.52 c (205,197) Heap : 3089 MiB used (max 10881 MiB), NonHeap : 31 MiB used (max 0 MiB)
250.05/209.50 c (208,200) STATISTICS2:HOME/instance-4305389-1534134725.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,266392,1227251,196,196,196,2,196:20592;52:16080;4:1548,196:112608;52:23664;21:1502394;4:1588;2:2086502,196:145;144:1;52:48;5:19776;4:483216;3:177602;2:546463,2:38220;1:3650316,
250.05/209.50 c (208,200) 263558 bool, 6104675 clause
250.05/209.50 c (208,200) Export Begin
250.34/209.62 c (209,200) Export to HOME/scop-23085-serial-file.bin
250.34/209.62 c (209,200) Export End
250.34/209.63 c (209,200) Export File Size: 0.13 MB
250.34/209.63 c (209,200) 0,0,152,185,187,188,205,STOP-AFTER(DIMACS)
250.34/209.63 c END-Prog: Mon Aug 13 06:35:35 CEST 2018
250.34/209.68 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23085-serial-file.bin
251.05/210.17 c (0,0) Read Serial File Begin
251.05/210.17 c (0,0) HOME/scop-23085-serial-file.bin
251.32/210.39 c (0,0) Read Serial File End
251.61/210.40
251.61/210.40 scop order+minisat_release (2018-07-31)
251.61/210.41 (Solving Process)
251.61/210.41
251.61/210.43 c BEGIN-Prog: Mon Aug 13 06:35:36 CEST 2018
251.61/210.43 c PID: 23228
251.61/210.43 c IP: 172.20.3.104
251.61/210.43 c HOST: node104.alineos.net
251.61/210.43 c (0,0) SatSolver.solve Begin
251.61/210.43 c (0,0) 0 bool, 0 clause
251.61/210.43 c (0,0) minisat_release HOME/instance-4305389-1534134725.xml-scop-23088.cnf
2520.04/2477.20 c (2267,0) receiving signal SIGTERM
2520.04/2477.20 s UNKNOWN
2520.04/2477.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/2477.21 c (scop.sh) Remove HOME/scop-23085-serial-file.bin.
2520.04/2477.21 c (scop.sh) Killing background jobs.
2520.04/2477.21 c (2267,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 (6584 MiB free)
memory of node 1: 16384 MiB (9391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305389-1534134725/watcher-4305389-1534134725 -o /tmp/evaluation-result-4305389-1534134725/solver-4305389-1534134725 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534132218-22637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305389-1534134725.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
solver pid=23085, runsolver pid=23082
Current StackSize limit: 8192 KiB
[startup+0.100462 s]*
/proc/loadavg: 2.08 2.05 1.97 4/218 23102
/proc/meminfo: memFree=16293976/32770624 swapFree=67108504/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23085/stat : 23085 (scop.sh) S 23082 23085 22605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231035691 115843072 349 33554432000 4194304 5098028 140731614536352 140731614533608 140399619633788 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7303168 140731614544960 140731614545159 140731614545159 140731614547917 0
/proc/23085/statm: 28282 349 296 221 0 87 0
[pid=23088] ppid=23085 vsize=15012476 memory=73012 CPUtime=0.11 cores=1,3,5,7
/proc/23088/stat : 23088 (java) S 23085 23085 22605 0 -1 1077944320 5907 0 0 0 9 2 0 0 20 0 15 0 231035691 15372775424 18253 33554432000 4194304 4196468 140726686270928 140726686253472 140560464985847 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
/proc/23088/statm: 3753119 18253 2720 1 0 3715579 0
[pid=23088/tid=23089] ppid=23085 vsize=15012476 memory=-6601833317647732518 CPUtime=0.08 cores=1,3,5,7
/proc/23088/task/23089/stat : 23089 (java) R 23085 23085 22605 0 -1 4202560 4033 0 0 0 7 1 0 0 20 0 15 0 231035691 15372775424 18253 33554432000 4194304 4196468 140726686270928 140560436781896 140560449066334 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23090] ppid=23085 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23090/stat : 23090 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 18253 33554432000 4194304 4196468 140726686270928 140560469228688 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23091] ppid=23085 vsize=15012476 memory=140615968691840 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23091/stat : 23091 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 18253 33554432000 4194304 4196468 140726686270928 140560260312080 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23092] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23092/stat : 23092 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 18253 33554432000 4194304 4196468 140726686270928 140560259259280 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23093] ppid=23085 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23093/stat : 23093 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 18253 33554432000 4194304 4196468 140726686270928 140560258206480 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23094] ppid=23085 vsize=15012476 memory=140615968691840 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23094/stat : 23094 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035694 15372775424 18253 33554432000 4194304 4196468 140726686270928 140559804107120 140560464996994 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23095] ppid=23085 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23095/stat : 23095 (java) S 23085 23085 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231035695 15372775424 18253 33554432000 4194304 4196468 140726686270928 140559079433248 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23096] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23096/stat : 23096 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035695 15372775424 18253 33554432000 4194304 4196468 140726686270928 140558844552048 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23097] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23097/stat : 23097 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035697 15372775424 18253 33554432000 4194304 4196468 140726686270928 140558470043472 140560465004443 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23098] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23098/stat : 23098 (java) S 23085 23085 22605 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 231035697 15372775424 18253 33554432000 4194304 4196468 140726686270928 140559803054960 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23099] ppid=23085 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23099/stat : 23099 (java) S 23085 23085 22605 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 231035697 15372775424 18253 33554432000 4194304 4196468 140726686270928 140559802002160 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23100] ppid=23085 vsize=15012476 memory=140615968691840 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23100/stat : 23100 (java) R 23085 23085 22605 0 -1 4202560 250 0 0 0 0 0 0 0 20 0 15 0 231035697 15372775424 18253 33554432000 4194304 4196468 140726686270928 140559800949360 140560449178375 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23101] ppid=23085 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23101/stat : 23101 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035698 15372775424 18253 33554432000 4194304 4196468 140726686270928 140557972138720 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23102] ppid=23085 vsize=15012476 memory=140615968691840 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23102/stat : 23102 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035698 15372775424 18253 33554432000 4194304 4196468 140726686270928 140559799896752 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74408 KiB
[startup+0.210567 s]*
/proc/loadavg: 2.08 2.05 1.97 3/218 23102
/proc/meminfo: memFree=16276880/32770624 swapFree=67108504/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23085/stat : 23085 (scop.sh) S 23082 23085 22605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231035691 115843072 349 33554432000 4194304 5098028 140731614536352 140731614533608 140399619633788 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7303168 140731614544960 140731614545159 140731614545159 140731614547917 0
/proc/23085/statm: 28282 349 296 221 0 87 0
[pid=23088] ppid=23085 vsize=15012476 memory=86612 CPUtime=0.25 cores=1,3,5,7
/proc/23088/stat : 23088 (java) S 23085 23085 22605 0 -1 1077944320 9487 0 0 0 22 3 0 0 20 0 15 0 231035691 15372775424 21653 33554432000 4194304 4196468 140726686270928 140726686253472 140560464985847 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
/proc/23088/statm: 3753119 21653 2868 1 0 3715579 0
[pid=23088/tid=23089] ppid=23085 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/23088/task/23089/stat : 23089 (java) R 23085 23085 22605 0 -1 4202560 7391 0 0 0 17 2 0 0 20 0 15 0 231035691 15372775424 21653 33554432000 4194304 4196468 140726686270928 140560436810944 140559935396896 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23090] ppid=23085 vsize=15012476 memory=11619 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23090/stat : 23090 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 21653 33554432000 4194304 4196468 140726686270928 140560469228688 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23091] ppid=23085 vsize=15012476 memory=288370992120403584 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23091/stat : 23091 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 21653 33554432000 4194304 4196468 140726686270928 140560260312080 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23092] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23092/stat : 23092 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 21653 33554432000 4194304 4196468 140726686270928 140560259259280 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23093] ppid=23085 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23093/stat : 23093 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 21653 33554432000 4194304 4196468 140726686270928 140560258206480 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23094] ppid=23085 vsize=15012476 memory=140615968691840 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23094/stat : 23094 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035694 15372775424 21653 33554432000 4194304 4196468 140726686270928 140559804107120 140560464996994 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23095] ppid=23085 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23095/stat : 23095 (java) S 23085 23085 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231035695 15372775424 21653 33554432000 4194304 4196468 140726686270928 140559079433248 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23096] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23096/stat : 23096 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035695 15372775424 21653 33554432000 4194304 4196468 140726686270928 140558844552048 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23097] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23097/stat : 23097 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035697 15372775424 21653 33554432000 4194304 4196468 140726686270928 140558470043472 140560465004443 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23098] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23098/stat : 23098 (java) S 23085 23085 22605 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 231035697 15372775424 21653 33554432000 4194304 4196468 140726686270928 140559803054960 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23099] ppid=23085 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23099/stat : 23099 (java) S 23085 23085 22605 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 231035697 15372775424 21653 33554432000 4194304 4196468 140726686270928 140559802002160 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23100] ppid=23085 vsize=15012476 memory=140615968691840 CPUtime=0.03 cores=1,3,5,7
/proc/23088/task/23100/stat : 23100 (java) R 23085 23085 22605 0 -1 4202560 287 0 0 0 3 0 0 0 20 0 15 0 231035697 15372775424 21653 33554432000 4194304 4196468 140726686270928 140559800949360 140560443954175 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23101] ppid=23085 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23101/stat : 23101 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035698 15372775424 21653 33554432000 4194304 4196468 140726686270928 140557972138720 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23102] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23102/stat : 23102 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035698 15372775424 21653 33554432000 4194304 4196468 140726686270928 140559799896752 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88008 KiB
[startup+0.310678 s]*
/proc/loadavg: 2.08 2.05 1.97 3/218 23102
/proc/meminfo: memFree=16244936/32770624 swapFree=67108504/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23085/stat : 23085 (scop.sh) S 23082 23085 22605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231035691 115843072 349 33554432000 4194304 5098028 140731614536352 140731614533608 140399619633788 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7303168 140731614544960 140731614545159 140731614545159 140731614547917 0
/proc/23085/statm: 28282 349 296 221 0 87 0
[pid=23088] ppid=23085 vsize=15012476 memory=90116 CPUtime=0.42 cores=1,3,5,7
/proc/23088/stat : 23088 (java) S 23085 23085 22605 0 -1 1077944320 10026 0 0 0 39 3 0 0 20 0 15 0 231035691 15372775424 22529 33554432000 4194304 4196468 140726686270928 140726686253472 140560464985847 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
/proc/23088/statm: 3753119 22529 2968 1 0 3715579 0
[pid=23088/tid=23089] ppid=23085 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23088/task/23089/stat : 23089 (java) R 23085 23085 22605 0 -1 4202560 7764 0 0 0 27 2 0 0 20 0 15 0 231035691 15372775424 22529 33554432000 4194304 4196468 140726686270928 140560436781296 140560449066334 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23090] ppid=23085 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23090/stat : 23090 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 22529 33554432000 4194304 4196468 140726686270928 140560469228688 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23091] ppid=23085 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23091/stat : 23091 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 22529 33554432000 4194304 4196468 140726686270928 140560260312080 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23092] ppid=23085 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23092/stat : 23092 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 22529 33554432000 4194304 4196468 140726686270928 140560259259280 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23093] ppid=23085 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23093/stat : 23093 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035693 15372775424 22529 33554432000 4194304 4196468 140726686270928 140560258206480 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23094] ppid=23085 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23094/stat : 23094 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035694 15372775424 22529 33554432000 4194304 4196468 140726686270928 140559804107120 140560464996994 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23095] ppid=23085 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23095/stat : 23095 (java) S 23085 23085 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231035695 15372775424 22529 33554432000 4194304 4196468 140726686270928 140559079433248 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23096] ppid=23085 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23096/stat : 23096 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035695 15372775424 22529 33554432000 4194304 4196468 140726686270928 140558844552048 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23097] ppid=23085 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23097/stat : 23097 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035697 15372775424 22529 33554432000 4194304 4196468 140726686270928 140558470043472 140560465004443 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23098] ppid=23085 vsize=15012476 memory=4426078206164241782 CPUtime=0.02 cores=1,3,5,7
/proc/23088/task/23098/stat : 23098 (java) S 23085 23085 22605 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 231035697 15372775424 22529 33554432000 4194304 4196468 140726686270928 140559803054960 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23099] ppid=23085 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23088/task/23099/stat : 23099 (java) S 23085 23085 22605 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 231035697 15372775424 22529 33554432000 4194304 4196468 140726686270928 140559802002160 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23100] ppid=23085 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23088/task/23100/stat : 23100 (java) S 23085 23085 22605 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 15 0 231035697 15372775424 22529 33554432000 4194304 4196468 140726686270928 140559800949360 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23101] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23101/stat : 23101 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035698 15372775424 22529 33554432000 4194304 4196468 140726686270928 140557972138720 140560464996053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23102] ppid=23085 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23102/stat : 23102 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035698 15372775424 22529 33554432000 4194304 4196468 140726686270928 140559799896752 140560464996994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91512 KiB
[startup+0.7071 s]
/proc/loadavg: 2.08 2.05 1.97 2/218 23102
/proc/meminfo: memFree=16214756/32770624 swapFree=67108504/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23085/stat : 23085 (scop.sh) S 23082 23085 22605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231035691 115843072 349 33554432000 4194304 5098028 140731614536352 140731614533608 140399619633788 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7303168 140731614544960 140731614545159 140731614545159 140731614547917 0
/proc/23085/statm: 28282 349 296 221 0 87 0
[pid=23088] ppid=23085 vsize=15018748 memory=133256 CPUtime=1.05 cores=1,3,5,7
/proc/23088/stat : 23088 (java) S 23085 23085 22605 0 -1 1077944320 16933 0 0 0 100 5 0 0 20 0 15 0 231035691 15379197952 33314 33554432000 4194304 4196468 140726686270928 140726686253472 140560464985847 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
/proc/23088/statm: 3754687 33314 3136 1 0 3716091 0
[pid=23088/tid=23089] ppid=23085 vsize=15018748 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/23088/task/23089/stat : 23089 (java) R 23085 23085 22605 0 -1 4202560 14168 0 0 0 63 4 0 0 20 0 15 0 231035691 15379197952 33314 33554432000 4194304 4196468 140726686270928 140560436822640 140560449066334 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23090] ppid=23085 vsize=15018748 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23090/stat : 23090 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15379197952 33314 33554432000 4194304 4196468 140726686270928 140560469228688 140560464996053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23091] ppid=23085 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23091/stat : 23091 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15379197952 33314 33554432000 4194304 4196468 140726686270928 140560260312080 140560464996053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23092] ppid=23085 vsize=15018748 memory=62664 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23092/stat : 23092 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035693 15379197952 33314 33554432000 4194304 4196468 140726686270928 140560259259280 140560464996053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23093] ppid=23085 vsize=15018748 memory=1116 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23093/stat : 23093 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035693 15379197952 33314 33554432000 4194304 4196468 140726686270928 140560258206480 140560464996053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23094] ppid=23085 vsize=15018748 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23094/stat : 23094 (java) S 23085 23085 22605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231035694 15379197952 33314 33554432000 4194304 4196468 140726686270928 140559804107120 140560464996994 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23095] ppid=23085 vsize=15018748 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23095/stat : 23095 (java) S 23085 23085 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231035695 15379197952 33314 33554432000 4194304 4196468 140726686270928 140559079433248 140560464996053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23096] ppid=23085 vsize=15018748 memory=748 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23096/stat : 23096 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231035695 15379197952 33314 33554432000 4194304 4196468 140726686270928 140558844552048 140560464996053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23097] ppid=23085 vsize=15018748 memory=1820 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23097/stat : 23097 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035697 15379197952 33314 33554432000 4194304 4196468 140726686270928 140558470043472 140560465004443 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23098] ppid=23085 vsize=15018748 memory=4552 CPUtime=0.07 cores=1,3,5,7
/proc/23088/task/23098/stat : 23098 (java) S 23085 23085 22605 0 -1 1077944384 191 0 0 0 7 0 0 0 20 0 15 0 231035697 15379197952 33314 33554432000 4194304 4196468 140726686270928 140559803054960 140560464996994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23099] ppid=23085 vsize=15018748 memory=3732 CPUtime=0.1 cores=1,3,5,7
/proc/23088/task/23099/stat : 23099 (java) S 23085 23085 22605 0 -1 1077944384 761 0 0 0 10 0 0 0 20 0 15 0 231035697 15379197952 33314 33554432000 4194304 4196468 140726686270928 140559802002160 140560464996994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23100] ppid=23085 vsize=15018748 memory=1228 CPUtime=0.18 cores=1,3,5,7
/proc/23088/task/23100/stat : 23100 (java) S 23085 23085 22605 0 -1 1077944384 483 0 0 0 18 0 0 0 20 0 15 0 231035697 15379197952 33314 33554432000 4194304 4196468 140726686270928 140559800949360 140560464996994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23101] ppid=23085 vsize=15018748 memory=10624 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23101/stat : 23101 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231035698 15379197952 33314 33554432000 4194304 4196468 140726686270928 140557972138720 140560464996053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
[pid=23088/tid=23102] ppid=23085 vsize=15018748 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/23088/task/23102/stat : 23102 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231035698 15379197952 33314 33554432000 4194304 4196468 140726686270928 140559799896752 140560464996994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140726686274566 140726686274865 140726686274865 140726686277583 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 134652 KiB
[startup+1.50076 s]
/proc/loadavg: 2.08 2.05 1.97 7/218 23102
/proc/meminfo: memFree=16071728/32770624 swapFree=67108504/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23085/stat : 23085 (scop.sh) S 23082 23085 22605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 231035691 115843072 349 33554432000 4194304 5098028 140731614536352 140731614533608 140399619633788 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7303168 140731614544960 140731614545159 140731614545159 140731614547917 0
/proc/23085/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=23228/tid=23231] ppid=23085 vsize=8068220 memory=116624 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23231/stat : 23231 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140247124945424 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23232] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23232/stat : 23232 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246784985488 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23233] ppid=23085 vsize=8068220 memory=116624 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23233/stat : 23233 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246783932688 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23234] ppid=23085 vsize=8068220 memory=56 CPUtime=0.04 cores=1,3,5,7
/proc/23228/task/23234/stat : 23234 (java) S 23085 23085 22605 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 231056662 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246612675440 140247300418178 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23235] ppid=23085 vsize=8068220 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23235/stat : 23235 (java) S 23085 23085 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231056663 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246117246496 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23236] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23236/stat : 23236 (java) S 23085 23085 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231056663 8261857280 29156 33554432000 4194304 4196468 140734637405712 140245983024496 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23237] ppid=23085 vsize=8068220 memory=116624 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23237/stat : 23237 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140245608520016 140247300425627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23238] ppid=23085 vsize=8068220 memory=116624 CPUtime=0.16 cores=1,3,5,7
/proc/23228/task/23238/stat : 23238 (java) S 23085 23085 22605 0 -1 1077944384 990 0 0 0 16 0 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246611622256 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23239] ppid=23085 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/23228/task/23239/stat : 23239 (java) S 23085 23085 22605 0 -1 1077944384 360 0 0 0 15 0 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246610569456 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23240] ppid=23085 vsize=8068220 memory=116624 CPUtime=0.24 cores=1,3,5,7
/proc/23228/task/23240/stat : 23240 (java) S 23085 23085 22605 0 -1 1077944384 608 0 0 0 23 1 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246609516656 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23241] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23241/stat : 23241 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231056666 8261857280 29156 33554432000 4194304 4196468 140734637405712 140245110614240 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23242] ppid=23085 vsize=8068220 memory=3816 CPUtime=1.12 cores=1,3,5,7
/proc/23228/task/23242/stat : 23242 (java) S 23085 23085 22605 0 -1 1077944384 147 0 0 0 50 62 0 0 20 0 19 0 231056666 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246608465072 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23244] ppid=23085 vsize=8068220 memory=62728 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23244/stat : 23244 (java) S 23085 23085 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231056736 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246600656576 140247300431641 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23246] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23246/stat : 23246 (java) S 23085 23085 22605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231056737 8261857280 29156 33554432000 4194304 4196468 140734637405712 140244573728560 140247300428957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23247] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23247/stat : 23247 (java) S 23085 23085 22605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231056737 8261857280 29156 33554432000 4194304 4196468 140734637405712 140244707950256 140247300428957 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23248] ppid=23085 vsize=8068220 memory=116624 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23248/stat : 23248 (java) S 23085 23085 22605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231056739 8261857280 29156 33554432000 4194304 4196468 140734637405712 140244305304736 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
Current children cumulated CPU time: 2425.09 s
Current children cumulated vsize: 8974344 KiB
Current children cumulated memory: 822200 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/227 23344
/proc/meminfo: memFree=15258152/32770624 swapFree=67108504/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1472 CPUtime=250.49 cores=1,3,5,7
/proc/23085/stat : 23085 (scop.sh) S 23082 23085 22605 0 -1 4202496 592 100509 0 0 0 0 24587 462 20 0 1 0 231035691 115843072 368 33554432000 4194304 5098028 140731614536352 140731614533096 140399619633788 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7303168 140731614544960 140731614545159 140731614545159 140731614547917 0
/proc/23085/statm: 28282 368 311 221 0 87 0
[pid=23228] ppid=23085 vsize=8068220 memory=116624 CPUtime=2.59 cores=1,3,5,7
/proc/23228/stat : 23228 (java) S 23085 23085 22605 0 -1 1077944320 18602 0 0 0 188 71 0 0 20 0 19 0 231056659 8261857280 29156 33554432000 4194304 4196468 140734637405712 140734637388256 140247300407031 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
/proc/23228/statm: 2017055 29156 3142 1 0 1978454 0
[pid=23243] ppid=23228 vsize=794088 memory=711092 CPUtime=2232.04 cores=1,3,5,7
/proc/23243/stat : 23243 (minisat_release) R 23228 23085 22605 0 -1 4202496 3854552 0 0 0 222812 392 0 0 20 0 1 0 231056736 813146112 177773 33554432000 4194304 4308513 140720862464480 140720862461928 4275941 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 21921792 140720862467188 140720862467286 140720862467286 140720862470085 0
/proc/23243/statm: 198522 177773 341 28 0 194762 0
[pid=23228/tid=23229] ppid=23085 vsize=8068220 memory=116624 CPUtime=0.79 cores=1,3,5,7
/proc/23228/task/23229/stat : 23229 (java) S 23085 23085 22605 0 -1 1077944384 15063 0 0 0 73 6 0 0 20 0 19 0 231056659 8261857280 29156 33554432000 4194304 4196468 140734637405712 140247272247184 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23230] ppid=23085 vsize=8068220 memory=116624 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23230/stat : 23230 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140247304649360 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23231] ppid=23085 vsize=8068220 memory=116624 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23231/stat : 23231 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140247124945424 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23232] ppid=23085 vsize=8068220 memory=116624 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23232/stat : 23232 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246784985488 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23233] ppid=23085 vsize=8068220 memory=116624 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23233/stat : 23233 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246783932688 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23234] ppid=23085 vsize=8068220 memory=116624 CPUtime=0.05 cores=1,3,5,7
/proc/23228/task/23234/stat : 23234 (java) S 23085 23085 22605 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 231056662 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246612675440 140247300418178 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23235] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23235/stat : 23235 (java) S 23085 23085 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231056663 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246117246496 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23236] ppid=23085 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23236/stat : 23236 (java) S 23085 23085 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231056663 8261857280 29156 33554432000 4194304 4196468 140734637405712 140245983024496 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23237] ppid=23085 vsize=8068220 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23237/stat : 23237 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140245608520016 140247300425627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23238] ppid=23085 vsize=8068220 memory=1472 CPUtime=0.16 cores=1,3,5,7
/proc/23228/task/23238/stat : 23238 (java) S 23085 23085 22605 0 -1 1077944384 990 0 0 0 16 0 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246611622256 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23239] ppid=23085 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/23228/task/23239/stat : 23239 (java) S 23085 23085 22605 0 -1 1077944384 360 0 0 0 15 0 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246610569456 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23240] ppid=23085 vsize=8068220 memory=1472 CPUtime=0.24 cores=1,3,5,7
/proc/23228/task/23240/stat : 23240 (java) S 23085 23085 22605 0 -1 1077944384 608 0 0 0 23 1 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246609516656 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23241] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23241/stat : 23241 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231056666 8261857280 29156 33554432000 4194304 4196468 140734637405712 140245110614240 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23242] ppid=23085 vsize=8068220 memory=1472 CPUtime=1.16 cores=1,3,5,7
/proc/23228/task/23242/stat : 23242 (java) S 23085 23085 22605 0 -1 1077944384 151 0 0 0 52 64 0 0 20 0 19 0 231056666 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246608465072 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23244] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23244/stat : 23244 (java) S 23085 23085 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231056736 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246600656576 140247300431641 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23246] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23246/stat : 23246 (java) S 23085 23085 22605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231056737 8261857280 29156 33554432000 4194304 4196468 140734637405712 140244573728560 140247300428957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23247] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23247/stat : 23247 (java) S 23085 23085 22605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231056737 8261857280 29156 33554432000 4194304 4196468 140734637405712 140244707950256 140247300428957 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23248] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23248/stat : 23248 (java) S 23085 23085 22605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231056739 8261857280 29156 33554432000 4194304 4196468 140734637405712 140244305304736 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
Current children cumulated CPU time: 2485.12 s
Current children cumulated vsize: 8975436 KiB
Current children cumulated memory: 829188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2477.2 s]
/proc/loadavg: 2.00 2.01 1.98 3/227 23345
/proc/meminfo: memFree=15288164/32770624 swapFree=67108504/67108860
[pid=23085] ppid=23082 vsize=113128 memory=1472 CPUtime=250.49 cores=1,3,5,7
/proc/23085/stat : 23085 (scop.sh) S 23082 23085 22605 0 -1 4202496 592 100509 0 0 0 0 24587 462 20 0 1 0 231035691 115843072 368 33554432000 4194304 5098028 140731614536352 140731614533096 140399619633788 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7303168 140731614544960 140731614545159 140731614545159 140731614547917 0
/proc/23085/statm: 28282 368 311 221 0 87 0
[pid=23228] ppid=23085 vsize=8068220 memory=116624 CPUtime=2.61 cores=1,3,5,7
/proc/23228/stat : 23228 (java) S 23085 23085 22605 0 -1 1077944320 18604 0 0 0 189 72 0 0 20 0 19 0 231056659 8261857280 29156 33554432000 4194304 4196468 140734637405712 140734637388256 140247300407031 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
/proc/23228/statm: 2017055 29156 3142 1 0 1978454 0
[pid=23243] ppid=23228 vsize=795160 memory=681380 CPUtime=2266.94 cores=1,3,5,7
/proc/23243/stat : 23243 (minisat_release) R 23228 23085 22605 0 -1 4202496 3887006 0 0 0 226296 398 0 0 20 0 1 0 231056736 814243840 170345 33554432000 4194304 4308513 140720862464480 140720862461928 4262745 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 21921792 140720862467188 140720862467286 140720862467286 140720862470085 0
/proc/23243/statm: 198790 170345 341 28 0 195030 0
[pid=23228/tid=23229] ppid=23085 vsize=8068220 memory=3500 CPUtime=0.79 cores=1,3,5,7
/proc/23228/task/23229/stat : 23229 (java) S 23085 23085 22605 0 -1 1077944384 15063 0 0 0 73 6 0 0 20 0 19 0 231056659 8261857280 29156 33554432000 4194304 4196468 140734637405712 140247272247184 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23230] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23230/stat : 23230 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140247304649360 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23231] ppid=23085 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23231/stat : 23231 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140247124945424 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23232] ppid=23085 vsize=8068220 memory=3496 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23232/stat : 23232 (java) S 23085 23085 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246784985488 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23233] ppid=23085 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23233/stat : 23233 (java) S 23085 23085 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231056661 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246783932688 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23234] ppid=23085 vsize=8068220 memory=119288 CPUtime=0.05 cores=1,3,5,7
/proc/23228/task/23234/stat : 23234 (java) S 23085 23085 22605 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 231056662 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246612675440 140247300418178 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23235] ppid=23085 vsize=8068220 memory=103712 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23235/stat : 23235 (java) S 23085 23085 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231056663 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246117246496 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23236] ppid=23085 vsize=8068220 memory=116624 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23236/stat : 23236 (java) S 23085 23085 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231056663 8261857280 29156 33554432000 4194304 4196468 140734637405712 140245983024496 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23237] ppid=23085 vsize=8068220 memory=675232 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23237/stat : 23237 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140245608520016 140247300425627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23238] ppid=23085 vsize=8068220 memory=4104 CPUtime=0.16 cores=1,3,5,7
/proc/23228/task/23238/stat : 23238 (java) S 23085 23085 22605 0 -1 1077944384 990 0 0 0 16 0 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246611622256 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23239] ppid=23085 vsize=8068220 memory=1398720917958146503 CPUtime=0.15 cores=1,3,5,7
/proc/23228/task/23239/stat : 23239 (java) S 23085 23085 22605 0 -1 1077944384 360 0 0 0 15 0 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246610569456 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23240] ppid=23085 vsize=8068220 memory=4872558044660077418 CPUtime=0.24 cores=1,3,5,7
/proc/23228/task/23240/stat : 23240 (java) S 23085 23085 22605 0 -1 1077944384 608 0 0 0 23 1 0 0 20 0 19 0 231056665 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246609516656 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23241] ppid=23085 vsize=8068220 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23241/stat : 23241 (java) S 23085 23085 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231056666 8261857280 29156 33554432000 4194304 4196468 140734637405712 140245110614240 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23242] ppid=23085 vsize=8068220 memory=7532 CPUtime=1.17 cores=1,3,5,7
/proc/23228/task/23242/stat : 23242 (java) S 23085 23085 22605 0 -1 1077944384 153 0 0 0 52 65 0 0 20 0 19 0 231056666 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246608465072 140247300418178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23244] ppid=23085 vsize=8068220 memory=808 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23244/stat : 23244 (java) S 23085 23085 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231056736 8261857280 29156 33554432000 4194304 4196468 140734637405712 140246600656576 140247300431641 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23246] ppid=23085 vsize=8068220 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23246/stat : 23246 (java) S 23085 23085 22605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231056737 8261857280 29156 33554432000 4194304 4196468 140734637405712 140244573728560 140247300428957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23247] ppid=23085 vsize=8068220 memory=916 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23247/stat : 23247 (java) S 23085 23085 22605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231056737 8261857280 29156 33554432000 4194304 4196468 140734637405712 140244707950256 140247300428957 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
[pid=23228/tid=23248] ppid=23085 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/23228/task/23248/stat : 23248 (java) S 23085 23085 22605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231056739 8261857280 29156 33554432000 4194304 4196468 140734637405712 140244305304736 140247300417237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29429760 140734637413557 140734637413681 140734637413681 140734637416399 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 8976508 KiB
Current children cumulated memory: 799476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2477.21 s]
# the end of solver process 23085 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.88 s, system=4.62474 s
[startup+2477.26 s]
# the end of solver process 23228 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.75 s, system=9.38809 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): 2477.26
CPU time (s): 2520.14
CPU user time (s): 2510.75
CPU system time (s): 9.38809
CPU usage (%): 101.731
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 6733924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.75
system time used= 9.38809
maximum resident set size= 6732532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4007261
page faults= 0
swaps= 0
block input operations= 0
block output operations= 267712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61943
involuntary context switches= 2776
# summary of solver processes directly reported to runsolver:
# pid: 23085,23228
# total CPU time (s): 2520.14
# total CPU user time (s): 2510.75
# total CPU system time (s): 9.38809
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.595 second user time and 27.1519 second system time
The end