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-15347-serial-file.bin HOME/instance-4305624-1534135519.xml
0.55/0.52
0.66/0.52 scop both+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:45:19 CEST 2018
0.66/0.54 c PID: 15350
0.66/0.54 c IP: 172.20.3.132
0.66/0.54 c HOST: node132.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.90/1.42 c (0,0) Parsing End
2.90/1.43 c (0,0) CSP: 533 int (0 aux), 0 bool (0 aux), 222 ctr, max domain size 169
2.90/1.43 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.90/1.43 c (0,0) Constraint Name Generate Begin
2.90/1.44 c (0,0) Ctr:HOME/instance-4305624-1534135519.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.90/1.44 c (0,0) Constraint Name Generate End
2.90/1.44 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.90/1.44 c (0,0) CSP to CSPinCNF Begin
25.62/13.93 c (13,13) translated 23 (10%) constraints
37.87/24.75 c (24,23) translated 45 (20%) constraints
49.45/35.46 c (34,34) translated 67 (30%) constraints
61.34/46.20 c (45,44) translated 89 (40%) constraints
74.97/57.42 c (56,54) translated 111 (50%) constraints
88.44/69.00 c (68,65) translated 134 (60%) constraints
100.10/79.68 c (79,76) translated 156 (70%) constraints
108.20/87.02 c (86,83) translated 178 (80%) constraints
108.20/87.02 c (86,83) translated 200 (90%) constraints
108.20/87.02 c (86,83) translated 222 (100%) constraints
112.96/90.32 c (89,86) STATISTICS1:HOME/instance-4305624-1534135519.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,169533,1085203,169,169,170,2,169:14196,169:85514;19:1278264;2:1853761;1:106574,170:169;169:2;5:20111;4:450892;3:163085;2:450892;1:52,2:14196;1:3295773;0:169,
112.96/90.32 c (89,86) ==========================================
112.96/90.32 c (89,86) Both Encoding selects:
112.96/90.32 c (89,86) Order
112.96/90.32 c (89,86) ==========================================
116.55/92.26 c (91,88) translated 108521 (10%) constraints
118.18/93.80 c (93,89) translated 217041 (20%) constraints
119.68/95.33 c (94,91) translated 325561 (30%) constraints
121.92/97.04 c (96,92) translated 434082 (40%) constraints
123.42/98.57 c (98,94) translated 542602 (50%) constraints
124.92/100.09 c (99,96) translated 651122 (60%) constraints
126.51/101.62 c (101,97) translated 759643 (70%) constraints
128.02/103.14 c (102,99) translated 868163 (80%) constraints
131.04/105.04 c (104,100) translated 976683 (90%) constraints
132.53/106.59 c (106,102) translated 1085203 (100%) constraints
132.53/106.59 c (106,102) CSP to CSPinCNF End
132.66/106.65 c (106,102) CSP: 533 int (0 aux), 169000 bool (169000 aux), 1085255 ctr, max domain size 169
132.66/106.65 c (106,102) Heap : 2266 MiB used (max 10717 MiB), NonHeap : 30 MiB used (max 0 MiB)
132.66/106.65 c (106,102) CSPinCNF Propagation Begin
160.36/128.73 c (128,122) 37797 values, 198899 unsatisfiable literals, and 218668 valid clauses are removed
160.36/128.73 c (128,122) CSPinCNF Propagation End
160.36/128.78 c (128,122) CSP: 32346 int (31813 aux), 137187 bool (137187 aux), 866587 ctr, max domain size 169
160.36/128.78 c (128,122) Heap : 3630 MiB used (max 10393 MiB), NonHeap : 31 MiB used (max 0 MiB)
160.36/128.78 c (128,122) Simplify CSPinCNF Begin
162.66/130.36 c (129,124) Simplify CSPinCNF End
162.76/130.42 c (129,124) CSP: 32346 int (31813 aux), 165579 bool (165579 aux), 894979 ctr, max domain size 169
162.76/130.42 c (129,124) Heap : 4553 MiB used (max 10393 MiB), NonHeap : 32 MiB used (max 0 MiB)
162.76/130.42 c (129,124) Calculate Precise Domain Begin
162.76/130.43 c (129,124) 0 values are removed by re-calculation
162.76/130.43 c (129,124) Calculate Precise Domain End
162.76/130.49 c (129,124) CSP: 32346 int (31813 aux), 165579 bool (165579 aux), 894979 ctr, max domain size 169
162.76/130.49 c (129,124) Heap : 4553 MiB used (max 10393 MiB), NonHeap : 32 MiB used (max 0 MiB)
162.76/130.49 c (129,124) CSPinCNF to SatSolver Begin
174.87/138.79 c (138,131) 89498 (10 %) CSP clauses are encoded (193603 SAT variables, 3149776 SAT clauses)
175.42/139.23 c (138,132) 178996 (20 %) CSP clauses are encoded (193603 SAT variables, 3239274 SAT clauses)
175.83/139.67 c (139,132) 268494 (30 %) CSP clauses are encoded (193603 SAT variables, 3328772 SAT clauses)
176.36/140.12 c (139,133) 357992 (40 %) CSP clauses are encoded (193603 SAT variables, 3418270 SAT clauses)
176.75/140.55 c (140,133) 447490 (50 %) CSP clauses are encoded (193603 SAT variables, 3507768 SAT clauses)
177.16/140.99 c (140,134) 536988 (60 %) CSP clauses are encoded (193603 SAT variables, 3597266 SAT clauses)
177.65/141.43 c (140,134) 626486 (70 %) CSP clauses are encoded (193603 SAT variables, 3686764 SAT clauses)
178.05/141.87 c (141,134) 715984 (80 %) CSP clauses are encoded (193603 SAT variables, 3776262 SAT clauses)
178.55/142.31 c (141,135) 805482 (90 %) CSP clauses are encoded (193603 SAT variables, 3865760 SAT clauses)
178.95/142.76 c (142,135) 894979 (100 %) CSP clauses are encoded (193603 SAT variables, 3955257 SAT clauses)
178.95/142.76 c (142,135) Launch Command will be: minisat_release
178.95/142.76 c (142,135) CSPinCNF to SatSolver End
178.95/142.76 c (142,135) Heap : 4585 MiB used (max 10805 MiB), NonHeap : 33 MiB used (max 0 MiB)
181.74/144.91 c (144,137) STATISTICS2:HOME/instance-4305624-1534135519.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,197925,894979,169,169,169,2,169:14520;48:12540;4:1332,169:81554;48:18964;19:1091342;4:1372;2:1521853,169:122;121:1;48:44;5:14795;4:350101;3:129631;2:400285,2:28392;1:2658301,
181.74/144.91 c (144,137) 193603 bool, 3955258 clause
181.74/144.91 c (144,137) Export Begin
181.95/145.03 c (144,138) Export to HOME/scop-15347-serial-file.bin
181.95/145.03 c (144,138) Export End
181.95/145.04 c (144,138) Export File Size: 0.11 MB
181.95/145.04 c (144,138) 0,0,106,128,129,129,142,STOP-AFTER(DIMACS)
181.95/145.04 c END-Prog: Mon Aug 13 06:47:44 CEST 2018
181.95/145.08 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-15347-serial-file.bin
182.06/145.57 c (0,0) Read Serial File Begin
182.06/145.57 c (0,0) HOME/scop-15347-serial-file.bin
182.06/145.78 c (0,0) Read Serial File End
182.06/145.80
182.06/145.80 scop order+minisat_release (2018-07-31)
182.06/145.80 (Solving Process)
182.06/145.80
182.06/145.82 c BEGIN-Prog: Mon Aug 13 06:47:45 CEST 2018
182.06/145.82 c PID: 15367
182.06/145.82 c IP: 172.20.3.132
182.06/145.82 c HOST: node132.alineos.net
182.06/145.82 c (0,0) SatSolver.solve Begin
182.06/145.82 c (0,0) 0 bool, 0 clause
182.06/145.82 c (0,0) minisat_release HOME/instance-4305624-1534135519.xml-scop-15350.cnf
2520.08/2481.20 c (2335,0) receiving signal SIGTERM
2520.08/2481.20 s UNKNOWN
2520.08/2481.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2481.21 c (scop.sh) Remove HOME/scop-15347-serial-file.bin.
2520.08/2481.21 c (scop.sh) Killing background jobs.
2520.08/2481.21 c (2335,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 (6619 MiB free)
memory of node 1: 16384 MiB (10448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305624-1534135519/watcher-4305624-1534135519 -o /tmp/evaluation-result-4305624-1534135519/solver-4305624-1534135519 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534131563-14337 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305624-1534135519.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=15347, runsolver pid=15344
Current StackSize limit: 8192 KiB
[startup+0.101453 s]*
/proc/loadavg: 2.30 2.11 2.04 5/227 15364
/proc/meminfo: memFree=17416856/32770624 swapFree=67108860/67108860
[pid=15347] ppid=15344 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15347/stat : 15347 (scop.sh) S 15344 15347 14305 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 231115042 115843072 349 33554432000 4194304 5098028 140724527519888 140724527517144 140478180610684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17199104 140724527522881 140724527523079 140724527523079 140724527525837 0
/proc/15347/statm: 28282 349 296 221 0 87 0
[pid=15350] ppid=15347 vsize=15012476 memory=72496 CPUtime=0.11 cores=1,3,5,7
/proc/15350/stat : 15350 (java) S 15347 15347 14305 0 -1 1077944320 6243 0 0 0 9 2 0 0 20 0 15 0 231115042 15372775424 18124 33554432000 4194304 4196468 140733712133568 140733712116112 140147509812983 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
/proc/15350/statm: 3753119 18124 2767 1 0 3715579 0
[pid=15350/tid=15351] ppid=15347 vsize=15012476 memory=-6222985969016291263 CPUtime=0.09 cores=1,3,5,7
/proc/15350/task/15351/stat : 15351 (java) R 15347 15347 14305 0 -1 4202560 4474 0 0 0 7 2 0 0 20 0 15 0 231115042 15372775424 18256 33554432000 4194304 4196468 140733712133568 140147481608864 140147490088743 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15352] ppid=15347 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15352/stat : 15352 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 18256 33554432000 4194304 4196468 140733712133568 140147514055056 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15353] ppid=15347 vsize=15012476 memory=139704315049600 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15353/stat : 15353 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 18256 33554432000 4194304 4196468 140733712133568 140147334351120 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15354] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15354/stat : 15354 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 18322 33554432000 4194304 4196468 140733712133568 140146969639568 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15355] ppid=15347 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15355/stat : 15355 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 18322 33554432000 4194304 4196468 140733712133568 140146968586768 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15356] ppid=15347 vsize=15012476 memory=139704315049600 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15356/stat : 15356 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115045 15372775424 18322 33554432000 4194304 4196468 140733712133568 140146480327280 140147509824130 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15357] ppid=15347 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15357/stat : 15357 (java) S 15347 15347 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231115046 15372775424 18322 33554432000 4194304 4196468 140733712133568 140146125038880 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15358] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15358/stat : 15358 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115046 15372775424 18322 33554432000 4194304 4196468 140733712133568 140145856603760 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15359] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15359/stat : 15359 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231115048 15372775424 18322 33554432000 4194304 4196468 140733712133568 140145482095184 140147509831579 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15360] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15360/stat : 15360 (java) S 15347 15347 14305 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 18322 33554432000 4194304 4196468 140733712133568 140146479274096 140147509824130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15361] ppid=15347 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15361/stat : 15361 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 18322 33554432000 4194304 4196468 140733712133568 140146478221296 140147509824130 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15362] ppid=15347 vsize=15012476 memory=139704315049600 CPUtime=0.01 cores=1,3,5,7
/proc/15350/task/15362/stat : 15362 (java) S 15347 15347 14305 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 231115049 15372775424 18322 33554432000 4194304 4196468 140733712133568 140146477169008 140147509824130 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15363] ppid=15347 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15363/stat : 15363 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 18322 33554432000 4194304 4196468 140733712133568 140144984189408 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15364] ppid=15347 vsize=15012476 memory=139704315049600 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15364/stat : 15364 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 18388 33554432000 4194304 4196468 140733712133568 140146476116912 140147509824130 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73892 KiB
[startup+0.211074 s]*
/proc/loadavg: 2.30 2.11 2.04 5/227 15364
/proc/meminfo: memFree=17403292/32770624 swapFree=67108860/67108860
[pid=15347] ppid=15344 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15347/stat : 15347 (scop.sh) S 15344 15347 14305 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 231115042 115843072 349 33554432000 4194304 5098028 140724527519888 140724527517144 140478180610684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17199104 140724527522881 140724527523079 140724527523079 140724527525837 0
/proc/15347/statm: 28282 349 296 221 0 87 0
[pid=15350] ppid=15347 vsize=15012476 memory=85540 CPUtime=0.26 cores=1,3,5,7
/proc/15350/stat : 15350 (java) S 15347 15347 14305 0 -1 1077944320 9783 0 0 0 23 3 0 0 20 0 15 0 231115042 15372775424 21385 33554432000 4194304 4196468 140733712133568 140733712116112 140147509812983 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
/proc/15350/statm: 3753119 21385 2902 1 0 3715579 0
[pid=15350/tid=15351] ppid=15347 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/15350/task/15351/stat : 15351 (java) R 15347 15347 14305 0 -1 4202560 7684 0 0 0 17 2 0 0 20 0 15 0 231115042 15372775424 21385 33554432000 4194304 4196468 140733712133568 140147481639376 140147509824918 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15352] ppid=15347 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15352/stat : 15352 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 21385 33554432000 4194304 4196468 140733712133568 140147514055056 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15353] ppid=15347 vsize=15012476 memory=139704316330893 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15353/stat : 15353 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 21385 33554432000 4194304 4196468 140733712133568 140147334351120 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15354] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15354/stat : 15354 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 21385 33554432000 4194304 4196468 140733712133568 140146969639568 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15355] ppid=15347 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15355/stat : 15355 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 21385 33554432000 4194304 4196468 140733712133568 140146968586768 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15356] ppid=15347 vsize=15012476 memory=139704315049600 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15356/stat : 15356 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115045 15372775424 21385 33554432000 4194304 4196468 140733712133568 140146480327280 140147509824130 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15357] ppid=15347 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15357/stat : 15357 (java) S 15347 15347 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231115046 15372775424 21385 33554432000 4194304 4196468 140733712133568 140146125038880 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15358] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15358/stat : 15358 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115046 15372775424 21385 33554432000 4194304 4196468 140733712133568 140145856603760 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15359] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15359/stat : 15359 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231115048 15372775424 21385 33554432000 4194304 4196468 140733712133568 140145482095184 140147509831579 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15360] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15360/stat : 15360 (java) S 15347 15347 14305 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 21385 33554432000 4194304 4196468 140733712133568 140146479274096 140147509824130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15361] ppid=15347 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15361/stat : 15361 (java) S 15347 15347 14305 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 21385 33554432000 4194304 4196468 140733712133568 140146478221296 140147509824130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15362] ppid=15347 vsize=15012476 memory=139704315049600 CPUtime=0.03 cores=1,3,5,7
/proc/15350/task/15362/stat : 15362 (java) R 15347 15347 14305 0 -1 4202560 296 0 0 0 3 0 0 0 20 0 15 0 231115049 15372775424 21385 33554432000 4194304 4196468 140733712133568 140146477169008 140147493893470 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15363] ppid=15347 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15363/stat : 15363 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 21385 33554432000 4194304 4196468 140733712133568 140144984189408 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15364] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15364/stat : 15364 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 21385 33554432000 4194304 4196468 140733712133568 140146476116912 140147509824130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86936 KiB
[startup+0.31111 s]*
/proc/loadavg: 2.30 2.11 2.04 3/227 15364
/proc/meminfo: memFree=17399756/32770624 swapFree=67108860/67108860
[pid=15347] ppid=15344 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15347/stat : 15347 (scop.sh) S 15344 15347 14305 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 231115042 115843072 349 33554432000 4194304 5098028 140724527519888 140724527517144 140478180610684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17199104 140724527522881 140724527523079 140724527523079 140724527525837 0
/proc/15347/statm: 28282 349 296 221 0 87 0
[pid=15350] ppid=15347 vsize=15012476 memory=90016 CPUtime=0.42 cores=1,3,5,7
/proc/15350/stat : 15350 (java) S 15347 15347 14305 0 -1 1077944320 10409 0 0 0 39 3 0 0 20 0 15 0 231115042 15372775424 22504 33554432000 4194304 4196468 140733712133568 140733712116112 140147509812983 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
/proc/15350/statm: 3753119 22504 3016 1 0 3715579 0
[pid=15350/tid=15351] ppid=15347 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15350/task/15351/stat : 15351 (java) R 15347 15347 14305 0 -1 4202560 8119 0 0 0 26 3 0 0 20 0 15 0 231115042 15372775424 22504 33554432000 4194304 4196468 140733712133568 140147481607984 140147495506464 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15352] ppid=15347 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15352/stat : 15352 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 22504 33554432000 4194304 4196468 140733712133568 140147514055056 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15353] ppid=15347 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15353/stat : 15353 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 22504 33554432000 4194304 4196468 140733712133568 140147334351120 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15354] ppid=15347 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15354/stat : 15354 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 22504 33554432000 4194304 4196468 140733712133568 140146969639568 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15355] ppid=15347 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15355/stat : 15355 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115044 15372775424 22504 33554432000 4194304 4196468 140733712133568 140146968586768 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15356] ppid=15347 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15356/stat : 15356 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115045 15372775424 22504 33554432000 4194304 4196468 140733712133568 140146480327280 140147509824130 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15357] ppid=15347 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15357/stat : 15357 (java) S 15347 15347 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231115046 15372775424 22504 33554432000 4194304 4196468 140733712133568 140146125038880 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15358] ppid=15347 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15358/stat : 15358 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115046 15372775424 22504 33554432000 4194304 4196468 140733712133568 140145856603760 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15359] ppid=15347 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15359/stat : 15359 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231115048 15372775424 22504 33554432000 4194304 4196468 140733712133568 140145482095184 140147509831579 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15360] ppid=15347 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15350/task/15360/stat : 15360 (java) R 15347 15347 14305 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 231115049 15372775424 22504 33554432000 4194304 4196468 140733712133568 140146479274096 140147509824130 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15361] ppid=15347 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15350/task/15361/stat : 15361 (java) R 15347 15347 14305 0 -1 4202560 209 0 0 0 1 0 0 0 20 0 15 0 231115049 15372775424 22504 33554432000 4194304 4196468 140733712133568 140146478221296 140147494207924 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15362] ppid=15347 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15350/task/15362/stat : 15362 (java) R 15347 15347 14305 0 -1 4202560 340 0 0 0 7 0 0 0 20 0 15 0 231115049 15372775424 22504 33554432000 4194304 4196468 140733712133568 140146477169008 140147488333008 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15363] ppid=15347 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15363/stat : 15363 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 22504 33554432000 4194304 4196468 140733712133568 140144984189408 140147509823189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15364] ppid=15347 vsize=15012476 memory=4049359695133089841 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15364/stat : 15364 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115049 15372775424 22504 33554432000 4194304 4196468 140733712133568 140146476116912 140147509824130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91412 KiB
[startup+0.700854 s]
/proc/loadavg: 2.30 2.11 2.04 3/227 15364
/proc/meminfo: memFree=17373884/32770624 swapFree=67108860/67108860
[pid=15347] ppid=15344 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15347/stat : 15347 (scop.sh) S 15344 15347 14305 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 231115042 115843072 349 33554432000 4194304 5098028 140724527519888 140724527517144 140478180610684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17199104 140724527522881 140724527523079 140724527523079 140724527525837 0
/proc/15347/statm: 28282 349 296 221 0 87 0
[pid=15350] ppid=15347 vsize=15018748 memory=131072 CPUtime=1.04 cores=1,3,5,7
/proc/15350/stat : 15350 (java) S 15347 15347 14305 0 -1 1077944320 17382 0 0 0 98 6 0 0 20 0 15 0 231115042 15379197952 32768 33554432000 4194304 4196468 140733712133568 140733712116112 140147509812983 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
/proc/15350/statm: 3754687 32768 3127 1 0 3716091 0
[pid=15350/tid=15351] ppid=15347 vsize=15018748 memory=62792 CPUtime=0.66 cores=1,3,5,7
/proc/15350/task/15351/stat : 15351 (java) R 15347 15347 14305 0 -1 4202560 14627 0 0 0 62 4 0 0 20 0 15 0 231115042 15379197952 32768 33554432000 4194304 4196468 140733712133568 140147481635296 140147493893470 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15352] ppid=15347 vsize=15018748 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15352/stat : 15352 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115044 15379197952 32768 33554432000 4194304 4196468 140733712133568 140147514055056 140147509823189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15353] ppid=15347 vsize=15018748 memory=2444 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15353/stat : 15353 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115044 15379197952 32768 33554432000 4194304 4196468 140733712133568 140147334351120 140147509823189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15354] ppid=15347 vsize=15018748 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15354/stat : 15354 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115044 15379197952 32768 33554432000 4194304 4196468 140733712133568 140146969639568 140147509823189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15355] ppid=15347 vsize=15018748 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15355/stat : 15355 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231115044 15379197952 32768 33554432000 4194304 4196468 140733712133568 140146968586768 140147509823189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15356] ppid=15347 vsize=15018748 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15356/stat : 15356 (java) S 15347 15347 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231115045 15379197952 32768 33554432000 4194304 4196468 140733712133568 140146480327280 140147509824130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15357] ppid=15347 vsize=15018748 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15357/stat : 15357 (java) S 15347 15347 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231115046 15379197952 32768 33554432000 4194304 4196468 140733712133568 140146125038880 140147509823189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15358] ppid=15347 vsize=15018748 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15358/stat : 15358 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115046 15379197952 32768 33554432000 4194304 4196468 140733712133568 140145856603760 140147509823189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15359] ppid=15347 vsize=15018748 memory=752 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15359/stat : 15359 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231115048 15379197952 32768 33554432000 4194304 4196468 140733712133568 140145482095184 140147509831579 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15360] ppid=15347 vsize=15018748 memory=7304 CPUtime=0.1 cores=1,3,5,7
/proc/15350/task/15360/stat : 15360 (java) S 15347 15347 14305 0 -1 1077944384 630 0 0 0 10 0 0 0 20 0 15 0 231115049 15379197952 32768 33554432000 4194304 4196468 140733712133568 140146479274096 140147509824130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15361] ppid=15347 vsize=15018748 memory=5400 CPUtime=0.07 cores=1,3,5,7
/proc/15350/task/15361/stat : 15361 (java) S 15347 15347 14305 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 15 0 231115049 15379197952 32768 33554432000 4194304 4196468 140733712133568 140146478221296 140147509824130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15362] ppid=15347 vsize=15018748 memory=1108 CPUtime=0.17 cores=1,3,5,7
/proc/15350/task/15362/stat : 15362 (java) S 15347 15347 14305 0 -1 1077944384 491 0 0 0 17 0 0 0 20 0 15 0 231115049 15379197952 32768 33554432000 4194304 4196468 140733712133568 140146477169008 140147509824130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15363] ppid=15347 vsize=15018748 memory=10784 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15363/stat : 15363 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231115049 15379197952 32768 33554432000 4194304 4196468 140733712133568 140144984189408 140147509823189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
[pid=15350/tid=15364] ppid=15347 vsize=15018748 memory=872 CPUtime=0 cores=1,3,5,7
/proc/15350/task/15364/stat : 15364 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231115049 15379197952 32768 33554432000 4194304 4196468 140733712133568 140146476116912 140147509824130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140733712139271 140733712139569 140733712139569 140733712142287 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132468 KiB
[startup+1.50077 s]
/proc/loadavg: 2.30 2.11 2.04 5/227 15364
/proc/meminfo: memFree=17255980/32770624 swapFree=67108860/67108860
[pid=15347] ppid=15344 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15347/stat : 15347 (scop.sh) S 15344 15347 14305 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 231115042 115843072 349 33554432000 4194304 5098028 140724527519888 140724527517144 140478180610684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17199104 140724527522881 140724527523079 140724527523079 140724527525837 0
/proc/15347/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=15367/tid=15370] ppid=15347 vsize=8068220 memory=118596 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15370/stat : 15370 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571424115088 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15371] ppid=15347 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15371/stat : 15371 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571423062544 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15372] ppid=15347 vsize=8068220 memory=497488 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15372/stat : 15372 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571422010000 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15373] ppid=15347 vsize=8068220 memory=1472 CPUtime=0.05 cores=1,3,5,7
/proc/15367/task/15373/stat : 15373 (java) S 15347 15347 14305 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231129553 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571066182128 140571619715714 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15374] ppid=15347 vsize=8068220 memory=118596 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15374/stat : 15374 (java) S 15347 15347 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231129554 8261857280 29649 33554432000 4194304 4196468 140735851851984 140570521494944 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15375] ppid=15347 vsize=8068220 memory=-7824251494390585192 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15375/stat : 15375 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129554 8261857280 29649 33554432000 4194304 4196468 140735851851984 140570253059568 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15376] ppid=15347 vsize=8068220 memory=118596 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15376/stat : 15376 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140569878551248 140571619723163 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15377] ppid=15347 vsize=8068220 memory=489292 CPUtime=0.13 cores=1,3,5,7
/proc/15367/task/15377/stat : 15377 (java) S 15347 15347 14305 0 -1 1077944384 552 0 0 0 12 1 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571065128944 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15378] ppid=15347 vsize=8068220 memory=34756 CPUtime=0.15 cores=1,3,5,7
/proc/15367/task/15378/stat : 15378 (java) S 15347 15347 14305 0 -1 1077944384 727 0 0 0 14 1 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571064076400 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15379] ppid=15347 vsize=8068220 memory=122 CPUtime=0.23 cores=1,3,5,7
/proc/15367/task/15379/stat : 15379 (java) S 15347 15347 14305 0 -1 1077944384 662 0 0 0 23 0 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571063023856 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15380] ppid=15347 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15380/stat : 15380 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231129557 8261857280 29649 33554432000 4194304 4196468 140735851851984 140569380645472 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15381] ppid=15347 vsize=8068220 memory=1580 CPUtime=1.22 cores=1,3,5,7
/proc/15367/task/15381/stat : 15381 (java) S 15347 15347 14305 0 -1 1077944384 151 0 0 0 60 62 0 0 20 0 19 0 231129557 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571061971760 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15383] ppid=15347 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15383/stat : 15383 (java) S 15347 15347 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231129627 8261857280 29649 33554432000 4194304 4196468 140735851851984 140570986968640 140571619729177 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15385] ppid=15347 vsize=8068220 memory=2188 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15385/stat : 15385 (java) S 15347 15347 14305 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231129627 8261857280 29649 33554432000 4194304 4196468 140735851851984 140568843759792 140571619726493 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15386] ppid=15347 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15386/stat : 15386 (java) S 15347 15347 14305 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231129627 8261857280 29649 33554432000 4194304 4196468 140735851851984 140568977980720 140571619726493 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15387] ppid=15347 vsize=8068220 memory=279408426808048 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15387/stat : 15387 (java) S 15347 15347 14305 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231129629 8261857280 29649 33554432000 4194304 4196468 140735851851984 140568575335456 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
Current children cumulated CPU time: 2421.11 s
Current children cumulated vsize: 8839460 KiB
Current children cumulated memory: 631720 KiB
[startup+2442.3 s]
/proc/loadavg: 1.16 1.64 1.91 2/204 15538
/proc/meminfo: memFree=17076520/32770624 swapFree=67108860/67108860
[pid=15347] ppid=15344 vsize=113128 memory=1472 CPUtime=182.06 cores=1,3,5,7
/proc/15347/stat : 15347 (scop.sh) S 15344 15347 14305 0 -1 4202496 590 91870 0 0 0 0 17816 390 20 0 1 0 231115042 115843072 368 33554432000 4194304 5098028 140724527519888 140724527516632 140478180610684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17199104 140724527522881 140724527523079 140724527523079 140724527525837 0
/proc/15347/statm: 28282 368 311 221 0 87 0
[pid=15367] ppid=15347 vsize=8068220 memory=118596 CPUtime=2.65 cores=1,3,5,7
/proc/15367/stat : 15367 (java) S 15347 15347 14305 0 -1 1077944320 18504 0 0 0 193 72 0 0 20 0 19 0 231129550 8261857280 29649 33554432000 4194304 4196468 140735851851984 140735851834528 140571619704567 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
/proc/15367/statm: 2017055 29649 3160 1 0 1978454 0
[pid=15382] ppid=15367 vsize=659532 memory=513000 CPUtime=2296.45 cores=1,3,5,7
/proc/15382/stat : 15382 (minisat_release) R 15367 15347 14305 0 -1 4202496 2526784 0 0 0 229303 342 0 0 20 0 1 0 231129627 675360768 128250 33554432000 4194304 4308513 140725531814096 140725531810840 140256372171816 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 26628096 140725531821172 140725531821270 140725531821270 140725531824069 0
/proc/15382/statm: 164883 128250 341 28 0 161123 0
[pid=15367/tid=15368] ppid=15347 vsize=8068220 memory=118596 CPUtime=0.78 cores=1,3,5,7
/proc/15367/task/15368/stat : 15368 (java) S 15347 15347 14305 0 -1 1077944384 14999 0 0 0 73 5 0 0 20 0 19 0 231129550 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571591544720 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15369] ppid=15347 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15369/stat : 15369 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571623946512 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15370] ppid=15347 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15370/stat : 15370 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571424115088 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15371] ppid=15347 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15371/stat : 15371 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571423062544 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15372] ppid=15347 vsize=8068220 memory=490264 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15372/stat : 15372 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571422010000 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15373] ppid=15347 vsize=8068220 memory=4132 CPUtime=0.05 cores=1,3,5,7
/proc/15367/task/15373/stat : 15373 (java) S 15347 15347 14305 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231129553 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571066182128 140571619715714 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15374] ppid=15347 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15374/stat : 15374 (java) S 15347 15347 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231129554 8261857280 29649 33554432000 4194304 4196468 140735851851984 140570521494944 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15375] ppid=15347 vsize=8068220 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15375/stat : 15375 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129554 8261857280 29649 33554432000 4194304 4196468 140735851851984 140570253059568 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15376] ppid=15347 vsize=8068220 memory=-7824251494390585192 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15376/stat : 15376 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140569878551248 140571619723163 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15377] ppid=15347 vsize=8068220 memory=118596 CPUtime=0.13 cores=1,3,5,7
/proc/15367/task/15377/stat : 15377 (java) S 15347 15347 14305 0 -1 1077944384 552 0 0 0 12 1 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571065128944 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15378] ppid=15347 vsize=8068220 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15367/task/15378/stat : 15378 (java) S 15347 15347 14305 0 -1 1077944384 727 0 0 0 14 1 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571064076400 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15379] ppid=15347 vsize=8068220 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/15367/task/15379/stat : 15379 (java) S 15347 15347 14305 0 -1 1077944384 662 0 0 0 23 0 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571063023856 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15380] ppid=15347 vsize=8068220 memory=62852 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15380/stat : 15380 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231129557 8261857280 29649 33554432000 4194304 4196468 140735851851984 140569380645472 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15381] ppid=15347 vsize=8068220 memory=1236 CPUtime=1.27 cores=1,3,5,7
/proc/15367/task/15381/stat : 15381 (java) S 15347 15347 14305 0 -1 1077944384 155 0 0 0 63 64 0 0 20 0 19 0 231129557 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571061971760 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15383] ppid=15347 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15383/stat : 15383 (java) S 15347 15347 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231129627 8261857280 29649 33554432000 4194304 4196468 140735851851984 140570986968640 140571619729177 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15385] ppid=15347 vsize=8068220 memory=118596 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15385/stat : 15385 (java) S 15347 15347 14305 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231129627 8261857280 29649 33554432000 4194304 4196468 140735851851984 140568843759792 140571619726493 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15386] ppid=15347 vsize=8068220 memory=510928 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15386/stat : 15386 (java) S 15347 15347 14305 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231129627 8261857280 29649 33554432000 4194304 4196468 140735851851984 140568977980720 140571619726493 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15387] ppid=15347 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15387/stat : 15387 (java) S 15347 15347 14305 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231129629 8261857280 29649 33554432000 4194304 4196468 140735851851984 140568575335456 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
Current children cumulated CPU time: 2481.16 s
Current children cumulated vsize: 8840880 KiB
Current children cumulated memory: 633068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.2 s]
/proc/loadavg: 1.08 1.56 1.87 3/204 15539
/proc/meminfo: memFree=17102100/32770624 swapFree=67108860/67108860
[pid=15347] ppid=15344 vsize=113128 memory=1472 CPUtime=182.06 cores=1,3,5,7
/proc/15347/stat : 15347 (scop.sh) S 15344 15347 14305 0 -1 4202496 590 91870 0 0 0 0 17816 390 20 0 1 0 231115042 115843072 368 33554432000 4194304 5098028 140724527519888 140724527516632 140478180610684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17199104 140724527522881 140724527523079 140724527523079 140724527525837 0
/proc/15347/statm: 28282 368 311 221 0 87 0
[pid=15367] ppid=15347 vsize=8068220 memory=118596 CPUtime=2.67 cores=1,3,5,7
/proc/15367/stat : 15367 (java) S 15347 15347 14305 0 -1 1077944320 18506 0 0 0 194 73 0 0 20 0 19 0 231129550 8261857280 29649 33554432000 4194304 4196468 140735851851984 140735851834528 140571619704567 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
/proc/15367/statm: 2017055 29649 3160 1 0 1978454 0
[pid=15382] ppid=15367 vsize=528120 memory=487424 CPUtime=2335.35 cores=1,3,5,7
/proc/15382/stat : 15382 (minisat_release) R 15367 15347 14305 0 -1 4202496 2591750 0 0 0 233185 350 0 0 20 0 1 0 231129627 540794880 121856 33554432000 4194304 4308513 140725531814096 140725531810840 4262827 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 26628096 140725531821172 140725531821270 140725531821270 140725531824069 0
/proc/15382/statm: 132030 121856 341 28 0 128270 0
[pid=15367/tid=15368] ppid=15347 vsize=8068220 memory=2444 CPUtime=0.78 cores=1,3,5,7
/proc/15367/task/15368/stat : 15368 (java) S 15347 15347 14305 0 -1 1077944384 14999 0 0 0 73 5 0 0 20 0 19 0 231129550 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571591544720 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15369] ppid=15347 vsize=8068220 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15369/stat : 15369 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571623946512 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15370] ppid=15347 vsize=8068220 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15370/stat : 15370 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571424115088 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15371] ppid=15347 vsize=8068220 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15371/stat : 15371 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571423062544 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15372] ppid=15347 vsize=8068220 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15372/stat : 15372 (java) S 15347 15347 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231129552 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571422010000 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15373] ppid=15347 vsize=8068220 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/15367/task/15373/stat : 15373 (java) S 15347 15347 14305 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231129553 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571066182128 140571619715714 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15374] ppid=15347 vsize=8068220 memory=752 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15374/stat : 15374 (java) S 15347 15347 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231129554 8261857280 29649 33554432000 4194304 4196468 140735851851984 140570521494944 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15375] ppid=15347 vsize=8068220 memory=7304 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15375/stat : 15375 (java) S 15347 15347 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231129554 8261857280 29649 33554432000 4194304 4196468 140735851851984 140570253059568 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15376] ppid=15347 vsize=8068220 memory=5400 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15376/stat : 15376 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140569878551248 140571619723163 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15377] ppid=15347 vsize=8068220 memory=1108 CPUtime=0.13 cores=1,3,5,7
/proc/15367/task/15377/stat : 15377 (java) S 15347 15347 14305 0 -1 1077944384 552 0 0 0 12 1 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571065128944 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15378] ppid=15347 vsize=8068220 memory=10784 CPUtime=0.15 cores=1,3,5,7
/proc/15367/task/15378/stat : 15378 (java) S 15347 15347 14305 0 -1 1077944384 727 0 0 0 14 1 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571064076400 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15379] ppid=15347 vsize=8068220 memory=288230574492221466 CPUtime=0.23 cores=1,3,5,7
/proc/15367/task/15379/stat : 15379 (java) S 15347 15347 14305 0 -1 1077944384 662 0 0 0 23 0 0 0 20 0 19 0 231129556 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571063023856 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15380] ppid=15347 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15380/stat : 15380 (java) S 15347 15347 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231129557 8261857280 29649 33554432000 4194304 4196468 140735851851984 140569380645472 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15381] ppid=15347 vsize=8068220 memory=14133333755955770 CPUtime=1.29 cores=1,3,5,7
/proc/15367/task/15381/stat : 15381 (java) S 15347 15347 14305 0 -1 1077944384 157 0 0 0 64 65 0 0 20 0 19 0 231129557 8261857280 29649 33554432000 4194304 4196468 140735851851984 140571061971760 140571619715714 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15383] ppid=15347 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15383/stat : 15383 (java) S 15347 15347 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231129627 8261857280 29649 33554432000 4194304 4196468 140735851851984 140570986968640 140571619729177 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15385] ppid=15347 vsize=8068220 memory=3280 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15385/stat : 15385 (java) S 15347 15347 14305 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231129627 8261857280 29649 33554432000 4194304 4196468 140735851851984 140568843759792 140571619726493 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15386] ppid=15347 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15386/stat : 15386 (java) S 15347 15347 14305 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231129627 8261857280 29649 33554432000 4194304 4196468 140735851851984 140568977980720 140571619726493 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
[pid=15367/tid=15387] ppid=15347 vsize=8068220 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/15367/task/15387/stat : 15387 (java) S 15347 15347 14305 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231129629 8261857280 29649 33554432000 4194304 4196468 140735851851984 140568575335456 140571619714773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25030656 140735851852981 140735851853105 140735851853105 140735851855823 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8709468 KiB
Current children cumulated memory: 607492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.21 s]
# the end of solver process 15347 was just reported to runsolver
# cumulated CPU time of all completed processes: user=178.163 s, system=3.90844 s
[startup+2481.25 s]
# the end of solver process 15367 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.96 s, system=8.19709 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): 2481.25
CPU time (s): 2520.16
CPU user time (s): 2511.96
CPU system time (s): 8.19709
CPU usage (%): 101.568
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 6038472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.96
system time used= 8.19709
maximum resident set size= 6037564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2703256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 171840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61891
involuntary context switches= 1215
# summary of solver processes directly reported to runsolver:
# pid: 15347,15367
# total CPU time (s): 2520.16
# total CPU user time (s): 2511.96
# total CPU system time (s): 8.19709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3774 second user time and 29.5916 second system time
The end