Trace number 4262572

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
Concrete 3.4UNSAT 74.964302 51.146099

General information on the benchmark

NameRandom/Random-m1-5-12-12t/
rand-5-12-12-200-t95-3.xml
MD5SUMd4014e5e87f6d68ac86bab8f8f62518f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.8933
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree77
Maximum variable degree95
Distribution of variable degrees[{"degree":77,"count":1},{"degree":78,"count":1},{"degree":79,"count":1},{"degree":81,"count":2},{"degree":82,"count":1},{"degree":83,"count":2},{"degree":84,"count":1},{"degree":86,"count":1},{"degree":91,"count":1},{"degree":95,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
Optimization problemNO
Type of objective

Solver Data 

3.45/2.21	c Concrete v3.4 running
74.89/51.11	s UNSATISFIABLE

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262572-1502427149/watcher-4262572-1502427149 -o /tmp/evaluation-result-4262572-1502427149/solver-4262572-1502427149 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4262572-1502427149.xml 

pid=8308
running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.53 1.46 1.49 4/200 8311
/proc/meminfo: memFree=28736896/32770624 swapFree=0/430440
[pid=8311] ppid=8308 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8311/stat : 8311 (runsolver) D 8308 8311 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 90530233 24240128 108 18446744073709551615 4194304 4338465 140721882525488 140721882523128 140316750365399 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 27521024 140721882530001 140721882530377 140721882530377 140721882533834 0
/proc/8311/statm: 5918 108 54 36 0 2156 0

[startup+0.10015 s]
/proc/loadavg: 1.53 1.46 1.49 4/200 8311
/proc/meminfo: memFree=28736896/32770624 swapFree=0/430440
[pid=8311] ppid=8308 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/8311/stat : 8311 (bash) S 8308 8311 4821 0 -1 4202496 793 5305 0 0 0 0 0 1 20 0 1 0 90530233 9867264 360 18446744073709551615 4194304 5098028 140721807941792 140721807939448 140394431843328 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 24281088 140721807950356 140721807950441 140721807950441 140721807953898 0
/proc/8311/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200387 s]
/proc/loadavg: 1.53 1.46 1.49 4/200 8311
/proc/meminfo: memFree=28736896/32770624 swapFree=0/430440
[pid=8311] ppid=8308 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/8311/stat : 8311 (bash) S 8308 8311 4821 0 -1 4202496 891 6487 0 0 0 0 0 1 20 0 1 0 90530233 9867264 377 18446744073709551615 4194304 5098028 140721807941792 140721807935800 140394431843328 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 24281088 140721807950356 140721807950441 140721807950441 140721807953898 0
/proc/8311/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300296 s]
/proc/loadavg: 1.53 1.46 1.49 4/200 8311
/proc/meminfo: memFree=28736896/32770624 swapFree=0/430440
[pid=8311] ppid=8308 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/8311/stat : 8311 (java) S 8308 8311 4821 0 -1 1077944320 5548 12644 0 0 6 0 5 3 20 0 14 0 90530233 14241083392 5223 18446744073709551615 4194304 4196468 140735991158704 140735991141248 139961271152375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
/proc/8311/statm: 3476827 5223 2565 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.701038 s]
/proc/loadavg: 1.53 1.46 1.49 4/200 8311
/proc/meminfo: memFree=28736896/32770624 swapFree=0/430440
[pid=8311] ppid=8308 vsize=13974784 CPUtime=0.69 cores=0,2,4,6
/proc/8311/stat : 8311 (java) S 8308 8311 4821 0 -1 1077944320 13679 12644 0 0 58 3 5 3 20 0 15 0 90530233 14310178816 14657 18446744073709551615 4194304 4196468 140735991158704 140735991141248 139961271152375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
/proc/8311/statm: 3493696 14657 3125 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50164 s]
/proc/loadavg: 1.53 1.46 1.49 3/215 8374
/proc/meminfo: memFree=28643888/32770624 swapFree=0/430440
[pid=8311] ppid=8308 vsize=13985408 CPUtime=1.89 cores=0,2,4,6
/proc/8311/stat : 8311 (java) S 8308 8311 4821 0 -1 1077944320 26668 12644 0 0 172 9 5 3 20 0 15 0 90530233 14321057792 39592 18446744073709551615 4194304 4196468 140735991158704 140735991141248 139961271152375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
/proc/8311/statm: 3496352 39592 3338 1 0 3485525 0
[pid=8311/tid=8361] ppid=8308 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/8311/task/8361/stat : 8361 (java) S 8308 8311 4821 0 -1 1077944384 21082 12644 0 0 116 6 5 3 20 0 15 0 90530254 14321057792 39592 18446744073709551615 4194304 4196468 140735991158704 139961275374400 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8362] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8362/stat : 8362 (java) S 8308 8311 4821 0 -1 1077944384 183 12644 0 0 0 0 5 3 20 0 15 0 90530255 14321057792 39592 18446744073709551615 4194304 4196468 140735991158704 139960871053584 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8363] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8363/stat : 8363 (java) S 8308 8311 4821 0 -1 1077944384 43 12644 0 0 0 0 5 3 20 0 15 0 90530255 14321057792 39592 18446744073709551615 4194304 4196468 140735991158704 139960870001040 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8364] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8364/stat : 8364 (java) S 8308 8311 4821 0 -1 1077944384 60 12644 0 0 0 0 5 3 20 0 15 0 90530255 14321057792 39592 18446744073709551615 4194304 4196468 140735991158704 139960868948496 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8365] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4821 0 -1 1077944384 43 12644 0 0 0 0 5 3 20 0 15 0 90530255 14321057792 39592 18446744073709551615 4194304 4196468 140735991158704 139960867895952 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8366] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8366/stat : 8366 (java) R 8308 8311 4821 0 -1 4202560 65 12644 0 0 0 0 5 3 20 0 15 0 90530256 14321057792 39592 18446744073709551615 4194304 4196468 140735991158704 139960749335360 139961250783304 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8367] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4821 0 -1 1077944384 33 12644 0 0 0 0 5 3 20 0 15 0 90530256 14321057792 39618 18446744073709551615 4194304 4196468 140735991158704 139960748283296 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8368] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4821 0 -1 1077944384 21 12644 0 0 0 0 5 3 20 0 15 0 90530257 14321057792 39618 18446744073709551615 4194304 4196468 140735991158704 139960747230704 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8369] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530259 14321057792 39618 18446744073709551615 4194304 4196468 140735991158704 139960746179280 139961271170971 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8370] ppid=8308 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4821 0 -1 1077944384 1017 12644 0 0 14 0 5 3 20 0 15 0 90530259 14321057792 39618 18446744073709551615 4194304 4196468 140735991158704 139960745125872 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8371] ppid=8308 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4821 0 -1 1077944384 766 12644 0 0 15 0 5 3 20 0 15 0 90530259 14321057792 39618 18446744073709551615 4194304 4196468 140735991158704 139960744073328 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8372] ppid=8308 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4821 0 -1 1077944384 1200 12644 0 0 23 0 5 3 20 0 15 0 90530259 14321057792 39618 18446744073709551615 4194304 4196468 140735991158704 139960743016272 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8373] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530260 14321057792 39618 18446744073709551615 4194304 4196468 140735991158704 139960741968480 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8374] ppid=8308 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4821 0 -1 1077944384 6 12644 0 0 0 0 5 3 20 0 15 0 90530264 14321057792 39618 18446744073709551615 4194304 4196468 140735991158704 139960740916016 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408

[startup+3.10071 s]
/proc/loadavg: 1.53 1.46 1.49 4/215 8374
/proc/meminfo: memFree=28579048/32770624 swapFree=0/430648
[pid=8311] ppid=8308 vsize=13993788 CPUtime=5.96 cores=0,2,4,6
/proc/8311/stat : 8311 (java) S 8308 8311 4821 0 -1 1077944320 41055 12644 0 0 560 28 5 3 20 0 15 0 90530233 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 140735991141248 139961271152375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
/proc/8311/statm: 3498447 92814 3458 1 0 3487061 0
[pid=8311/tid=8361] ppid=8308 vsize=13993788 CPUtime=2.8 cores=0,2,4,6
/proc/8311/task/8361/stat : 8361 (java) R 8308 8311 4821 0 -1 4202560 26069 12644 0 0 262 10 5 3 20 0 15 0 90530254 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139961275386592 139960920611697 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8362] ppid=8308 vsize=13993788 CPUtime=0.15 cores=0,2,4,6
/proc/8311/task/8362/stat : 8362 (java) S 8308 8311 4821 0 -1 1077944384 435 12644 0 0 4 3 5 3 20 0 15 0 90530255 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960871053584 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8363] ppid=8308 vsize=13993788 CPUtime=0.12 cores=0,2,4,6
/proc/8311/task/8363/stat : 8363 (java) S 8308 8311 4821 0 -1 1077944384 122 12644 0 0 2 2 5 3 20 0 15 0 90530255 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960870001040 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8364] ppid=8308 vsize=13993788 CPUtime=0.15 cores=0,2,4,6
/proc/8311/task/8364/stat : 8364 (java) S 8308 8311 4821 0 -1 1077944384 247 12644 0 0 4 3 5 3 20 0 15 0 90530255 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960868948496 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8365] ppid=8308 vsize=13993788 CPUtime=0.15 cores=0,2,4,6
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4821 0 -1 1077944384 361 12644 0 0 4 3 5 3 20 0 15 0 90530255 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960867895952 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8366] ppid=8308 vsize=13993788 CPUtime=0.09 cores=0,2,4,6
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4821 0 -1 1077944384 1535 12644 0 0 1 0 5 3 20 0 15 0 90530256 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960749337072 139961271163522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8367] ppid=8308 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4821 0 -1 1077944384 55 12644 0 0 0 0 5 3 20 0 15 0 90530256 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960748283360 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8368] ppid=8308 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4821 0 -1 1077944384 46 12644 0 0 0 0 5 3 20 0 15 0 90530257 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960747230720 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8369] ppid=8308 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530259 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960746179280 139961271170971 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8370] ppid=8308 vsize=13993788 CPUtime=0.95 cores=0,2,4,6
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4821 0 -1 1077944384 2397 12644 0 0 86 1 5 3 20 0 15 0 90530259 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960745125872 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8371] ppid=8308 vsize=13993788 CPUtime=1.19 cores=0,2,4,6
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4821 0 -1 1077944384 4650 12644 0 0 111 0 5 3 20 0 15 0 90530259 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960744073328 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8372] ppid=8308 vsize=13993788 CPUtime=0.88 cores=0,2,4,6
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4821 0 -1 1077944384 2972 12644 0 0 79 1 5 3 20 0 15 0 90530259 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960743020784 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8373] ppid=8308 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530260 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960741968480 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8374] ppid=8308 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4821 0 -1 1077944384 9 12644 0 0 0 0 5 3 20 0 15 0 90530264 14329638912 92814 18446744073709551615 4194304 4196468 140735991158704 139960740916016 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 13993788

[startup+6.30057 s]
/proc/loadavg: 1.64 1.49 1.50 3/215 8374
/proc/meminfo: memFree=27614736/32770624 swapFree=0/430636
[pid=8311] ppid=8308 vsize=13997884 CPUtime=10.19 cores=0,2,4,6
/proc/8311/stat : 8311 (java) S 8308 8311 4821 0 -1 1077944320 50771 12644 0 0 939 72 5 3 20 0 15 0 90530233 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 140735991141248 139961271152375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
/proc/8311/statm: 3499471 294695 3459 1 0 3488085 0
[pid=8311/tid=8361] ppid=8308 vsize=13997884 CPUtime=5.77 cores=0,2,4,6
/proc/8311/task/8361/stat : 8361 (java) R 8308 8311 4821 0 -1 4202560 33937 12644 0 0 551 18 5 3 20 0 15 0 90530254 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139961275374816 139961250877439 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8362] ppid=8308 vsize=13997884 CPUtime=0.37 cores=0,2,4,6
/proc/8311/task/8362/stat : 8362 (java) S 8308 8311 4821 0 -1 1077944384 562 12644 0 0 17 12 5 3 20 0 15 0 90530255 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960871053584 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8363] ppid=8308 vsize=13997884 CPUtime=0.34 cores=0,2,4,6
/proc/8311/task/8363/stat : 8363 (java) S 8308 8311 4821 0 -1 1077944384 254 12644 0 0 15 11 5 3 20 0 15 0 90530255 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960870001040 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8364] ppid=8308 vsize=13997884 CPUtime=0.37 cores=0,2,4,6
/proc/8311/task/8364/stat : 8364 (java) S 8308 8311 4821 0 -1 1077944384 514 12644 0 0 16 13 5 3 20 0 15 0 90530255 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960868948496 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8365] ppid=8308 vsize=13997884 CPUtime=0.37 cores=0,2,4,6
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4821 0 -1 1077944384 523 12644 0 0 18 11 5 3 20 0 15 0 90530255 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960867895952 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8366] ppid=8308 vsize=13997884 CPUtime=0.1 cores=0,2,4,6
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4821 0 -1 1077944384 2022 12644 0 0 2 0 5 3 20 0 15 0 90530256 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960749337072 139961271163522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8367] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4821 0 -1 1077944384 55 12644 0 0 0 0 5 3 20 0 15 0 90530256 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960748283360 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8368] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4821 0 -1 1077944384 46 12644 0 0 0 0 5 3 20 0 15 0 90530257 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960747230720 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8369] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530259 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960746179280 139961271170971 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8370] ppid=8308 vsize=13997884 CPUtime=1.09 cores=0,2,4,6
/proc/8311/task/8370/stat : 8370 (java) R 8308 8311 4821 0 -1 1077944384 2525 12644 0 0 100 1 5 3 20 0 15 0 90530259 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960745125872 139961271163522 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8371] ppid=8308 vsize=13997884 CPUtime=1.32 cores=0,2,4,6
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4821 0 -1 1077944384 4735 12644 0 0 123 1 5 3 20 0 15 0 90530259 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960744073328 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8372] ppid=8308 vsize=13997884 CPUtime=1.01 cores=0,2,4,6
/proc/8311/task/8372/stat : 8372 (java) R 8308 8311 4821 0 -1 1077944384 3196 12644 0 0 92 1 5 3 20 0 15 0 90530259 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960743020784 139961271163522 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8373] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530260 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960741968480 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8374] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4821 0 -1 1077944384 245 12644 0 0 0 0 5 3 20 0 15 0 90530264 14333833216 294695 18446744073709551615 4194304 4196468 140735991158704 139960740916016 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
Current children cumulated CPU time (s) 10.19
Current children cumulated vsize (KiB) 13997884

[startup+12.7006 s]
/proc/loadavg: 1.67 1.50 1.50 3/215 8374
/proc/meminfo: memFree=26541796/32770624 swapFree=0/430636
[pid=8311] ppid=8308 vsize=13997884 CPUtime=19.49 cores=0,2,4,6
/proc/8311/stat : 8311 (java) S 8308 8311 4821 0 -1 1077944320 57395 12644 0 0 1827 114 5 3 20 0 15 0 90530233 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 140735991141248 139961271152375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
/proc/8311/statm: 3499471 567630 3461 1 0 3488085 0
[pid=8311/tid=8361] ppid=8308 vsize=13997884 CPUtime=11.57 cores=0,2,4,6
/proc/8311/task/8361/stat : 8361 (java) R 8308 8311 4821 0 -1 4202560 35957 12644 0 0 1121 28 5 3 20 0 15 0 90530254 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139961275380736 139961271164310 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8362] ppid=8308 vsize=13997884 CPUtime=0.91 cores=0,2,4,6
/proc/8311/task/8362/stat : 8362 (java) S 8308 8311 4821 0 -1 1077944384 804 12644 0 0 64 19 5 3 20 0 15 0 90530255 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960871053584 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8363] ppid=8308 vsize=13997884 CPUtime=0.88 cores=0,2,4,6
/proc/8311/task/8363/stat : 8363 (java) S 8308 8311 4821 0 -1 1077944384 774 12644 0 0 63 17 5 3 20 0 15 0 90530255 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960870001040 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8364] ppid=8308 vsize=13997884 CPUtime=0.9 cores=0,2,4,6
/proc/8311/task/8364/stat : 8364 (java) S 8308 8311 4821 0 -1 1077944384 1606 12644 0 0 61 21 5 3 20 0 15 0 90530255 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960868948496 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8365] ppid=8308 vsize=13997884 CPUtime=0.91 cores=0,2,4,6
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4821 0 -1 1077944384 882 12644 0 0 65 18 5 3 20 0 15 0 90530255 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960867895952 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8366] ppid=8308 vsize=13997884 CPUtime=0.15 cores=0,2,4,6
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4821 0 -1 1077944384 3512 12644 0 0 7 0 5 3 20 0 15 0 90530256 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960749337072 139961271163522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8367] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4821 0 -1 1077944384 55 12644 0 0 0 0 5 3 20 0 15 0 90530256 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960748283360 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8368] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4821 0 -1 1077944384 46 12644 0 0 0 0 5 3 20 0 15 0 90530257 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960747230720 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8369] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530259 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960746179280 139961271170971 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8370] ppid=8308 vsize=13997884 CPUtime=1.63 cores=0,2,4,6
/proc/8311/task/8370/stat : 8370 (java) R 8308 8311 4821 0 -1 1077944384 2958 12644 0 0 154 1 5 3 20 0 15 0 90530259 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960745125872 139961271163522 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8371] ppid=8308 vsize=13997884 CPUtime=1.83 cores=0,2,4,6
/proc/8311/task/8371/stat : 8371 (java) R 8308 8311 4821 0 -1 4202560 4856 12644 0 0 174 1 5 3 20 0 15 0 90530259 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960744054048 139961255542497 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8372] ppid=8308 vsize=13997884 CPUtime=1.24 cores=0,2,4,6
/proc/8311/task/8372/stat : 8372 (java) R 8308 8311 4821 0 -1 4202560 3543 12644 0 0 114 2 5 3 20 0 15 0 90530259 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960743020784 139961249178244 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8373] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530260 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960741968480 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8374] ppid=8308 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4821 0 -1 1077944384 245 12644 0 0 0 0 5 3 20 0 15 0 90530264 14333833216 567630 18446744073709551615 4194304 4196468 140735991158704 139960740916016 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
Current children cumulated CPU time (s) 19.49
Current children cumulated vsize (KiB) 13997884

[startup+25.5007 s]
/proc/loadavg: 1.69 1.51 1.51 5/215 8374
/proc/meminfo: memFree=25352556/32770624 swapFree=0/430628
[pid=8311] ppid=8308 vsize=14067516 CPUtime=37.21 cores=0,2,4,6
/proc/8311/stat : 8311 (java) S 8308 8311 4821 0 -1 1077944320 73069 12644 0 0 3563 150 5 3 20 0 15 0 90530233 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 140735991141248 139961271152375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
/proc/8311/statm: 3516879 900325 3467 1 0 3505493 0
[pid=8311/tid=8361] ppid=8308 vsize=14067516 CPUtime=24.21 cores=0,2,4,6
/proc/8311/task/8361/stat : 8361 (java) R 8308 8311 4821 0 -1 4202560 44039 12644 0 0 2369 44 5 3 20 0 15 0 90530254 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139961275374272 139960926209564 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8362] ppid=8308 vsize=14067516 CPUtime=1.07 cores=0,2,4,6
/proc/8311/task/8362/stat : 8362 (java) S 8308 8311 4821 0 -1 1077944384 868 12644 0 0 75 24 5 3 20 0 15 0 90530255 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960871053584 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8363] ppid=8308 vsize=14067516 CPUtime=1.03 cores=0,2,4,6
/proc/8311/task/8363/stat : 8363 (java) S 8308 8311 4821 0 -1 1077944384 838 12644 0 0 74 21 5 3 20 0 15 0 90530255 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960870001040 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8364] ppid=8308 vsize=14067516 CPUtime=1.05 cores=0,2,4,6
/proc/8311/task/8364/stat : 8364 (java) S 8308 8311 4821 0 -1 1077944384 1675 12644 0 0 72 25 5 3 20 0 15 0 90530255 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960868948496 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8365] ppid=8308 vsize=14067516 CPUtime=1.06 cores=0,2,4,6
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4821 0 -1 1077944384 959 12644 0 0 75 23 5 3 20 0 15 0 90530255 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960867895952 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8366] ppid=8308 vsize=14067516 CPUtime=0.16 cores=0,2,4,6
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4821 0 -1 1077944384 4182 12644 0 0 8 0 5 3 20 0 15 0 90530256 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960749337072 139961271163522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8367] ppid=8308 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4821 0 -1 1077944384 55 12644 0 0 0 0 5 3 20 0 15 0 90530256 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960748283360 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8368] ppid=8308 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4821 0 -1 1077944384 46 12644 0 0 0 0 5 3 20 0 15 0 90530257 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960747230720 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8369] ppid=8308 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530259 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960746179280 139961271170971 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8370] ppid=8308 vsize=14067516 CPUtime=3.53 cores=0,2,4,6
/proc/8311/task/8370/stat : 8370 (java) R 8308 8311 4821 0 -1 4202560 4239 12644 0 0 343 2 5 3 20 0 15 0 90530259 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960745112480 139961257216352 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8371] ppid=8308 vsize=14067516 CPUtime=3.86 cores=0,2,4,6
/proc/8311/task/8371/stat : 8371 (java) R 8308 8311 4821 0 -1 4202560 9327 12644 0 0 376 2 5 3 20 0 15 0 90530259 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960744072512 139961252674023 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8372] ppid=8308 vsize=14067516 CPUtime=1.74 cores=0,2,4,6
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4821 0 -1 1077944384 4438 12644 0 0 164 2 5 3 20 0 15 0 90530259 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960743020784 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8373] ppid=8308 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530260 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960741968480 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8374] ppid=8308 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4821 0 -1 1077944384 246 12644 0 0 0 0 5 3 20 0 15 0 90530264 14405136384 900325 18446744073709551615 4194304 4196468 140735991158704 139960740916016 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
Current children cumulated CPU time (s) 37.21
Current children cumulated vsize (KiB) 14067516

[startup+51.1006 s]
/proc/loadavg: 2.13 1.63 1.54 6/215 8375
/proc/meminfo: memFree=24490000/32770624 swapFree=0/430628
[pid=8311] ppid=8308 vsize=14067516 CPUtime=74.89 cores=0,2,4,6
/proc/8311/stat : 8311 (java) S 8308 8311 4821 0 -1 1077944320 96979 12644 0 0 7271 210 5 3 20 0 15 0 90530233 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 140735991141248 139961271152375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
/proc/8311/statm: 3516879 1134564 3467 1 0 3505493 0
[pid=8311/tid=8361] ppid=8308 vsize=14067516 CPUtime=46 cores=0,2,4,6
/proc/8311/task/8361/stat : 8361 (java) S 8308 8311 4821 0 -1 1077944384 49074 12644 0 0 4538 54 5 3 20 0 15 0 90530254 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139961275390096 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8362] ppid=8308 vsize=14067516 CPUtime=4.74 cores=0,2,4,6
/proc/8311/task/8362/stat : 8362 (java) R 8308 8311 4821 0 -1 4202560 1669 12644 0 0 430 36 5 3 20 0 15 0 90530255 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960871053584 139961256148782 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8363] ppid=8308 vsize=14067516 CPUtime=4.7 cores=0,2,4,6
/proc/8311/task/8363/stat : 8363 (java) R 8308 8311 4821 0 -1 4202560 2634 12644 0 0 429 33 5 3 20 0 15 0 90530255 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960870001160 139961263780583 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8364] ppid=8308 vsize=14067516 CPUtime=4.73 cores=0,2,4,6
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4821 0 -1 4202560 2473 12644 0 0 427 38 5 3 20 0 15 0 90530255 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960868948696 139961263780583 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8365] ppid=8308 vsize=14067516 CPUtime=4.73 cores=0,2,4,6
/proc/8311/task/8365/stat : 8365 (java) R 8308 8311 4821 0 -1 4202560 1697 12644 0 0 431 34 5 3 20 0 15 0 90530255 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960867895952 139961263780583 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8366] ppid=8308 vsize=14067516 CPUtime=0.29 cores=0,2,4,6
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4821 0 -1 1077944384 11066 12644 0 0 20 1 5 3 20 0 15 0 90530256 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960749335696 139961271162581 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8367] ppid=8308 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4821 0 -1 1077944384 57 12644 0 0 0 0 5 3 20 0 15 0 90530256 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960748283264 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8368] ppid=8308 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4821 0 -1 1077944384 46 12644 0 0 0 0 5 3 20 0 15 0 90530257 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960747230720 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8369] ppid=8308 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530259 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960746179280 139961271170971 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8370] ppid=8308 vsize=14067516 CPUtime=4.01 cores=0,2,4,6
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4821 0 -1 1077944384 6796 12644 0 0 391 2 5 3 20 0 15 0 90530259 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960745125872 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8371] ppid=8308 vsize=14067516 CPUtime=4.32 cores=0,2,4,6
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4821 0 -1 1077944384 11125 12644 0 0 421 3 5 3 20 0 15 0 90530259 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960744073328 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8372] ppid=8308 vsize=14067516 CPUtime=1.87 cores=0,2,4,6
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4821 0 -1 1077944384 7674 12644 0 0 177 2 5 3 20 0 15 0 90530259 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960743020784 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8373] ppid=8308 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4821 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 90530260 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960741968480 139961271162581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
[pid=8311/tid=8374] ppid=8308 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4821 0 -1 1077944384 511 12644 0 0 1 2 5 3 20 0 15 0 90530264 14405136384 1134564 18446744073709551615 4194304 4196468 140735991158704 139960740916016 139961271163522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140735991166928 140735991169713 140735991169713 140735991173071 0
Current children cumulated CPU time (s) 74.89
Current children cumulated vsize (KiB) 14067516

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8311 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 51.1461
CPU time (s): 74.9643
CPU user time (s): 72.7984
CPU system time (s): 2.16589
CPU usage (%): 146.569
Max. virtual memory (cumulated for all children) (KiB): 14069612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.7984
system time used= 2.16589
maximum resident set size= 4538936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9929
involuntary context switches= 281

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.230307 second user time and 0.335836 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 06:38:22
IDJOB=4262572
IDBENCH=121044
IDSOLVER=2650
FILE ID=node133/4262572-1502427149
RUNJOBID= node133-1502411423-4884
PBS_JOBID= 
Free space on /tmp= 61980 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Random/Random-m1-5-12-12t/rand-5-12-12-200-t95-3.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262572-1502427149/watcher-4262572-1502427149 -o /tmp/evaluation-result-4262572-1502427149/solver-4262572-1502427149 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580  bin/concrete HOME/instance-4262572-1502427149.xml

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

MD5SUM BENCH= d4014e5e87f6d68ac86bab8f8f62518f
RANDOM SEED=1178812460

node133.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.17
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.17
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.17
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.17
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:        28737160 kB
MemAvailable:   29622372 kB
Buffers:          286328 kB
Cached:           893780 kB
SwapCached:            0 kB
Active:          3132612 kB
Inactive:         463552 kB
Active(anon):    2416692 kB
Inactive(anon):    33112 kB
Active(file):     715920 kB
Inactive(file):   430440 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             53132 kB
Writeback:             0 kB
AnonPages:       2424392 kB
Mapped:            63560 kB
Shmem:             33468 kB
Slab:             136472 kB
SReclaimable:     109376 kB
SUnreclaim:        27096 kB
KernelStack:        3504 kB
PageTables:         9768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3267924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2197504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61956 MiB
End job on node133 at 2017-08-11 06:39:14