Trace number 4120282

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 14.8217 14.8246

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n70-d3-i2-f.cnf.gz-plain.pb.metafix.opb
MD5SUM07a5d1e5dc6b5bcb3775550d536d97f1
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 benchmark1.55376
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables105
Total number of constraints280
Number of constraints which are clauses280
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-30T20:20:15+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-4120282-1467310814.opb"]
0.00/0.01	c use --random-gen="1200130796 398657448 1786801139 670316068 84496600 4222070000 2899036905 3962096518 3625738615 1447530959 3851696661 781907994 3246006695 806208100 3404081963 3020444307 2953840987 2563612453 3093233034 1640060201 4098317973 413934080 3464121145 63948709 3183763806 796741157 84272864 438982723 4148191452 2686006039 232246954 2173933286 3420551798 3829447872 2413917010 2576098379 776375501 2454434631 1784167008 1022343427 3072495637 312898933 1430895938 1178211702 2389080616 1056506073 1939723084 1937939047 3842305342 491884095 2560402017 657280542 580286683 1955522263 8427422 536604989 574921331 478562823 1691256524 3205808263 1540951217 138741932 1515720010 3401651246 17159634 1465272675 659115368 3321558210 142888070 1745410416 503007059 1455102989 2483691212 3772331232 1145003295 7737179 1169652448 2877555576 1379275796 3636083153 3300878458 166219712 3267169938 18266181 820584584 1659014763 3075225914 3256373469 3905601771 3352500613 4257323892 813929405 1561914884 2028321519 3002976086 691994562 2074439029 3624360481 1170384828 3329077380 2986327357 127052785 2516045095 946930853 4168448839 752529578 3667485013 1373687502 695424684 3280725383 3679903401 1024498007 3472773232 754882205 1526108830 2969195518 795563207 2755721426 3985907000 2818394191 3815382762 3465334385 3002644663 4116190383 2098823382 3260216041 3258890181 3139076929 2812981461 1181245781 1388528021 743923259 2710561587 3112030342 838760751 3323961829 3443872246 840627310 2162511859 833796532 3343205702 951464438 1002886134 2455146462 2394772850 3392418347 1108754582 1629760140 2618614447 1426836568 2126408805 600663083 2900950310 1041998724 2937134417 1166965454 1794558553 390464219 231685830 2048038516 3722041460 683940394 2402471458 2094401422 799020197 1871718511 3545360393 2451636253 2272552605 158974744 1674234214 1780038900 1967537791 1155256555 3664119106 2836703149 118923641 2334344258 2587511703 762224911 609190304 1460543870 4130628702 2732296467 2757740075 1462794867 3680391238 3541808689 4105475880 765545149 722119189 2875969487 740815881 1264001230 3208663812 1452114492 2717369839 111003544 3118058711 3645301887 4130747273 3909829181 2792674729 3150839011 1479231317 1023319158 1275506878 3496328566 2338312484 3231758957 3842279488 4055741782 2044527962 3399340500 3291522360 341826513 1688075211 1498925284 182954444 3230316766 666419142 1203991584 4055738780 2875652808 136640537 1280602467 1388752901 2986301481 2200829703 726428187 941942493 1452513548 3778385212 1246397571 2327454358 1707279973 4002358415 812154243 3266162063 1951161264 4089660157 1624457303 1458462136 3528222769 1465320755 2276509727 894966835 1863594464 2036578841 3112890888 486542662 737165317 3359424082 389652364 1437411681 2420613392 255 362436" option to reproduce the execution
0.00/0.01	c #vars 105
0.00/0.01	c #constraints 280
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 |      128      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      150 |      100 |      128      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      413 |      250 |      141      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      697 |      475 |      156      3 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1146 |      813 |      172      6 |        0 |        0
0.10/0.14	c  0.1s |       5 |     1706 |     1320 |      190     11 |        0 |        0
0.19/0.21	c  0.2s |       6 |     2592 |     2081 |      232     17 |        0 |        0
0.29/0.32	c  0.3s |       7 |     4488 |     3223 |      256     26 |        0 |        0
0.39/0.47	c  0.5s |       8 |     6881 |     4936 |      282     39 |        0 |        0
0.69/0.70	c  0.7s |       9 |     9950 |     7506 |      311     56 |        0 |        0
0.92/0.99	c  1.0s |      10 |    15789 |    11361 |      343     79 |        0 |        0
1.30/1.37	c  1.4s |      11 |    23819 |    17144 |      378    111 |        0 |        0
1.89/1.95	c  1.9s |      12 |    34428 |    25819 |      416    155 |        0 |        0
2.59/2.63	c  2.6s |      13 |    52598 |    38832 |      458    216 |        0 |        0
3.59/3.64	c  3.6s |      14 |    79598 |    58352 |      504    300 |        0 |        0
5.19/5.20	c  5.2s |      15 |   119628 |    87632 |      555    414 |        0 |        0
7.19/7.20	c  7.2s |      15 |   171358 |   124132 |      555    544 |        0 |        0
7.59/7.61	c  7.6s |      16 |   181605 |   131552 |      611    570 |        0 |        0
9.59/9.61	c  9.6s |      16 |   235163 |   169152 |      611    692 |        0 |        0
11.10/11.19	c 11.2s |      17 |   274604 |   197432 |      673    781 |        1 |        4
13.09/13.19	c 13.2s |      17 |   325374 |   234232 |      673    890 |        1 |        4
14.69/14.76	c 14.7s |      17 |   365802 |   263367 |      673    969 |       20 |       56
14.69/14.76	c #cpu_time = 14.746s
14.69/14.76	c #wall_clock_time = 14.746s
14.69/14.76	c #decision = 365802
14.69/14.76	c #random_decision = 1781
14.69/14.76	c #conflict = 263367
14.69/14.76	c #restart = 17
14.69/14.76	s UNSATISFIABLE
14.69/14.76	c total CPU time = 14.764s
14.69/14.76	c total wall clock time = 14.764s

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

pid=16698
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.20 2.18 2.10 3/180 16701
/proc/meminfo: memFree=28014572/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 2742 0 0 0 0 0 0 0 20 0 4 0 12042284 752283648 3103 33554432000 4194304 16246674 140735751631120 140735751630544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 184431 3112 441 2943 0 181325 0
[pid=16701/tid=16702] ppid=16698 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 771158016 3173 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 776400896 3193 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042284 780595200 3210 33554432000 4194304 16246674 140735751631120 139829020970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.20 2.18 2.10 3/180 16701
/proc/meminfo: memFree=28014572/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1218116 CPUtime=0.1 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 26040 0 0 0 7 3 0 0 20 0 4 0 12042284 1247350784 26390 33554432000 4194304 16246674 140735751631120 140735751630544 13965592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 304529 26398 708 2943 0 301423 0
[pid=16701/tid=16702] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 26403 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 26407 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 26413 33554432000 4194304 16246674 140735751631120 139829020970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.20 2.18 2.10 3/180 16701
/proc/meminfo: memFree=28014572/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 50072 0 0 0 12 7 0 0 20 0 4 0 12042284 1247350784 50423 33554432000 4194304 16246674 140735751631120 140735751630544 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 304529 50431 708 2943 0 301423 0
[pid=16701/tid=16702] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 50440 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 50448 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 50454 33554432000 4194304 16246674 140735751631120 139829020970160 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) 1218116

[startup+0.300496 s]
/proc/loadavg: 2.20 2.18 2.10 3/180 16701
/proc/meminfo: memFree=28014572/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 73631 0 0 0 20 9 0 0 20 0 4 0 12042284 1247350784 73981 33554432000 4194304 16246674 140735751631120 140735751630544 5674353 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 304529 73993 709 2943 0 301423 0
[pid=16701/tid=16702] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 74000 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 74007 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 74015 33554432000 4194304 16246674 140735751631120 139829020970160 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) 1218116

[startup+0.700414 s]
/proc/loadavg: 2.20 2.18 2.10 3/180 16701
/proc/meminfo: memFree=28014572/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 166249 0 0 0 47 22 0 0 20 0 4 0 12042284 1247350784 166600 33554432000 4194304 16246674 140735751631120 140735751630544 6010521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 304529 166611 709 2943 0 301423 0
[pid=16701/tid=16702] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 166619 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 166625 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042284 1247350784 166633 33554432000 4194304 16246674 140735751631120 139829020970160 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) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.20 2.18 2.10 3/184 16705
/proc/meminfo: memFree=27031528/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 245546 0 0 0 116 33 0 0 20 0 4 0 12042284 1248399360 245876 33554432000 4194304 16246674 140735751631120 140735751630432 6071552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 304785 245876 785 2943 0 301679 0
[pid=16701/tid=16702] ppid=16698 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1248399360 245876 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1248399360 245876 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042284 1248399360 245876 33554432000 4194304 16246674 140735751631120 139829020970160 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) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.18 2.18 2.10 3/184 16705
/proc/meminfo: memFree=26944232/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 267373 0 0 0 273 36 0 0 20 0 4 0 12042284 1337528320 267703 33554432000 4194304 16246674 140735751631120 140735751614120 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 326545 267703 785 2943 0 323439 0
[pid=16701/tid=16702] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267703 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267703 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267703 33554432000 4194304 16246674 140735751631120 139829020970160 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) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.18 2.18 2.10 3/184 16705
/proc/meminfo: memFree=26944108/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1306180 CPUtime=6.3 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 267417 0 0 0 593 37 0 0 20 0 4 0 12042284 1337528320 267747 33554432000 4194304 16246674 140735751631120 140735751614120 5822761 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 326545 267747 785 2943 0 323439 0
[pid=16701/tid=16702] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267747 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267747 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267747 33554432000 4194304 16246674 140735751631120 139829020970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.24 2.19 2.10 3/184 16705
/proc/meminfo: memFree=26945024/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 267420 0 0 0 1232 37 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 140735751614120 12460480 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 326545 267750 785 2943 0 323439 0
[pid=16701/tid=16702] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829020970160 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) 1306180

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

[startup+12.9004 s]
/proc/loadavg: 2.24 2.19 2.10 3/184 16705
/proc/meminfo: memFree=26945024/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1306180 CPUtime=12.89 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 267420 0 0 0 1252 37 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 140735751614120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 326545 267750 785 2943 0 323439 0
[pid=16701/tid=16702] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829020970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 1306180

[startup+13.7004 s]
/proc/loadavg: 2.24 2.19 2.10 3/184 16705
/proc/meminfo: memFree=26945068/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1306180 CPUtime=13.69 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 267420 0 0 0 1332 37 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 140735751614120 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 326545 267750 785 2943 0 323439 0
[pid=16701/tid=16702] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829020970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 13.69
Current children cumulated vsize (KiB) 1306180

[startup+14.5076 s]
/proc/loadavg: 2.24 2.19 2.10 3/184 16705
/proc/meminfo: memFree=26945192/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1306180 CPUtime=14.5 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 267420 0 0 0 1413 37 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 140735751614120 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 326545 267750 785 2943 0 323439 0
[pid=16701/tid=16702] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829020970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.5
Current children cumulated vsize (KiB) 1306180

[startup+14.7004 s]
/proc/loadavg: 2.24 2.19 2.10 3/184 16705
/proc/meminfo: memFree=26945192/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=1306180 CPUtime=14.69 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202496 267420 0 0 0 1432 37 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 140735751614120 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 326545 267750 785 2943 0 323439 0
[pid=16701/tid=16702] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16702/stat : 16702 (toysat) S 16698 16701 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829041933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16701/tid=16703] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16703/stat : 16703 (toysat) S 16698 16701 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829031443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16701/tid=16704] ppid=16698 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16701/task/16704/stat : 16704 (toysat) S 16698 16701 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042284 1337528320 267750 33554432000 4194304 16246674 140735751631120 139829020970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.69
Current children cumulated vsize (KiB) 1306180

[startup+14.8004 s]
/proc/loadavg: 2.24 2.19 2.10 3/184 16705
/proc/meminfo: memFree=26945192/32872528 swapFree=1254912/1391860
[pid=16701] ppid=16698 vsize=0 CPUtime=14.79 cores=1,3,5,7
/proc/16701/stat : 16701 (toysat) R 16698 16701 16091 0 -1 4202500 267425 0 0 0 1439 40 0 0 20 0 1 0 12042284 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16701/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.79
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 14.8246
CPU time (s): 14.8217
CPU user time (s): 14.3908
CPU system time (s): 0.430934
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3908
system time used= 0.430934
maximum resident set size= 1071012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 15

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038994 second user time and 0.067989 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 20:20:14
IDJOB=4120282
IDBENCH=109863
IDSOLVER=2542
FILE ID=node119/4120282-1467310814
RUNJOBID= node119-1467308805-16108
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-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-4120282-1467310814/watcher-4120282-1467310814 -o /tmp/evaluation-result-4120282-1467310814/solver-4120282-1467310814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120282-1467310814.opb

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

MD5SUM BENCH= 07a5d1e5dc6b5bcb3775550d536d97f1
RANDOM SEED=53269985

node119.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.444
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.88
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.444
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.444
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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.444
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.444
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.444
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.444
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:        28015208 kB
Buffers:          198512 kB
Cached:          1430620 kB
SwapCached:            0 kB
Active:          1343404 kB
Inactive:        1373800 kB
Active(anon):    1084424 kB
Inactive(anon):     5936 kB
Active(file):     258980 kB
Inactive(file):  1367864 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16404 kB
Writeback:             0 kB
AnonPages:       2479608 kB
Mapped:            17128 kB
Shmem:               204 kB
Slab:             612048 kB
SReclaimable:      56024 kB
SUnreclaim:       556024 kB
KernelStack:        1488 kB
PageTables:         9352 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2613532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71700 MiB
End job on node119 at 2016-06-30 20:20:29