Trace number 4121258

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 8.93764 8.93984

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n52-d3-i2-f.cnf.gz-plain.pb.metafix.opb
MD5SUMf1c0049a61f4a8b5da3f80014a1b9675
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.422935
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables78
Total number of constraints208
Number of constraints which are clauses208
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T21:12:40+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-4121258-1467313960.opb"]
0.00/0.01	c use --random-gen="1183245000 2985673087 2067555204 3224548426 3397721918 1528053029 1132110209 1650499581 390995401 724558497 1536645476 2878248184 32672755 3267683499 1271748680 3988040470 444724167 3571445678 1665908745 3451376907 621707034 1509382363 1055218325 1927818660 3826807010 64159567 2319994814 2831051250 3458311197 2479070080 15974207 1045552527 1521719863 1669917593 3412123603 3325029898 1808397151 2106983063 169047456 3527605436 2644032285 2477440952 3718640258 200056561 658197648 4110629488 413992461 106437514 506026684 2781041192 371630171 704005070 65850971 1940291845 2820793153 3856443016 4197623715 2975836668 1324594317 434052403 1623241186 3731403405 1916009471 194000825 3276480279 2448267781 973470278 76459996 1422413259 4195206390 1537844282 1258500755 185407420 3768272775 72315581 3942142299 2006396614 44313939 1009812658 3827066925 588637755 1337535006 1903943750 1416035264 4099301976 4294636682 344193892 3421733032 1117746101 953531614 2043554229 1760011196 1419235177 2931858526 2091013630 2488282247 1176002286 806156728 3191645692 3705862080 3469185369 3857861747 382163556 3212387199 2993457922 19702296 1111590220 2317174207 2475703161 3923866806 953522187 2016141406 1651818317 2882851341 1806406479 645373251 635874133 3786307440 1162814083 2850536407 620159838 3083890249 1288724202 3535376804 1865838096 656927914 615541454 3794588274 2675701173 1937655180 3070783024 1267498080 2112636920 2023373488 1272091798 3816792004 2900607368 606707094 45133586 1861342672 3112267277 1265757200 449055629 968301544 1096362268 983625391 4225978825 3685696511 1834077808 62019272 1668325864 3590503596 3556821704 4235170843 2268460442 4121888527 3719523889 1550845277 2932522997 941950094 35023796 708455305 1043032520 3839993732 1515150400 1538841397 2949554890 2550338847 98238631 659442339 3344730032 3123706842 3412320540 3704413698 1412239984 1375346474 592021909 37449861 1572305085 1826562954 2386025010 1539108163 3348998627 3048369348 555946656 2573222493 557616942 355702943 3604182505 1778476089 780881476 1630754532 393253206 1513458976 4243329081 1176274085 4125533497 2557110709 2928986225 1800374579 3197548615 633163176 75267441 1331899102 1877037713 299420024 1672012111 1915149508 494093127 753175029 2017629648 1535136592 1671464516 4250149696 2340874756 2340762644 1550247442 554502014 2238789381 3624994195 4057613464 986922039 1320963610 280619824 3707352860 3305545476 353720010 2458670738 1834366894 3083015450 1385914959 2963554683 483143550 3079109287 261050680 1623189326 1609597338 421818766 1856531174 2335265471 323872314 2507197215 1642739636 190669441 1368127575 2541316048 1542966 4069695807 870083375 1072456925 913593510 3918074969 534767890 2573802124 11714415 676461610 255 362436" option to reproduce the execution
0.00/0.01	c #vars 78
0.00/0.01	c #constraints 208
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       95      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      122 |      100 |       95      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      312 |      250 |      105      2 |        0 |        0
0.00/0.06	c  0.0s |       3 |      585 |      475 |      116      5 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1075 |      813 |      128     10 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1650 |     1320 |      141     16 |        0 |        0
0.19/0.20	c  0.2s |       6 |     2639 |     2081 |      172     25 |        0 |        0
0.29/0.30	c  0.3s |       7 |     4367 |     3223 |      190     37 |        0 |        0
0.39/0.43	c  0.4s |       8 |     6282 |     4936 |      210     54 |        0 |        0
0.59/0.65	c  0.6s |       9 |     9129 |     7506 |      232     77 |        0 |        0
0.89/0.97	c  1.0s |      10 |    14235 |    11361 |      256    109 |        0 |        0
1.29/1.34	c  1.3s |      11 |    21792 |    17144 |      282    152 |        0 |        0
1.69/1.79	c  1.8s |      12 |    35162 |    25819 |      311    212 |        0 |        0
2.49/2.51	c  2.5s |      13 |    54720 |    38832 |      343    293 |        0 |        0
3.49/3.51	c  3.5s |      14 |    82918 |    58352 |      378    405 |        0 |        0
4.98/5.03	c  5.0s |      15 |   124979 |    87632 |      416    557 |        0 |        0
6.98/7.04	c  7.0s |      15 |   179916 |   126932 |      416    743 |        1 |        4
7.18/7.29	c  7.3s |      16 |   185676 |   131552 |      458    764 |        1 |        4
8.79/8.87	c  8.9s |      16 |   226230 |   160913 |      458    886 |       18 |       48
8.79/8.87	c #cpu_time = 8.848s
8.79/8.87	c #wall_clock_time = 8.850s
8.79/8.87	c #decision = 226230
8.79/8.87	c #random_decision = 1036
8.79/8.87	c #conflict = 160913
8.79/8.87	c #restart = 16
8.79/8.87	s UNSATISFIABLE
8.79/8.87	c total CPU time = 8.866s
8.79/8.87	c total wall clock time = 8.868s

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

pid=20890
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: 2.15 2.12 2.05 4/177 20893
/proc/meminfo: memFree=29426972/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=632252 CPUtime=0 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 2340 0 0 0 0 0 0 0 20 0 4 0 12499806 647426048 2702 33554432000 4194304 16246674 140736871676704 140736871676128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 158831 2711 441 2943 0 155725 0
[pid=20893/tid=20894] ppid=20890 vsize=649660 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 665251840 2771 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=654780 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 670494720 2789 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=658876 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12499806 674689024 2806 33554432000 4194304 16246674 140736871676704 140420724022448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 2.15 2.12 2.05 4/177 20893
/proc/meminfo: memFree=29426972/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 24265 0 0 0 6 3 0 0 20 0 4 0 12499806 1247350784 24616 33554432000 4194304 16246674 140736871676704 140736871676128 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 304529 24623 707 2943 0 301423 0
[pid=20893/tid=20894] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 24630 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 24637 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 24643 33554432000 4194304 16246674 140736871676704 140420724022448 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.20044 s]
/proc/loadavg: 2.15 2.12 2.05 4/177 20893
/proc/meminfo: memFree=29426972/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 46308 0 0 0 13 6 0 0 20 0 4 0 12499806 1247350784 46658 33554432000 4194304 16246674 140736871676704 140736871676128 5677541 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 304529 46668 707 2943 0 301423 0
[pid=20893/tid=20894] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 46675 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 46682 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 46691 33554432000 4194304 16246674 140736871676704 140420724022448 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.300416 s]
/proc/loadavg: 2.15 2.12 2.05 4/177 20893
/proc/meminfo: memFree=29426972/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 67673 0 0 0 19 10 0 0 20 0 4 0 12499806 1247350784 68023 33554432000 4194304 16246674 140736871676704 140736871676128 5677541 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 304529 68033 707 2943 0 301423 0
[pid=20893/tid=20894] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 68041 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 68047 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 68052 33554432000 4194304 16246674 140736871676704 140420724022448 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.700344 s]
/proc/loadavg: 2.15 2.12 2.05 4/177 20893
/proc/meminfo: memFree=29426972/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 154643 0 0 0 46 23 0 0 20 0 4 0 12499806 1247350784 154993 33554432000 4194304 16246674 140736871676704 140736871659704 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 304529 155000 708 2943 0 301423 0
[pid=20893/tid=20894] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 155004 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 155009 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 155014 33554432000 4194304 16246674 140736871676704 140420724022448 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.50035 s]
/proc/loadavg: 2.15 2.12 2.05 3/181 20897
/proc/meminfo: memFree=28467496/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 245505 0 0 0 113 36 0 0 20 0 4 0 12499806 1247350784 245835 33554432000 4194304 16246674 140736871676704 140736871676016 13006860 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 304529 245835 785 2943 0 301423 0
[pid=20893/tid=20894] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 245835 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 245835 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12499806 1247350784 245835 33554432000 4194304 16246674 140736871676704 140420724022448 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.10034 s]
/proc/loadavg: 2.22 2.13 2.05 3/181 20897
/proc/meminfo: memFree=28356260/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 267388 0 0 0 270 39 0 0 20 0 4 0 12499806 1337528320 267718 33554432000 4194304 16246674 140736871676704 140736871659704 5823447 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 326545 267718 785 2943 0 323439 0
[pid=20893/tid=20894] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267718 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267718 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267718 33554432000 4194304 16246674 140736871676704 140420724022448 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) 1306180

[startup+6.30035 s]
/proc/loadavg: 2.22 2.13 2.05 3/181 20897
/proc/meminfo: memFree=28356208/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 267412 0 0 0 589 39 0 0 20 0 4 0 12499806 1337528320 267742 33554432000 4194304 16246674 140736871676704 140736871659704 5513595 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 326545 267742 787 2943 0 323439 0
[pid=20893/tid=20894] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267742 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267742 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267742 33554432000 4194304 16246674 140736871676704 140420724022448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

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

[startup+6.40042 s]
/proc/loadavg: 2.22 2.13 2.05 3/181 20897
/proc/meminfo: memFree=28356208/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1306180 CPUtime=6.38 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 267412 0 0 0 599 39 0 0 20 0 4 0 12499806 1337528320 267742 33554432000 4194304 16246674 140736871676704 140736871659704 6020682 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 326545 267742 787 2943 0 323439 0
[pid=20893/tid=20894] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267742 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267742 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267742 33554432000 4194304 16246674 140736871676704 140420724022448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 1306180

[startup+8.00035 s]
/proc/loadavg: 2.20 2.13 2.05 3/181 20897
/proc/meminfo: memFree=28356600/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1306180 CPUtime=7.98 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 267413 0 0 0 759 39 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140736871659704 5676564 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 326545 267743 787 2943 0 323439 0
[pid=20893/tid=20894] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140420724022448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 1306180

[startup+8.40034 s]
/proc/loadavg: 2.20 2.13 2.05 3/181 20897
/proc/meminfo: memFree=28356600/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1306180 CPUtime=8.38 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 267413 0 0 0 799 39 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140736871659704 5723034 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 326545 267743 787 2943 0 323439 0
[pid=20893/tid=20894] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140420724022448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 1306180

[startup+8.80034 s]
/proc/loadavg: 2.20 2.13 2.05 3/181 20897
/proc/meminfo: memFree=28356872/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=1306180 CPUtime=8.79 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202496 267413 0 0 0 840 39 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140736871659704 6842672 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 326545 267743 787 2943 0 323439 0
[pid=20893/tid=20894] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20894/stat : 20894 (toysat) S 20890 20893 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140420817333488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20893/tid=20895] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20895/stat : 20895 (toysat) S 20890 20893 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140420734495984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20893/tid=20896] ppid=20890 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20893/task/20896/stat : 20896 (toysat) S 20890 20893 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12499806 1337528320 267743 33554432000 4194304 16246674 140736871676704 140420724022448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 1306180

[startup+8.90688 s]
/proc/loadavg: 2.20 2.13 2.05 3/181 20897
/proc/meminfo: memFree=28356872/32872528 swapFree=447588/480292
[pid=20893] ppid=20890 vsize=0 CPUtime=8.89 cores=0,2,4,6
/proc/20893/stat : 20893 (toysat) R 20890 20893 16080 0 -1 4202500 267418 0 0 0 846 43 0 0 20 0 1 0 12499806 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20893/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 8.93984
CPU time (s): 8.93764
CPU user time (s): 8.46871
CPU system time (s): 0.468928
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.46871
system time used= 0.468928
maximum resident set size= 1070984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267418
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= 20
involuntary context switches= 18

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029995 second user time and 0.035994 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-30 21:12:40
IDJOB=4121258
IDBENCH=110382
IDSOLVER=2542
FILE ID=node104/4121258-1467313960
RUNJOBID= node104-1467310023-19959
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121258-1467313960/watcher-4121258-1467313960 -o /tmp/evaluation-result-4121258-1467313960/solver-4121258-1467313960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19959 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121258-1467313960.opb

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

MD5SUM BENCH= f1c0049a61f4a8b5da3f80014a1b9675
RANDOM SEED=820845513

node104.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.334
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	: 5332.66
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.334
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.334
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		: 2666.334
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.334
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.55
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.334
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.334
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.54
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.334
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:        29426880 kB
Buffers:          196888 kB
Cached:           936028 kB
SwapCached:            0 kB
Active:          1426348 kB
Inactive:         793320 kB
Active(anon):    1089300 kB
Inactive(anon):        0 kB
Active(file):     337048 kB
Inactive(file):   793320 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16496 kB
Writeback:             0 kB
AnonPages:       1569496 kB
Mapped:            16448 kB
Shmem:               204 kB
Slab:             611336 kB
SReclaimable:      55424 kB
SUnreclaim:       555912 kB
KernelStack:        1504 kB
PageTables:         7264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1690108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 71688 MiB
End job on node104 at 2016-06-30 21:12:49