Trace number 4387771

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)? (MO) 734.734 703.573

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-02-09.xml
MD5SUM51af40833062bacbe569ad61b7e4d8a4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.88246
Satisfiable
(Un)Satisfiability was proved
Number of variables5122
Number of constraints4611
Number of domains3
Minimum domain size2
Maximum domain size513
Distribution of domain sizes[{"size":2,"count":4608},{"size":512,"count":512},{"size":513,"count":2}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":512},{"degree":3,"count":4608}]
Minimum constraint arity2
Maximum constraint arity514
Distribution of constraint arities[{"arity":2,"count":4096},{"arity":10,"count":512},{"arity":512,"count":2},{"arity":514,"count":1}]
Number of extensional constraints0
Number of intensional constraints4096
Distribution of constraint types[{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":512},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

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-21079-serial-file.bin HOME/instance-4387771-1568290113.xml
0.65/0.53	
0.65/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Thu Sep 12 14:07:53 CEST 2019
0.65/0.55	c PID: 21082
0.65/0.55	c IP: 172.20.3.134
0.65/0.55	c HOST: node134.alineos.net
0.65/0.56	c (0,0) Parsing Begin
4.60/1.95	c (1,1) Parsing End
4.60/1.96	c (1,1) CSP: 514 int (0 aux), 4608 bool (0 aux), 4611 ctr, max domain size 513
4.60/1.96	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.60/1.96	c (1,1) Constraint Name Generate Begin
4.60/1.99	c (1,1) Ctr:HOME/instance-4387771-1568290113.xml,AllDifferent:Cardinality:Eq:Minimum:Num:Var:WeightedSum
4.60/1.99	c (1,1) Constraint Name Generate End
4.60/2.00	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.60/2.00	c (1,1) CSP to CSPinCNF Begin
17.47/8.72	c (8,8) translated 462 (10%) constraints
17.47/8.79	c (8,8) translated 923 (20%) constraints
17.70/8.81	c (8,8) translated 1384 (30%) constraints
17.70/8.83	c (8,8) translated 1845 (40%) constraints
17.70/8.86	c (8,8) translated 2306 (50%) constraints
17.70/8.88	c (8,8) translated 2767 (60%) constraints
17.99/8.90	c (8,8) translated 3228 (70%) constraints
17.99/8.92	c (8,8) translated 3689 (80%) constraints
17.99/8.94	c (8,8) translated 4150 (90%) constraints
19.84/9.67	c (9,8) translated 4611 (100%) constraints
20.18/9.71	c (9,8) ===========================================
20.50/9.86	c (9,9) Hybrid: #OE=513, #LE=5634
20.50/9.86	c (9,9) Hybrid
20.50/9.86	c (9,9) ===========================================
21.75/10.39	c (9,9) translated 13851 (10%) constraints
22.39/10.80	c (10,10) translated 27701 (20%) constraints
22.79/11.20	c (10,10) translated 41551 (30%) constraints
23.19/11.61	c (11,10) translated 55401 (40%) constraints
23.60/12.01	c (11,11) translated 69251 (50%) constraints
23.99/12.41	c (11,11) translated 83102 (60%) constraints
24.39/12.81	c (12,12) translated 96952 (70%) constraints
24.79/13.22	c (12,12) translated 110802 (80%) constraints
25.19/13.62	c (13,12) translated 124652 (90%) constraints
43.58/27.23	c (26,25) translated 138502 (100%) constraints
43.58/27.24	c (26,25) CSP to CSPinCNF End
43.83/27.32	c (26,25) CSP: 515 int (1 aux), 268800 bool (264192 aux), 669449 ctr, max domain size 513
43.83/27.32	c (26,25) Heap : 2111 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
43.83/27.32	c (26,25) CSPinCNF Propagation Begin
73.04/48.17	c (47,43) 0 values, 1024 unsatisfiable literals, and 2048 valid clauses are removed
73.04/48.17	c (47,43) CSPinCNF Propagation End
73.17/48.22	c (47,43) CSP: 515 int (1 aux), 268800 bool (264192 aux), 667401 ctr, max domain size 513
73.17/48.22	c (47,43) Heap : 2817 MiB used (max 10499 MiB), NonHeap : 31 MiB used (max 0 MiB)
74.42/48.76	c (48,44) Hybrid: #OE=263681, #LE=5634
74.42/48.76	c (48,44) Simplify CSPinCNF Begin
81.91/54.17	c (53,49) Simplify CSPinCNF End
82.33/54.30	c (53,49) CSP: 515 int (1 aux), 530944 bool (526336 aux), 929545 ctr, max domain size 513
82.33/54.30	c (53,49) Heap : 1607 MiB used (max 10561 MiB), NonHeap : 30 MiB used (max 0 MiB)
82.33/54.30	c (53,49) Calculate Precise Domain Begin
82.33/54.30	c (53,49) 0 values are removed by re-calculation
82.33/54.30	c (53,49) Calculate Precise Domain End
82.43/54.42	c (53,49) CSP: 515 int (1 aux), 530944 bool (526336 aux), 929545 ctr, max domain size 513
82.43/54.42	c (53,49) Heap : 1653 MiB used (max 10561 MiB), NonHeap : 30 MiB used (max 0 MiB)
82.43/54.42	c (53,49) CSPinCNF to SatSolver Begin
210.30/182.66	c (182,171) 92955 (10 %) CSP clauses are encoded (0 SAT variables, 32020797 SAT clauses)
331.70/308.73	c (308,291) 185909 (20 %) CSP clauses are encoded (0 SAT variables, 63779910 SAT clauses)
452.98/434.76	c (434,412) 278864 (30 %) CSP clauses are encoded (0 SAT variables, 95539535 SAT clauses)
574.51/559.06	c (558,532) 371818 (40 %) CSP clauses are encoded (0 SAT variables, 127299159 SAT clauses)
602.33/587.56	c (587,560) 464773 (50 %) CSP clauses are encoded (0 SAT variables, 134420408 SAT clauses)
603.43/588.62	c (588,561) 557727 (60 %) CSP clauses are encoded (0 SAT variables, 134513362 SAT clauses)
604.78/589.76	c (589,562) 650682 (70 %) CSP clauses are encoded (0 SAT variables, 134606317 SAT clauses)
605.88/590.83	c (590,563) 743636 (80 %) CSP clauses are encoded (0 SAT variables, 134699271 SAT clauses)
606.88/591.89	c (591,564) 836591 (90 %) CSP clauses are encoded (0 SAT variables, 134792226 SAT clauses)
689.67/671.32	c (670,643) 929545 (100 %) CSP clauses are encoded (0 SAT variables, 145366376 SAT clauses)
689.67/671.33	c (670,643) CSPinCNF to SatSolver End
689.67/671.33	c (670,643) Heap : 2745 MiB used (max 11252 MiB), NonHeap : 34 MiB used (max 0 MiB)
689.67/671.33	c (670,643) 5506617 bool, 145366887 clause
689.67/671.33	c (670,643) Export Begin
705.83/675.76	c (675,643) Export to HOME/scop-21079-serial-file.bin
705.83/675.76	c (675,643) Export End
705.83/675.76	c (675,643) Export File Size: 1.87 MB
705.83/675.76	c (675,643) 1,1,26,47,53,53,670,STOP-AFTER(DIMACS)
705.83/675.76	c END-Prog: Thu Sep 12 14:19:08 CEST 2019
0.00/675.80	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21079-serial-file.bin
706.48/676.26	c (0,0) Read Serial File Begin
706.48/676.26	c (0,0) HOME/scop-21079-serial-file.bin
707.68/676.94	c (0,0) Read Serial File End
707.68/676.95	
707.68/676.95	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
707.68/676.95	(Solving Process)
707.68/676.95	
707.68/676.97	c BEGIN-Prog: Thu Sep 12 14:19:09 CEST 2019
707.68/676.97	c PID: 21159
707.68/676.97	c IP: 172.20.3.134
707.68/676.97	c HOST: node134.alineos.net
707.68/676.98	c (0,0) SatSolver.solve Begin
707.68/676.98	c (0,0) HOME/cryptominisat5  HOME/instance-4387771-1568290113.xml-scop-21082.cnf
708.01/677.01	c (0,0) c Outputting solution to console
708.01/677.01	c (0,0) c CryptoMiniSat version 5.6.8
708.01/677.01	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
708.01/677.01	c (0,0) c CMS SHA revision GIT-notfound
708.01/677.01	c (0,0) c CMS is MIT licensed
708.01/677.01	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
708.01/677.01	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
708.01/677.01	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387771-1568290113.xml-scop-21082.cnf
708.01/677.01	c (0,0) c Reading file 'HOME/instance-4387771-1568290113.xml-scop-21082.cnf'
708.01/677.01	c (0,0) c -- header says num vars:        5506617
708.01/677.01	c (0,0) c -- header says num clauses:   145366887
734.01/702.90	c (26,0) receiving signal SIGTERM
734.01/702.90	s UNKNOWN
734.01/702.91	c (scop.sh) Receiving Signal. Removing all intermediate files.
734.01/702.91	c (scop.sh) Remove HOME/scop-21079-serial-file.bin.
734.01/702.91	c (scop.sh) Killing background jobs.
734.01/702.91	c (26,0) receiving signal SIGTERM

Verifier Data


Watcher Data 

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 (14323 MiB free)
  memory of node 1: 16384 MiB (15385 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387771-1568290113/watcher-4387771-1568290113 -o /tmp/evaluation-result-4387771-1568290113/solver-4387771-1568290113 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568289862-20802 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387771-1568290113.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=21079, runsolver pid=21076
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 2.16 3.40 4.29 3/238 21096
/proc/meminfo: memFree=30360988/32770624 swapFree=66915628/67108860
[pid=21079] ppid=21076 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21079/stat : 21079 (scop.sh) S 21076 21079 20770 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405261865 115843072 348 33554432000 4194304 5098028 140724560886784 140724560884040 140046076199548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10981376 140724560892771 140724560893040 140724560893040 140724560895949 0
/proc/21079/statm: 28282 348 296 221 0 87 0
[pid=21082] ppid=21079 vsize=15016308 memory=74780 CPUtime=0.12 cores=1,3,5,7
/proc/21082/stat : 21082 (java) S 21079 21079 20770 0 -1 1077944320 7423 0 0 0 9 3 0 0 20 0 15 0 405261865 15376699392 18629 33554432000 4194304 4196468 140732151999648 140732151982192 139810953502455 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
/proc/21082/statm: 3754077 18629 2891 1 0 3716482 0
[pid=21082/tid=21083] ppid=21079 vsize=15016308 memory=-6221578594132737987 CPUtime=0.09 cores=1,3,5,7
/proc/21082/task/21083/stat : 21083 (java) R 21079 21079 20770 0 -1 4202560 5422 0 0 0 7 2 0 0 20 0 15 0 405261865 15376699392 18893 33554432000 4194304 4196468 140732151999648 139810925286704 139810946182173 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21084] ppid=21079 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21084/stat : 21084 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261867 15376699392 18893 33554432000 4194304 4196468 140732151999648 139810957745040 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21085] ppid=21079 vsize=15016308 memory=140558645409408 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21085/stat : 21085 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261867 15376699392 18893 33554432000 4194304 4196468 140732151999648 139810414340880 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21086] ppid=21079 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21086/stat : 21086 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261867 15376699392 18893 33554432000 4194304 4196468 140732151999648 139810413288592 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21087] ppid=21079 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21087/stat : 21087 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261867 15376699392 18959 33554432000 4194304 4196468 140732151999648 139810412235792 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21088] ppid=21079 vsize=15016308 memory=140558645409408 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21088/stat : 21088 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261868 15376699392 18959 33554432000 4194304 4196468 140732151999648 139809991108720 139810953513602 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21089] ppid=21079 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21089/stat : 21089 (java) S 21079 21079 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405261869 15376699392 18959 33554432000 4194304 4196468 140732151999648 139809506976544 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21090] ppid=21079 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21090/stat : 21090 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261869 15376699392 18959 33554432000 4194304 4196468 140732151999648 139809238541424 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21091] ppid=21079 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21091/stat : 21091 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405261871 15376699392 18959 33554432000 4194304 4196468 140732151999648 139808864032848 139810953521051 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21092] ppid=21079 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21092/stat : 21092 (java) S 21079 21079 20770 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 405261871 15376699392 19025 33554432000 4194304 4196468 140732151999648 139809990056560 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21093] ppid=21079 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21093/stat : 21093 (java) S 21079 21079 20770 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405261871 15376699392 19025 33554432000 4194304 4196468 140732151999648 139809989003760 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21094] ppid=21079 vsize=15016308 memory=140558645409408 CPUtime=0.01 cores=1,3,5,7
/proc/21082/task/21094/stat : 21094 (java) S 21079 21079 20770 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 15 0 405261871 15376699392 19025 33554432000 4194304 4196468 140732151999648 139809987951472 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21095] ppid=21079 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21095/stat : 21095 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405261872 15376699392 19025 33554432000 4194304 4196468 140732151999648 139808366128096 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21096] ppid=21079 vsize=15016308 memory=140558645409408 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21096/stat : 21096 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261872 15376699392 19025 33554432000 4194304 4196468 140732151999648 139809986898352 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 76172 KiB

[startup+0.211035 s]*
/proc/loadavg: 2.16 3.40 4.29 3/238 21096
/proc/meminfo: memFree=30342532/32770624 swapFree=66915628/67108860
[pid=21079] ppid=21076 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21079/stat : 21079 (scop.sh) S 21076 21079 20770 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405261865 115843072 348 33554432000 4194304 5098028 140724560886784 140724560884040 140046076199548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10981376 140724560892771 140724560893040 140724560893040 140724560895949 0
/proc/21079/statm: 28282 348 296 221 0 87 0
[pid=21082] ppid=21079 vsize=15012696 memory=85908 CPUtime=0.26 cores=1,3,5,7
/proc/21082/stat : 21082 (java) S 21079 21079 20770 0 -1 1077944320 11558 0 0 0 21 5 0 0 20 0 15 0 405261865 15373000704 21477 33554432000 4194304 4196468 140732151999648 140732151982192 139810953502455 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
/proc/21082/statm: 3753174 21477 2961 1 0 3715579 0
[pid=21082/tid=21083] ppid=21079 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/21082/task/21083/stat : 21083 (java) R 21079 21079 20770 0 -1 4202560 9264 0 0 0 16 4 0 0 20 0 15 0 405261865 15373000704 21477 33554432000 4194304 4196468 140732151999648 139810925317696 139810935370837 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21084] ppid=21079 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21084/stat : 21084 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261867 15373000704 21477 33554432000 4194304 4196468 140732151999648 139810957745040 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21085] ppid=21079 vsize=15012696 memory=288370934797121152 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21085/stat : 21085 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261867 15373000704 21477 33554432000 4194304 4196468 140732151999648 139810414340880 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21086] ppid=21079 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21086/stat : 21086 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261867 15373000704 21477 33554432000 4194304 4196468 140732151999648 139810413288592 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21087] ppid=21079 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21087/stat : 21087 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261867 15373000704 21477 33554432000 4194304 4196468 140732151999648 139810412235792 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21088] ppid=21079 vsize=15012696 memory=140558645409408 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21088/stat : 21088 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261868 15373000704 21477 33554432000 4194304 4196468 140732151999648 139809991108720 139810953513602 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21089] ppid=21079 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21089/stat : 21089 (java) S 21079 21079 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405261869 15373000704 21477 33554432000 4194304 4196468 140732151999648 139809506976544 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21090] ppid=21079 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21090/stat : 21090 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261869 15373000704 21477 33554432000 4194304 4196468 140732151999648 139809238541424 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21091] ppid=21079 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21091/stat : 21091 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405261871 15373000704 21477 33554432000 4194304 4196468 140732151999648 139808864032848 139810953521051 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21092] ppid=21079 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21092/stat : 21092 (java) S 21079 21079 20770 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 405261871 15373000704 21477 33554432000 4194304 4196468 140732151999648 139809990056560 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21093] ppid=21079 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21093/stat : 21093 (java) S 21079 21079 20770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 405261871 15373000704 21477 33554432000 4194304 4196468 140732151999648 139809989003760 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21094] ppid=21079 vsize=15012696 memory=140558645409408 CPUtime=0.02 cores=1,3,5,7
/proc/21082/task/21094/stat : 21094 (java) S 21079 21079 20770 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 15 0 405261871 15373000704 21477 33554432000 4194304 4196468 140732151999648 139809987951472 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21095] ppid=21079 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21095/stat : 21095 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405261872 15373000704 21477 33554432000 4194304 4196468 140732151999648 139808366128096 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21096] ppid=21079 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21096/stat : 21096 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261872 15373000704 21477 33554432000 4194304 4196468 140732151999648 139809986898352 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87300 KiB

[startup+0.310933 s]*
/proc/loadavg: 2.16 3.40 4.29 4/238 21096
/proc/meminfo: memFree=30338528/32770624 swapFree=66915628/67108860
[pid=21079] ppid=21076 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21079/stat : 21079 (scop.sh) S 21076 21079 20770 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405261865 115843072 348 33554432000 4194304 5098028 140724560886784 140724560884040 140046076199548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10981376 140724560892771 140724560893040 140724560893040 140724560895949 0
/proc/21079/statm: 28282 348 296 221 0 87 0
[pid=21082] ppid=21079 vsize=15012696 memory=90280 CPUtime=0.43 cores=1,3,5,7
/proc/21082/stat : 21082 (java) S 21079 21079 20770 0 -1 1077944320 12572 0 0 0 38 5 0 0 20 0 15 0 405261865 15373000704 22570 33554432000 4194304 4196468 140732151999648 140732151982192 139810953502455 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
/proc/21082/statm: 3753174 22570 3066 1 0 3715579 0
[pid=21082/tid=21083] ppid=21079 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/21082/task/21083/stat : 21083 (java) R 21079 21079 20770 0 -1 4202560 10070 0 0 0 26 4 0 0 20 0 15 0 405261865 15373000704 22570 33554432000 4194304 4196468 140732151999648 139810925314800 139810933777764 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21084] ppid=21079 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21084/stat : 21084 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261867 15373000704 22570 33554432000 4194304 4196468 140732151999648 139810957745040 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21085] ppid=21079 vsize=15012696 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21085/stat : 21085 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261867 15373000704 22570 33554432000 4194304 4196468 140732151999648 139810414340880 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21086] ppid=21079 vsize=15012696 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21086/stat : 21086 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261867 15373000704 22570 33554432000 4194304 4196468 140732151999648 139810413288592 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21087] ppid=21079 vsize=15012696 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21087/stat : 21087 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261867 15373000704 22570 33554432000 4194304 4196468 140732151999648 139810412235792 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21088] ppid=21079 vsize=15012696 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21088/stat : 21088 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261868 15373000704 22570 33554432000 4194304 4196468 140732151999648 139809991108720 139810953513602 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21089] ppid=21079 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21089/stat : 21089 (java) S 21079 21079 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405261869 15373000704 22570 33554432000 4194304 4196468 140732151999648 139809506976544 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21090] ppid=21079 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21090/stat : 21090 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261869 15373000704 22570 33554432000 4194304 4196468 140732151999648 139809238541424 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21091] ppid=21079 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21091/stat : 21091 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405261871 15373000704 22570 33554432000 4194304 4196468 140732151999648 139808864032848 139810953521051 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21092] ppid=21079 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21082/task/21092/stat : 21092 (java) S 21079 21079 20770 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 15 0 405261871 15373000704 22570 33554432000 4194304 4196468 140732151999648 139809990056560 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21093] ppid=21079 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21082/task/21093/stat : 21093 (java) S 21079 21079 20770 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 405261871 15373000704 22570 33554432000 4194304 4196468 140732151999648 139809989003760 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21094] ppid=21079 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21082/task/21094/stat : 21094 (java) S 21079 21079 20770 0 -1 1077944384 533 0 0 0 7 0 0 0 20 0 15 0 405261871 15373000704 22570 33554432000 4194304 4196468 140732151999648 139809987951472 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21095] ppid=21079 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21095/stat : 21095 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405261872 15373000704 22570 33554432000 4194304 4196468 140732151999648 139808366128096 139810953512661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21096] ppid=21079 vsize=15012696 memory=3472898942829666353 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21096/stat : 21096 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261872 15373000704 22570 33554432000 4194304 4196468 140732151999648 139809986898352 139810953513602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91672 KiB

[startup+0.701805 s]
/proc/loadavg: 2.16 3.40 4.29 3/238 21096
/proc/meminfo: memFree=30315860/32770624 swapFree=66915628/67108860
[pid=21079] ppid=21076 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21079/stat : 21079 (scop.sh) S 21076 21079 20770 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405261865 115843072 348 33554432000 4194304 5098028 140724560886784 140724560884040 140046076199548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10981376 140724560892771 140724560893040 140724560893040 140724560895949 0
/proc/21079/statm: 28282 348 296 221 0 87 0
[pid=21082] ppid=21079 vsize=15018968 memory=131368 CPUtime=1.03 cores=1,3,5,7
/proc/21082/stat : 21082 (java) S 21079 21079 20770 0 -1 1077944320 20046 0 0 0 95 8 0 0 20 0 15 0 405261865 15379423232 32842 33554432000 4194304 4196468 140732151999648 140732151982192 139810953502455 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
/proc/21082/statm: 3754742 32842 3182 1 0 3716091 0
[pid=21082/tid=21083] ppid=21079 vsize=15018968 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/21082/task/21083/stat : 21083 (java) R 21079 21079 20770 0 -1 4202560 17131 0 0 0 61 6 0 0 20 0 15 0 405261865 15379423232 32842 33554432000 4194304 4196468 140732151999648 139810925340816 139810459129728 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21084] ppid=21079 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21084/stat : 21084 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261867 15379423232 32842 33554432000 4194304 4196468 140732151999648 139810957745040 139810953512661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21085] ppid=21079 vsize=15018968 memory=13812 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21085/stat : 21085 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261867 15379423232 32842 33554432000 4194304 4196468 140732151999648 139810414340880 139810953512661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21086] ppid=21079 vsize=15018968 memory=24080 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21086/stat : 21086 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261867 15379423232 32842 33554432000 4194304 4196468 140732151999648 139810413288592 139810953512661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21087] ppid=21079 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21087/stat : 21087 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405261867 15379423232 32842 33554432000 4194304 4196468 140732151999648 139810412235792 139810953512661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21088] ppid=21079 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21088/stat : 21088 (java) S 21079 21079 20770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405261868 15379423232 32842 33554432000 4194304 4196468 140732151999648 139809991108720 139810953513602 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21089] ppid=21079 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21089/stat : 21089 (java) S 21079 21079 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405261869 15379423232 32842 33554432000 4194304 4196468 140732151999648 139809506976544 139810953512661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21090] ppid=21079 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21090/stat : 21090 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261869 15379423232 32842 33554432000 4194304 4196468 140732151999648 139809238541424 139810953512661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21091] ppid=21079 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21091/stat : 21091 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405261871 15379423232 32842 33554432000 4194304 4196468 140732151999648 139808864032848 139810953521051 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21092] ppid=21079 vsize=15018968 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/21082/task/21092/stat : 21092 (java) R 21079 21079 20770 0 -1 4202560 641 0 0 0 10 0 0 0 20 0 15 0 405261871 15379423232 32842 33554432000 4194304 4196468 140732151999648 139809990049584 139810932748272 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21093] ppid=21079 vsize=15018968 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21082/task/21093/stat : 21093 (java) R 21079 21079 20770 0 -1 1077944384 275 0 0 0 6 0 0 0 20 0 15 0 405261871 15379423232 32842 33554432000 4194304 4196468 140732151999648 139809988991904 139810953512661 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21094] ppid=21079 vsize=15018968 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21082/task/21094/stat : 21094 (java) R 21079 21079 20770 0 -1 4202560 664 0 0 0 16 0 0 0 20 0 15 0 405261871 15379423232 32842 33554432000 4194304 4196468 140732151999648 139809987947232 139810933213968 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21095] ppid=21079 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21095/stat : 21095 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405261872 15379423232 32842 33554432000 4194304 4196468 140732151999648 139808366128096 139810953512661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
[pid=21082/tid=21096] ppid=21079 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21082/task/21096/stat : 21096 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405261872 15379423232 32842 33554432000 4194304 4196468 140732151999648 139809986898352 139810953513602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140732152001321 140732152001690 140732152001690 140732152004559 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132760 KiB

[startup+1.50084 s]
/proc/loadavg: 2.16 3.40 4.29 5/238 21096
/proc/meminfo: memFree=30257412/32770624 swapFree=66915628/67108860
[pid=21079] ppid=21076 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21079/stat : 21079 (scop.sh) S 21076 21079 20770 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405261865 115843072 348 33554432000 4194304 5098028 140724560886784 140724560884040 140046076199548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10981376 140724560892771 140724560893040 140724560893040 140724560895949 0
/proc/21079/statm: 28282 348 296 221 0 87 0

################
# More data... #
################

[pid=21159] ppid=21079 vsize=8068440 memory=145152 CPUtime=2.17 cores=1,3,5,7
/proc/21159/stat : 21159 (java) S 21079 21079 20770 0 -1 1077944320 21645 0 0 0 183 34 0 0 20 0 19 0 405329445 8262082560 36288 33554432000 4194304 4196468 140722358343424 140722358325968 139945189211895 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
/proc/21159/statm: 2017110 36288 3230 1 0 1978454 0
[pid=21174] ppid=21159 vsize=7909552 memory=6655988 CPUtime=25.88 cores=1,3,5,7
/proc/21174/stat : 21174 (cryptominisat5) R 21159 21079 20770 0 -1 4202496 1172818 0 0 0 2378 210 0 0 20 0 1 0 405329565 8099381248 1663997 33554432000 4194304 4451008 140724648692208 140724648688168 140536631681267 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 9113600 140724648698812 140724648698944 140724648698944 140724648701894 0
/proc/21174/statm: 1977388 1663997 614 63 0 1971115 0
[pid=21159/tid=21160] ppid=21079 vsize=8068440 memory=145152 CPUtime=1.22 cores=1,3,5,7
/proc/21159/task/21160/stat : 21160 (java) S 21079 21079 20770 0 -1 1077944384 17917 0 0 0 92 30 0 0 20 0 19 0 405329446 8262082560 36288 33554432000 4194304 4196468 140722358343424 139945161052064 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21161] ppid=21079 vsize=8068440 memory=145152 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21161/stat : 21161 (java) S 21079 21079 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405329447 8262082560 36288 33554432000 4194304 4196468 140722358343424 139945193453840 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21162] ppid=21079 vsize=8068440 memory=145152 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21162/stat : 21162 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405329447 8262082560 36288 33554432000 4194304 4196468 140722358343424 139945002015120 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21163] ppid=21079 vsize=8068440 memory=145152 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21163/stat : 21163 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405329447 8262082560 36288 33554432000 4194304 4196468 140722358343424 139945000962576 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21164] ppid=21079 vsize=8068440 memory=145152 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21164/stat : 21164 (java) S 21079 21079 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405329447 8262082560 36288 33554432000 4194304 4196468 140722358343424 139944672615056 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21165] ppid=21079 vsize=8068440 memory=145152 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21165/stat : 21165 (java) S 21079 21079 20770 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405329448 8262082560 36288 33554432000 4194304 4196468 140722358343424 139944501492208 139945189223042 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21166] ppid=21079 vsize=8068440 memory=145152 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21166/stat : 21166 (java) S 21079 21079 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405329449 8262082560 36288 33554432000 4194304 4196468 140722358343424 139943993140640 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21167] ppid=21079 vsize=8068440 memory=145152 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21167/stat : 21167 (java) S 21079 21079 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405329449 8262082560 36288 33554432000 4194304 4196468 140722358343424 139943858918896 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21168] ppid=21079 vsize=8068440 memory=145152 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21168/stat : 21168 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405329452 8262082560 36288 33554432000 4194304 4196468 140722358343424 139943484414672 139945189230491 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21169] ppid=21079 vsize=8068440 memory=1472 CPUtime=0.35 cores=1,3,5,7
/proc/21159/task/21169/stat : 21169 (java) S 21079 21079 20770 0 -1 1077944384 845 0 0 0 35 0 0 0 20 0 19 0 405329452 8262082560 36288 33554432000 4194304 4196468 140722358343424 139944500439024 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21170] ppid=21079 vsize=8068440 memory=145152 CPUtime=0.29 cores=1,3,5,7
/proc/21159/task/21170/stat : 21170 (java) S 21079 21079 20770 0 -1 1077944384 789 0 0 0 29 0 0 0 20 0 19 0 405329452 8262082560 36288 33554432000 4194304 4196468 140722358343424 139944499386480 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21171] ppid=21079 vsize=8068440 memory=145152 CPUtime=0.25 cores=1,3,5,7
/proc/21159/task/21171/stat : 21171 (java) S 21079 21079 20770 0 -1 1077944384 685 0 0 0 25 0 0 0 20 0 19 0 405329452 8262082560 36288 33554432000 4194304 4196468 140722358343424 139944498333936 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21172] ppid=21079 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21172/stat : 21172 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405329452 8262082560 36288 33554432000 4194304 4196468 140722358343424 139942986508896 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21173] ppid=21079 vsize=8068440 memory=4100 CPUtime=0.01 cores=1,3,5,7
/proc/21159/task/21173/stat : 21173 (java) S 21079 21079 20770 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 19 0 405329452 8262082560 36288 33554432000 4194304 4196468 140722358343424 139944497281840 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21175] ppid=21079 vsize=8068440 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21175/stat : 21175 (java) S 21079 21079 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405329565 8262082560 36288 33554432000 4194304 4196468 140722358343424 139944489248320 139945189236505 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21177] ppid=21079 vsize=8068440 memory=6414720 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21177/stat : 21177 (java) S 21079 21079 20770 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 405329566 8262082560 36288 33554432000 4194304 4196468 140722358343424 139942449623216 139945189233821 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21178] ppid=21079 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21178/stat : 21178 (java) S 21079 21079 20770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405329566 8262082560 36288 33554432000 4194304 4196468 140722358343424 139942315400496 139945189233821 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21179] ppid=21079 vsize=8068440 memory=145152 CPUtime=0 cores=1,3,5,7
/proc/21159/task/21179/stat : 21179 (java) S 21079 21079 20770 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405329569 8262082560 36288 33554432000 4194304 4196468 140722358343424 139942583852080 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
Current children cumulated CPU time: 734.01 s
Current children cumulated vsize: 16091120 KiB
Current children cumulated memory: 6802612 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+702.919 s]
# the end of solver process 21079 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=697.268 s, system=8.70587 s

[startup+703.573 s]
# the end of solver process 21159 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=722.897 s, system=11.8368 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+703.201 s]
/proc/loadavg: 2.10 2.15 3.06 3/244 21186
/proc/meminfo: memFree=22045268/32770624 swapFree=66915628/67108860
[pid=21159] ppid=21076 vsize=8199512 memory=151324 CPUtime=28.36 cores=1,3,5,7
/proc/21159/stat : 21159 (java) S 21076 21079 20770 0 -1 1077944320 21713 1172820 0 0 184 41 2378 233 20 0 18 0 405329445 8396300288 37831 33554432000 4194304 4196468 140722358343424 140722358325968 139945189211895 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
/proc/21159/statm: 2049878 37831 3230 1 0 2011222 0
[pid=21159/tid=21160] ppid=21076 vsize=8199512 memory=1156 CPUtime=27.33 cores=1,3,5,7
/proc/21159/task/21160/stat : 21160 (java) S 21076 21079 20770 0 -1 1077944384 17917 1172820 0 0 92 30 2378 233 20 0 18 0 405329446 8396300288 37831 33554432000 4194304 4196468 140722358343424 139945161052064 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21161] ppid=21076 vsize=8199512 memory=944 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21161/stat : 21161 (java) S 21076 21079 20770 0 -1 1077944384 2 1172820 0 0 0 0 2378 233 20 0 18 0 405329447 8396300288 37831 33554432000 4194304 4196468 140722358343424 139945193453840 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21162] ppid=21076 vsize=8199512 memory=6791534058613427641 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21162/stat : 21162 (java) S 21076 21079 20770 0 -1 1077944384 1 1172820 0 0 0 0 2378 233 20 0 18 0 405329447 8396300288 37831 33554432000 4194304 4196468 140722358343424 139945002015120 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21163] ppid=21076 vsize=8199512 memory=4286196862594209365 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21163/stat : 21163 (java) S 21076 21079 20770 0 -1 1077944384 1 1172820 0 0 0 0 2378 233 20 0 18 0 405329447 8396300288 37831 33554432000 4194304 4196468 140722358343424 139945000962576 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21164] ppid=21076 vsize=8199512 memory=-7313218805096079717 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21164/stat : 21164 (java) S 21076 21079 20770 0 -1 1077944384 1 1172820 0 0 0 0 2378 233 20 0 18 0 405329447 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944672615056 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21165] ppid=21076 vsize=8199512 memory=8414074075373934941 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21165/stat : 21165 (java) S 21076 21079 20770 0 -1 1077944384 7 1172820 0 0 0 0 2378 233 20 0 18 0 405329448 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944501491712 139945189223042 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21166] ppid=21076 vsize=8199512 memory=7091858113946478935 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21166/stat : 21166 (java) S 21076 21079 20770 0 -1 1077944384 13 1172820 0 0 0 0 2378 233 20 0 18 0 405329449 8396300288 37831 33554432000 4194304 4196468 140722358343424 139943993140640 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21167] ppid=21076 vsize=8199512 memory=7091858113946478935 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21167/stat : 21167 (java) S 21076 21079 20770 0 -1 1077944384 21 1172820 0 0 0 0 2378 233 20 0 18 0 405329449 8396300288 37831 33554432000 4194304 4196468 140722358343424 139943858918896 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21168] ppid=21076 vsize=8199512 memory=500 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21168/stat : 21168 (java) S 21076 21079 20770 0 -1 1077944384 30 1172820 0 0 0 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139943484414320 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21169] ppid=21076 vsize=8199512 memory=1556 CPUtime=26.46 cores=1,3,5,7
/proc/21159/task/21169/stat : 21169 (java) S 21076 21079 20770 0 -1 1077944384 845 1172820 0 0 35 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944500439024 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21170] ppid=21076 vsize=8199512 memory=928 CPUtime=26.4 cores=1,3,5,7
/proc/21159/task/21170/stat : 21170 (java) S 21076 21079 20770 0 -1 1077944384 789 1172820 0 0 29 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944499386480 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21171] ppid=21076 vsize=8199512 memory=1460 CPUtime=26.36 cores=1,3,5,7
/proc/21159/task/21171/stat : 21171 (java) S 21076 21079 20770 0 -1 1077944384 686 1172820 0 0 25 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944498333696 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21172] ppid=21076 vsize=8199512 memory=912 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21172/stat : 21172 (java) S 21076 21079 20770 0 -1 1077944384 3 1172820 0 0 0 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139942986508896 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21175] ppid=21076 vsize=8199512 memory=1984 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21175/stat : 21175 (java) S 21076 21079 20770 0 -1 1077944384 24 1172820 0 0 0 0 2378 233 20 0 18 0 405329565 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944489247504 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21179] ppid=21076 vsize=8199512 memory=16097061523163479 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21179/stat : 21179 (java) S 21076 21079 20770 0 -1 1077944384 28 1172820 0 0 0 0 2378 233 20 0 18 0 405329569 8396300288 37831 33554432000 4194304 4196468 140722358343424 139942583847456 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21183] ppid=21076 vsize=8199512 memory=2528 CPUtime=26.18 cores=1,3,5,7
/proc/21159/task/21183/stat : 21183 (java) R 21076 21079 20770 0 -1 4202560 3 1172820 0 0 0 7 2378 233 20 0 18 0 405332155 8396300288 37831 33554432000 4194304 4196468 140722358343424 139941912765560 139945181897527 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21186] ppid=21076 vsize=8199512 memory=992 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21186/stat : 21186 (java) S 21076 21079 20770 0 -1 1077944384 29 1172820 0 0 0 0 2378 233 20 0 18 0 405332157 8396300288 37831 33554432000 4194304 4196468 140722358343424 139941778542672 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
Current cumulated CPU time of completed processes: 705.974 s
Current children cumulated CPU time: 28.36 s
Current children cumulated vsize: 8199512 KiB
Current children cumulated memory: 151324 KiB

[startup+703.401 s]
/proc/loadavg: 2.10 2.15 3.06 3/244 21186
/proc/meminfo: memFree=22045268/32770624 swapFree=66915628/67108860
[pid=21159] ppid=21076 vsize=8199512 memory=151324 CPUtime=28.57 cores=1,3,5,7
/proc/21159/stat : 21159 (java) S 21076 21079 20770 0 -1 1077944320 21713 1172820 0 0 184 62 2378 233 20 0 18 0 405329445 8396300288 37831 33554432000 4194304 4196468 140722358343424 140722358325968 139945189211895 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
/proc/21159/statm: 2049878 37831 3230 1 0 2011222 0
[pid=21159/tid=21160] ppid=21076 vsize=8199512 memory=1472 CPUtime=27.33 cores=1,3,5,7
/proc/21159/task/21160/stat : 21160 (java) S 21076 21079 20770 0 -1 1077944384 17917 1172820 0 0 92 30 2378 233 20 0 18 0 405329446 8396300288 37831 33554432000 4194304 4196468 140722358343424 139945161052064 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21161] ppid=21076 vsize=8199512 memory=145152 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21161/stat : 21161 (java) S 21076 21079 20770 0 -1 1077944384 2 1172820 0 0 0 0 2378 233 20 0 18 0 405329447 8396300288 37831 33554432000 4194304 4196468 140722358343424 139945193453840 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21162] ppid=21076 vsize=8199512 memory=2044 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21162/stat : 21162 (java) S 21076 21079 20770 0 -1 1077944384 1 1172820 0 0 0 0 2378 233 20 0 18 0 405329447 8396300288 37831 33554432000 4194304 4196468 140722358343424 139945002015120 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21163] ppid=21076 vsize=8199512 memory=1296 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21163/stat : 21163 (java) S 21076 21079 20770 0 -1 1077944384 1 1172820 0 0 0 0 2378 233 20 0 18 0 405329447 8396300288 37831 33554432000 4194304 4196468 140722358343424 139945000962576 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21164] ppid=21076 vsize=8199512 memory=620 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21164/stat : 21164 (java) S 21076 21079 20770 0 -1 1077944384 1 1172820 0 0 0 0 2378 233 20 0 18 0 405329447 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944672615056 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21165] ppid=21076 vsize=8199512 memory=6791534058613427641 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21165/stat : 21165 (java) S 21076 21079 20770 0 -1 1077944384 7 1172820 0 0 0 0 2378 233 20 0 18 0 405329448 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944501491712 139945189223042 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21166] ppid=21076 vsize=8199512 memory=1808 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21166/stat : 21166 (java) S 21076 21079 20770 0 -1 1077944384 13 1172820 0 0 0 0 2378 233 20 0 18 0 405329449 8396300288 37831 33554432000 4194304 4196468 140722358343424 139943993140640 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21167] ppid=21076 vsize=8199512 memory=3356 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21167/stat : 21167 (java) S 21076 21079 20770 0 -1 1077944384 21 1172820 0 0 0 0 2378 233 20 0 18 0 405329449 8396300288 37831 33554432000 4194304 4196468 140722358343424 139943858918896 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21168] ppid=21076 vsize=8199512 memory=2828 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21168/stat : 21168 (java) S 21076 21079 20770 0 -1 1077944384 30 1172820 0 0 0 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139943484414320 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21169] ppid=21076 vsize=8199512 memory=1712 CPUtime=26.46 cores=1,3,5,7
/proc/21159/task/21169/stat : 21169 (java) S 21076 21079 20770 0 -1 1077944384 845 1172820 0 0 35 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944500439024 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21170] ppid=21076 vsize=8199512 memory=1156 CPUtime=26.4 cores=1,3,5,7
/proc/21159/task/21170/stat : 21170 (java) S 21076 21079 20770 0 -1 1077944384 789 1172820 0 0 29 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944499386480 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21171] ppid=21076 vsize=8199512 memory=944 CPUtime=26.36 cores=1,3,5,7
/proc/21159/task/21171/stat : 21171 (java) S 21076 21079 20770 0 -1 1077944384 686 1172820 0 0 25 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944498333696 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21172] ppid=21076 vsize=8199512 memory=1552 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21172/stat : 21172 (java) S 21076 21079 20770 0 -1 1077944384 3 1172820 0 0 0 0 2378 233 20 0 18 0 405329452 8396300288 37831 33554432000 4194304 4196468 140722358343424 139942986508896 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21175] ppid=21076 vsize=8199512 memory=1052 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21175/stat : 21175 (java) S 21076 21079 20770 0 -1 1077944384 24 1172820 0 0 0 0 2378 233 20 0 18 0 405329565 8396300288 37831 33554432000 4194304 4196468 140722358343424 139944489247504 139945189223042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21179] ppid=21076 vsize=8199512 memory=5948 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21179/stat : 21179 (java) S 21076 21079 20770 0 -1 1077944384 28 1172820 0 0 0 0 2378 233 20 0 18 0 405329569 8396300288 37831 33554432000 4194304 4196468 140722358343424 139942583847456 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21183] ppid=21076 vsize=8199512 memory=8300 CPUtime=26.38 cores=1,3,5,7
/proc/21159/task/21183/stat : 21183 (java) R 21076 21079 20770 0 -1 4202560 3 1172820 0 0 0 27 2378 233 20 0 18 0 405332155 8396300288 37831 33554432000 4194304 4196468 140722358343424 139941912765720 139945181897527 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
[pid=21159/tid=21186] ppid=21076 vsize=8199512 memory=776 CPUtime=26.11 cores=1,3,5,7
/proc/21159/task/21186/stat : 21186 (java) S 21076 21079 20770 0 -1 1077944384 29 1172820 0 0 0 0 2378 233 20 0 18 0 405332157 8396300288 37831 33554432000 4194304 4196468 140722358343424 139941778542672 139945189222101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140722358346747 140722358346906 140722358346906 140722358349775 0
Current cumulated CPU time of completed processes: 705.974 s
Current children cumulated CPU time: 28.57 s
Current children cumulated vsize: 8199512 KiB
Current children cumulated memory: 151324 KiB

[startup+703.501 s]*
/proc/loadavg: 2.10 2.15 3.06 3/223 21186
/proc/meminfo: memFree=29750348/32770624 swapFree=66915628/67108860
Current cumulated CPU time of completed processes: 705.974 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): 703.573
CPU time (s): 734.734
CPU user time (s): 722.897
CPU system time (s): 11.8368
CPU usage (%): 104.429
Max. virtual memory (cumulated for all children) (KiB): 16091120
Max. memory (cumulated for all children) (KiB): 6802612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 722.897
system time used= 11.8368
maximum resident set size= 6660100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1359299
page faults= 0
swaps= 0
block input operations= 216
block output operations= 6835160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26412
involuntary context switches= 1480


# summary of solver processes directly reported to runsolver:
#   pid: 21079,21159
#   total CPU time (s): 734.734
#   total CPU user time (s): 722.897
#   total CPU system time (s): 11.8368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70106 second user time and 7.06025 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-12 14:07:52
IDJOB=4387771
IDBENCH=125570
IDSOLVER=2826
FILE ID=node134/4387771-1568290113
RUNJOBID= node134-1568289862-20802
PBS_JOBID= 21701097
Free space on /tmp= 51892 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -hybrid DIR/cryptominisat5 default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387771-1568290113/watcher-4387771-1568290113 -o /tmp/evaluation-result-4387771-1568290113/solver-4387771-1568290113 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568289862-20802 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387771-1568290113.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=929554549

node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30421712 kB
MemAvailable:   31572980 kB
Buffers:           98844 kB
Cached:          1335568 kB
SwapCached:        90700 kB
Active:           544944 kB
Inactive:        1224148 kB
Active(anon):     268252 kB
Inactive(anon):   105752 kB
Active(file):     276692 kB
Inactive(file):  1118396 kB
Unevictable:      110944 kB
Mlocked:          110944 kB
SwapTotal:      67108860 kB
SwapFree:       66915628 kB
Dirty:             20636 kB
Writeback:             0 kB
AnonPages:        409476 kB
Mapped:            54396 kB
Shmem:             30560 kB
Slab:             172400 kB
SReclaimable:     144032 kB
SUnreclaim:        28368 kB
KernelStack:        4256 kB
PageTables:         6588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6111220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51872 MiB
End job on node134 at 2019-09-12 14:19:36