Trace number 4253393

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
Naxos 1.1.0? (TO) 2400.08 2400.1

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spng/
Pb-NG-K145.xml
MD5SUM5e6b89adf4cff092dc7bbd8ab430815e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables17255
Number of constraints17547
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":17255}]
Minimum variable degree3
Maximum variable degree12
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":273},{"degree":5,"count":1771},{"degree":6,"count":7755},{"degree":7,"count":4732},{"degree":8,"count":1862},{"degree":9,"count":574},{"degree":10,"count":143},{"degree":11,"count":1},{"degree":12,"count":143}]
Minimum constraint arity1
Maximum constraint arity145
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1872},{"arity":3,"count":7776},{"arity":4,"count":4752},{"arity":5,"count":2016},{"arity":6,"count":432},{"arity":7,"count":144},{"arity":9,"count":144},{"arity":119,"count":290},{"arity":145,"count":119}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":17547}]
Optimization problemNO
Type of objective

Solver Data 

2400.06/2400.10	s UNKNOWN

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-4253393-1500931769/watcher-4253393-1500931769 -o /tmp/evaluation-result-4253393-1500931769/solver-4253393-1500931769 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500914920-3562 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253393-1500931769.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 2.00 2.01 2.05 2/181 7088
/proc/meminfo: memFree=32092976/32770624 swapFree=5744/121424
[pid=7088] ppid=7085 vsize=24740 CPUtime=0 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 954 0 0 0 0 0 0 0 20 0 1 0 2765603 25333760 773 33554432000 4194304 6986860 140729858573472 140729858570168 140004573363173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 6185 773 638 682 0 188 0

[startup+0.100205 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 7088
/proc/meminfo: memFree=32092976/32770624 swapFree=5744/121424
[pid=7088] ppid=7085 vsize=54080 CPUtime=0.09 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 8270 0 0 0 8 1 0 0 20 0 1 0 2765603 55377920 8096 33554432000 4194304 6986860 140729858573472 140729858566456 140004573363173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 13520 8096 667 682 0 7523 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54080

[startup+0.200401 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 7088
/proc/meminfo: memFree=32092976/32770624 swapFree=5744/121424
[pid=7088] ppid=7085 vsize=54600 CPUtime=0.19 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 8442 0 0 0 18 1 0 0 20 0 1 0 2765603 55910400 8272 33554432000 4194304 6986860 140729858573472 140729858566456 140004573363173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 13650 8272 696 682 0 7653 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 54600

[startup+0.300354 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 7088
/proc/meminfo: memFree=32092976/32770624 swapFree=5744/121424
[pid=7088] ppid=7085 vsize=55488 CPUtime=0.29 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 8656 0 0 0 28 1 0 0 20 0 1 0 2765603 56819712 8502 33554432000 4194304 6986860 140729858573472 140729858566456 140004573823980 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 13872 8502 703 682 0 7875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55488

[startup+0.70029 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 7088
/proc/meminfo: memFree=32092976/32770624 swapFree=5744/121424
[pid=7088] ppid=7085 vsize=77340 CPUtime=0.69 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 14132 0 0 0 67 2 0 0 20 0 1 0 2765603 79196160 13962 33554432000 4194304 6986860 140729858573472 140729858565480 140004573363173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 19335 13962 703 682 0 13338 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77340

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7089
/proc/meminfo: memFree=32009896/32770624 swapFree=5744/121500
[pid=7088] ppid=7085 vsize=132560 CPUtime=1.49 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 27966 0 0 0 144 5 0 0 20 0 1 0 2765603 135741440 27764 33554432000 4194304 6986860 140729858573472 140729858565480 140004573362764 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 33140 27764 703 682 0 27143 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132560

[startup+3.10034 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7089
/proc/meminfo: memFree=31939940/32770624 swapFree=5744/121484
[pid=7088] ppid=7085 vsize=187392 CPUtime=3.09 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 59708 0 0 0 300 9 0 0 20 0 1 0 2765603 191889408 41476 33554432000 4194304 6986860 140729858573472 140729858565480 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 46848 41476 717 682 0 40851 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187392

[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7089
/proc/meminfo: memFree=31928456/32770624 swapFree=5744/121496
[pid=7088] ppid=7085 vsize=188296 CPUtime=6.29 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 75725 0 0 0 618 11 0 0 20 0 1 0 2765603 192815104 41709 33554432000 4194304 6986860 140729858573472 140729858568824 5431766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47074 41709 717 682 0 41077 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 188296

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7089
/proc/meminfo: memFree=31927764/32770624 swapFree=5744/121496
[pid=7088] ppid=7085 vsize=188176 CPUtime=12.69 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 96705 0 0 0 1255 14 0 0 20 0 1 0 2765603 192692224 41678 33554432000 4194304 6986860 140729858573472 140729858568824 5366222 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47044 41678 717 682 0 41047 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 188176

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7089
/proc/meminfo: memFree=31927308/32770624 swapFree=5744/121504
[pid=7088] ppid=7085 vsize=189232 CPUtime=25.49 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 123585 0 0 0 2532 17 0 0 20 0 1 0 2765603 193773568 41943 33554432000 4194304 6986860 140729858573472 140729858568824 5360847 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47308 41943 717 682 0 41311 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 189232

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7096
/proc/meminfo: memFree=31925820/32770624 swapFree=5744/121524
[pid=7088] ppid=7085 vsize=189688 CPUtime=51.09 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 142231 0 0 0 5088 21 0 0 20 0 1 0 2765603 194240512 42057 33554432000 4194304 6986860 140729858573472 140729858568824 140004573362655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47422 42057 717 682 0 41425 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 189688

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7097
/proc/meminfo: memFree=31923892/32770624 swapFree=5744/121556
[pid=7088] ppid=7085 vsize=190356 CPUtime=102.27 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 193026 0 0 0 10193 34 0 0 20 0 1 0 2765603 194924544 42223 33554432000 4194304 6986860 140729858573472 140729858568824 5431759 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47589 42223 717 682 0 41592 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 190356

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7098
/proc/meminfo: memFree=31924248/32770624 swapFree=5744/121588
[pid=7088] ppid=7085 vsize=190572 CPUtime=162.25 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 205749 0 0 0 16183 42 0 0 20 0 1 0 2765603 195145728 42273 33554432000 4194304 6986860 140729858573472 140729858568824 5366099 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47643 42273 717 682 0 41646 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 190572

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7099
/proc/meminfo: memFree=31925396/32770624 swapFree=5744/121616
[pid=7088] ppid=7085 vsize=190664 CPUtime=222.25 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 238042 0 0 0 22171 54 0 0 20 0 1 0 2765603 195239936 42306 33554432000 4194304 6986860 140729858573472 140729858568824 140004573355552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47666 42306 717 682 0 41669 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 190664

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7222
/proc/meminfo: memFree=31943456/32770624 swapFree=5744/121712
[pid=7088] ppid=7085 vsize=190648 CPUtime=282.25 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 267816 0 0 0 28162 63 0 0 20 0 1 0 2765603 195223552 42269 33554432000 4194304 6986860 140729858573472 140729858568824 5397487 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47662 42269 717 682 0 41665 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 190648

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7223
/proc/meminfo: memFree=31942232/32770624 swapFree=5744/121756
[pid=7088] ppid=7085 vsize=191020 CPUtime=342.24 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 292980 0 0 0 34152 72 0 0 20 0 1 0 2765603 195604480 42395 33554432000 4194304 6986860 140729858573472 140729858568824 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47755 42395 717 682 0 41758 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 191020

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 7224
/proc/meminfo: memFree=31942836/32770624 swapFree=5744/121788
[pid=7088] ppid=7085 vsize=190388 CPUtime=402.24 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 301396 0 0 0 40144 80 0 0 20 0 1 0 2765603 194957312 42237 33554432000 4194304 6986860 140729858573472 140729858568824 5432319 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47597 42237 717 682 0 41600 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 190388

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7225
/proc/meminfo: memFree=31941912/32770624 swapFree=5744/121816
[pid=7088] ppid=7085 vsize=191236 CPUtime=462.25 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 332231 0 0 0 46134 91 0 0 20 0 1 0 2765603 195825664 42449 33554432000 4194304 6986860 140729858573472 140729858568824 5355778 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47809 42449 717 682 0 41812 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 191236

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7226
/proc/meminfo: memFree=31941008/32770624 swapFree=5744/121848
[pid=7088] ppid=7085 vsize=191208 CPUtime=522.25 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 360769 0 0 0 52122 103 0 0 20 0 1 0 2765603 195796992 42409 33554432000 4194304 6986860 140729858573472 140729858569000 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47802 42409 717 682 0 41805 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 191208

[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7227
/proc/meminfo: memFree=31941784/32770624 swapFree=5744/121872
[pid=7088] ppid=7085 vsize=191208 CPUtime=582.24 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 362327 0 0 0 58115 109 0 0 20 0 1 0 2765603 195796992 42476 33554432000 4194304 6986860 140729858573472 140729858568824 5431959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47802 42476 717 682 0 41805 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 191208


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7269
/proc/meminfo: memFree=31939348/32770624 swapFree=5744/122716
[pid=7088] ppid=7085 vsize=191952 CPUtime=1542.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 368575 0 0 0 154022 204 0 0 20 0 1 0 2765603 196558848 42636 33554432000 4194304 6986860 140729858573472 140729858568824 5432083 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 47988 42636 717 682 0 41991 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 191952

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7270
/proc/meminfo: memFree=31939820/32770624 swapFree=5744/122748
[pid=7088] ppid=7085 vsize=192084 CPUtime=1602.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 368785 0 0 0 160015 211 0 0 20 0 1 0 2765603 196694016 42643 33554432000 4194304 6986860 140729858573472 140729858568824 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48021 42643 717 682 0 42024 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 192084

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7271
/proc/meminfo: memFree=31939996/32770624 swapFree=5744/122776
[pid=7088] ppid=7085 vsize=192084 CPUtime=1662.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 368983 0 0 0 166008 218 0 0 20 0 1 0 2765603 196694016 42668 33554432000 4194304 6986860 140729858573472 140729858568824 140004573361896 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48021 42668 717 682 0 42024 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 192084

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7273
/proc/meminfo: memFree=31939172/32770624 swapFree=5744/122808
[pid=7088] ppid=7085 vsize=192084 CPUtime=1722.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 369201 0 0 0 172002 224 0 0 20 0 1 0 2765603 196694016 42668 33554432000 4194304 6986860 140729858573472 140729858568824 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48021 42668 717 682 0 42024 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 192084

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7274
/proc/meminfo: memFree=31939460/32770624 swapFree=5744/122840
[pid=7088] ppid=7085 vsize=192084 CPUtime=1782.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 369387 0 0 0 177995 231 0 0 20 0 1 0 2765603 196694016 42679 33554432000 4194304 6986860 140729858573472 140729858569000 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48021 42679 717 682 0 42024 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 192084

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7282
/proc/meminfo: memFree=31938152/32770624 swapFree=5744/122884
[pid=7088] ppid=7085 vsize=192084 CPUtime=1842.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 369581 0 0 0 183989 237 0 0 20 0 1 0 2765603 196694016 42679 33554432000 4194304 6986860 140729858573472 140729858568824 5432349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48021 42679 717 682 0 42024 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 192084

[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 7308
/proc/meminfo: memFree=31937736/32770624 swapFree=5744/122944
[pid=7088] ppid=7085 vsize=192084 CPUtime=1902.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 369793 0 0 0 189984 242 0 0 20 0 1 0 2765603 196694016 42679 33554432000 4194304 6986860 140729858573472 140729858569000 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48021 42679 717 682 0 42024 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 192084

[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7309
/proc/meminfo: memFree=31939036/32770624 swapFree=5744/122972
[pid=7088] ppid=7085 vsize=192084 CPUtime=1962.27 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 370008 0 0 0 195979 248 0 0 20 0 1 0 2765603 196694016 42679 33554432000 4194304 6986860 140729858573472 140729858568824 5431992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48021 42679 717 682 0 42024 0
Current children cumulated CPU time (s) 1962.27
Current children cumulated vsize (KiB) 192084

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7310
/proc/meminfo: memFree=31939020/32770624 swapFree=5744/123000
[pid=7088] ppid=7085 vsize=192216 CPUtime=2022.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 370256 0 0 0 201971 255 0 0 20 0 1 0 2765603 196829184 42679 33554432000 4194304 6986860 140729858573472 140729858569000 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48054 42679 717 682 0 42057 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 192216

[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7311
/proc/meminfo: memFree=31939536/32770624 swapFree=5744/123028
[pid=7088] ppid=7085 vsize=192216 CPUtime=2082.27 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 370475 0 0 0 207965 262 0 0 20 0 1 0 2765603 196829184 42704 33554432000 4194304 6986860 140729858573472 140729858568824 5358525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48054 42704 717 682 0 42057 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 192216

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7312
/proc/meminfo: memFree=31939392/32770624 swapFree=5744/123064
[pid=7088] ppid=7085 vsize=192216 CPUtime=2142.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 370694 0 0 0 213958 268 0 0 20 0 1 0 2765603 196829184 42704 33554432000 4194304 6986860 140729858573472 140729858568824 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48054 42704 717 682 0 42057 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 192216

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7313
/proc/meminfo: memFree=31939412/32770624 swapFree=5744/123096
[pid=7088] ppid=7085 vsize=192216 CPUtime=2202.27 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 370913 0 0 0 219952 275 0 0 20 0 1 0 2765603 196829184 42704 33554432000 4194304 6986860 140729858573472 140729858568824 5431766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48054 42704 717 682 0 42057 0
Current children cumulated CPU time (s) 2202.27
Current children cumulated vsize (KiB) 192216

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7314
/proc/meminfo: memFree=31939456/32770624 swapFree=5744/123120
[pid=7088] ppid=7085 vsize=192216 CPUtime=2262.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 371135 0 0 0 225945 281 0 0 20 0 1 0 2765603 196829184 42704 33554432000 4194304 6986860 140729858573472 140729858568824 140004573355840 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48054 42704 717 682 0 42057 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 192216

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7316
/proc/meminfo: memFree=31939500/32770624 swapFree=5744/123152
[pid=7088] ppid=7085 vsize=192216 CPUtime=2322.27 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 371382 0 0 0 231940 287 0 0 20 0 1 0 2765603 196829184 42704 33554432000 4194304 6986860 140729858573472 140729858568824 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48054 42704 717 682 0 42057 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 192216

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7317
/proc/meminfo: memFree=31940360/32770624 swapFree=5744/123184
[pid=7088] ppid=7085 vsize=192348 CPUtime=2382.26 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 371660 0 0 0 237933 293 0 0 20 0 1 0 2765603 196964352 42734 33554432000 4194304 6986860 140729858573472 140729858569000 140004573626748 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48087 42734 717 682 0 42090 0
Current children cumulated CPU time (s) 2382.26
Current children cumulated vsize (KiB) 192348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 7318
/proc/meminfo: memFree=31939904/32770624 swapFree=5744/123196
[pid=7088] ppid=7085 vsize=192348 CPUtime=2400.06 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 371914 0 0 0 239711 295 0 0 20 0 1 0 2765603 196964352 42737 33554432000 4194304 6986860 140729858573472 140729858568824 140004573360832 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48087 42737 717 682 0 42090 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 192348

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

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

[startup+2400.1 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 7318
/proc/meminfo: memFree=31939904/32770624 swapFree=5744/123196
[pid=7088] ppid=7085 vsize=192348 CPUtime=2400.06 cores=0,2,4,6
/proc/7088/stat : 7088 (naxos-xcsp3) R 7085 7088 3531 0 -1 4202496 371914 0 0 0 239711 295 0 0 20 0 1 0 2765603 196964352 42737 33554432000 4194304 6986860 140729858573472 140729858568824 140004573360832 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 26476544 140729858581774 140729858581855 140729858581855 140729858584554 0
/proc/7088/statm: 48087 42737 717 682 0 42090 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 192348

Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.08
CPU user time (s): 2397.12
CPU system time (s): 2.96003
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 192348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.12
system time used= 2.96003
maximum resident set size= 170984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 818

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10547 second user time and 9.73218 second system time

The end

Launcher Data 

Begin job on node147 at 2017-07-24 23:29:29
IDJOB=4253393
IDBENCH=134763
IDSOLVER=2634
FILE ID=node147/4253393-1500931769
RUNJOBID= node147-1500914920-3562
PBS_JOBID= 20625400
Free space on /tmp= 61684 MiB

SOLVER NAME= Naxos 1.1.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spng/Pb-NG-K145.xml
COMMAND LINE= ./naxos-xcsp3 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4253393-1500931769/watcher-4253393-1500931769 -o /tmp/evaluation-result-4253393-1500931769/solver-4253393-1500931769 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500914920-3562 --watchdog 2560  ./naxos-xcsp3 HOME/instance-4253393-1500931769.xml

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

MD5SUM BENCH= 5e6b89adf4cff092dc7bbd8ab430815e
RANDOM SEED=1027776256

node147.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.57
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.57
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.57
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.57
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:        32093832 kB
MemAvailable:   32037756 kB
Buffers:           37800 kB
Cached:           220936 kB
SwapCached:            0 kB
Active:           197192 kB
Inactive:         130100 kB
Active(anon):      71508 kB
Inactive(anon):     8676 kB
Active(file):     125684 kB
Inactive(file):   121424 kB
Unevictable:        5744 kB
Mlocked:            5744 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4020 kB
Writeback:             0 kB
AnonPages:         74860 kB
Mapped:            30280 kB
Shmem:              8848 kB
Slab:              50000 kB
SReclaimable:      25304 kB
SUnreclaim:        24696 kB
KernelStack:        3264 kB
PageTables:         5144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     303860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61684 MiB
End job on node147 at 2017-07-25 00:09:29