0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-8955-serial-file.bin HOME/instance-4388317-1568297385.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 16:09:06 CEST 2019
0.66/0.55 c PID: 8958
0.66/0.55 c IP: 172.20.3.119
0.66/0.55 c HOST: node119.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.95/1.48 c (0,0) Parsing End
3.29/1.51 c (0,0) CSP: 10000 int (0 aux), 0 bool (0 aux), 1 ctr, max domain size 100
3.29/1.81 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.29/1.81 c (0,0) Constraint Name Generate Begin
3.29/1.81 c (0,0) Ctr:HOME/instance-4388317-1568297385.xml,AllDifferentMatrix:Var
3.29/1.81 c (0,0) Constraint Name Generate End
3.29/1.81 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.29/1.81 c (0,0) CSP to CSPinCNF Begin
3.29/1.81 c (1,1) translated 1 (10%) constraints
67.10/47.12 c (46,41) ===========================================
67.92/47.79 c (47,42) Hybrid: #OE=10000, #LE=0
67.92/47.79 c (47,42) Hybrid
67.92/47.79 c (47,42) ===========================================
88.13/60.59 c (60,53) translated 101040 (10%) constraints
104.16/72.53 c (72,63) translated 202080 (20%) constraints
117.01/83.42 c (82,73) translated 303120 (30%) constraints
131.44/95.19 c (94,84) translated 404160 (40%) constraints
145.79/106.47 c (105,94) translated 505200 (50%) constraints
157.65/116.13 c (115,103) translated 606240 (60%) constraints
167.86/125.41 c (124,112) translated 707280 (70%) constraints
179.40/135.04 c (134,121) translated 808320 (80%) constraints
191.20/144.73 c (144,130) translated 909360 (90%) constraints
201.77/154.10 c (153,139) translated 1010400 (100%) constraints
201.77/154.11 c (153,139) CSP to CSPinCNF End
202.02/154.35 c (153,140) CSP: 10000 int (0 aux), 1000000 bool (1000000 aux), 5010400 ctr, max domain size 100
202.02/154.35 c (153,140) Heap : 7077 MiB used (max 10695 MiB), NonHeap : 26 MiB used (max 0 MiB)
202.02/154.35 c (153,140) CSPinCNF Propagation Begin
265.00/198.47 c (197,178) 0 values, 0 unsatisfiable literals, and 40000 valid clauses are removed
265.00/198.47 c (197,178) CSPinCNF Propagation End
265.29/198.71 c (198,178) CSP: 10000 int (0 aux), 1000000 bool (1000000 aux), 4970400 ctr, max domain size 100
265.29/198.71 c (198,178) Heap : 7940 MiB used (max 10927 MiB), NonHeap : 25 MiB used (max 0 MiB)
267.09/200.45 c (199,180) Hybrid: #OE=1010000, #LE=0
267.09/200.45 c (199,180) Simplify CSPinCNF Begin
392.22/257.46 c (256,214) Simplify CSPinCNF End
392.92/258.13 c (257,215) CSP: 10000 int (0 aux), 2980000 bool (2980000 aux), 6950400 ctr, max domain size 100
392.92/258.13 c (257,215) Heap : 7841 MiB used (max 10720 MiB), NonHeap : 26 MiB used (max 0 MiB)
392.92/258.14 c (257,215) Calculate Precise Domain Begin
392.92/258.14 c (257,215) 0 values are removed by re-calculation
392.92/258.14 c (257,215) Calculate Precise Domain End
393.63/258.81 c (258,215) CSP: 10000 int (0 aux), 2980000 bool (2980000 aux), 6950400 ctr, max domain size 100
393.63/258.81 c (258,215) Heap : 7894 MiB used (max 10720 MiB), NonHeap : 26 MiB used (max 0 MiB)
393.63/258.81 c (258,215) CSPinCNF to SatSolver Begin
582.14/382.51 c (381,314) 695040 (10 %) CSP clauses are encoded (0 SAT variables, 21277039 SAT clauses)
683.73/478.45 c (477,406) 1390080 (20 %) CSP clauses are encoded (0 SAT variables, 41574079 SAT clauses)
786.03/575.14 c (574,499) 2085120 (30 %) CSP clauses are encoded (0 SAT variables, 61871119 SAT clauses)
887.96/671.15 c (670,591) 2780160 (40 %) CSP clauses are encoded (0 SAT variables, 82168159 SAT clauses)
990.56/767.38 c (766,683) 3475200 (50 %) CSP clauses are encoded (0 SAT variables, 102465199 SAT clauses)
1092.15/862.89 c (862,775) 4170240 (60 %) CSP clauses are encoded (0 SAT variables, 122762239 SAT clauses)
1193.99/958.47 c (957,868) 4865280 (70 %) CSP clauses are encoded (0 SAT variables, 143059279 SAT clauses)
1296.10/1053.77 c (1053,960) 5560320 (80 %) CSP clauses are encoded (0 SAT variables, 163356319 SAT clauses)
1397.68/1149.45 c (1148,1052) 6255360 (90 %) CSP clauses are encoded (0 SAT variables, 183653359 SAT clauses)
1499.96/1245.61 c (1245,1144) 6950400 (100 %) CSP clauses are encoded (0 SAT variables, 203950399 SAT clauses)
1499.96/1245.61 c (1245,1144) CSPinCNF to SatSolver End
1499.96/1245.61 c (1245,1144) Heap : 8389 MiB used (max 11189 MiB), NonHeap : 28 MiB used (max 0 MiB)
1499.96/1245.61 c (1245,1144) 3970000 bool, 203950400 clause
1499.96/1245.61 c (1245,1144) Export Begin
1500.74/1246.05 c (1245,1145) Export to HOME/scop-8955-serial-file.bin
1500.74/1246.05 c (1245,1145) Export End
1500.74/1246.05 c (1245,1145) Export File Size: 1.64 MB
1500.74/1246.05 c (1245,1145) 0,0,153,198,257,258,1245,STOP-AFTER(DIMACS)
1500.74/1246.05 c END-Prog: Thu Sep 12 16:29:51 CEST 2019
0.00/1246.11 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8955-serial-file.bin
1501.38/1246.58 c (0,0) Read Serial File Begin
1501.38/1246.58 c (0,0) HOME/scop-8955-serial-file.bin
1502.44/1247.14 c (0,0) Read Serial File End
1502.44/1247.15
1502.44/1247.15 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
1502.44/1247.15 (Solving Process)
1502.44/1247.15
1502.44/1247.17 c BEGIN-Prog: Thu Sep 12 16:29:53 CEST 2019
1502.44/1247.17 c PID: 9384
1502.44/1247.17 c IP: 172.20.3.119
1502.44/1247.17 c HOST: node119.alineos.net
1502.44/1247.18 c (0,0) SatSolver.solve Begin
1502.44/1247.18 c (0,0) HOME/cryptominisat5 HOME/instance-4388317-1568297385.xml-scop-8958.cnf
1502.66/1247.21 c (0,0) c Outputting solution to console
1502.66/1247.21 c (0,0) c CryptoMiniSat version 5.6.8
1502.66/1247.21 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
1502.66/1247.21 c (0,0) c CMS SHA revision GIT-notfound
1502.66/1247.21 c (0,0) c CMS is MIT licensed
1502.66/1247.21 c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS = -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES = -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND = | ZLIB_FOUND = TRUE | VALGRIND_FOUND = | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS = | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
1502.66/1247.21 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
1502.66/1247.21 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388317-1568297385.xml-scop-8958.cnf
1502.66/1247.21 c (0,0) c Reading file 'HOME/instance-4388317-1568297385.xml-scop-8958.cnf'
1502.66/1247.21 c (0,0) c -- header says num vars: 3970000
1502.66/1247.21 c (0,0) c -- header says num clauses: 203950400
1527.21/1271.60 c (25,0) receiving signal SIGTERM
1527.21/1271.60 s UNKNOWN
1527.21/1271.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
1527.21/1271.61 c (scop.sh) Remove HOME/scop-8955-serial-file.bin.
1527.21/1271.61 c (scop.sh) Killing background jobs.
1527.21/1271.61 c (25,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 (3671 MiB free)
memory of node 1: 16384 MiB (12057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388317-1568297385/watcher-4388317-1568297385 -o /tmp/evaluation-result-4388317-1568297385/solver-4388317-1568297385 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388317-1568297385.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=8955, runsolver pid=8952
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.27 2.10 2.12 3/234 8972
/proc/meminfo: memFree=16046860/32770624 swapFree=66939824/67108860
[pid=8955] ppid=8952 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8955/stat : 8955 (scop.sh) S 8952 8955 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405653400 115843072 349 33554432000 4194304 5098028 140728115866288 140728115863544 139622866649724 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17219584 140728115868515 140728115868784 140728115868784 140728115871693 0
/proc/8955/statm: 28282 349 296 221 0 87 0
[pid=8958] ppid=8955 vsize=15012696 memory=72640 CPUtime=0.11 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8955 8955 3344 0 -1 1077944320 6391 0 0 0 9 2 0 0 20 0 15 0 405653401 15373000704 18160 33554432000 4194304 4196468 140736181361792 140736181344336 139862229282551 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
/proc/8958/statm: 3753174 18160 2926 1 0 3715579 0
[pid=8958/tid=8959] ppid=8955 vsize=15012696 memory=-7828588039587137883 CPUtime=0.09 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8955 8955 3344 0 -1 4202560 4264 0 0 0 7 2 0 0 20 0 15 0 405653401 15373000704 18226 33554432000 4194304 4196468 140736181361792 139862201076456 139862213363038 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8960] ppid=8955 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 18226 33554432000 4194304 4196468 140736181361792 139862233524624 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8961] ppid=8955 vsize=15012696 memory=140502580340352 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 18226 33554432000 4194304 4196468 140736181361792 139861689858320 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8962] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 18226 33554432000 4194304 4196468 140736181361792 139861688806032 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8963] ppid=8955 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 18226 33554432000 4194304 4196468 140736181361792 139861687753232 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8964] ppid=8955 vsize=15012696 memory=140502580340352 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653404 15373000704 18226 33554432000 4194304 4196468 140736181361792 139861568719472 139862229293698 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8965] ppid=8955 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8955 8955 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405653405 15373000704 18226 33554432000 4194304 4196468 140736181361792 139860811703584 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8966] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653405 15373000704 18226 33554432000 4194304 4196468 140736181361792 139860576822896 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8967] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 18226 33554432000 4194304 4196468 140736181361792 139860202314320 139862229301147 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8968] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8955 8955 3344 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 18226 33554432000 4194304 4196468 140736181361792 139861567666288 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8969] ppid=8955 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 18226 33554432000 4194304 4196468 140736181361792 139861566613488 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8970] ppid=8955 vsize=15012696 memory=140502580340352 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) R 8955 8955 3344 0 -1 4202560 423 0 0 0 1 0 0 0 20 0 15 0 405653407 15373000704 18226 33554432000 4194304 4196468 140736181361792 139861565558072 139862221519678 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8971] ppid=8955 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 18226 33554432000 4194304 4196468 140736181361792 139859704408544 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8972] ppid=8955 vsize=15012696 memory=140502580340352 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653408 15373000704 18226 33554432000 4194304 4196468 140736181361792 139861564509104 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74036 KiB
[startup+0.210808 s]*
/proc/loadavg: 2.27 2.10 2.12 3/234 8972
/proc/meminfo: memFree=16027980/32770624 swapFree=66939824/67108860
[pid=8955] ppid=8952 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8955/stat : 8955 (scop.sh) S 8952 8955 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405653400 115843072 349 33554432000 4194304 5098028 140728115866288 140728115863544 139622866649724 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17219584 140728115868515 140728115868784 140728115868784 140728115871693 0
/proc/8955/statm: 28282 349 296 221 0 87 0
[pid=8958] ppid=8955 vsize=15012696 memory=88048 CPUtime=0.25 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8955 8955 3344 0 -1 1077944320 11583 0 0 0 21 4 0 0 20 0 15 0 405653401 15373000704 22012 33554432000 4194304 4196468 140736181361792 140736181344336 139862229282551 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
/proc/8958/statm: 3753174 22012 2931 1 0 3715579 0
[pid=8958/tid=8959] ppid=8955 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8955 8955 3344 0 -1 4202560 9341 0 0 0 17 3 0 0 20 0 15 0 405653401 15373000704 22012 33554432000 4194304 4196468 140736181361792 139862201100320 139862229294486 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8960] ppid=8955 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 22012 33554432000 4194304 4196468 140736181361792 139862233524624 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8961] ppid=8955 vsize=15012696 memory=140502580349567 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 22012 33554432000 4194304 4196468 140736181361792 139861689858320 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8962] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 22012 33554432000 4194304 4196468 140736181361792 139861688806032 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8963] ppid=8955 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 22012 33554432000 4194304 4196468 140736181361792 139861687753232 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8964] ppid=8955 vsize=15012696 memory=140502580340352 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653404 15373000704 22012 33554432000 4194304 4196468 140736181361792 139861568719472 139862229293698 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8965] ppid=8955 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8955 8955 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405653405 15373000704 22012 33554432000 4194304 4196468 140736181361792 139860811703584 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8966] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653405 15373000704 22012 33554432000 4194304 4196468 140736181361792 139860576822896 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8967] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 22012 33554432000 4194304 4196468 140736181361792 139860202314320 139862229301147 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8968] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8955 8955 3344 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 22012 33554432000 4194304 4196468 140736181361792 139861567666288 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8969] ppid=8955 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8955 8955 3344 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 22012 33554432000 4194304 4196468 140736181361792 139861566613488 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8970] ppid=8955 vsize=15012696 memory=140502580340352 CPUtime=0.02 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) R 8955 8955 3344 0 -1 4202560 442 0 0 0 2 0 0 0 20 0 15 0 405653407 15373000704 22012 33554432000 4194304 4196468 140736181361792 139861565561200 139862229294486 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8971] ppid=8955 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 22012 33554432000 4194304 4196468 140736181361792 139859704408544 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8972] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653408 15373000704 22012 33554432000 4194304 4196468 140736181361792 139861564509104 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89444 KiB
[startup+0.311297 s]*
/proc/loadavg: 2.27 2.10 2.12 3/234 8972
/proc/meminfo: memFree=16025304/32770624 swapFree=66939824/67108860
[pid=8955] ppid=8952 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8955/stat : 8955 (scop.sh) S 8952 8955 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405653400 115843072 349 33554432000 4194304 5098028 140728115866288 140728115863544 139622866649724 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17219584 140728115868515 140728115868784 140728115868784 140728115871693 0
/proc/8955/statm: 28282 349 296 221 0 87 0
[pid=8958] ppid=8955 vsize=15012696 memory=92340 CPUtime=0.43 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8955 8955 3344 0 -1 1077944320 12085 0 0 0 39 4 0 0 20 0 15 0 405653401 15373000704 23085 33554432000 4194304 4196468 140736181361792 140736181344336 139862229282551 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
/proc/8958/statm: 3753174 23085 3076 1 0 3715579 0
[pid=8958/tid=8959] ppid=8955 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8955 8955 3344 0 -1 4202560 9633 0 0 0 27 3 0 0 20 0 15 0 405653401 15373000704 23085 33554432000 4194304 4196468 140736181361792 139862201112624 139862210846107 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8960] ppid=8955 vsize=15012696 memory=288292155783643526 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 23085 33554432000 4194304 4196468 140736181361792 139862233524624 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8961] ppid=8955 vsize=15012696 memory=15538535469948779 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 23085 33554432000 4194304 4196468 140736181361792 139861689858320 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8962] ppid=8955 vsize=15012696 memory=281004946520432 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 23085 33554432000 4194304 4196468 140736181361792 139861688806032 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8963] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653403 15373000704 23085 33554432000 4194304 4196468 140736181361792 139861687753232 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8964] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653404 15373000704 23085 33554432000 4194304 4196468 140736181361792 139861568719472 139862229293698 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8965] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8955 8955 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405653405 15373000704 23085 33554432000 4194304 4196468 140736181361792 139860811703584 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8966] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653405 15373000704 23085 33554432000 4194304 4196468 140736181361792 139860576822896 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8967] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 23085 33554432000 4194304 4196468 140736181361792 139860202314320 139862229301147 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8968] ppid=8955 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8955 8955 3344 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 405653407 15373000704 23085 33554432000 4194304 4196468 140736181361792 139861567666288 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8969] ppid=8955 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8955 8955 3344 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 405653407 15373000704 23085 33554432000 4194304 4196468 140736181361792 139861566613488 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8970] ppid=8955 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) S 8955 8955 3344 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 15 0 405653407 15373000704 23085 33554432000 4194304 4196468 140736181361792 139861565561200 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8971] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15373000704 23085 33554432000 4194304 4196468 140736181361792 139859704408544 139862229292757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8972] ppid=8955 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653408 15373000704 23085 33554432000 4194304 4196468 140736181361792 139861564509104 139862229293698 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93736 KiB
[startup+0.700733 s]
/proc/loadavg: 2.27 2.10 2.12 3/234 8972
/proc/meminfo: memFree=16003352/32770624 swapFree=66939824/67108860
[pid=8955] ppid=8952 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8955/stat : 8955 (scop.sh) S 8952 8955 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405653400 115843072 349 33554432000 4194304 5098028 140728115866288 140728115863544 139622866649724 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17219584 140728115868515 140728115868784 140728115868784 140728115871693 0
/proc/8955/statm: 28282 349 296 221 0 87 0
[pid=8958] ppid=8955 vsize=15021092 memory=130384 CPUtime=1.02 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8955 8955 3344 0 -1 1077944320 19991 0 0 0 96 6 0 0 20 0 15 0 405653401 15381598208 32596 33554432000 4194304 4196468 140736181361792 140736181344336 139862229282551 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
/proc/8958/statm: 3755273 32596 3208 1 0 3716603 0
[pid=8958/tid=8959] ppid=8955 vsize=15021092 memory=1787914355969 CPUtime=0.67 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8955 8955 3344 0 -1 4202560 17028 0 0 0 62 5 0 0 20 0 15 0 405653401 15381598208 32596 33554432000 4194304 4196468 140736181361792 139862201120024 139861734666358 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8960] ppid=8955 vsize=15021092 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653403 15381598208 32596 33554432000 4194304 4196468 140736181361792 139862233524624 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8961] ppid=8955 vsize=15021092 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653403 15381598208 32596 33554432000 4194304 4196468 140736181361792 139861689858320 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8962] ppid=8955 vsize=15021092 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653403 15381598208 32596 33554432000 4194304 4196468 140736181361792 139861688806032 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8963] ppid=8955 vsize=15021092 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653403 15381598208 32596 33554432000 4194304 4196468 140736181361792 139861687753232 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8964] ppid=8955 vsize=15021092 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8955 8955 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405653404 15381598208 32596 33554432000 4194304 4196468 140736181361792 139861568719472 139862229293698 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8965] ppid=8955 vsize=15021092 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8955 8955 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405653405 15381598208 32596 33554432000 4194304 4196468 140736181361792 139860811703584 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8966] ppid=8955 vsize=15021092 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653405 15381598208 32596 33554432000 4194304 4196468 140736181361792 139860576822896 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8967] ppid=8955 vsize=15021092 memory=668 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15381598208 32596 33554432000 4194304 4196468 140736181361792 139860202314320 139862229301147 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8968] ppid=8955 vsize=15021092 memory=1232 CPUtime=0.09 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) R 8955 8955 3344 0 -1 4202560 705 0 0 0 9 0 0 0 20 0 15 0 405653407 15381598208 32596 33554432000 4194304 4196468 140736181361792 139861567652880 139862210806156 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8969] ppid=8955 vsize=15021092 memory=1064 CPUtime=0.08 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) R 8955 8955 3344 0 -1 4202560 331 0 0 0 8 0 0 0 20 0 15 0 405653407 15381598208 32596 33554432000 4194304 4196468 140736181361792 139861566603872 139862208529167 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8970] ppid=8955 vsize=15021092 memory=14008 CPUtime=0.15 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) R 8955 8955 3344 0 -1 4202560 593 0 0 0 15 0 0 0 20 0 15 0 405653407 15381598208 32596 33554432000 4194304 4196468 140736181361792 139861565561200 139862222379308 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8971] ppid=8955 vsize=15021092 memory=20680 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15381598208 32596 33554432000 4194304 4196468 140736181361792 139859704408544 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8972] ppid=8955 vsize=15021092 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653408 15381598208 32596 33554432000 4194304 4196468 140736181361792 139861564509104 139862229293698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131780 KiB
[startup+1.50491 s]
/proc/loadavg: 2.27 2.10 2.12 6/234 8972
/proc/meminfo: memFree=15969764/32770624 swapFree=66939824/67108860
[pid=8955] ppid=8952 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8955/stat : 8955 (scop.sh) S 8952 8955 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405653400 115843072 349 33554432000 4194304 5098028 140728115866288 140728115863544 139622866649724 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17219584 140728115868515 140728115868784 140728115868784 140728115871693 0
/proc/8955/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8958/task/8959/stat : 8959 (java) R 8955 8955 3344 0 -1 4202560 65850 0 0 0 107681 803 0 0 20 0 15 0 405653401 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139862201122400 139862229304381 0 4 2 25189581 0 0 0 -1 1 0 0 1210 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8960] ppid=8955 vsize=15027304 memory=4872558044660077418 CPUtime=83.62 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8955 8955 3344 0 -1 1077944384 37986 0 0 0 8153 209 0 0 20 0 15 0 405653403 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139862233524624 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8961] ppid=8955 vsize=15027304 memory=122264 CPUtime=83.95 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8955 8955 3344 0 -1 1077944384 25143 0 0 0 8176 219 0 0 20 0 15 0 405653403 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139861689858320 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8962] ppid=8955 vsize=15027304 memory=87784 CPUtime=83.72 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8955 8955 3344 0 -1 1077944384 50809 0 0 0 8146 226 0 0 20 0 15 0 405653403 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139861688806032 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8963] ppid=8955 vsize=15027304 memory=1620 CPUtime=83.88 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8955 8955 3344 0 -1 1077944384 37709 0 0 0 8163 225 0 0 20 0 15 0 405653403 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139861687753232 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8964] ppid=8955 vsize=15027304 memory=520 CPUtime=0.89 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8955 8955 3344 0 -1 1077944384 16674 0 0 0 85 4 0 0 20 0 15 0 405653404 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139861568719472 139862229293698 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8965] ppid=8955 vsize=15027304 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8955 8955 3344 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 405653405 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139860811703648 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8966] ppid=8955 vsize=15027304 memory=924 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8955 8955 3344 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 405653405 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139860576822912 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8967] ppid=8955 vsize=15027304 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139860202314320 139862229301147 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8968] ppid=8955 vsize=15027304 memory=1396 CPUtime=5.16 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8955 8955 3344 0 -1 1077944384 18018 0 0 0 514 2 0 0 20 0 15 0 405653407 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139861567666288 139862229293698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8969] ppid=8955 vsize=15027304 memory=11772468 CPUtime=4.74 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8955 8955 3344 0 -1 1077944384 19255 0 0 0 472 2 0 0 20 0 15 0 405653407 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139861566613488 139862229293698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8970] ppid=8955 vsize=15027304 memory=4164 CPUtime=1.21 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) S 8955 8955 3344 0 -1 1077944384 10846 0 0 0 117 4 0 0 20 0 15 0 405653407 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139861565561200 139862229293698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8971] ppid=8955 vsize=15027304 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139859704408544 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8972] ppid=8955 vsize=15027304 memory=1608 CPUtime=0.72 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8955 8955 3344 0 -1 1077944384 702 0 0 0 34 38 0 0 20 0 15 0 405653408 15387959296 2943117 33554432000 4194304 4196468 140736181361792 139861564509104 139862229293698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
Current children cumulated CPU time: 1432.82 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 11773864 KiB
[startup+1242.3 s]*
/proc/loadavg: 2.01 2.10 2.12 3/234 9381
/proc/meminfo: memFree=3955832/32770624 swapFree=66939824/67108860
[pid=8955] ppid=8952 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8955/stat : 8955 (scop.sh) S 8952 8955 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405653400 115843072 349 33554432000 4194304 5098028 140728115866288 140728115863544 139622866649724 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17219584 140728115868515 140728115868784 140728115868784 140728115871693 0
/proc/8955/statm: 28282 349 296 221 0 87 0
[pid=8958] ppid=8955 vsize=15027304 memory=11838004 CPUtime=1496.32 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8955 8955 3344 0 -1 1077944320 294869 0 0 0 147850 1782 0 0 20 0 15 0 405653401 15387959296 2959501 33554432000 4194304 4196468 140736181361792 140736181344336 139862229282551 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
/proc/8958/statm: 3756826 2959501 3322 1 0 3717627 0
[pid=8958/tid=8959] ppid=8955 vsize=15027304 memory=8317482817917895235 CPUtime=1142.12 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8955 8955 3344 0 -1 4202560 68015 0 0 0 113362 850 0 0 20 0 15 0 405653401 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139862201122400 139861733384875 0 4 2 25189581 0 0 0 -1 3 0 0 1325 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8960] ppid=8955 vsize=15027304 memory=4872558044660077418 CPUtime=85.16 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8955 8955 3344 0 -1 1077944384 40792 0 0 0 8305 211 0 0 20 0 15 0 405653403 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139862233524624 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8961] ppid=8955 vsize=15027304 memory=11838004 CPUtime=85.49 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8955 8955 3344 0 -1 1077944384 26252 0 0 0 8328 221 0 0 20 0 15 0 405653403 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139861689858320 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8962] ppid=8955 vsize=15027304 memory=14008 CPUtime=85.26 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8955 8955 3344 0 -1 1077944384 53348 0 0 0 8298 228 0 0 20 0 15 0 405653403 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139861688806032 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8963] ppid=8955 vsize=15027304 memory=20692 CPUtime=85.42 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8955 8955 3344 0 -1 1077944384 39285 0 0 0 8315 227 0 0 20 0 15 0 405653403 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139861687753232 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8964] ppid=8955 vsize=15027304 memory=14056 CPUtime=0.9 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8955 8955 3344 0 -1 1077944384 16971 0 0 0 86 4 0 0 20 0 15 0 405653404 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139861568719472 139862229293698 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8965] ppid=8955 vsize=15027304 memory=924 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8955 8955 3344 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 405653405 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139860811703648 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8966] ppid=8955 vsize=15027304 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8955 8955 3344 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 405653405 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139860576822912 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8967] ppid=8955 vsize=15027304 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139860202314320 139862229301147 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8968] ppid=8955 vsize=15027304 memory=1440 CPUtime=5.16 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8955 8955 3344 0 -1 1077944384 18021 0 0 0 514 2 0 0 20 0 15 0 405653407 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139861567666288 139862229293698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8969] ppid=8955 vsize=15027304 memory=804 CPUtime=4.74 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8955 8955 3344 0 -1 1077944384 19257 0 0 0 472 2 0 0 20 0 15 0 405653407 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139861566613488 139862229293698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8970] ppid=8955 vsize=15027304 memory=2580 CPUtime=1.21 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) S 8955 8955 3344 0 -1 1077944384 10849 0 0 0 117 4 0 0 20 0 15 0 405653407 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139861565561200 139862229293698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8971] ppid=8955 vsize=15027304 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653407 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139859704408544 139862229292757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
[pid=8958/tid=8972] ppid=8955 vsize=15027304 memory=1396 CPUtime=0.76 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8955 8955 3344 0 -1 1077944384 737 0 0 0 36 40 0 0 20 0 15 0 405653408 15387959296 2959501 33554432000 4194304 4196468 140736181361792 139861564509104 139862229293698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140736181367594 140736181367962 140736181367962 140736181370831 0
Current children cumulated CPU time: 1496.32 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 11839400 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1271.6 s]
/proc/loadavg: 1.95 2.08 2.11 3/240 9412
/proc/meminfo: memFree=9165320/32770624 swapFree=66939824/67108860
[pid=8955] ppid=8952 vsize=113128 memory=1476 CPUtime=1500.88 cores=1,3,5,7
/proc/8955/stat : 8955 (scop.sh) S 8952 8955 3344 0 -1 4202496 583 304253 0 0 0 0 148276 1812 20 0 1 0 405653400 115843072 369 33554432000 4194304 5098028 140728115866288 140728115863032 139622866649724 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17219584 140728115868515 140728115868784 140728115868784 140728115871693 0
/proc/8955/statm: 28282 369 311 221 0 87 0
[pid=9384] ppid=8955 vsize=8068440 memory=148228 CPUtime=1.94 cores=1,3,5,7
/proc/9384/stat : 9384 (java) S 8955 8955 3344 0 -1 1077944320 20017 0 0 0 168 26 0 0 20 0 19 0 405778012 8262082560 37057 33554432000 4194304 4196468 140723227455360 140723227437904 140656211984119 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
/proc/9384/statm: 2017110 37057 3214 1 0 1978454 0
[pid=9399] ppid=9384 vsize=7824500 memory=6737752 CPUtime=24.39 cores=1,3,5,7
/proc/9399/stat : 9399 (cryptominisat5) R 9384 8955 3344 0 -1 4202496 770872 0 0 0 2242 197 0 0 20 0 1 0 405778121 8012288000 1684438 33554432000 4194304 4451008 140730522218224 140730522214312 140077936541996 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 14196736 140730522219453 140730522219584 140730522219584 140730522222534 0
/proc/9399/statm: 1956125 1684438 614 63 0 1949852 0
[pid=9384/tid=9385] ppid=8955 vsize=8068440 memory=1476 CPUtime=1.1 cores=1,3,5,7
/proc/9384/task/9385/stat : 9385 (java) S 8955 8955 3344 0 -1 1077944384 16508 0 0 0 88 22 0 0 20 0 19 0 405778013 8262082560 37057 33554432000 4194304 4196468 140723227455360 140656183824288 140656211994325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9386] ppid=8955 vsize=8068440 memory=148228 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9386/stat : 9386 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405778014 8262082560 37057 33554432000 4194304 4196468 140723227455360 140656216226960 140656211994325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9387] ppid=8955 vsize=8068440 memory=148228 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9387/stat : 9387 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405778014 8262082560 37057 33554432000 4194304 4196468 140723227455360 140656021990416 140656211994325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9388] ppid=8955 vsize=8068440 memory=148228 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9388/stat : 9388 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405778014 8262082560 37057 33554432000 4194304 4196468 140723227455360 140656020937616 140656211994325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9389] ppid=8955 vsize=8068440 memory=148228 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9389/stat : 9389 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405778014 8262082560 37057 33554432000 4194304 4196468 140723227455360 140656019884816 140656211994325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9390] ppid=8955 vsize=8068440 memory=148228 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9390/stat : 9390 (java) S 8955 8955 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405778015 8262082560 37057 33554432000 4194304 4196468 140723227455360 140655255677296 140656211995266 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9391] ppid=8955 vsize=8068440 memory=148228 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9391/stat : 9391 (java) S 8955 8955 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405778016 8262082560 37057 33554432000 4194304 4196468 140723227455360 140655145772064 140656211994325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9392] ppid=8955 vsize=8068440 memory=148228 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9392/stat : 9392 (java) S 8955 8955 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405778016 8262082560 37057 33554432000 4194304 4196468 140723227455360 140654877336432 140656211994325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9393] ppid=8955 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9393/stat : 9393 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405778019 8262082560 37057 33554432000 4194304 4196468 140723227455360 140654502827856 140656212002715 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9394] ppid=8955 vsize=8068440 memory=6304788 CPUtime=0.27 cores=1,3,5,7
/proc/9384/task/9394/stat : 9394 (java) S 8955 8955 3344 0 -1 1077944384 768 0 0 0 27 0 0 0 20 0 19 0 405778019 8262082560 37057 33554432000 4194304 4196468 140723227455360 140655254625136 140656211995266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9395] ppid=8955 vsize=8068440 memory=1476 CPUtime=0.28 cores=1,3,5,7
/proc/9384/task/9395/stat : 9395 (java) S 8955 8955 3344 0 -1 1077944384 770 0 0 0 28 0 0 0 20 0 19 0 405778019 8262082560 37057 33554432000 4194304 4196468 140723227455360 140655253572336 140656211995266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9396] ppid=8955 vsize=8068440 memory=4164 CPUtime=0.23 cores=1,3,5,7
/proc/9384/task/9396/stat : 9396 (java) S 8955 8955 3344 0 -1 1077944384 582 0 0 0 23 0 0 0 20 0 19 0 405778019 8262082560 37057 33554432000 4194304 4196468 140723227455360 140655252519536 140656211995266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9397] ppid=8955 vsize=8068440 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9397/stat : 9397 (java) S 8955 8955 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405778019 8262082560 37057 33554432000 4194304 4196468 140723227455360 140654004923104 140656211994325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9398] ppid=8955 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9398/stat : 9398 (java) S 8955 8955 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405778019 8262082560 37057 33554432000 4194304 4196468 140723227455360 140655251466928 140656211995266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9400] ppid=8955 vsize=8068440 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9400/stat : 9400 (java) S 8955 8955 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405778121 8262082560 37057 33554432000 4194304 4196468 140723227455360 140655243433152 140656212008729 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9402] ppid=8955 vsize=8068440 memory=37420 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9402/stat : 9402 (java) S 8955 8955 3344 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405778121 8262082560 37057 33554432000 4194304 4196468 140723227455360 140653468036368 140656212006045 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9403] ppid=8955 vsize=8068440 memory=148228 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9403/stat : 9403 (java) S 8955 8955 3344 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405778121 8262082560 37057 33554432000 4194304 4196468 140723227455360 140653333815440 140656212006045 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
[pid=9384/tid=9404] ppid=8955 vsize=8068440 memory=5783648 CPUtime=0 cores=1,3,5,7
/proc/9384/task/9404/stat : 9404 (java) S 8955 8955 3344 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405778124 8262082560 37057 33554432000 4194304 4196468 140723227455360 140653602266800 140656211994325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723227456508 140723227456666 140723227456666 140723227459535 0
Current children cumulated CPU time: 1527.21 s
Current children cumulated vsize: 16006068 KiB
Current children cumulated memory: 6887456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1271.61 s]
# the end of solver process 8955 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1482.77 s, system=18.1293 s
[startup+1272.57 s]
# the end of solver process 9384 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1506.89 s, system=21.3417 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1272.31 s]*
/proc/loadavg: 1.95 2.08 2.11 3/221 9416
/proc/meminfo: memFree=19106468/32770624 swapFree=66939824/67108860
Current cumulated CPU time of completed processes: 1500.9 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1272.5 s]
/proc/loadavg: 1.95 2.08 2.11 3/221 9416
/proc/meminfo: memFree=19106468/32770624 swapFree=66939824/67108860
Current cumulated CPU time of completed processes: 1500.9 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 1272.57
CPU time (s): 1528.23
CPU user time (s): 1506.89
CPU system time (s): 21.3417
CPU usage (%): 120.09
Max. virtual memory (cumulated for all children) (KiB): 16006068
Max. memory (cumulated for all children) (KiB): 11844844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1506.89
system time used= 21.3417
maximum resident set size= 11843928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1096288
page faults= 0
swaps= 0
block input operations= 272
block output operations= 10297088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38930
involuntary context switches= 4540
# summary of solver processes directly reported to runsolver:
# pid: 8955,9384
# total CPU time (s): 1528.23
# total CPU user time (s): 1506.89
# total CPU system time (s): 21.3417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77567 second user time and 13.1704 second system time
The end