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-1455-serial-file.bin HOME/instance-4387603-1568286189.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Thu Sep 12 13:02:29 CEST 2019
0.66/0.54 c PID: 1458
0.66/0.54 c IP: 172.20.3.146
0.66/0.54 c HOST: node146.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.34/1.28 c (0,0) Parsing End
2.34/1.29 c (0,0) CSP: 819 int (0 aux), 0 bool (0 aux), 717 ctr, max domain size 716
2.34/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.34/1.30 c (0,0) Constraint Name Generate Begin
2.72/1.31 c (0,0) Ctr:HOME/instance-4387603-1568286189.xml,AllDifferent:Dist:Eq:Var
2.72/1.31 c (0,0) Constraint Name Generate End
2.72/1.31 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.72/1.31 c (0,0) CSP to CSPinCNF Begin
3.16/1.51 c (0,0) translated 72 (10%) constraints
3.16/1.56 c (1,1) translated 144 (20%) constraints
3.16/1.60 c (1,1) translated 216 (30%) constraints
3.48/1.63 c (1,1) translated 287 (40%) constraints
3.48/1.66 c (1,1) translated 359 (50%) constraints
3.48/1.68 c (1,1) translated 431 (60%) constraints
3.78/1.70 c (1,1) translated 502 (70%) constraints
3.78/1.72 c (1,1) translated 574 (80%) constraints
3.78/1.74 c (1,1) translated 646 (90%) constraints
4.40/1.94 c (1,1) translated 717 (100%) constraints
18.86/13.53 c (13,12) ===========================================
19.30/13.75 c (13,12) Hybrid: #OE=0, #LE=819
19.30/13.75 c (13,12) Hybrid
19.30/13.75 c (13,12) ===========================================
20.73/14.54 c (14,13) translated 26348 (10%) constraints
21.51/15.23 c (14,14) translated 52696 (20%) constraints
22.21/15.91 c (15,14) translated 79043 (30%) constraints
24.20/16.92 c (16,15) translated 105391 (40%) constraints
24.80/17.59 c (17,16) translated 131738 (50%) constraints
25.50/18.26 c (17,16) translated 158086 (60%) constraints
26.20/18.94 c (18,17) translated 184434 (70%) constraints
26.90/19.61 c (19,18) translated 210781 (80%) constraints
27.50/20.28 c (19,18) translated 237129 (90%) constraints
62.05/45.68 c (45,41) translated 263476 (100%) constraints
62.15/45.72 c (45,41) CSP to CSPinCNF End
62.26/45.84 c (45,41) CSP: 819 int (0 aux), 511225 bool (511225 aux), 1285926 ctr, max domain size 716
62.26/45.84 c (45,41) Heap : 2563 MiB used (max 10012 MiB), NonHeap : 27 MiB used (max 0 MiB)
62.26/45.84 c (45,41) CSPinCNF Propagation Begin
125.81/99.44 c (98,92) 0 values, 0 unsatisfiable literals, and 1431 valid clauses are removed
125.81/99.44 c (98,92) CSPinCNF Propagation End
125.91/99.55 c (99,92) CSP: 819 int (0 aux), 511225 bool (511225 aux), 1284495 ctr, max domain size 716
125.91/99.55 c (99,92) Heap : 2700 MiB used (max 10791 MiB), NonHeap : 27 MiB used (max 0 MiB)
126.51/100.05 c (99,92) Hybrid: #OE=511225, #LE=819
126.51/100.05 c (99,92) Simplify CSPinCNF Begin
141.93/110.81 c (110,102) Simplify CSPinCNF End
142.14/111.06 c (110,102) CSP: 819 int (0 aux), 1035515 bool (1035515 aux), 1808785 ctr, max domain size 716
142.14/111.06 c (110,102) Heap : 3926 MiB used (max 10650 MiB), NonHeap : 28 MiB used (max 0 MiB)
142.14/111.06 c (110,102) Calculate Precise Domain Begin
142.14/111.06 c (110,102) 0 values are removed by re-calculation
142.14/111.06 c (110,102) Calculate Precise Domain End
142.43/111.31 c (110,102) CSP: 819 int (0 aux), 1035515 bool (1035515 aux), 1808785 ctr, max domain size 716
142.43/111.31 c (110,102) Heap : 3978 MiB used (max 10650 MiB), NonHeap : 28 MiB used (max 0 MiB)
142.43/111.31 c (110,102) CSPinCNF to SatSolver Begin
174.59/138.20 c (137,127) 180879 (10 %) CSP clauses are encoded (0 SAT variables, 8686419 SAT clauses)
196.70/160.69 c (160,148) 361757 (20 %) CSP clauses are encoded (0 SAT variables, 16946492 SAT clauses)
218.97/184.16 c (183,170) 542636 (30 %) CSP clauses are encoded (0 SAT variables, 25206633 SAT clauses)
241.27/207.83 c (207,192) 723514 (40 %) CSP clauses are encoded (0 SAT variables, 33466706 SAT clauses)
257.30/224.23 c (223,207) 904393 (50 %) CSP clauses are encoded (0 SAT variables, 38451878 SAT clauses)
269.63/236.80 c (236,218) 1085271 (60 %) CSP clauses are encoded (0 SAT variables, 41706042 SAT clauses)
281.67/248.98 c (248,230) 1266150 (70 %) CSP clauses are encoded (0 SAT variables, 44961993 SAT clauses)
293.85/261.47 c (260,242) 1447028 (80 %) CSP clauses are encoded (0 SAT variables, 48216583 SAT clauses)
306.03/273.56 c (273,253) 1627907 (90 %) CSP clauses are encoded (0 SAT variables, 51468316 SAT clauses)
318.46/286.32 c (285,265) 1808785 (100 %) CSP clauses are encoded (0 SAT variables, 54722693 SAT clauses)
318.46/286.32 c (285,265) CSPinCNF to SatSolver End
318.46/286.32 c (285,265) Heap : 3555 MiB used (max 11205 MiB), NonHeap : 31 MiB used (max 0 MiB)
318.46/286.32 c (285,265) 25602200 bool, 54722711 clause
318.46/286.32 c (285,265) Export Begin
319.24/286.76 c (286,265) Export to HOME/scop-1455-serial-file.bin
319.24/286.76 c (286,265) Export End
319.24/286.76 c (286,265) Export File Size: 1.42 MB
319.24/286.76 c (286,265) 0,0,45,99,110,110,285,STOP-AFTER(DIMACS)
319.24/286.76 c END-Prog: Thu Sep 12 13:07:16 CEST 2019
0.00/286.81 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1455-serial-file.bin
319.94/287.27 c (0,0) Read Serial File Begin
319.94/287.27 c (0,0) HOME/scop-1455-serial-file.bin
320.99/287.86 c (0,0) Read Serial File End
320.99/287.87
320.99/287.87 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
320.99/287.87 (Solving Process)
320.99/287.87
320.99/287.89 c BEGIN-Prog: Thu Sep 12 13:07:17 CEST 2019
320.99/287.89 c PID: 1500
320.99/287.89 c IP: 172.20.3.146
320.99/287.89 c HOST: node146.alineos.net
321.28/287.90 c (0,0) SatSolver.solve Begin
321.28/287.90 c (0,0) HOME/cryptominisat5 HOME/instance-4387603-1568286189.xml-scop-1458.cnf
321.28/287.93 c (0,0) c Outputting solution to console
321.28/287.93 c (0,0) c CryptoMiniSat version 5.6.8
321.28/287.93 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
321.28/287.93 c (0,0) c CMS SHA revision GIT-notfound
321.28/287.93 c (0,0) c CMS is MIT licensed
321.28/287.93 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
321.28/287.93 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
321.28/287.93 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387603-1568286189.xml-scop-1458.cnf
321.28/287.93 c (0,0) c Reading file 'HOME/instance-4387603-1568286189.xml-scop-1458.cnf'
321.28/287.93 c (0,0) c -- header says num vars: 25602200
321.28/287.93 c (0,0) c -- header says num clauses: 54722711
339.56/306.01 c (18,0) receiving signal SIGTERM
339.56/306.01 s UNKNOWN
339.56/306.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
339.56/306.02 c (scop.sh) Remove HOME/scop-1455-serial-file.bin.
339.56/306.02 c (scop.sh) Killing background jobs.
339.56/306.02 c (18,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 (14485 MiB free)
memory of node 1: 16384 MiB (15683 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387603-1568286189/watcher-4387603-1568286189 -o /tmp/evaluation-result-4387603-1568286189/solver-4387603-1568286189 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1043 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387603-1568286189.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=1455, runsolver pid=1452
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 2.23 2.04 2.05 3/236 1473
/proc/meminfo: memFree=30830676/32770624 swapFree=66999536/67108860
[pid=1455] ppid=1452 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (scop.sh) S 1452 1455 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404532942 115843072 348 33554432000 4194304 5098028 140722768952240 140722768949496 140315178975868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140722768954211 140722768954480 140722768954480 140722768957389 0
/proc/1455/statm: 28282 348 296 221 0 87 0
[pid=1458] ppid=1455 vsize=15012696 memory=74004 CPUtime=0.11 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1455 1455 31842 0 -1 1077944320 6227 0 0 0 10 1 0 0 20 0 15 0 404532942 15373000704 18501 33554432000 4194304 4196468 140730809222608 140730809205152 140061770899191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
/proc/1458/statm: 3753174 18501 2909 1 0 3715579 0
[pid=1458/tid=1459] ppid=1455 vsize=15016308 memory=-7812800577974661515 CPUtime=0.09 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1455 1455 31842 0 -1 4202560 4899 0 0 0 8 1 0 0 20 0 15 0 404532943 15376699392 19424 33554432000 4194304 4196468 140730809222608 140061742683440 140061763578909 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1460] ppid=1455 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15376699392 19424 33554432000 4194304 4196468 140730809222608 140061775141776 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1461] ppid=1455 vsize=15016308 memory=140319705912960 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15376699392 19424 33554432000 4194304 4196468 140730809222608 140061573917456 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1462] ppid=1455 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15376699392 19424 33554432000 4194304 4196468 140730809222608 140061572865168 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1463] ppid=1455 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532944 15376699392 19424 33554432000 4194304 4196468 140730809222608 140061571812368 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1464] ppid=1455 vsize=15016308 memory=140319705912960 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532946 15376699392 19424 33554432000 4194304 4196468 140730809222608 140060741408880 140061770910338 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1465] ppid=1455 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1455 1455 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404532946 15376699392 19424 33554432000 4194304 4196468 140730809222608 140060359910176 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1466] ppid=1455 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532946 15376699392 19424 33554432000 4194304 4196468 140730809222608 140060091475056 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1467] ppid=1455 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532949 15376699392 19424 33554432000 4194304 4196468 140730809222608 140059716966480 140061770917787 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1468] ppid=1455 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1455 1455 31842 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 404532949 15376699392 19062 33554432000 4194304 4196468 140730809222608 140060740356720 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1469] ppid=1455 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532949 15376699392 19062 33554432000 4194304 4196468 140730809222608 140060739303920 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1470] ppid=1455 vsize=15016308 memory=140319705912960 CPUtime=0.01 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) S 1455 1455 31842 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 404532949 15376699392 19062 33554432000 4194304 4196468 140730809222608 140060738251632 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1472] ppid=1455 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532949 15375032320 19062 33554432000 4194304 4196468 140730809222608 140059219061728 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1473] ppid=1455 vsize=15014680 memory=140319705912960 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1473/stat : 1473 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532949 15375032320 18822 33554432000 4194304 4196468 140730809222608 140060737198512 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75396 KiB
[startup+0.210934 s]*
/proc/loadavg: 2.23 2.04 2.05 4/236 1473
/proc/meminfo: memFree=30814764/32770624 swapFree=66999536/67108860
[pid=1455] ppid=1452 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (scop.sh) S 1452 1455 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404532942 115843072 348 33554432000 4194304 5098028 140722768952240 140722768949496 140315178975868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140722768954211 140722768954480 140722768954480 140722768957389 0
/proc/1455/statm: 28282 348 296 221 0 87 0
[pid=1458] ppid=1455 vsize=15012696 memory=86976 CPUtime=0.25 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1455 1455 31842 0 -1 1077944320 10758 0 0 0 23 2 0 0 20 0 15 0 404532942 15373000704 21744 33554432000 4194304 4196468 140730809222608 140730809205152 140061770899191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
/proc/1458/statm: 3753174 21744 2917 1 0 3715579 0
[pid=1458/tid=1459] ppid=1455 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1455 1455 31842 0 -1 4202560 8467 0 0 0 18 1 0 0 20 0 15 0 404532943 15373000704 21744 33554432000 4194304 4196468 140730809222608 140061742715600 140061770911126 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1460] ppid=1455 vsize=15012696 memory=539 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15373000704 21744 33554432000 4194304 4196468 140730809222608 140061775141776 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1461] ppid=1455 vsize=15012696 memory=140319705938956 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15373000704 21744 33554432000 4194304 4196468 140730809222608 140061573917456 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1462] ppid=1455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15373000704 21744 33554432000 4194304 4196468 140730809222608 140061572865168 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1463] ppid=1455 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532944 15373000704 21744 33554432000 4194304 4196468 140730809222608 140061571812368 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1464] ppid=1455 vsize=15012696 memory=140319705912960 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532946 15373000704 21744 33554432000 4194304 4196468 140730809222608 140060741408880 140061770910338 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1465] ppid=1455 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1455 1455 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404532946 15373000704 21744 33554432000 4194304 4196468 140730809222608 140060359910176 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1466] ppid=1455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532946 15373000704 21744 33554432000 4194304 4196468 140730809222608 140060091475056 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1467] ppid=1455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532949 15373000704 21744 33554432000 4194304 4196468 140730809222608 140059716966480 140061770917787 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1468] ppid=1455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1455 1455 31842 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 404532949 15373000704 21744 33554432000 4194304 4196468 140730809222608 140060740356720 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1469] ppid=1455 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) S 1455 1455 31842 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 404532949 15373000704 21744 33554432000 4194304 4196468 140730809222608 140060739303920 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1470] ppid=1455 vsize=15012696 memory=140319705912960 CPUtime=0.03 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) S 1455 1455 31842 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 404532949 15373000704 21744 33554432000 4194304 4196468 140730809222608 140060738251632 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1472] ppid=1455 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532949 15373000704 21744 33554432000 4194304 4196468 140730809222608 140059219061728 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1473] ppid=1455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1473/stat : 1473 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532949 15373000704 21744 33554432000 4194304 4196468 140730809222608 140060737198512 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88368 KiB
[startup+0.310861 s]*
/proc/loadavg: 2.23 2.04 2.05 3/236 1473
/proc/meminfo: memFree=30812644/32770624 swapFree=66999536/67108860
[pid=1455] ppid=1452 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (scop.sh) S 1452 1455 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404532942 115843072 348 33554432000 4194304 5098028 140722768952240 140722768949496 140315178975868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140722768954211 140722768954480 140722768954480 140722768957389 0
/proc/1455/statm: 28282 348 296 221 0 87 0
[pid=1458] ppid=1455 vsize=15012696 memory=90660 CPUtime=0.43 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1455 1455 31842 0 -1 1077944320 11680 0 0 0 40 3 0 0 20 0 15 0 404532942 15373000704 22665 33554432000 4194304 4196468 140730809222608 140730809205152 140061770899191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
/proc/1458/statm: 3753174 22665 3065 1 0 3715579 0
[pid=1458/tid=1459] ppid=1455 vsize=15012696 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1455 1455 31842 0 -1 4202560 9212 0 0 0 28 2 0 0 20 0 15 0 404532943 15373000704 22665 33554432000 4194304 4196468 140730809222608 140061742682208 140061752462724 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1460] ppid=1455 vsize=15012696 memory=532 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15373000704 22665 33554432000 4194304 4196468 140730809222608 140061775141776 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1461] ppid=1455 vsize=15012696 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15373000704 22665 33554432000 4194304 4196468 140730809222608 140061573917456 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1462] ppid=1455 vsize=15012696 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15373000704 22665 33554432000 4194304 4196468 140730809222608 140061572865168 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1463] ppid=1455 vsize=15012696 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532944 15373000704 22665 33554432000 4194304 4196468 140730809222608 140061571812368 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1464] ppid=1455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532946 15373000704 22665 33554432000 4194304 4196468 140730809222608 140060741408880 140061770910338 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1465] ppid=1455 vsize=15012696 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1455 1455 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404532946 15373000704 22665 33554432000 4194304 4196468 140730809222608 140060359910176 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1466] ppid=1455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532946 15373000704 22665 33554432000 4194304 4196468 140730809222608 140060091475056 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1467] ppid=1455 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532949 15373000704 22665 33554432000 4194304 4196468 140730809222608 140059716966480 140061770917787 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1468] ppid=1455 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1455 1455 31842 0 -1 1077944384 536 0 0 0 2 0 0 0 20 0 15 0 404532949 15373000704 22665 33554432000 4194304 4196468 140730809222608 140060740356720 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1469] ppid=1455 vsize=15012696 memory=170985786 CPUtime=0.02 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) S 1455 1455 31842 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 15 0 404532949 15373000704 22665 33554432000 4194304 4196468 140730809222608 140060739303920 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1470] ppid=1455 vsize=15012696 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) S 1455 1455 31842 0 -1 1077944384 500 0 0 0 7 0 0 0 20 0 15 0 404532949 15373000704 22665 33554432000 4194304 4196468 140730809222608 140060738251632 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1472] ppid=1455 vsize=15012696 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532949 15373000704 22665 33554432000 4194304 4196468 140730809222608 140059219061728 140061770909397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1473] ppid=1455 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1473/stat : 1473 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532949 15373000704 22665 33554432000 4194304 4196468 140730809222608 140060737198512 140061770910338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92052 KiB
[startup+0.703658 s]
/proc/loadavg: 2.23 2.04 2.05 4/237 1475
/proc/meminfo: memFree=30788056/32770624 swapFree=66999536/67108860
[pid=1455] ppid=1452 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (scop.sh) S 1452 1455 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404532942 115843072 348 33554432000 4194304 5098028 140722768952240 140722768949496 140315178975868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140722768954211 140722768954480 140722768954480 140722768957389 0
/proc/1455/statm: 28282 348 296 221 0 87 0
[pid=1458] ppid=1455 vsize=15022116 memory=130104 CPUtime=1.02 cores=1,3,5,7
/proc/1458/stat : 1458 (java) S 1455 1455 31842 0 -1 1077944320 19278 0 0 0 98 4 0 0 20 0 15 0 404532942 15382646784 32526 33554432000 4194304 4196468 140730809222608 140730809205152 140061770899191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
/proc/1458/statm: 3755529 32526 3202 1 0 3716859 0
[pid=1458/tid=1459] ppid=1455 vsize=15021092 memory=57 CPUtime=0.68 cores=1,3,5,7
/proc/1458/task/1459/stat : 1459 (java) R 1455 1455 31842 0 -1 4202560 16385 0 0 0 64 4 0 0 20 0 15 0 404532943 15381598208 32521 33554432000 4194304 4196468 140730809222608 140061742708128 140061763616295 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1460] ppid=1455 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1460/stat : 1460 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15381598208 32521 33554432000 4194304 4196468 140730809222608 140061775141776 140061770909397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1461] ppid=1455 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1461/stat : 1461 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15381598208 32521 33554432000 4194304 4196468 140730809222608 140061573917456 140061770909397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1462] ppid=1455 vsize=15022116 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1462/stat : 1462 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532944 15382646784 32521 33554432000 4194304 4196468 140730809222608 140061572865168 140061770909397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1463] ppid=1455 vsize=15022116 memory=1294 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1463/stat : 1463 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532944 15382646784 32521 33554432000 4194304 4196468 140730809222608 140061571812368 140061770909397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1464] ppid=1455 vsize=15022116 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1464/stat : 1464 (java) S 1455 1455 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404532946 15382646784 32521 33554432000 4194304 4196468 140730809222608 140060741408880 140061770910338 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1465] ppid=1455 vsize=15022116 memory=13 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1465/stat : 1465 (java) S 1455 1455 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404532946 15382646784 32521 33554432000 4194304 4196468 140730809222608 140060359910176 140061770909397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1466] ppid=1455 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1466/stat : 1466 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532946 15381598208 32521 33554432000 4194304 4196468 140730809222608 140060091475056 140061770909397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1467] ppid=1455 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1467/stat : 1467 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532949 15381598208 32521 33554432000 4194304 4196468 140730809222608 140059716966480 140061770917787 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1468] ppid=1455 vsize=15021092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1458/task/1468/stat : 1468 (java) S 1455 1455 31842 0 -1 1077944384 772 0 0 0 9 0 0 0 20 0 15 0 404532949 15381598208 32521 33554432000 4194304 4196468 140730809222608 140060740356720 140061770910338 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1469] ppid=1455 vsize=15022116 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/1458/task/1469/stat : 1469 (java) S 1455 1455 31842 0 -1 1077944384 168 0 0 0 6 0 0 0 20 0 15 0 404532949 15382646784 32521 33554432000 4194304 4196468 140730809222608 140060739303920 140061770910338 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1470] ppid=1455 vsize=15022116 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/1458/task/1470/stat : 1470 (java) R 1455 1455 31842 0 -1 4202560 632 0 0 0 16 0 0 0 20 0 15 0 404532949 15382646784 32521 33554432000 4194304 4196468 140730809222608 140060738251632 140061752483997 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1472] ppid=1455 vsize=15022116 memory=964 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1472/stat : 1472 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532949 15382646784 32521 33554432000 4194304 4196468 140730809222608 140059219061728 140061770909397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
[pid=1458/tid=1473] ppid=1455 vsize=15022116 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/1458/task/1473/stat : 1473 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532949 15382646784 32521 33554432000 4194304 4196468 140730809222608 140060737198512 140061770910338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8630272 140730809230122 140730809230490 140730809230490 140730809233359 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15135244 KiB
Current children cumulated memory: 131496 KiB
[startup+1.50084 s]
/proc/loadavg: 2.23 2.04 2.05 3/237 1475
/proc/meminfo: memFree=30756940/32770624 swapFree=66999536/67108860
[pid=1455] ppid=1452 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (scop.sh) S 1452 1455 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404532942 115843072 348 33554432000 4194304 5098028 140722768952240 140722768949496 140315178975868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140722768954211 140722768954480 140722768954480 140722768957389 0
/proc/1455/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
Current children cumulated memory: 6948756 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+306.001 s]*
/proc/loadavg: 1.97 1.97 2.02 3/239 1521
/proc/meminfo: memFree=22098460/32770624 swapFree=66999536/67108860
[pid=1455] ppid=1452 vsize=113128 memory=1472 CPUtime=319.43 cores=1,3,5,7
/proc/1455/stat : 1455 (scop.sh) S 1452 1455 31842 0 -1 4202496 582 113416 0 0 0 0 31215 728 20 0 1 0 404532942 115843072 368 33554432000 4194304 5098028 140722768952240 140722768948984 140315178975868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140722768954211 140722768954480 140722768954480 140722768957389 0
/proc/1455/statm: 28282 368 311 221 0 87 0
[pid=1500] ppid=1455 vsize=8068440 memory=143564 CPUtime=2.06 cores=1,3,5,7
/proc/1500/stat : 1500 (java) S 1455 1455 31842 0 -1 1077944320 20747 0 0 0 179 27 0 0 20 0 19 0 404561623 8262082560 35891 33554432000 4194304 4196468 140724917651648 140724917634192 140484551110391 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
/proc/1500/statm: 2017110 35891 3218 1 0 1978454 0
[pid=1515] ppid=1500 vsize=7701368 memory=7306136 CPUtime=18.07 cores=1,3,5,7
/proc/1515/stat : 1515 (cryptominisat5) R 1500 1455 31842 0 -1 4202496 770228 0 0 0 1617 190 0 0 20 0 1 0 404561734 7886200832 1826534 33554432000 4194304 4451008 140730914770848 140730914766808 140145376992229 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 32022528 140730914771901 140730914772032 140730914772032 140730914774982 0
/proc/1515/statm: 1925342 1826534 614 63 0 1919069 0
[pid=1500/tid=1501] ppid=1455 vsize=8068440 memory=6935054825532540783 CPUtime=1.13 cores=1,3,5,7
/proc/1500/task/1501/stat : 1501 (java) S 1455 1455 31842 0 -1 1077944384 16944 0 0 0 89 24 0 0 20 0 19 0 404561624 8262082560 35891 33554432000 4194304 4196468 140724917651648 140484522950560 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1502] ppid=1455 vsize=8068440 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1502/stat : 1502 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404561625 8262082560 35891 33554432000 4194304 4196468 140724917651648 140484555352720 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1503] ppid=1455 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1503/stat : 1503 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404561625 8262082560 35891 33554432000 4194304 4196468 140724917651648 140484355521040 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1504] ppid=1455 vsize=8068440 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1504/stat : 1504 (java) S 1455 1455 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404561625 8262082560 35891 33554432000 4194304 4196468 140724917651648 140484034947472 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1505] ppid=1455 vsize=8068440 memory=26644 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1505/stat : 1505 (java) S 1455 1455 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404561625 8262082560 35891 33554432000 4194304 4196468 140724917651648 140484033894672 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1506] ppid=1455 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1506/stat : 1506 (java) S 1455 1455 31842 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 404561627 8262082560 35891 33554432000 4194304 4196468 140724917651648 140483661605744 140484551121538 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1507] ppid=1455 vsize=8068440 memory=143564 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1507/stat : 1507 (java) S 1455 1455 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404561627 8262082560 35891 33554432000 4194304 4196468 140724917651648 140483414189600 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1508] ppid=1455 vsize=8068440 memory=6167792 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1508/stat : 1508 (java) S 1455 1455 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404561627 8262082560 35891 33554432000 4194304 4196468 140724917651648 140483279967600 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1509] ppid=1455 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1509/stat : 1509 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404561630 8262082560 35891 33554432000 4194304 4196468 140724917651648 140482905463120 140484551128987 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1510] ppid=1455 vsize=8068440 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/1500/task/1510/stat : 1510 (java) S 1455 1455 31842 0 -1 1077944384 1086 0 0 0 31 0 0 0 20 0 19 0 404561630 8262082560 35891 33554432000 4194304 4196468 140724917651648 140483660552560 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1511] ppid=1455 vsize=8068440 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/1500/task/1511/stat : 1511 (java) S 1455 1455 31842 0 -1 1077944384 682 0 0 0 31 0 0 0 20 0 19 0 404561630 8262082560 35891 33554432000 4194304 4196468 140724917651648 140483659499760 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1512] ppid=1455 vsize=8068440 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/1500/task/1512/stat : 1512 (java) S 1455 1455 31842 0 -1 1077944384 624 0 0 0 25 0 0 0 20 0 19 0 404561630 8262082560 35891 33554432000 4194304 4196468 140724917651648 140483658446960 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1513] ppid=1455 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1513/stat : 1513 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404561630 8262082560 35891 33554432000 4194304 4196468 140724917651648 140482407557344 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1514] ppid=1455 vsize=8068440 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1514/stat : 1514 (java) S 1455 1455 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404561630 8262082560 35891 33554432000 4194304 4196468 140724917651648 140483657395376 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1516] ppid=1455 vsize=8068440 memory=140319705912960 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1516/stat : 1516 (java) S 1455 1455 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404561735 8262082560 35891 33554432000 4194304 4196468 140724917651648 140483884410560 140484551135001 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1518] ppid=1455 vsize=8068440 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1518/stat : 1518 (java) S 1455 1455 31842 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 404561735 8262082560 35891 33554432000 4194304 4196468 140724917651648 140481870671664 140484551132317 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1519] ppid=1455 vsize=8068440 memory=6249177418654 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1519/stat : 1519 (java) S 1455 1455 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404561735 8262082560 35891 33554432000 4194304 4196468 140724917651648 140482004893360 140484551132317 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1520] ppid=1455 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1500/task/1520/stat : 1520 (java) S 1455 1455 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404561738 8262082560 35891 33554432000 4194304 4196468 140724917651648 140481602247856 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
Current children cumulated CPU time: 339.56 s
Current children cumulated vsize: 15882936 KiB
Current children cumulated memory: 7451172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+306.024 s]
# the end of solver process 1455 was just reported to runsolver
# cumulated CPU time of all completed processes: user=312.154 s, system=7.29182 s
[startup+306.382 s]
# the end of solver process 1500 was just reported to runsolver
# cumulated CPU time of all completed processes: user=330.126 s, system=9.84313 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+306.211 s]
/proc/loadavg: 1.97 1.97 2.02 3/240 1525
/proc/meminfo: memFree=23987532/32770624 swapFree=66999536/67108860
[pid=1500] ppid=1452 vsize=8198484 memory=153832 CPUtime=20.34 cores=1,3,5,7
/proc/1500/stat : 1500 (java) S 1452 1455 31842 0 -1 1077944320 20787 770379 0 0 179 28 1617 210 20 0 17 0 404561623 8395247616 38458 33554432000 4194304 4196468 140724917651648 140724917634192 140484551110391 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
/proc/1500/statm: 2049621 38458 3219 1 0 2010965 0
[pid=1500/tid=1501] ppid=1452 vsize=8198484 memory=140319602853357 CPUtime=19.4 cores=1,3,5,7
/proc/1500/task/1501/stat : 1501 (java) S 1452 1455 31842 0 -1 1077944384 16944 770379 0 0 89 24 1617 210 20 0 17 0 404561624 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484522950560 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1502] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1502/stat : 1502 (java) S 1452 1455 31842 0 -1 1077944384 1 770379 0 0 0 0 1617 210 20 0 17 0 404561625 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484555352720 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1503] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1503/stat : 1503 (java) S 1452 1455 31842 0 -1 1077944384 1 770379 0 0 0 0 1617 210 20 0 17 0 404561625 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484355521040 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1504] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1504/stat : 1504 (java) S 1452 1455 31842 0 -1 1077944384 1 770379 0 0 0 0 1617 210 20 0 17 0 404561625 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484034947472 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1505] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1505/stat : 1505 (java) S 1452 1455 31842 0 -1 1077944384 2 770379 0 0 0 0 1617 210 20 0 17 0 404561625 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484033894672 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1506] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1506/stat : 1506 (java) S 1452 1455 31842 0 -1 1077944384 7 770379 0 0 0 0 1617 210 20 0 17 0 404561627 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483661605248 140484551121538 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1507] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1507/stat : 1507 (java) S 1452 1455 31842 0 -1 1077944384 13 770379 0 0 0 0 1617 210 20 0 17 0 404561627 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483414189600 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1508] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1508/stat : 1508 (java) S 1452 1455 31842 0 -1 1077944384 21 770379 0 0 0 0 1617 210 20 0 17 0 404561627 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483279967600 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1510] ppid=1452 vsize=8198484 memory=0 CPUtime=18.58 cores=1,3,5,7
/proc/1500/task/1510/stat : 1510 (java) S 1452 1455 31842 0 -1 1077944384 1086 770379 0 0 31 0 1617 210 20 0 17 0 404561630 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483660552560 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1511] ppid=1452 vsize=8198484 memory=0 CPUtime=18.58 cores=1,3,5,7
/proc/1500/task/1511/stat : 1511 (java) S 1452 1455 31842 0 -1 1077944384 682 770379 0 0 31 0 1617 210 20 0 17 0 404561630 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483659499760 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1512] ppid=1452 vsize=8198484 memory=0 CPUtime=18.52 cores=1,3,5,7
/proc/1500/task/1512/stat : 1512 (java) S 1452 1455 31842 0 -1 1077944384 626 770379 0 0 25 0 1617 210 20 0 17 0 404561630 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483658442336 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1513] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1513/stat : 1513 (java) S 1452 1455 31842 0 -1 1077944384 3 770379 0 0 0 0 1617 210 20 0 17 0 404561630 8395247616 38458 33554432000 4194304 4196468 140724917651648 140482407557344 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1516] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1516/stat : 1516 (java) S 1452 1455 31842 0 -1 1077944384 24 770379 0 0 0 0 1617 210 20 0 17 0 404561735 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483884409744 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1520] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1520/stat : 1520 (java) S 1452 1455 31842 0 -1 1077944384 9 770379 0 0 0 0 1617 210 20 0 17 0 404561738 8395247616 38458 33554432000 4194304 4196468 140724917651648 140481602244848 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1522] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1522/stat : 1522 (java) S 1452 1455 31842 0 -1 1077944384 3 770379 0 0 0 0 1617 210 20 0 17 0 404563544 8395247616 38458 33554432000 4194304 4196468 140724917651648 140481333813072 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1525] ppid=1452 vsize=8198484 memory=0 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1525/stat : 1525 (java) R 1452 1455 31842 0 -1 4202560 2 770379 0 0 0 0 1617 210 20 0 17 0 404563544 8395247616 38458 33554432000 4194304 4196468 140724917651648 140481065378336 140484543796023 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
Current cumulated CPU time of completed processes: 319.446 s
Current children cumulated CPU time: 20.34 s
Current children cumulated vsize: 8198484 KiB
Current children cumulated memory: 153832 KiB
[startup+306.301 s]
/proc/loadavg: 1.97 1.97 2.02 3/240 1525
/proc/meminfo: memFree=23987532/32770624 swapFree=66999536/67108860
[pid=1500] ppid=1452 vsize=8198484 memory=153832 CPUtime=20.43 cores=1,3,5,7
/proc/1500/stat : 1500 (java) S 1452 1455 31842 0 -1 1077944320 20787 770379 0 0 179 37 1617 210 20 0 17 0 404561623 8395247616 38458 33554432000 4194304 4196468 140724917651648 140724917634192 140484551110391 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
/proc/1500/statm: 2049621 38458 3219 1 0 2010965 0
[pid=1500/tid=1501] ppid=1452 vsize=8198484 memory=7548 CPUtime=19.4 cores=1,3,5,7
/proc/1500/task/1501/stat : 1501 (java) S 1452 1455 31842 0 -1 1077944384 16944 770379 0 0 89 24 1617 210 20 0 17 0 404561624 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484522950560 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1502] ppid=1452 vsize=8198484 memory=3436 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1502/stat : 1502 (java) S 1452 1455 31842 0 -1 1077944384 1 770379 0 0 0 0 1617 210 20 0 17 0 404561625 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484555352720 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1503] ppid=1452 vsize=8198484 memory=1696 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1503/stat : 1503 (java) S 1452 1455 31842 0 -1 1077944384 1 770379 0 0 0 0 1617 210 20 0 17 0 404561625 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484355521040 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1504] ppid=1452 vsize=8198484 memory=580 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1504/stat : 1504 (java) S 1452 1455 31842 0 -1 1077944384 1 770379 0 0 0 0 1617 210 20 0 17 0 404561625 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484034947472 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1505] ppid=1452 vsize=8198484 memory=1240 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1505/stat : 1505 (java) S 1452 1455 31842 0 -1 1077944384 2 770379 0 0 0 0 1617 210 20 0 17 0 404561625 8395247616 38458 33554432000 4194304 4196468 140724917651648 140484033894672 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1506] ppid=1452 vsize=8198484 memory=2012 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1506/stat : 1506 (java) S 1452 1455 31842 0 -1 1077944384 7 770379 0 0 0 0 1617 210 20 0 17 0 404561627 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483661605248 140484551121538 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1507] ppid=1452 vsize=8198484 memory=988 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1507/stat : 1507 (java) S 1452 1455 31842 0 -1 1077944384 13 770379 0 0 0 0 1617 210 20 0 17 0 404561627 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483414189600 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1508] ppid=1452 vsize=8198484 memory=32508 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1508/stat : 1508 (java) S 1452 1455 31842 0 -1 1077944384 21 770379 0 0 0 0 1617 210 20 0 17 0 404561627 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483279967600 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1510] ppid=1452 vsize=8198484 memory=4100 CPUtime=18.58 cores=1,3,5,7
/proc/1500/task/1510/stat : 1510 (java) S 1452 1455 31842 0 -1 1077944384 1086 770379 0 0 31 0 1617 210 20 0 17 0 404561630 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483660552560 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1511] ppid=1452 vsize=8198484 memory=3616 CPUtime=18.58 cores=1,3,5,7
/proc/1500/task/1511/stat : 1511 (java) S 1452 1455 31842 0 -1 1077944384 682 770379 0 0 31 0 1617 210 20 0 17 0 404561630 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483659499760 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1512] ppid=1452 vsize=8198484 memory=1224 CPUtime=18.52 cores=1,3,5,7
/proc/1500/task/1512/stat : 1512 (java) S 1452 1455 31842 0 -1 1077944384 626 770379 0 0 25 0 1617 210 20 0 17 0 404561630 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483658442336 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1513] ppid=1452 vsize=8198484 memory=5904 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1513/stat : 1513 (java) S 1452 1455 31842 0 -1 1077944384 3 770379 0 0 0 0 1617 210 20 0 17 0 404561630 8395247616 38458 33554432000 4194304 4196468 140724917651648 140482407557344 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1516] ppid=1452 vsize=8198484 memory=772 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1516/stat : 1516 (java) S 1452 1455 31842 0 -1 1077944384 24 770379 0 0 0 0 1617 210 20 0 17 0 404561735 8395247616 38458 33554432000 4194304 4196468 140724917651648 140483884409744 140484551121538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1520] ppid=1452 vsize=8198484 memory=1556 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1520/stat : 1520 (java) S 1452 1455 31842 0 -1 1077944384 9 770379 0 0 0 0 1617 210 20 0 17 0 404561738 8395247616 38458 33554432000 4194304 4196468 140724917651648 140481602244848 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1522] ppid=1452 vsize=8198484 memory=1056 CPUtime=18.27 cores=1,3,5,7
/proc/1500/task/1522/stat : 1522 (java) S 1452 1455 31842 0 -1 1077944384 3 770379 0 0 0 0 1617 210 20 0 17 0 404563544 8395247616 38458 33554432000 4194304 4196468 140724917651648 140481333813072 140484551120597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
[pid=1500/tid=1525] ppid=1452 vsize=8198484 memory=2116 CPUtime=18.36 cores=1,3,5,7
/proc/1500/task/1525/stat : 1525 (java) R 1452 1455 31842 0 -1 4202560 2 770379 0 0 0 9 1617 210 20 0 17 0 404563544 8395247616 38458 33554432000 4194304 4196468 140724917651648 140481065378840 140484543796023 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724917654524 140724917654682 140724917654682 140724917657551 0
Current cumulated CPU time of completed processes: 319.446 s
Current children cumulated CPU time: 20.43 s
Current children cumulated vsize: 8198484 KiB
Current children cumulated memory: 153832 KiB
Child status: 1
Real time (s): 306.382
CPU time (s): 339.969
CPU user time (s): 330.126
CPU system time (s): 9.84313
CPU usage (%): 110.963
Max. virtual memory (cumulated for all children) (KiB): 15882936
Max. memory (cumulated for all children) (KiB): 7451172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.126
system time used= 9.84313
maximum resident set size= 7306820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 905667
page faults= 0
swaps= 0
block input operations= 72
block output operations= 2547240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15253
involuntary context switches= 865
# summary of solver processes directly reported to runsolver:
# pid: 1455,1500
# total CPU time (s): 339.969
# total CPU user time (s): 330.126
# total CPU system time (s): 9.84313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.85085 second user time and 3.27064 second system time
The end