Trace number 4088917

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 11.4163 11.4203

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/
pb16-16-elffers/SUMINEQ/normalized-sumineqArity3pyramidP0064.opb
MD5SUMb9b1b00da205461e42acb83cb08b4f51
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark0.487925
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6435
Total number of constraints2146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints2080
Minimum length of a constraint3
Maximum length of a constraint9
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
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-15T21:26:07+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-4088917-1466018767.opb"]
0.00/0.01	c use --random-gen="3275713779 3976304146 3379336955 3981606438 3697630581 1929036506 3028584751 687495662 2837110654 165883218 2370839355 3470783353 1900676204 642957293 1672509694 3509698411 2257857449 441138947 1028703068 1948233001 1403772650 425563501 2344029131 1870590669 4090216851 684778578 2882178573 927438156 1991866403 202896948 672724184 1279248071 4230066804 136833901 3277877522 1965265628 2474528347 796565643 3632496622 2948161599 3125026687 2236980338 4281214129 898966212 805414667 1049029254 360069024 2576615082 2648812932 4235354252 3833778047 3149346383 2523833569 2786027753 3613130946 2797642007 3015362441 3607383326 2034856796 1239088372 3907177834 333777787 1340992801 3475898390 964499064 3250458718 2806458638 3076028666 2934947373 1581394407 3648926629 3974998159 656505855 2260803750 967782856 2367222863 2455962592 3528688409 3746320288 2127584098 1353729321 1349541302 707875538 3536622802 2483689704 3021752640 2672095478 2109826844 73672040 3149135929 2089198801 1416491527 1513848395 2241101061 3293503562 4174013934 726888106 4243306639 1128149382 1081074407 2714923023 2982479958 1252565896 2818507742 633350049 3123959536 2423060087 2108616941 586335463 1692088318 1852826335 2602507 1374622284 2987362060 2687477249 1685176685 466841224 2966351244 3957129028 3670547764 2484321414 2767305541 1358963005 2295742812 302127462 1313161181 638983424 3337193884 343601213 2816998241 1332675706 2829479388 3568135284 3706512791 3086221132 900241193 801532830 2800429494 829546927 3259105340 1737212027 1337314872 731752561 1070615308 3351596379 1270073895 322692485 1948072391 3791339269 3689177514 1292273 192926356 2452254981 404550117 928305135 2153960066 907900016 3899848997 1742689989 1003291095 2294887284 760902900 678677476 198264281 788706701 4121570070 4196624595 2307337270 2840231303 2694120369 919125027 3397364964 4008478394 3759226568 873811084 4029134853 3605979913 2338831111 142068253 4100658778 1231868593 607640882 584164628 3116873455 2515325470 2085060154 4288713834 2490011027 1780850251 722886272 1914718254 4283953065 3899593067 525581975 762000870 884849039 1661334631 2045700914 1300760020 4242012965 2107703935 2080071990 2036322281 4080772969 3514025378 2202490551 3580888475 3697980847 2560908036 2700915122 2900209619 2382029263 4085569494 3962197869 1107662915 432130960 2474423081 2564766788 3577577810 1492768764 3208479108 1946179093 1737714935 3262247802 345811090 1447052629 2189697392 1938059406 1941397116 2624132524 2809631271 2573097799 2702505074 3269475322 625753224 3798495125 364361350 1390475844 885441063 3046515641 2577746096 399224292 107665336 2782272730 2148388659 1932844891 3332961473 49217183 1494348510 4036391395 2076852417 2683164490 512842031 2792451351 4241433143 943846006 255 362436" option to reproduce the execution
0.00/0.06	c #vars 6435
0.00/0.06	c #constraints 2146
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2860      0 |        0 |        0
0.09/0.13	c  0.0s |       1 |      328 |      100 |     2860      0 |        0 |        0
0.09/0.14	c  0.0s |       2 |      768 |      250 |     3147      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |     1526 |      475 |     3462      0 |        0 |        0
0.09/0.19	c  0.1s |       4 |     2518 |      813 |     3809      0 |        0 |        0
0.18/0.23	c  0.1s |       5 |     3633 |     1320 |     4190      0 |        0 |        0
0.18/0.29	c  0.2s |       6 |     6634 |     2081 |     5070      0 |        0 |        0
0.29/0.38	c  0.3s |       7 |     8554 |     3223 |     5577      0 |        0 |        0
0.49/0.51	c  0.4s |       8 |    15559 |     4936 |     6135      0 |        0 |        0
0.69/0.75	c  0.7s |       9 |    32220 |     7506 |     6749      0 |        0 |        0
0.98/1.07	c  1.0s |      10 |    49586 |    11361 |     7424      1 |        0 |        0
1.48/1.55	c  1.5s |      11 |    59462 |    17144 |     8167      3 |        0 |        0
2.20/2.28	c  2.2s |      12 |    76789 |    25819 |     8984      5 |        0 |        0
3.19/3.23	c  3.1s |      13 |   105098 |    38832 |     9883      7 |        0 |        0
4.78/4.80	c  4.7s |      14 |   150014 |    58352 |    10872     11 |        0 |        0
6.79/6.80	c  6.7s |      14 |   256190 |    84552 |    10872     15 |        0 |        0
6.99/7.02	c  6.9s |      15 |   261517 |    87632 |    11960     15 |        0 |        0
8.98/9.02	c  8.9s |      15 |   344857 |   112332 |    11960     19 |        0 |        0
10.29/10.38	c 10.3s |      16 |   404528 |   131552 |    13157     22 |        0 |        0
11.29/11.35	c 11.3s |      16 |   428948 |   143869 |    13157     24 |       13 |        0
11.29/11.35	c #cpu_time = 11.256s
11.29/11.35	c #wall_clock_time = 11.256s
11.29/11.35	c #decision = 428948
11.29/11.35	c #random_decision = 2140
11.29/11.35	c #conflict = 143869
11.29/11.35	c #restart = 16
11.29/11.35	s UNSATISFIABLE
11.29/11.35	c total CPU time = 11.357s
11.29/11.35	c total wall clock time = 11.357s

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

pid=7217
running on 4 cores: 1,3,5,7

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: 2.13 2.12 2.09 3/179 7220
/proc/meminfo: memFree=30437148/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 2603 0 0 0 0 0 0 0 20 0 4 0 3922139 715583488 2963 33554432000 4194304 16246674 140734622960592 140734622960016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 175471 2972 441 2943 0 172365 0
[pid=7220/tid=7221] ppid=7217 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 733409280 3029 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 737603584 3044 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3922140 741797888 3062 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 7220
/proc/meminfo: memFree=30437148/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 21582 0 0 0 7 2 0 0 20 0 4 0 3922139 1250496512 21880 33554432000 4194304 16246674 140734622960592 140734622959904 12367026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 305297 21880 830 2943 0 302191 0
[pid=7220/tid=7221] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1250496512 21880 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1250496512 21880 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3922140 1250496512 21880 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200471 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 7220
/proc/meminfo: memFree=30437148/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1221188 CPUtime=0.18 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 33271 0 0 0 15 3 0 0 20 0 4 0 3922139 1250496512 33569 33554432000 4194304 16246674 140734622960592 140734622959904 6076251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 305297 33577 868 2943 0 302191 0
[pid=7220/tid=7221] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1250496512 33581 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1250496512 33587 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3922140 1250496512 33591 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300458 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 7220
/proc/meminfo: memFree=30437148/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 49166 0 0 0 23 6 0 0 20 0 4 0 3922139 1250496512 49464 33554432000 4194304 16246674 140734622960592 140734622943584 13193109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 305297 49471 868 2943 0 302191 0
[pid=7220/tid=7221] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1250496512 49475 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1250496512 49481 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3922140 1250496512 49487 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700379 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 7220
/proc/meminfo: memFree=30437148/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 114413 0 0 0 55 14 0 0 20 0 4 0 3922139 1250496512 114711 33554432000 4194304 16246674 140734622960592 140734622943584 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 305297 114718 868 2943 0 302191 0
[pid=7220/tid=7221] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1250496512 114722 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1250496512 114727 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3922140 1250496512 114731 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50034 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 7224
/proc/meminfo: memFree=29869100/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1297988 CPUtime=1.48 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 144885 0 0 0 130 18 0 0 20 0 4 0 3922139 1329139712 145183 33554432000 4194304 16246674 140734622960592 140734622943592 5673105 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 324497 145183 877 2943 0 321391 0
[pid=7220/tid=7221] ppid=7217 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1329139712 145183 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1329139712 145183 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3922140 1329139712 145183 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1297988

[startup+3.10034 s]
/proc/loadavg: 2.20 2.14 2.10 3/183 7224
/proc/meminfo: memFree=29701816/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1302084 CPUtime=3.09 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 225459 0 0 0 279 30 0 0 20 0 4 0 3922139 1333334016 225757 33554432000 4194304 16246674 140734622960592 140734622942464 6013193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 325521 225757 881 2943 0 322415 0
[pid=7220/tid=7221] ppid=7217 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1333334016 225757 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1333334016 225757 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3922140 1333334016 225757 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1302084

[startup+6.30038 s]
/proc/loadavg: 2.20 2.14 2.10 3/183 7224
/proc/meminfo: memFree=29457656/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1316420 CPUtime=6.29 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 244827 0 0 0 595 34 0 0 20 0 4 0 3922139 1348014080 245125 33554432000 4194304 16246674 140734622960592 140734622943592 5823534 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 329105 245125 881 2943 0 325999 0
[pid=7220/tid=7221] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1348014080 245125 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 245125 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 245125 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420

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

[startup+6.40047 s]
/proc/loadavg: 2.20 2.14 2.10 3/183 7224
/proc/meminfo: memFree=29457656/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1316420 CPUtime=6.39 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 244827 0 0 0 605 34 0 0 20 0 4 0 3922139 1348014080 245125 33554432000 4194304 16246674 140734622960592 140734622943592 5754912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 329105 245125 881 2943 0 325999 0
[pid=7220/tid=7221] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1348014080 245125 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 245125 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 245125 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1316420

[startup+9.60038 s]
/proc/loadavg: 2.19 2.13 2.09 3/183 7224
/proc/meminfo: memFree=29356472/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1316420 CPUtime=9.58 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 270147 0 0 0 921 37 0 0 20 0 4 0 3922139 1348014080 270445 33554432000 4194304 16246674 140734622960592 140734622943592 5808532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 329105 270445 881 2943 0 325999 0
[pid=7220/tid=7221] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1348014080 270445 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 270445 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 270445 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 1316420

[startup+10.4004 s]
/proc/loadavg: 2.19 2.13 2.09 3/183 7224
/proc/meminfo: memFree=29356472/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1316420 CPUtime=10.39 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 270147 0 0 0 1001 38 0 0 20 0 4 0 3922139 1348014080 270445 33554432000 4194304 16246674 140734622960592 140734622943592 5673747 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 329105 270445 881 2943 0 325999 0
[pid=7220/tid=7221] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1348014080 270445 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 270445 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 270445 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 1316420

[startup+11.2004 s]
/proc/loadavg: 2.19 2.13 2.09 3/183 7224
/proc/meminfo: memFree=29356112/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=1316420 CPUtime=11.19 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202496 270147 0 0 0 1081 38 0 0 20 0 4 0 3922139 1348014080 270445 33554432000 4194304 16246674 140734622960592 140734622943592 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 329105 270445 881 2943 0 325999 0
[pid=7220/tid=7221] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7221/stat : 7221 (toysat) S 7217 7220 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3922139 1348014080 270445 33554432000 4194304 16246674 140734622960592 140430784048368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7220/tid=7222] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7222/stat : 7222 (toysat) S 7217 7220 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 270445 33554432000 4194304 16246674 140734622960592 140430773558512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7220/tid=7223] ppid=7217 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7220/task/7223/stat : 7223 (toysat) S 7217 7220 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3922140 1348014080 270445 33554432000 4194304 16246674 140734622960592 140430763084976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 11.19
Current children cumulated vsize (KiB) 1316420

[startup+11.4003 s]
/proc/loadavg: 2.19 2.13 2.09 3/183 7224
/proc/meminfo: memFree=29356112/32872528 swapFree=496356/529060
[pid=7220] ppid=7217 vsize=0 CPUtime=11.39 cores=1,3,5,7
/proc/7220/stat : 7220 (toysat) R 7217 7220 5955 0 -1 4202500 270151 0 0 0 1097 42 0 0 20 0 1 0 3922139 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7220/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 11.4203
CPU time (s): 11.4163
CPU user time (s): 10.9743
CPU system time (s): 0.441932
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9743
system time used= 0.441932
maximum resident set size= 1081792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270151
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= 23
involuntary context switches= 13

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025996 second user time and 0.053991 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-15 21:26:07
IDJOB=4088917
IDBENCH=107332
IDSOLVER=2542
FILE ID=node141/4088917-1466018767
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/SUMINEQ/normalized-sumineqArity3pyramidP0064.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088917-1466018767/watcher-4088917-1466018767 -o /tmp/evaluation-result-4088917-1466018767/solver-4088917-1466018767 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088917-1466018767.opb

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

MD5SUM BENCH= b9b1b00da205461e42acb83cb08b4f51
RANDOM SEED=2018801331

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.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
cpu MHz		: 2666.547
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.547
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.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
cpu MHz		: 2666.547
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.55
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30437528 kB
Buffers:           18924 kB
Cached:            73700 kB
SwapCached:        13072 kB
Active:          1158884 kB
Inactive:          44036 kB
Active(anon):    1100776 kB
Inactive(anon):    12008 kB
Active(file):      58108 kB
Inactive(file):    32028 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1604936 kB
Mapped:            10356 kB
Shmem:                 0 kB
Slab:             566308 kB
SReclaimable:      10252 kB
SUnreclaim:       556056 kB
KernelStack:        1520 kB
PageTables:         6984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1774460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1085440 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= 71716 MiB
End job on node141 at 2016-06-15 21:26:19