Trace number 4103877

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 256.978 257.023

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-momentum3.opb
MD5SUM84f1974aba41ac2d1ba5ffc7a29fc60a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10752000000
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10752000000
Optimality of the best value was proved NO
Number of variables93400
Total number of constraints49198
Number of constraints which are clauses6081
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints42667
Minimum length of a constraint1
Maximum length of a constraint1018
Number of terms in the objective function 87370
Biggest coefficient in the objective function 1310720000
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 13573186735
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 10240000000000000000000000000
Number of bits of the biggest number in a constraint 94
Biggest sum of numbers in a constraint 29801266744107042664773061860
Number of bits of the biggest sum of numbers95
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-18T10:43:35+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-4103877-1466239404.opb"]
0.00/0.01	c use --random-gen="2723487223 1217866687 1036858113 3407171110 1459666528 690946844 289657793 768331076 48048037 1253976455 1692867347 1833248366 2475347366 1286858394 3763556747 2519190143 3715174119 3754297617 3218392432 2725047366 1916685338 1895278706 763114674 943968718 4047099844 2000494686 3413946865 1605862593 3971445030 3106582887 2354266878 1722064887 1239150190 1009403431 4214114899 2659353450 890052942 2389858602 1946121871 56232655 3652910941 1178621224 3976023090 2878515803 1959795964 872772291 354746 1288880835 136955362 184638182 1497070577 1283984181 1750604587 3318695916 410983456 1554467083 2796404987 1009667180 3254297569 2933118634 2753908579 3250751431 1582893575 3754677261 3941577300 178346448 4201699326 2157339074 1943279550 3026302426 3625854972 4234960555 3880046624 175233916 3808940367 2753687362 169643614 369797466 1025092398 671767803 3090817316 2126134149 2041041479 2341393828 1427620424 1016694547 276310827 1792451581 2653488770 3990466549 245908836 1273143678 498346893 4052442532 3130010181 3873212535 160528832 120046461 3794981053 2189548535 673706955 2082743670 3580845859 791192529 876439400 1652501395 3834182301 4133142437 3663917340 3984123927 801724746 855606689 2143157115 1770323194 774438545 3921634051 3290907149 4284649490 269430688 349325535 3609319826 1523912094 791778392 4185920166 734265038 2907898946 1651010858 4100326735 2834273341 1861490682 2506565709 614434489 1864933249 2393388266 1097426760 2704052156 52970627 4267479705 3373525923 932311617 711436968 1842026663 263319150 2128961792 4059942708 3771902973 3403683092 1006389624 423264909 3764373499 3918587544 149607691 3733739712 2045978139 2983292508 2758778586 1680044753 3844980135 1769289277 1214932820 646026273 2348454326 700863461 400446151 1697932733 4169263249 1693704749 3951757569 1464291002 3006473268 3353996857 1739889394 2718310912 3122714791 1484375264 2338347894 1707094150 3549953958 633682450 2388681739 4243074739 3157073760 1441829566 1498689009 572714733 322321993 91604622 4194231285 786245235 2983460097 365813716 555356808 774002824 3289683998 3016407019 1552970439 4214646236 1657359868 3279746995 1393984966 944518410 3408439421 2011055500 2184242259 3567626980 3042844248 1978856578 1758819383 4126955074 2341558584 1541987782 2769096411 4090485787 202766734 1820143548 4140156166 1774541508 359154240 431395184 2129598312 1334068528 4287111612 347025962 2246583376 1855896969 3246339179 3502396462 3812218758 1568358803 3741277371 2882650895 3217019797 3188089218 116482774 1305903785 3277040994 4145558197 198246209 4293242952 1459170644 148649911 3734591145 2129278561 1593644117 1527913166 1737207554 1725899635 1335833241 2690617095 50188751 472082113 4240014769 23990217 2047182040 1581767838 2276947338 255 362436" option to reproduce the execution
25.29/25.39	c #vars 93400
25.29/25.39	c #constraints 49198

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

pid=28024
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.14 2.03 2.01 3/179 28027
/proc/meminfo: memFree=27098764/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=818620 CPUtime=0 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 3069 0 0 0 0 0 0 0 20 0 4 0 25986270 838266880 3431 33554432000 4194304 16246674 140736593442992 140736593442416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 205423 3440 441 2943 0 202317 0
[pid=28027/tid=28028] ppid=28024 vsize=837052 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 857141248 3502 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=841148 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 861335552 3518 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=845244 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25986270 865529856 3536 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 28027
/proc/meminfo: memFree=27098764/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 30023 0 0 0 6 3 0 0 20 0 4 0 25986270 1332285440 30323 33554432000 4194304 16246674 140736593442992 140736593442304 8055408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 325265 30340 799 2943 0 322159 0
[pid=28027/tid=28028] ppid=28024 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 1332285440 30351 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 1332285440 30363 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 1332285440 30374 33554432000 4194304 16246674 140736593442992 139715734916272 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) 1301060

[startup+0.200548 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 28027
/proc/meminfo: memFree=27098764/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 46392 0 0 0 13 6 0 0 20 0 4 0 25986270 1344868352 47202 33554432000 4194304 16246674 140736593442992 140736593442304 7852933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 328337 47202 799 2943 0 325231 0
[pid=28027/tid=28028] ppid=28024 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 1344868352 47202 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 1344868352 47202 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 1344868352 47202 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300862 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 28027
/proc/meminfo: memFree=27098764/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 46587 0 0 0 23 6 0 0 20 0 4 0 25986270 1344868352 47397 33554432000 4194304 16246674 140736593442992 140736593442304 4207600 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 328337 47397 800 2943 0 325231 0
[pid=28027/tid=28028] ppid=28024 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 1344868352 47397 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 1344868352 47397 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 1344868352 47397 33554432000 4194304 16246674 140736593442992 139715734916272 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) 1313348

[startup+0.70043 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 28027
/proc/meminfo: memFree=27098764/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=1319492 CPUtime=0.69 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 48369 0 0 0 62 7 0 0 20 0 4 0 25986270 1351159808 50712 33554432000 4194304 16246674 140736593442992 140736593442304 7889624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 329873 50712 801 2943 0 326767 0
[pid=28027/tid=28028] ppid=28024 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 1351159808 50712 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 1351159808 50712 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 1351159808 50712 33554432000 4194304 16246674 140736593442992 139715734916272 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) 1319492

[startup+1.50047 s]
/proc/loadavg: 2.14 2.03 2.01 3/183 28031
/proc/meminfo: memFree=26835308/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=1356356 CPUtime=1.49 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 85537 0 0 0 136 13 0 0 20 0 4 0 25986270 1388908544 94523 33554432000 4194304 16246674 140736593442992 140736593424896 4221108 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 339089 94523 801 2943 0 335983 0
[pid=28027/tid=28028] ppid=28024 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 1388908544 94523 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 1388908544 94523 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 1388908544 94523 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1356356

[startup+3.10044 s]
/proc/loadavg: 2.14 2.03 2.01 3/183 28031
/proc/meminfo: memFree=28128248/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=1405508 CPUtime=3.09 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 116203 0 0 0 291 18 0 0 20 0 4 0 25986270 1439240192 134898 33554432000 4194304 16246674 140736593442992 140736593425984 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 351377 134898 801 2943 0 348271 0
[pid=28027/tid=28028] ppid=28024 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 1439240192 134898 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 1439240192 134898 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 1439240192 134898 33554432000 4194304 16246674 140736593442992 139715734916272 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) 1405508

[startup+6.30043 s]
/proc/loadavg: 2.21 2.05 2.01 3/183 28031
/proc/meminfo: memFree=28255960/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=1503812 CPUtime=6.29 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 174226 0 0 0 600 29 0 0 20 0 4 0 25986270 1539903488 213361 33554432000 4194304 16246674 140736593442992 140736593424896 7440720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 375953 213361 801 2943 0 372847 0
[pid=28027/tid=28028] ppid=28024 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 1539903488 213361 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 1539903488 213361 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 1539903488 213361 33554432000 4194304 16246674 140736593442992 139715734916272 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) 1503812

[startup+12.7004 s]
/proc/loadavg: 2.20 2.05 2.01 3/183 28031
/proc/meminfo: memFree=26431340/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=1747524 CPUtime=12.69 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 280847 0 0 0 1221 48 0 0 20 0 4 0 25986270 1789464576 360862 33554432000 4194304 16246674 140736593442992 140736593440832 7376628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 436881 360862 801 2943 0 433775 0
[pid=28027/tid=28028] ppid=28024 vsize=1747524 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 1789464576 360862 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=1747524 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 1789464576 360862 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=1747524 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 1789464576 360862 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1747524

[startup+25.5005 s]
/proc/loadavg: 2.15 2.04 2.01 3/183 28031
/proc/meminfo: memFree=26503248/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=3028548 CPUtime=25.49 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 601137 0 0 0 2447 102 0 0 20 0 4 0 25986270 3101233152 698526 33554432000 4194304 16246674 140736593442992 140736593442168 4220487 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 757137 698526 809 2943 0 754031 0
[pid=28027/tid=28028] ppid=28024 vsize=3028548 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 3101233152 698526 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=3028548 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 3101233152 698526 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=3028548 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 3101233152 698526 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3028548

[startup+51.1005 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 28033
/proc/meminfo: memFree=23082060/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=6044228 CPUtime=51.08 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 1355109 0 0 0 4904 204 0 0 20 0 4 0 25986270 6189289472 1452498 33554432000 4194304 16246674 140736593442992 140736593440832 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 1511313 1452508 847 2943 0 1508207 0
[pid=28027/tid=28028] ppid=28024 vsize=6045252 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 6190338048 1452513 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=6045252 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 6190338048 1452517 33554432000 4194304 16246674 140736593442992 139715745389584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=6045252 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 6190338048 1452519 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6044228

[startup+102.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 28033
/proc/meminfo: memFree=16074684/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=13200964 CPUtime=102.29 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 3144301 0 0 0 9775 454 0 0 20 0 4 0 25986270 13517787136 3241690 33554432000 4194304 16246674 140736593442992 140736593442088 4220860 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 3300241 3241690 848 2943 0 3297135 0
[pid=28027/tid=28028] ppid=28024 vsize=13200964 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 13517787136 3241690 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=13200964 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 13517787136 3241690 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=13200964 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 13517787136 3241690 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 13200964

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 28034
/proc/meminfo: memFree=15065300/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=13200964 CPUtime=162.26 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 3144305 0 0 0 15769 457 0 0 20 0 4 0 25986270 13517787136 3241694 33554432000 4194304 16246674 140736593442992 140736593442168 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 3300241 3241694 852 2943 0 3297135 0
[pid=28027/tid=28028] ppid=28024 vsize=13200964 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 13517787136 3241694 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=13200964 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 13517787136 3241694 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=13200964 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 13517787136 3241694 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13200964

[startup+222.308 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 28035
/proc/meminfo: memFree=14273832/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=14927428 CPUtime=222.26 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 3519987 0 0 0 21711 515 0 0 20 0 4 0 25986270 15285686272 3673075 33554432000 4194304 16246674 140736593442992 140736593440960 14013949 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 3731857 3673075 852 2943 0 3728751 0
[pid=28027/tid=28028] ppid=28024 vsize=14927428 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 15285686272 3673075 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=14927428 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 15285686272 3673075 33554432000 4194304 16246674 140736593442992 139715745389584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=14927428 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 15285686272 3673075 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14927428



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+256.2 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 28036
/proc/meminfo: memFree=12168596/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=15876676 CPUtime=256.15 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) R 28024 28027 23276 0 -1 4202496 3757517 0 0 0 25059 556 0 0 20 0 4 0 25986270 16257716224 3910605 33554432000 4194304 16246674 140736593442992 140736593442168 14091618 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 3969169 3910605 852 2943 0 3966063 0
[pid=28027/tid=28028] ppid=28024 vsize=15876676 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) S 28024 28027 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25986270 16257716224 3910605 33554432000 4194304 16246674 140736593442992 139715755879664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28027/tid=28029] ppid=28024 vsize=15876676 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (toysat) S 28024 28027 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25986270 16257716224 3910608 33554432000 4194304 16246674 140736593442992 139715745389808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28027/tid=28030] ppid=28024 vsize=15876676 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (toysat) S 28024 28027 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25986270 16257716224 3910613 33554432000 4194304 16246674 140736593442992 139715734916272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 256.15
Current children cumulated vsize (KiB) 15876676

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 28027 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+256.8 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 28036
/proc/meminfo: memFree=13709740/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=0 CPUtime=256.75 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) Z 28024 28027 23276 0 -1 4203532 3757892 0 0 0 25059 616 0 0 20 0 2 0 25986270 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 0 0 0 0 0 0 0
[pid=28027/tid=28028] ppid=28024 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) R 28024 28027 23276 0 -1 4203588 9 0 0 0 0 58 0 0 20 0 2 0 25986270 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 256.75
Current children cumulated vsize (KiB) 0

[startup+257 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 28036
/proc/meminfo: memFree=13709740/32872528 swapFree=7780/7780
[pid=28027] ppid=28024 vsize=0 CPUtime=256.95 cores=1,3,5,7
/proc/28027/stat : 28027 (toysat) Z 28024 28027 23276 0 -1 4203532 3757892 0 0 0 25059 636 0 0 20 0 2 0 25986270 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28027/statm: 0 0 0 0 0 0 0
[pid=28027/tid=28028] ppid=28024 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (toysat) R 28024 28027 23276 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 25986270 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 256.95
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 257.023
CPU time (s): 256.978
CPU user time (s): 250.6
CPU system time (s): 6.37803
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 15876676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.6
system time used= 6.37803
maximum resident set size= 15643920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3757892
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= 46
involuntary context switches= 286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57076 second user time and 2.49962 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 10:43:34
IDJOB=4103877
IDBENCH=2494
IDSOLVER=2542
FILE ID=node151/4103877-1466239404
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71480 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103877-1466239404/watcher-4103877-1466239404 -o /tmp/evaluation-result-4103877-1466239404/solver-4103877-1466239404 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103877-1466239404.opb

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

MD5SUM BENCH= 84f1974aba41ac2d1ba5ffc7a29fc60a
RANDOM SEED=973052197

node151.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		: 2667.103
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	: 5334.20
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		: 2667.103
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		: 2667.103
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.55
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		: 2667.103
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		: 2667.103
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.54
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		: 2667.103
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		: 2667.103
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		: 2667.103
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:        27098780 kB
Buffers:          108980 kB
Cached:           486728 kB
SwapCached:         1780 kB
Active:          4771976 kB
Inactive:         234536 kB
Active(anon):    4409020 kB
Inactive(anon):     4020 kB
Active(file):     362956 kB
Inactive(file):   230516 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:            274972 kB
Writeback:             0 kB
AnonPages:       4418408 kB
Mapped:            11632 kB
Shmem:                 0 kB
Slab:             618788 kB
SReclaimable:      60308 kB
SUnreclaim:       558480 kB
KernelStack:        1464 kB
PageTables:        12820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4564200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71464 MiB
End job on node151 at 2016-06-18 10:47:52