Trace number 4121394

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 10.1215 10.1325

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n56-d3-i1-f.cnf.gz-plain.pb.metafix.opb
MD5SUM84c233b2ad72618d57ec34cd59b9e5a9
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.493924
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables84
Total number of constraints224
Number of constraints which are clauses224
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:19:02+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-4121394-1467314341.opb"]
0.00/0.01	c use --random-gen="2026930006 2126779866 1485651735 1735215327 2474726736 1667345722 3403326512 1602513877 3202049325 985051374 1139028930 2251000264 885593212 820932253 1085776784 1330948624 3363809284 738366337 3086542023 502987681 2892817936 100075561 448047672 2685521110 478629749 3147776710 1626097045 2209870273 1644055525 2403804357 395689138 2052620779 1553936336 280009 2388664758 3483833787 3447361507 1558426033 1865689995 1667094601 3805626310 2206019334 865949338 1213262086 131843719 870067177 944784043 3637462899 809775016 2601485539 3181571529 2016069233 1588848301 1717119302 1331980843 4052424747 2536821674 2179231003 527349442 2601783767 1336552659 24897094 2867431281 3090795152 2036888525 2186770490 2839638860 1948999978 2360655767 3028450421 141803321 3448079957 2042306265 680191477 2615537205 2334139258 2052294169 1661112656 1526311205 1392372740 106554854 930172684 35045783 3078843947 3960638992 1280077434 3227713706 953091842 2514260599 1071841689 3218786065 4237376556 727551270 1073186178 4056166235 1456591641 3812165789 1195405488 1643110278 3397518373 2136542364 2904195306 1736048874 3793776402 669284964 3579678978 877215518 1006217622 958570176 3061811853 3730877888 290609253 2841788564 1548348284 1814182293 639331506 293679146 2205996079 3859352180 597342505 67844652 1110665530 896131461 4073167324 3120579268 2899691671 3717071503 177485058 2764500777 2880778752 4142077199 2907363151 2730751782 2877270932 4199347869 399947551 1483173624 2190243150 1206882102 1832492117 2546275919 729229754 1209883025 395104389 2519730029 2227611161 1451219998 1028673542 1186899581 3312139484 1592731626 2578999976 3895673302 2250749583 3168040969 1384851261 1453416035 2097510067 2776401857 1240728682 1131552512 3834837257 866395097 152910878 3207510921 1988329081 3564513282 3761080035 3656459813 4281485534 699252235 4213524121 2746316757 2694371942 1900885676 3256121292 4223477877 3157607208 2299928492 3264912735 666169655 538488817 3009678184 1132921150 2099543103 4207832912 115193951 1203075897 281598171 4011593033 2700954611 3709358245 3536871340 903078137 2036383981 550048682 2506319210 2327337610 4058854499 210700779 1076520225 831463431 3933213608 4221573210 2807783646 3207938593 2853418583 3870706800 3636238809 55696163 4291537673 2602527542 957632473 1551165415 385413291 2070017235 3713015840 903107572 2148031992 2927086345 735117031 1988898436 2658049270 472002343 433395483 4170136641 1733056791 773229192 1383042201 1840382077 2661831754 1155916082 2070279619 1715719508 3827041893 355842299 1849888298 3828480234 2947529533 181986169 350401595 3569534511 3315595978 4014194036 3408025420 1872278740 350915443 2145685966 117893543 4203481249 2093131305 3956558708 3575066026 3574385317 1492121565 4142805887 255 362436" option to reproduce the execution
0.00/0.01	c #vars 84
0.00/0.01	c #constraints 224
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.01	c  0.0s |       0 |        0 |        0 |      102      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      146 |      100 |      102      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      352 |      250 |      113      2 |        0 |        0
0.00/0.05	c  0.0s |       3 |      605 |      475 |      125      5 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1001 |      813 |      138      8 |        0 |        0
0.09/0.12	c  0.1s |       5 |     1648 |     1320 |      152     14 |        0 |        0
0.09/0.17	c  0.2s |       6 |     2725 |     2081 |      185     23 |        0 |        0
0.19/0.25	c  0.2s |       7 |     5161 |     3223 |      204     34 |        0 |        0
0.29/0.37	c  0.4s |       8 |     8034 |     4936 |      225     50 |        0 |        0
0.49/0.55	c  0.5s |       9 |    12507 |     7506 |      248     72 |        0 |        0
0.79/0.83	c  0.8s |      10 |    18543 |    11361 |      273    102 |        0 |        0
1.09/1.19	c  1.2s |      11 |    27629 |    17144 |      301    143 |        0 |        0
1.59/1.64	c  1.6s |      12 |    40157 |    25819 |      332    198 |        0 |        0
2.29/2.30	c  2.3s |      13 |    59694 |    38832 |      366    273 |        0 |        0
3.19/3.29	c  3.3s |      14 |    87692 |    58352 |      403    377 |        0 |        0
4.69/4.79	c  4.8s |      15 |   127340 |    87632 |      444    520 |        0 |        0
6.69/6.79	c  6.8s |      15 |   179191 |   126732 |      444    695 |        0 |        0
6.98/7.03	c  7.0s |      16 |   186653 |   131552 |      489    716 |        0 |        0
8.98/9.03	c  9.0s |      16 |   237492 |   170252 |      489    872 |        1 |        4
9.99/10.07	c 10.1s |      16 |   266177 |   191634 |      489    952 |       16 |       52
9.99/10.07	c #cpu_time = 10.055s
9.99/10.07	c #wall_clock_time = 10.055s
9.99/10.07	c #decision = 266177
9.99/10.07	c #random_decision = 1301
9.99/10.07	c #conflict = 191634
9.99/10.07	c #restart = 16
9.99/10.07	s UNSATISFIABLE
9.99/10.07	c total CPU time = 10.071s
9.99/10.07	c total wall clock time = 10.072s

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

pid=17440
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.19 2.21 2.18 3/179 17443
/proc/meminfo: memFree=28005744/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 2927 0 0 0 0 0 0 0 20 0 4 0 12394978 800518144 3287 33554432000 4194304 16246674 140733396913408 140733396912832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 196207 3296 441 2943 0 193101 0
[pid=17443/tid=17444] ppid=17440 vsize=799164 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 818343936 3356 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=803260 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 822538240 3372 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=808380 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 827781120 3391 33554432000 4194304 16246674 140733396913408 140409997094064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 17443
/proc/meminfo: memFree=28005744/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 25688 0 0 0 6 3 0 0 20 0 4 0 12394978 1247350784 26037 33554432000 4194304 16246674 140733396913408 140733396912832 6843278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 304529 26048 709 2943 0 301423 0
[pid=17443/tid=17444] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 26055 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 26061 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 26066 33554432000 4194304 16246674 140733396913408 140409997094064 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.200521 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 17443
/proc/meminfo: memFree=28005744/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 48616 0 0 0 12 7 0 0 20 0 4 0 12394978 1247350784 48966 33554432000 4194304 16246674 140733396913408 140733396912832 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 304529 48975 709 2943 0 301423 0
[pid=17443/tid=17444] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 48980 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 48987 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 48992 33554432000 4194304 16246674 140733396913408 140409997094064 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.300464 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 17443
/proc/meminfo: memFree=28005744/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 70599 0 0 0 18 11 0 0 20 0 4 0 12394978 1247350784 70949 33554432000 4194304 16246674 140733396913408 140733396912832 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 304529 70960 709 2943 0 301423 0
[pid=17443/tid=17444] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 70966 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 70973 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 70980 33554432000 4194304 16246674 140733396913408 140409997094064 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.700382 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 17443
/proc/meminfo: memFree=28005744/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 159317 0 0 0 44 25 0 0 20 0 4 0 12394978 1247350784 159667 33554432000 4194304 16246674 140733396913408 140733396912832 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 304529 159678 709 2943 0 301423 0
[pid=17443/tid=17444] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 159685 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 159692 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 159699 33554432000 4194304 16246674 140733396913408 140409997094064 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.5004 s]
/proc/loadavg: 2.10 2.19 2.17 3/183 17447
/proc/meminfo: memFree=27023056/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 245505 0 0 0 113 36 0 0 20 0 4 0 12394978 1247350784 245834 33554432000 4194304 16246674 140733396913408 140733396912720 5830092 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 304529 245834 787 2943 0 301423 0
[pid=17443/tid=17444] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 245834 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 245834 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1247350784 245834 33554432000 4194304 16246674 140733396913408 140409997094064 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.10041 s]
/proc/loadavg: 2.10 2.19 2.17 3/183 17447
/proc/meminfo: memFree=26935496/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 267368 0 0 0 270 39 0 0 20 0 4 0 12394978 1337528320 267697 33554432000 4194304 16246674 140733396913408 140733396896408 5677160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 326545 267697 787 2943 0 323439 0
[pid=17443/tid=17444] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267697 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267697 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267697 33554432000 4194304 16246674 140733396913408 140409997094064 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.3004 s]
/proc/loadavg: 2.17 2.20 2.17 4/183 17447
/proc/meminfo: memFree=26934760/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 267419 0 0 0 590 39 0 0 20 0 4 0 12394978 1337528320 267748 33554432000 4194304 16246674 140733396913408 140733396896408 6836360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 326545 267748 787 2943 0 323439 0
[pid=17443/tid=17444] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140409997094064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

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

[startup+6.4005 s]
/proc/loadavg: 2.17 2.20 2.17 4/183 17447
/proc/meminfo: memFree=26934760/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1306180 CPUtime=6.39 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 267419 0 0 0 600 39 0 0 20 0 4 0 12394978 1337528320 267748 33554432000 4194304 16246674 140733396913408 140733396896408 5823933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 326545 267748 787 2943 0 323439 0
[pid=17443/tid=17444] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140409997094064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1306180

[startup+8.00041 s]
/proc/loadavg: 2.17 2.20 2.17 3/183 17447
/proc/meminfo: memFree=26934512/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1306180 CPUtime=7.98 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 267419 0 0 0 759 39 0 0 20 0 4 0 12394978 1337528320 267748 33554432000 4194304 16246674 140733396913408 140733396896408 6024171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 326545 267748 787 2943 0 323439 0
[pid=17443/tid=17444] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140409997094064 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.80041 s]
/proc/loadavg: 2.17 2.20 2.17 3/183 17447
/proc/meminfo: memFree=26934512/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1306180 CPUtime=8.79 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 267419 0 0 0 840 39 0 0 20 0 4 0 12394978 1337528320 267748 33554432000 4194304 16246674 140733396913408 140733396896408 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 326545 267748 787 2943 0 323439 0
[pid=17443/tid=17444] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140409997094064 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+9.60038 s]
/proc/loadavg: 2.17 2.20 2.17 3/183 17447
/proc/meminfo: memFree=26934512/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1306180 CPUtime=9.58 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 267419 0 0 0 919 39 0 0 20 0 4 0 12394978 1337528320 267748 33554432000 4194304 16246674 140733396913408 140733396896408 13923712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 326545 267748 787 2943 0 323439 0
[pid=17443/tid=17444] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140409997094064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 1306180

[startup+10.0077 s]
/proc/loadavg: 2.17 2.20 2.17 3/183 17447
/proc/meminfo: memFree=26934768/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=1306180 CPUtime=9.99 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) R 17440 17443 16091 0 -1 4202496 267419 0 0 0 960 39 0 0 20 0 4 0 12394978 1337528320 267748 33554432000 4194304 16246674 140733396913408 140733396896408 6843540 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 326545 267748 787 2943 0 323439 0
[pid=17443/tid=17444] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (toysat) S 17440 17443 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410090401008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17443/tid=17445] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (toysat) S 17440 17443 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140410079911152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) S 17440 17443 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12394979 1337528320 267748 33554432000 4194304 16246674 140733396913408 140409997094064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (KiB) 1306180

[startup+10.1004 s]
/proc/loadavg: 2.17 2.20 2.17 3/183 17447
/proc/meminfo: memFree=26934768/32872528 swapFree=1254912/1391860
[pid=17443] ppid=17440 vsize=0 CPUtime=10.09 cores=0,2,4,6
/proc/17443/stat : 17443 (toysat) Z 17440 17443 16091 0 -1 4202508 267424 0 0 0 967 42 0 0 20 0 2 0 12394978 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17443/statm: 0 0 0 0 0 0 0
[pid=17443/tid=17446] ppid=17440 vsize=0 CPUtime=0.01 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (toysat) R 17440 17443 16091 0 -1 4203588 1 0 0 0 0 1 0 0 20 0 2 0 12394979 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 10.1325
CPU time (s): 10.1215
CPU user time (s): 9.67153
CPU system time (s): 0.449931
CPU usage (%): 99.8908
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.67153
system time used= 0.449931
maximum resident set size= 1071004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267424
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= 24
involuntary context switches= 12

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024996 second user time and 0.047992 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 21:19:01
IDJOB=4121394
IDBENCH=110456
IDSOLVER=2542
FILE ID=node119/4121394-1467314341
RUNJOBID= node119-1467308805-16107
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-n56-d3-i1-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-4121394-1467314341/watcher-4121394-1467314341 -o /tmp/evaluation-result-4121394-1467314341/solver-4121394-1467314341 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16107 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121394-1467314341.opb

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

MD5SUM BENCH= 84c233b2ad72618d57ec34cd59b9e5a9
RANDOM SEED=2095651009

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:        28006372 kB
Buffers:          202476 kB
Cached:          1432332 kB
SwapCached:            0 kB
Active:          1351960 kB
Inactive:        1376524 kB
Active(anon):    1090312 kB
Inactive(anon):     5936 kB
Active(file):     261648 kB
Inactive(file):  1370588 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16652 kB
Writeback:             4 kB
AnonPages:       2485304 kB
Mapped:            17172 kB
Shmem:               204 kB
Slab:             612092 kB
SReclaimable:      56128 kB
SUnreclaim:       555964 kB
KernelStack:        1520 kB
PageTables:         8780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2620636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1210368 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 21:19:12