Trace number 4297797

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
Choco-solver 4.0.7b par (e747e1e)SAT 6.39052 3.28668

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
MD5SUM81d4059c2b76389bba6ef17dee6cb29a
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 benchmark6.39052
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints11
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":30}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":30}]
Minimum constraint arity5
Maximum constraint arity6
Distribution of constraint arities[{"arity":5,"count":6},{"arity":6,"count":5}]
Number of extensional constraints11
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":11}]
Optimization problemNO
Type of objective

Solver Data

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297797-1532721035.xml"  -tl '20160s' -p 8
0.11/0.17	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297797-1532721035.xml, -tl, 20160s, -p, 8]
0.11/0.21	c 8 solvers in parallel
0.33/0.28	c parse instance...
5.54/2.76	c solve instance...
5.78/2.88	s SATISFIABLE
5.78/2.88	v <instantiation>
5.78/2.88	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] </list>
5.78/2.88	v 	<values>0 20 2 20 1 0 20 18 4 17 0 18 9 0 17 0 6 0 0 9 0 17 0 13 2 0 13 0 3 0 </values>
5.78/2.88	v </instantiation>

Verifier Data

OK	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297797-1532721035/watcher-4297797-1532721035 -o /tmp/evaluation-result-4297797-1532721035/solver-4297797-1532721035 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532718101-20776 --watchdog 2580 HOME/xcsp3-exec -seed 1953803642 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297797-1532721035.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=21384, runsolver pid=21381

[startup+0.100109 s]*
/proc/loadavg: 8.05 8.21 8.21 2/200 21405
/proc/meminfo: memFree=27526452/32770624 swapFree=67108496/67108860
[pid=21384] ppid=21381 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21384/stat : 21384 (xcsp3-exec) S 21381 21384 20749 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89666672 115843072 363 33554432000 4194304 5098028 140721414737792 140721414735896 140589022085756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39014400 140721414743093 140721414743296 140721414743296 140721414746058 0
/proc/21384/statm: 28282 363 305 221 0 87 0
[pid=21386] ppid=21384 vsize=26104152 memory=26940 CPUtime=0.11 cores=0-7
/proc/21386/stat : 21386 (java) S 21384 21384 20749 0 -1 1077944320 5659 0 0 0 10 1 0 0 20 0 20 0 89666673 26730651648 6735 33554432000 4194304 4196468 140723769286400 140723769268944 140102756003575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
/proc/21386/statm: 6526038 6735 2999 1 0 6488315 0
[pid=21386/tid=21387] ppid=21384 vsize=26104152 memory=7896388429291626399 CPUtime=0.08 cores=0-7
/proc/21386/task/21387/stat : 21387 (java) R 21384 21384 20749 0 -1 4202560 3659 0 0 0 8 0 0 0 20 0 20 0 89666673 26730651648 6735 33554432000 4194304 4196468 140723769286400 140102760235488 140102740047205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21388] ppid=21384 vsize=26104152 memory=732370476130143205 CPUtime=0 cores=0-7
/proc/21386/task/21388/stat : 21388 (java) S 21384 21384 20749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 6735 33554432000 4194304 4196468 140723769286400 140102708624272 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21389] ppid=21384 vsize=26104152 memory=140337792689792 CPUtime=0 cores=0-7
/proc/21386/task/21389/stat : 21389 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 6735 33554432000 4194304 4196468 140723769286400 140102707571472 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21390] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21390/stat : 21390 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 6735 33554432000 4194304 4196468 140723769286400 140102311738512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21391] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21391/stat : 21391 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 6735 33554432000 4194304 4196468 140723769286400 140102310685712 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21392] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21392/stat : 21392 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 6735 33554432000 4194304 4196468 140723769286400 140102309632400 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21393] ppid=21384 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21386/task/21393/stat : 21393 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 6735 33554432000 4194304 4196468 140723769286400 140102308579600 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21394] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21394/stat : 21394 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 6735 33554432000 4194304 4196468 140723769286400 140102307527312 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21395] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21395/stat : 21395 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 6735 33554432000 4194304 4196468 140723769286400 140102306474512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21396] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21396/stat : 21396 (java) S 21384 21384 20749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89666675 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101229210224 140102756014722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21397] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21397/stat : 21397 (java) S 21384 21384 20749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89666676 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101228156192 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21398] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21398/stat : 21398 (java) S 21384 21384 20749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89666676 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101227103856 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21399] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21399/stat : 21399 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666678 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101226052176 140102756022171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21400] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21400/stat : 21400 (java) S 21384 21384 20749 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 89666678 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101224999024 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21401] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21401/stat : 21401 (java) S 21384 21384 20749 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 89666678 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101223946224 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21402] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21402/stat : 21402 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666678 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101222893936 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21403] ppid=21384 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21386/task/21403/stat : 21403 (java) S 21384 21384 20749 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 89666678 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101221841136 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21404] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21404/stat : 21404 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666679 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101220789088 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21405] ppid=21384 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21386/task/21405/stat : 21405 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666679 26730651648 6735 33554432000 4194304 4196468 140723769286400 140101219736368 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28392 KiB

[startup+0.2101 s]*
/proc/loadavg: 8.05 8.21 8.21 3/200 21405
/proc/meminfo: memFree=27515536/32770624 swapFree=67108496/67108860
[pid=21384] ppid=21381 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21384/stat : 21384 (xcsp3-exec) S 21381 21384 20749 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89666672 115843072 363 33554432000 4194304 5098028 140721414737792 140721414735896 140589022085756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39014400 140721414743093 140721414743296 140721414743296 140721414746058 0
/proc/21384/statm: 28282 363 305 221 0 87 0
[pid=21386] ppid=21384 vsize=26104152 memory=39728 CPUtime=0.33 cores=0-7
/proc/21386/stat : 21386 (java) S 21384 21384 20749 0 -1 1077944320 8493 0 0 0 31 2 0 0 20 0 20 0 89666673 26730651648 9932 33554432000 4194304 4196468 140723769286400 140723769268944 140102756003575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
/proc/21386/statm: 6526038 9932 3188 1 0 6488315 0
[pid=21386/tid=21387] ppid=21384 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/21386/task/21387/stat : 21387 (java) R 21384 21384 20749 0 -1 4202560 5573 0 0 0 18 1 0 0 20 0 20 0 89666673 26730651648 9932 33554432000 4194304 4196468 140723769286400 140102760238560 140102740047205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21388] ppid=21384 vsize=26104152 memory=280675446433528 CPUtime=0 cores=0-7
/proc/21386/task/21388/stat : 21388 (java) S 21384 21384 20749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 9932 33554432000 4194304 4196468 140723769286400 140102708624272 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21389] ppid=21384 vsize=26104152 memory=140337792689792 CPUtime=0 cores=0-7
/proc/21386/task/21389/stat : 21389 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 9932 33554432000 4194304 4196468 140723769286400 140102707571472 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21390] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21390/stat : 21390 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 9932 33554432000 4194304 4196468 140723769286400 140102311738512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21391] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21391/stat : 21391 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 9932 33554432000 4194304 4196468 140723769286400 140102310685712 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21392] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21392/stat : 21392 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 9932 33554432000 4194304 4196468 140723769286400 140102309632400 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21393] ppid=21384 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21386/task/21393/stat : 21393 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 9932 33554432000 4194304 4196468 140723769286400 140102308579600 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21394] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21394/stat : 21394 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 9932 33554432000 4194304 4196468 140723769286400 140102307527312 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21395] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21395/stat : 21395 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26730651648 9932 33554432000 4194304 4196468 140723769286400 140102306474512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21396] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21396/stat : 21396 (java) S 21384 21384 20749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89666675 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101229210224 140102756014722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21397] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21397/stat : 21397 (java) S 21384 21384 20749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89666676 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101228156192 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21398] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21398/stat : 21398 (java) S 21384 21384 20749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89666676 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101227103856 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21399] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21399/stat : 21399 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666678 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101226052176 140102756022171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21400] ppid=21384 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21386/task/21400/stat : 21400 (java) S 21384 21384 20749 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 89666678 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101224999024 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21401] ppid=21384 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21386/task/21401/stat : 21401 (java) S 21384 21384 20749 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 20 0 89666678 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101223946224 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21402] ppid=21384 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21386/task/21402/stat : 21402 (java) S 21384 21384 20749 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 89666678 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101222893936 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21403] ppid=21384 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/21386/task/21403/stat : 21403 (java) S 21384 21384 20749 0 -1 1077944384 810 0 0 0 7 0 0 0 20 0 20 0 89666678 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101221841136 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21404] ppid=21384 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21404/stat : 21404 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666679 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101220789088 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21405] ppid=21384 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21386/task/21405/stat : 21405 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666679 26730651648 9932 33554432000 4194304 4196468 140723769286400 140101219736368 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41180 KiB

[startup+0.309583 s]*
/proc/loadavg: 8.05 8.21 8.21 4/200 21405
/proc/meminfo: memFree=27508836/32770624 swapFree=67108496/67108860
[pid=21384] ppid=21381 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21384/stat : 21384 (xcsp3-exec) S 21381 21384 20749 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89666672 115843072 363 33554432000 4194304 5098028 140721414737792 140721414735896 140589022085756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39014400 140721414743093 140721414743296 140721414743296 140721414746058 0
/proc/21384/statm: 28282 363 305 221 0 87 0
[pid=21386] ppid=21384 vsize=26108408 memory=46632 CPUtime=0.51 cores=0-7
/proc/21386/stat : 21386 (java) S 21384 21384 20749 0 -1 1077944320 9398 0 0 0 48 3 0 0 20 0 20 0 89666673 26735009792 11658 33554432000 4194304 4196468 140723769286400 140723769268944 140102756003575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
/proc/21386/statm: 6527102 11658 3224 1 0 6488315 0
[pid=21386/tid=21387] ppid=21384 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21386/task/21387/stat : 21387 (java) R 21384 21384 20749 0 -1 4202560 6271 0 0 0 27 2 0 0 20 0 20 0 89666673 26735009792 11658 33554432000 4194304 4196468 140723769286400 140102760231920 140102756025501 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21388] ppid=21384 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21388/stat : 21388 (java) S 21384 21384 20749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89666674 26735009792 11658 33554432000 4194304 4196468 140723769286400 140102708624272 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21389] ppid=21384 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21389/stat : 21389 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26735009792 11658 33554432000 4194304 4196468 140723769286400 140102707571472 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21390] ppid=21384 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21390/stat : 21390 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26735009792 11658 33554432000 4194304 4196468 140723769286400 140102311738512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21391] ppid=21384 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21391/stat : 21391 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26735009792 11658 33554432000 4194304 4196468 140723769286400 140102310685712 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21392] ppid=21384 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/21386/task/21392/stat : 21392 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26735009792 11658 33554432000 4194304 4196468 140723769286400 140102309632400 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21393] ppid=21384 vsize=26108408 memory=140337653838767 CPUtime=0 cores=0-7
/proc/21386/task/21393/stat : 21393 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666674 26735009792 11658 33554432000 4194304 4196468 140723769286400 140102308579600 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21394] ppid=21384 vsize=26108408 memory=140337653841072 CPUtime=0 cores=0-7
/proc/21386/task/21394/stat : 21394 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26735009792 11658 33554432000 4194304 4196468 140723769286400 140102307527312 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21395] ppid=21384 vsize=26108408 memory=140337653843376 CPUtime=0 cores=0-7
/proc/21386/task/21395/stat : 21395 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26735009792 11658 33554432000 4194304 4196468 140723769286400 140102306474512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21396] ppid=21384 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21396/stat : 21396 (java) S 21384 21384 20749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89666675 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101229210224 140102756014722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21397] ppid=21384 vsize=26108408 memory=280675307693712 CPUtime=0 cores=0-7
/proc/21386/task/21397/stat : 21397 (java) S 21384 21384 20749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89666676 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101228156192 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21398] ppid=21384 vsize=26108408 memory=280675307700624 CPUtime=0 cores=0-7
/proc/21386/task/21398/stat : 21398 (java) S 21384 21384 20749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89666676 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101227103856 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21399] ppid=21384 vsize=26108408 memory=280675307641904 CPUtime=0 cores=0-7
/proc/21386/task/21399/stat : 21399 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666678 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101226052176 140102756022171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21400] ppid=21384 vsize=26108408 memory=280675307714448 CPUtime=0.03 cores=0-7
/proc/21386/task/21400/stat : 21400 (java) R 21384 21384 20749 0 -1 4202560 502 0 0 0 3 0 0 0 20 0 20 0 89666678 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101224980040 140102735243385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21401] ppid=21384 vsize=26108408 memory=280675307721360 CPUtime=0.02 cores=0-7
/proc/21386/task/21401/stat : 21401 (java) S 21384 21384 20749 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 20 0 89666678 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101223946224 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21402] ppid=21384 vsize=26108408 memory=280675307719056 CPUtime=0.02 cores=0-7
/proc/21386/task/21402/stat : 21402 (java) S 21384 21384 20749 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 20 0 89666678 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101222893936 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21403] ppid=21384 vsize=26108408 memory=280675307735216 CPUtime=0.12 cores=0-7
/proc/21386/task/21403/stat : 21403 (java) S 21384 21384 20749 0 -1 1077944384 898 0 0 0 12 0 0 0 20 0 20 0 89666678 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101221841136 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21404] ppid=21384 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21404/stat : 21404 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666679 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101220789088 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21405] ppid=21384 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/21386/task/21405/stat : 21405 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666679 26735009792 11658 33554432000 4194304 4196468 140723769286400 140101219736368 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48084 KiB

[startup+0.701017 s]
/proc/loadavg: 8.05 8.21 8.21 5/200 21405
/proc/meminfo: memFree=27462548/32770624 swapFree=67108496/67108860
[pid=21384] ppid=21381 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21384/stat : 21384 (xcsp3-exec) S 21381 21384 20749 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89666672 115843072 363 33554432000 4194304 5098028 140721414737792 140721414735896 140589022085756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39014400 140721414743093 140721414743296 140721414743296 140721414746058 0
/proc/21384/statm: 28282 363 305 221 0 87 0
[pid=21386] ppid=21384 vsize=26110532 memory=156880 CPUtime=1.75 cores=0-7
/proc/21386/stat : 21386 (java) S 21384 21384 20749 0 -1 1077944320 12853 0 0 0 169 6 0 0 20 0 20 0 89666673 26737184768 39220 33554432000 4194304 4196468 140723769286400 140723769268944 140102756003575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
/proc/21386/statm: 6527633 39220 3353 1 0 6488827 0
[pid=21386/tid=21387] ppid=21384 vsize=26110532 memory=280675308030080 CPUtime=0.67 cores=0-7
/proc/21386/task/21387/stat : 21387 (java) R 21384 21384 20749 0 -1 4202560 6838 0 0 0 64 3 0 0 20 0 20 0 89666673 26737184768 39220 33554432000 4194304 4196468 140723769286400 140102760239168 140102390479691 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21388] ppid=21384 vsize=26110532 memory=860 CPUtime=0 cores=0-7
/proc/21386/task/21388/stat : 21388 (java) S 21384 21384 20749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89666674 26737184768 39220 33554432000 4194304 4196468 140723769286400 140102708624272 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21389] ppid=21384 vsize=26110532 memory=12556 CPUtime=0 cores=0-7
/proc/21386/task/21389/stat : 21389 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26737184768 39220 33554432000 4194304 4196468 140723769286400 140102707571472 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21390] ppid=21384 vsize=26110532 memory=756 CPUtime=0 cores=0-7
/proc/21386/task/21390/stat : 21390 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26737184768 39220 33554432000 4194304 4196468 140723769286400 140102311738512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21391] ppid=21384 vsize=26110532 memory=1616 CPUtime=0 cores=0-7
/proc/21386/task/21391/stat : 21391 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26737184768 39220 33554432000 4194304 4196468 140723769286400 140102310685712 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21392] ppid=21384 vsize=26110532 memory=1836 CPUtime=0 cores=0-7
/proc/21386/task/21392/stat : 21392 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26737184768 39220 33554432000 4194304 4196468 140723769286400 140102309632400 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21393] ppid=21384 vsize=26110532 memory=1132 CPUtime=0 cores=0-7
/proc/21386/task/21393/stat : 21393 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666674 26737184768 39220 33554432000 4194304 4196468 140723769286400 140102308579600 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21394] ppid=21384 vsize=26110532 memory=6380 CPUtime=0 cores=0-7
/proc/21386/task/21394/stat : 21394 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26737184768 39220 33554432000 4194304 4196468 140723769286400 140102307527312 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21395] ppid=21384 vsize=26110532 memory=5500 CPUtime=0 cores=0-7
/proc/21386/task/21395/stat : 21395 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666674 26737184768 39220 33554432000 4194304 4196468 140723769286400 140102306474512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21396] ppid=21384 vsize=26110532 memory=4460 CPUtime=0 cores=0-7
/proc/21386/task/21396/stat : 21396 (java) S 21384 21384 20749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89666675 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101229210224 140102756014722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21397] ppid=21384 vsize=26110532 memory=1380 CPUtime=0 cores=0-7
/proc/21386/task/21397/stat : 21397 (java) S 21384 21384 20749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89666676 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101228156192 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21398] ppid=21384 vsize=26110532 memory=1160 CPUtime=0 cores=0-7
/proc/21386/task/21398/stat : 21398 (java) S 21384 21384 20749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89666676 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101227103856 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21399] ppid=21384 vsize=26110532 memory=15184 CPUtime=0 cores=0-7
/proc/21386/task/21399/stat : 21399 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666678 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101226052176 140102756022171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21400] ppid=21384 vsize=26110532 memory=4000 CPUtime=0.25 cores=0-7
/proc/21386/task/21400/stat : 21400 (java) S 21384 21384 20749 0 -1 1077944384 1223 0 0 0 25 0 0 0 20 0 20 0 89666678 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101224999024 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21401] ppid=21384 vsize=26110532 memory=14256 CPUtime=0.27 cores=0-7
/proc/21386/task/21401/stat : 21401 (java) S 21384 21384 20749 0 -1 1077944384 1180 0 0 0 27 0 0 0 20 0 20 0 89666678 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101223946224 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21402] ppid=21384 vsize=26110532 memory=15400 CPUtime=0.24 cores=0-7
/proc/21386/task/21402/stat : 21402 (java) S 21384 21384 20749 0 -1 1077944384 877 0 0 0 24 0 0 0 20 0 20 0 89666678 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101222893936 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21403] ppid=21384 vsize=26110532 memory=1180 CPUtime=0.26 cores=0-7
/proc/21386/task/21403/stat : 21403 (java) S 21384 21384 20749 0 -1 1077944384 1424 0 0 0 26 0 0 0 20 0 20 0 89666678 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101221841136 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21404] ppid=21384 vsize=26110532 memory=504 CPUtime=0 cores=0-7
/proc/21386/task/21404/stat : 21404 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666679 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101220789088 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21405] ppid=21384 vsize=26110532 memory=1720 CPUtime=0 cores=0-7
/proc/21386/task/21405/stat : 21405 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666679 26737184768 39220 33554432000 4194304 4196468 140723769286400 140101219736368 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 158332 KiB

[startup+1.50094 s]
/proc/loadavg: 8.05 8.21 8.21 5/200 21405
/proc/meminfo: memFree=27347292/32770624 swapFree=67108496/67108860
[pid=21384] ppid=21381 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21384/stat : 21384 (xcsp3-exec) S 21381 21384 20749 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89666672 115843072 363 33554432000 4194304 5098028 140721414737792 140721414735896 140589022085756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39014400 140721414743093 140721414743296 140721414743296 140721414746058 0
/proc/21384/statm: 28282 363 305 221 0 87 0
[pid=21386] ppid=21384 vsize=26110532 memory=271536 CPUtime=3.46 cores=0-7
/proc/21386/stat : 21386 (java) S 21384 21384 20749 0 -1 1077944320 14362 0 0 0 321 25 0 0 20 0 20 0 89666673 26737184768 67884 33554432000 4194304 4196468 140723769286400 140723769268944 140102756003575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
/proc/21386/statm: 6527633 67884 3375 1 0 6488827 0
[pid=21386/tid=21387] ppid=21384 vsize=26110532 memory=7518284934186101347 CPUtime=1.41 cores=0-7
/proc/21386/task/21387/stat : 21387 (java) R 21384 21384 20749 0 -1 4202560 7055 0 0 0 137 4 0 0 20 0 20 0 89666673 26737184768 67884 33554432000 4194304 4196468 140723769286400 140102760241144 140102389411398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21388] ppid=21384 vsize=26110532 memory=3872 CPUtime=0.04 cores=0-7
/proc/21386/task/21388/stat : 21388 (java) S 21384 21384 20749 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 20 0 89666674 26737184768 67884 33554432000 4194304 4196468 140723769286400 140102708624272 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21389] ppid=21384 vsize=26110532 memory=0 CPUtime=0.02 cores=0-7
/proc/21386/task/21389/stat : 21389 (java) S 21384 21384 20749 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 20 0 89666674 26737184768 67884 33554432000 4194304 4196468 140723769286400 140102707571472 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21390] ppid=21384 vsize=26110532 memory=140337654065792 CPUtime=0.04 cores=0-7
/proc/21386/task/21390/stat : 21390 (java) S 21384 21384 20749 0 -1 1077944384 37 0 0 0 2 2 0 0 20 0 20 0 89666674 26737184768 67884 33554432000 4194304 4196468 140723769286400 140102311738512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21391] ppid=21384 vsize=26110532 memory=140337654065888 CPUtime=0.04 cores=0-7
/proc/21386/task/21391/stat : 21391 (java) S 21384 21384 20749 0 -1 1077944384 37 0 0 0 2 2 0 0 20 0 20 0 89666674 26737184768 67884 33554432000 4194304 4196468 140723769286400 140102310685712 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21392] ppid=21384 vsize=26110532 memory=140337654065984 CPUtime=0.04 cores=0-7
/proc/21386/task/21392/stat : 21392 (java) S 21384 21384 20749 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 20 0 89666674 26737184768 67884 33554432000 4194304 4196468 140723769286400 140102309632400 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21393] ppid=21384 vsize=26110532 memory=140337654066080 CPUtime=0.02 cores=0-7
/proc/21386/task/21393/stat : 21393 (java) S 21384 21384 20749 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 20 0 89666674 26737184768 67884 33554432000 4194304 4196468 140723769286400 140102308579600 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21394] ppid=21384 vsize=26110532 memory=140337654066176 CPUtime=0.04 cores=0-7
/proc/21386/task/21394/stat : 21394 (java) S 21384 21384 20749 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 20 0 89666674 26737184768 67884 33554432000 4194304 4196468 140723769286400 140102307527312 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21395] ppid=21384 vsize=26110532 memory=0 CPUtime=0.04 cores=0-7
/proc/21386/task/21395/stat : 21395 (java) S 21384 21384 20749 0 -1 1077944384 52 0 0 0 2 2 0 0 20 0 20 0 89666674 26737184768 67884 33554432000 4194304 4196468 140723769286400 140102306474512 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21396] ppid=21384 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21396/stat : 21396 (java) S 21384 21384 20749 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 89666675 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101229210224 140102756014722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21397] ppid=21384 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21397/stat : 21397 (java) S 21384 21384 20749 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 89666676 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101228156256 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21398] ppid=21384 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21398/stat : 21398 (java) S 21384 21384 20749 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 89666676 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101227103872 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21399] ppid=21384 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21386/task/21399/stat : 21399 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666678 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101226052176 140102756022171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21400] ppid=21384 vsize=26110532 memory=0 CPUtime=0.43 cores=0-7
/proc/21386/task/21400/stat : 21400 (java) S 21384 21384 20749 0 -1 1077944384 1609 0 0 0 43 0 0 0 20 0 20 0 89666678 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101224999024 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21401] ppid=21384 vsize=26110532 memory=0 CPUtime=0.39 cores=0-7
/proc/21386/task/21401/stat : 21401 (java) S 21384 21384 20749 0 -1 1077944384 1216 0 0 0 39 0 0 0 20 0 20 0 89666678 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101223946224 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21402] ppid=21384 vsize=26110532 memory=4460 CPUtime=0.48 cores=0-7
/proc/21386/task/21402/stat : 21402 (java) S 21384 21384 20749 0 -1 1077944384 1189 0 0 0 48 0 0 0 20 0 20 0 89666678 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101222893936 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21403] ppid=21384 vsize=26110532 memory=1380 CPUtime=0.34 cores=0-7
/proc/21386/task/21403/stat : 21403 (java) S 21384 21384 20749 0 -1 1077944384 1592 0 0 0 34 0 0 0 20 0 20 0 89666678 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101221841136 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21404] ppid=21384 vsize=26110532 memory=1160 CPUtime=0 cores=0-7
/proc/21386/task/21404/stat : 21404 (java) S 21384 21384 20749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89666679 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101220789088 140102756013781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
[pid=21386/tid=21405] ppid=21384 vsize=26110532 memory=15184 CPUtime=0 cores=0-7
/proc/21386/task/21405/stat : 21405 (java) S 21384 21384 20749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89666679 26737184768 67884 33554432000 4194304 4196468 140723769286400 140101219736368 140102756014722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140723769287809 140723769287981 140723769287981 140723769290703 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 272988 KiB

[startup+3.10931 s]
/proc/loadavg: 7.57 8.11 8.18 1/182 21413
/proc/meminfo: memFree=27530528/32770624 swapFree=67108496/67108860
[pid=21384] ppid=21381 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21384/stat : 21384 (xcsp3-exec) S 21381 21384 20749 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89666672 115843072 363 33554432000 4194304 5098028 140721414737792 140721414735896 140589022085756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39014400 140721414743093 140721414743296 140721414743296 140721414746058 0
/proc/21384/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
heavy processes:

[startup+3.28615 s]
# the end of solver process 21384 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.73767 s, system=0.652849 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.10931 s]*
/proc/loadavg: 7.57 8.11 8.18 3/182 21413
/proc/meminfo: memFree=27541116/32770624 swapFree=67108496/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 3.28668
CPU time (s): 6.39052
CPU user time (s): 5.73767
CPU system time (s): 0.652849
CPU usage (%): 194.437
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 519132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.73767
system time used= 0.652849
maximum resident set size= 519472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3188
involuntary context switches= 35


# summary of solver processes directly reported to runsolver:
#   pid: 21384
#   total CPU time (s): 6.39052
#   total CPU user time (s): 5.73767
#   total CPU system time (s): 0.652849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046986 second user time and 0.067895 second system time

The end

Launcher Data

Begin job on node149 at 2018-07-27 21:50:35
IDJOB=4297797
IDBENCH=141439
IDSOLVER=2760
FILE ID=node149/4297797-1532721035
RUNJOBID= node149-1532718101-20776
PBS_JOBID= 21022327
Free space on /tmp= 43256 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-05-06_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297797-1532721035/watcher-4297797-1532721035 -o /tmp/evaluation-result-4297797-1532721035/solver-4297797-1532721035 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532718101-20776 --watchdog 2580  HOME/xcsp3-exec -seed 1953803642 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297797-1532721035.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 81d4059c2b76389bba6ef17dee6cb29a
RANDOM SEED=1953803642

node149.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.60
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.60
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.60
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.60
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:        27542032 kB
MemAvailable:   31928176 kB
Buffers:          102160 kB
Cached:          4502936 kB
SwapCached:           60 kB
Active:          1544280 kB
Inactive:        3115572 kB
Active(anon):       4140 kB
Inactive(anon):    78020 kB
Active(file):    1540140 kB
Inactive(file):  3037552 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:             22580 kB
Writeback:             0 kB
AnonPages:         94620 kB
Mapped:            34168 kB
Shmem:             25040 kB
Slab:             264564 kB
SReclaimable:     236912 kB
SUnreclaim:        27652 kB
KernelStack:        3600 kB
PageTables:         3904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 43236 MiB
End job on node149 at 2018-07-27 21:50:38