Trace number 4098878

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
toysat 2016-05-02UNSAT 5.37918 5.38002

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111228076.opb
MD5SUM5e07f8b43a59b370ff10f0589c5144c8
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark3.34449
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables169
Total number of constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1225
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T01:28:11+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4098878-1466206091.opb"]
0.00/0.01	c use --random-gen="3502946891 2438613889 3222822359 3005502930 1160807302 1244017497 2964897086 590663485 999151149 1918606830 2901196033 1520015364 3008040211 1869047135 1040589357 4025158619 2979351931 2936055940 1092371724 1910081722 981343927 916808011 2839200285 3394024020 2934759598 1991489243 3020546628 537611829 4289304599 2206685500 2154447092 2469732127 22951351 3203939928 4139985622 40549686 3318733969 3309177441 1960126597 3368622313 2211291541 3684975929 2671090168 2973190480 869679897 1430033447 4019012929 2639997565 955700607 3319985352 4136617280 3105189292 3271431237 2716623654 1097779287 2176037647 3679324757 3125954617 459543266 256097306 2860988189 3262343470 2363615075 1479802598 512635410 1436361816 2889913053 3532713917 2549997096 3792128167 3623917082 304522883 222365700 1628184988 3361358724 3550828658 2174401318 2338881408 506004758 1066039147 3073790530 4153448856 1237447571 2192226847 2835385824 1961042149 937197903 3571558089 3575483293 3252482289 354854801 625747831 2531275101 651197336 2108343059 1390880728 671888060 156295673 555641008 4231897498 2308076673 75456376 4005408306 1780443428 1870404134 1192710874 2176347777 2080762360 3625892258 679352889 439487309 1177979974 196115541 292131001 3630120962 4282436277 3715887448 3787880961 969058988 659056811 3593757027 3108787677 3645108947 4134912346 2630776500 634167499 1766085882 2023854164 264797432 2384506917 443246272 1897794450 3848077957 2787589498 2878775306 2388372755 501100552 2973509574 3424050927 249706745 3225008911 1129809901 335961961 1711613571 1325431952 3692704946 3007161114 2690939783 380896516 3013778148 3498579832 3974002950 2532579959 2547122298 2114684221 3864582793 3370836855 2077144534 118596057 2191766057 3942191992 2212906853 3676159015 1922624966 594700317 1834510072 2708789996 3440074607 1785257844 2628629104 2786496844 4129198428 3541042315 1071378100 2561897418 3528959452 3867958356 522362149 2823967092 4201241431 3802649414 208288787 2337792608 2102889207 356040470 2815894879 2022220662 3554433027 29246865 853352141 1037109902 3318493615 3148107809 1362496259 4011197427 1029545093 3932804501 2218536554 3222731063 1963557963 2427409534 3355224758 3592788858 1786074579 3564491029 2865278582 1514643156 1428578562 3495169441 699673306 3354465293 1837424601 3705267465 4199365480 3797934509 869662847 1898768673 4100250685 826044950 880797569 133925987 2456001425 2567319624 1368803209 1624625581 477630043 3028947088 1293968112 3318804809 706457988 239386775 2644800136 3436393449 3334958640 568840678 3582380700 676052933 240614995 2373851593 4115164668 2373929742 1697061544 3574863391 605737096 2666264726 3373492942 2654601412 2791545666 2036697768 1684981237 2064542065 2289402046 3848142541 2570790706 1848037254 1611551521 255 362436" option to reproduce the execution
0.00/0.01	c #vars 169
0.00/0.01	c #constraints 101
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       90      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      136 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      365 |      250 |      100      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      709 |      475 |      111      4 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1192 |      813 |      123      8 |        0 |        0
0.09/0.18	c  0.2s |       5 |     1961 |     1320 |      136     12 |        0 |        0
0.19/0.27	c  0.3s |       6 |     3025 |     2081 |      165     18 |        0 |        0
0.39/0.41	c  0.4s |       7 |     4683 |     3223 |      182     27 |        0 |        0
0.58/0.61	c  0.6s |       8 |     7189 |     4936 |      201     40 |        0 |        0
0.89/0.92	c  0.9s |       9 |    11028 |     7506 |      222     57 |        1 |        0
1.29/1.39	c  1.4s |      10 |    16562 |    11361 |      245     80 |        2 |        0
1.89/1.97	c  2.0s |      11 |    25194 |    17144 |      270    111 |        5 |        0
2.69/2.71	c  2.7s |      12 |    37408 |    25819 |      297    154 |        9 |        0
3.89/3.91	c  3.9s |      13 |    55717 |    38832 |      327    222 |        9 |        0
5.29/5.32	c  5.3s |      13 |    75061 |    53947 |      327    279 |      162 |       40
5.29/5.32	c #cpu_time = 5.288s
5.29/5.32	c #wall_clock_time = 5.301s
5.29/5.32	c #decision = 75061
5.29/5.32	c #random_decision = 185
5.29/5.32	c #conflict = 53947
5.29/5.32	c #restart = 13
5.29/5.32	s UNSATISFIABLE
5.29/5.32	c total CPU time = 5.305s
5.29/5.32	c total wall clock time = 5.319s

Verifier Data 

ERROR: no interpretation found !

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-4098878-1466206091/watcher-4098878-1466206091 -o /tmp/evaluation-result-4098878-1466206091/solver-4098878-1466206091 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098878-1466206091.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.52 0.26 0.20 2/179 726
/proc/meminfo: memFree=29247984/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=407996 CPUtime=0 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 1462 0 0 0 0 0 0 0 20 0 4 0 22656225 417787904 2334 33554432000 4194304 16246674 140736010677216 140736010676640 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 102511 2343 441 2943 0 99405 0
[pid=726/tid=727] ppid=723 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 703000576 3424 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 708243456 3442 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=695740 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656225 712437760 3459 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 0.52 0.26 0.20 2/179 726
/proc/meminfo: memFree=29247984/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 18980 0 0 0 6 3 0 0 20 0 4 0 22656225 1247350784 19840 33554432000 4194304 16246674 140736010677216 140736010676640 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 304529 19847 731 2943 0 301423 0
[pid=726/tid=727] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 19855 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 19858 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 19862 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200501 s]
/proc/loadavg: 0.52 0.26 0.20 2/179 726
/proc/meminfo: memFree=29247984/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 33712 0 0 0 14 5 0 0 20 0 4 0 22656225 1247350784 34572 33554432000 4194304 16246674 140736010677216 140736010676640 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 304529 34580 731 2943 0 301423 0
[pid=726/tid=727] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 34583 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 34589 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 34596 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300469 s]
/proc/loadavg: 0.52 0.26 0.20 2/179 726
/proc/meminfo: memFree=29247984/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 48733 0 0 0 22 7 0 0 20 0 4 0 22656225 1247350784 49594 33554432000 4194304 16246674 140736010677216 140736010676640 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 304529 49604 731 2943 0 301423 0
[pid=726/tid=727] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 49609 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 49613 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 49618 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700387 s]
/proc/loadavg: 0.52 0.26 0.20 2/179 726
/proc/meminfo: memFree=29247984/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 107420 0 0 0 54 15 0 0 20 0 4 0 22656225 1247350784 108281 33554432000 4194304 16246674 140736010677216 140736010659136 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 304529 108288 731 2943 0 301423 0
[pid=726/tid=727] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 108293 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 108298 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 108301 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 0.52 0.26 0.20 3/183 730
/proc/meminfo: memFree=28492136/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 224354 0 0 0 116 33 0 0 20 0 4 0 22656225 1247350784 225214 33554432000 4194304 16246674 140736010677216 140736010660216 5515837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 304529 225221 733 2943 0 301423 0
[pid=726/tid=727] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 225224 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 225227 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656225 1247350784 225232 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 0.52 0.26 0.20 2/174 762
/proc/meminfo: memFree=29262912/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1305156 CPUtime=3.09 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 267260 0 0 0 268 41 0 0 20 0 4 0 22656225 1336479744 268100 33554432000 4194304 16246674 140736010677216 140736010659136 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 326289 268100 798 2943 0 323183 0
[pid=726/tid=727] ppid=723 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1336479744 268100 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1336479744 268100 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656225 1336479744 268100 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

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

[startup+3.20046 s]
/proc/loadavg: 0.52 0.26 0.20 2/174 762
/proc/meminfo: memFree=29262912/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1305156 CPUtime=3.19 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 267260 0 0 0 278 41 0 0 20 0 4 0 22656225 1336479744 268100 33554432000 4194304 16246674 140736010677216 140736010659136 6012316 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 326289 268100 798 2943 0 323183 0
[pid=726/tid=727] ppid=723 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1336479744 268100 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1336479744 268100 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656225 1336479744 268100 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1305156

[startup+4.00033 s]
/proc/loadavg: 0.64 0.29 0.21 3/183 780
/proc/meminfo: memFree=28787284/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1306180 CPUtime=3.99 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 267363 0 0 0 358 41 0 0 20 0 4 0 22656225 1337528320 268203 33554432000 4194304 16246674 140736010677216 140736010660216 5672936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 326545 268203 800 2943 0 323439 0
[pid=726/tid=727] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268203 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268203 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268203 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 1306180

[startup+4.80039 s]
/proc/loadavg: 0.64 0.29 0.21 3/183 780
/proc/meminfo: memFree=28173380/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1306180 CPUtime=4.79 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 267363 0 0 0 438 41 0 0 20 0 4 0 22656225 1337528320 268203 33554432000 4194304 16246674 140736010677216 140736010659136 6021608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 326545 268203 800 2943 0 323439 0
[pid=726/tid=727] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268203 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268203 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268203 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+5.20033 s]
/proc/loadavg: 0.64 0.29 0.21 3/183 780
/proc/meminfo: memFree=28173380/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1306180 CPUtime=5.19 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 267399 0 0 0 478 41 0 0 20 0 4 0 22656225 1337528320 268239 33554432000 4194304 16246674 140736010677216 140736010659136 5712628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 326545 268239 801 2943 0 323439 0
[pid=726/tid=727] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268239 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268239 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268239 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 1306180

[startup+5.30037 s]
/proc/loadavg: 0.64 0.29 0.21 3/183 780
/proc/meminfo: memFree=28173380/32872528 swapFree=17888/1798212
[pid=726] ppid=723 vsize=1306180 CPUtime=5.29 cores=0,2,4,6
/proc/726/stat : 726 (toysat) R 723 726 579 0 -1 4202496 267399 0 0 0 488 41 0 0 20 0 4 0 22656225 1337528320 268239 33554432000 4194304 16246674 140736010677216 140736010659136 5712600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/726/statm: 326545 268239 801 2943 0 323439 0
[pid=726/tid=727] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/727/stat : 727 (toysat) S 723 726 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268239 33554432000 4194304 16246674 140736010677216 139862810275056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=726/tid=728] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/728/stat : 728 (toysat) S 723 726 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268239 33554432000 4194304 16246674 140736010677216 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=726/tid=729] ppid=723 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/726/task/729/stat : 729 (toysat) S 723 726 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656225 1337528320 268239 33554432000 4194304 16246674 140736010677216 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 5.38002
CPU time (s): 5.37918
CPU user time (s): 4.90925
CPU system time (s): 0.469928
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.90925
system time used= 0.469928
maximum resident set size= 1072968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267404
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= 18
involuntary context switches= 6

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009998 second user time and 0.026995 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 01:28:11
IDJOB=4098878
IDBENCH=1265
IDSOLVER=2542
FILE ID=node123/4098878-1466206091
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111228076.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098878-1466206091/watcher-4098878-1466206091 -o /tmp/evaluation-result-4098878-1466206091/solver-4098878-1466206091 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098878-1466206091.opb

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

MD5SUM BENCH= 5e07f8b43a59b370ff10f0589c5144c8
RANDOM SEED=891154177

node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.58
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
cpu MHz		: 2666.791
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 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 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 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
cpu MHz		: 2666.791
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.791
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
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
cpu MHz		: 2666.791
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.791
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.791
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.791
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 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 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 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:       32872528 kB
MemFree:        29248356 kB
Buffers:           36284 kB
Cached:            96600 kB
SwapCached:         1640 kB
Active:          1063512 kB
Inactive:          54264 kB
Active(anon):     985792 kB
Inactive(anon):     1100 kB
Active(file):      77720 kB
Inactive(file):    53164 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099272 kB
Dirty:             33028 kB
Writeback:            36 kB
AnonPages:       2781868 kB
Mapped:            10304 kB
Shmem:                 0 kB
Slab:             571832 kB
SReclaimable:      14972 kB
SUnreclaim:       556860 kB
KernelStack:        1464 kB
PageTables:         9524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2927748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1785856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71604 MiB
End job on node123 at 2016-06-18 01:28:16