Trace number 4120106

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 19.0541 19.0601

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-15.cnf.gz-plain.pb.metafix.opb
MD5SUM429e1d973455eed24d7ece91100186dc
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 benchmark3.18751
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints132
Number of constraints which are clauses132
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:07:03+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-4120106-1467310023.opb"]
0.00/0.01	c use --random-gen="320375488 2264561231 3344821610 2561183737 694704864 1342873793 2367590816 3557474330 1026670545 139509271 2725187902 525183630 3325508152 797562634 186137326 3324835557 1517598935 4266867781 321623607 3939775610 1957023966 2394186088 851868808 3459999683 1420617761 2480931322 2928254417 558186656 2091142341 12306933 1737947545 3361253468 1100828161 3481121453 1961027014 3944425530 3121759161 995109630 2628588647 3914204647 635153681 226915478 1126888466 1224832828 2627227694 2512444396 420097521 723789415 1970378390 2350584010 1951899870 2179250251 270815753 2199796509 3615169764 1192449810 2904742067 3911478432 4256258474 4104918223 3548965776 2627643696 2114010463 2352352413 3292276536 3685561978 3769692999 3493565488 609401820 726713997 760773345 1055400982 2467388898 1802684609 1691146915 3464787277 2449987099 880464812 210460882 439730995 3614947137 3001166656 1393475472 2248213386 1677373397 284626608 2960442187 1366470885 1036090257 1247932433 2874400319 3590373145 309664244 3759976325 4107256715 277285178 3547444777 1218518856 704964812 2931590053 3652719407 25902396 4000948660 288448123 270663716 3380325001 3846604930 3140036595 2001089845 1526959384 3665279991 3099145268 1848916026 2479694989 2147470589 3674109038 167691386 3605888460 1363683590 2983137673 3694810795 3677691882 3755263114 1625352557 3546693288 1629912444 1411472963 1848038403 4043386502 92478391 1198093770 190845469 1412529296 4083534061 2206369712 1088706085 32475411 2112097646 2049673864 585154227 2640520769 3430279534 3415068450 2634833100 3382493622 4167866445 1847816908 880050617 818088247 2806465554 702223493 3762080604 3282296615 3882858125 2479853961 1067730241 1819852524 699566472 668111361 2786636107 3949042523 4174846177 463754390 1079762851 1276616517 820132408 2408519523 298223078 2582372298 1957464777 1930362342 2237442470 2557035583 3588028368 706504267 3409224028 3414977613 2435194602 77792972 3210305309 1394895808 2577461193 1684665963 1522663630 2651302497 3368557330 519116689 2530127996 2833243383 867365611 1763402819 2894214655 2278586411 1036060261 980240743 2315886196 2050016933 1622909254 73527468 3798728858 3734448114 1703286659 3030420067 984485589 4294757839 500818530 1851293654 2075729845 3088172306 227067794 4044429039 3353424804 2289469406 715433992 3810002058 335845377 3256790240 955883505 4200382242 2616046480 1728951125 1100240107 1375705819 2891093369 1231866305 2141425183 2952494643 543264139 3726455916 1092490619 3910107266 1366617383 3182141461 2023465979 1251463154 486285479 1427011856 861754751 2949125417 4217196653 2999933220 2154123320 4004822677 2104755105 805945974 1357702115 530219689 614151929 924122652 262766036 1186562227 2415021152 3086202861 106822238 2371802420 4257203212 255 362436" option to reproduce the execution
0.00/0.01	c #vars 61
0.00/0.01	c #constraints 132
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       64      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      117 |      100 |       64      1 |        0 |        0
0.00/0.04	c  0.0s |       2 |      319 |      250 |       71      4 |        0 |        0
0.00/0.06	c  0.0s |       3 |      634 |      475 |       79      9 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1084 |      813 |       87     16 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1747 |     1320 |       96     25 |        0 |        0
0.19/0.21	c  0.2s |       6 |     2749 |     2081 |      117     37 |        0 |        0
0.29/0.30	c  0.3s |       7 |     4244 |     3223 |      129     54 |        0 |        0
0.39/0.46	c  0.4s |       8 |     6446 |     4936 |      142     78 |        0 |        0
0.59/0.69	c  0.7s |       9 |     9819 |     7506 |      157    110 |        0 |        0
0.98/1.02	c  1.0s |      10 |    15280 |    11361 |      173    156 |        0 |        0
1.39/1.44	c  1.4s |      11 |    22423 |    17144 |      191    219 |        0 |        0
1.98/2.03	c  2.0s |      12 |    33266 |    25819 |      211    305 |        0 |        0
2.78/2.86	c  2.8s |      13 |    49243 |    38832 |      233    423 |        0 |        0
4.08/4.15	c  4.1s |      14 |    73828 |    58352 |      257    584 |        0 |        0
6.08/6.10	c  6.1s |      15 |   110245 |    87632 |      283    804 |        0 |        0
8.08/8.11	c  8.1s |      15 |   148208 |   118132 |      283   1013 |        0 |        0
8.98/9.02	c  9.0s |      16 |   164983 |   131552 |      312   1104 |        0 |        0
10.99/11.02	c 11.0s |      16 |   200379 |   160652 |      312   1285 |        0 |        0
12.98/13.03	c 13.0s |      16 |   236886 |   190152 |      312   1467 |        1 |        3
13.48/13.56	c 13.5s |      17 |   245386 |   197432 |      344   1511 |        1 |        3
15.50/15.56	c 15.5s |      17 |   279601 |   226032 |      344   1673 |        1 |        3
17.49/17.56	c 17.5s |      17 |   312482 |   253832 |      344   1829 |        3 |       12
18.89/18.99	c 19.0s |      17 |   336498 |   274410 |      344   1939 |       53 |       84
18.89/18.99	c #cpu_time = 18.974s
18.89/18.99	c #wall_clock_time = 18.975s
18.89/18.99	c #decision = 336498
18.89/18.99	c #random_decision = 1365
18.89/18.99	c #conflict = 274410
18.89/18.99	c #restart = 17
18.89/18.99	s UNSATISFIABLE
18.89/18.99	c total CPU time = 18.991s
18.89/18.99	c total wall clock time = 18.992s

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-4120106-1467310023/watcher-4120106-1467310023 -o /tmp/evaluation-result-4120106-1467310023/solver-4120106-1467310023 -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-4120106-1467310023.opb 

pid=19976
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: 1.16 1.51 1.66 3/168 19979
/proc/meminfo: memFree=30510316/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=385468 CPUtime=0 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 1379 0 0 0 0 0 0 0 20 0 4 0 12106079 394719232 1228 33554432000 4194304 16246674 140735558170128 140735558169552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 96879 1239 441 2943 0 93773 0
[pid=19979/tid=19981] ppid=19976 vsize=400828 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 410447872 1291 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=403900 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 413593600 1300 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=403900 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106079 413593600 1300 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100112 s]
/proc/loadavg: 1.16 1.51 1.66 3/168 19979
/proc/meminfo: memFree=30510316/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 23340 0 0 0 6 3 0 0 20 0 4 0 12106079 1247350784 23178 33554432000 4194304 16246674 140735558170128 140735558169552 12479207 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 304529 23189 707 2943 0 301423 0
[pid=19979/tid=19981] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 23195 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 23202 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 23209 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200425 s]
/proc/loadavg: 1.16 1.51 1.66 3/168 19979
/proc/meminfo: memFree=30510316/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 46146 0 0 0 13 6 0 0 20 0 4 0 12106079 1247350784 45984 33554432000 4194304 16246674 140735558170128 140735558169552 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 304529 45994 708 2943 0 301423 0
[pid=19979/tid=19981] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 46000 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 46006 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 46014 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300411 s]
/proc/loadavg: 1.16 1.51 1.66 3/168 19979
/proc/meminfo: memFree=30510316/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 68221 0 0 0 19 10 0 0 20 0 4 0 12106079 1247350784 68059 33554432000 4194304 16246674 140735558170128 140735558169552 5762693 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 304529 68067 708 2943 0 301423 0
[pid=19979/tid=19981] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 68072 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 68079 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 68084 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70033 s]
/proc/loadavg: 1.16 1.51 1.66 3/168 19979
/proc/meminfo: memFree=30510316/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 154857 0 0 0 46 22 0 0 20 0 4 0 12106079 1247350784 154696 33554432000 4194304 16246674 140735558170128 140735558152000 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 304529 154707 708 2943 0 301423 0
[pid=19979/tid=19981] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 154708 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 154710 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 154716 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50034 s]
/proc/loadavg: 1.16 1.51 1.66 3/181 20045
/proc/meminfo: memFree=29369816/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 245468 0 0 0 114 35 0 0 20 0 4 0 12106079 1247350784 245286 33554432000 4194304 16246674 140735558170128 140735558169440 6021072 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 304529 245286 785 2943 0 301423 0
[pid=19979/tid=19981] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 245286 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 245286 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12106079 1247350784 245286 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10035 s]
/proc/loadavg: 1.16 1.51 1.66 3/181 20094
/proc/meminfo: memFree=28723864/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 267386 0 0 0 270 38 0 0 20 0 4 0 12106079 1337528320 267204 33554432000 4194304 16246674 140735558170128 140735558153128 5677888 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 326545 267204 785 2943 0 323439 0
[pid=19979/tid=19981] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267204 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267204 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267204 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30035 s]
/proc/loadavg: 1.23 1.51 1.66 3/181 20094
/proc/meminfo: memFree=28366624/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 267398 0 0 0 590 38 0 0 20 0 4 0 12106079 1337528320 267216 33554432000 4194304 16246674 140735558170128 140735558152000 13962576 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 326545 267216 787 2943 0 323439 0
[pid=19979/tid=19981] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267216 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267216 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267216 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.29 1.52 1.66 3/181 20094
/proc/meminfo: memFree=28365332/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 267408 0 0 0 1230 38 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 140735558153128 6011952 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 326545 267226 787 2943 0 323439 0
[pid=19979/tid=19981] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

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

[startup+12.8005 s]
/proc/loadavg: 1.29 1.52 1.66 3/181 20094
/proc/meminfo: memFree=28365332/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1306180 CPUtime=12.78 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 267408 0 0 0 1240 38 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 140735558153128 5823230 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 326545 267226 787 2943 0 323439 0
[pid=19979/tid=19981] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 1306180

[startup+16.0004 s]
/proc/loadavg: 1.35 1.53 1.67 4/181 20094
/proc/meminfo: memFree=28365888/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1306180 CPUtime=15.99 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 267408 0 0 0 1560 39 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 140735558152000 13927305 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 326545 267226 787 2943 0 323439 0
[pid=19979/tid=19981] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1306180

[startup+17.6003 s]
/proc/loadavg: 1.35 1.53 1.67 3/181 20094
/proc/meminfo: memFree=28366136/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1306180 CPUtime=17.59 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 267408 0 0 0 1720 39 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 140735558153128 5677164 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 326545 267226 787 2943 0 323439 0
[pid=19979/tid=19981] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 1306180

[startup+18.4003 s]
/proc/loadavg: 1.35 1.53 1.67 3/181 20094
/proc/meminfo: memFree=28366136/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1306180 CPUtime=18.39 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 267408 0 0 0 1800 39 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 140735558152000 5754504 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 326545 267226 787 2943 0 323439 0
[pid=19979/tid=19981] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 1306180

[startup+18.807 s]
/proc/loadavg: 1.48 1.55 1.67 3/181 20094
/proc/meminfo: memFree=28366136/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=1306180 CPUtime=18.79 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202496 267408 0 0 0 1840 39 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 140735558152000 5677443 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 326545 267226 787 2943 0 323439 0
[pid=19979/tid=19981] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19981/stat : 19981 (toysat) S 19976 19979 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855712464112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19979/tid=19982] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19982/stat : 19982 (toysat) S 19976 19979 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855701974256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19979/tid=19984] ppid=19976 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19979/task/19984/stat : 19984 (toysat) S 19976 19979 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12106079 1337528320 267226 33554432000 4194304 16246674 140735558170128 139855691500720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 18.79
Current children cumulated vsize (KiB) 1306180

[startup+19.0004 s]
/proc/loadavg: 1.48 1.55 1.67 3/181 20094
/proc/meminfo: memFree=28366136/32872528 swapFree=447588/480292
[pid=19979] ppid=19976 vsize=0 CPUtime=18.98 cores=0,2,4,6
/proc/19979/stat : 19979 (toysat) R 19976 19979 16080 0 -1 4202500 267413 0 0 0 1859 39 0 0 20 0 1 0 12106079 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19979/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 18.98
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 19.0601
CPU time (s): 19.0541
CPU user time (s): 18.5952
CPU system time (s): 0.45893
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.5952
system time used= 0.45893
maximum resident set size= 1068920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267413
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= 29

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132979 second user time and 0.148977 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-30 20:07:03
IDJOB=4120106
IDBENCH=109708
IDSOLVER=2542
FILE ID=node104/4120106-1467310023
RUNJOBID= node104-1467310023-19959
PBS_JOBID= 20005270
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-15.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-4120106-1467310023/watcher-4120106-1467310023 -o /tmp/evaluation-result-4120106-1467310023/solver-4120106-1467310023 -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-4120106-1467310023.opb

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

MD5SUM BENCH= 429e1d973455eed24d7ece91100186dc
RANDOM SEED=621079713

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:        30510968 kB
Buffers:          192184 kB
Cached:           934192 kB
SwapCached:            0 kB
Active:           341488 kB
Inactive:         798916 kB
Active(anon):      16448 kB
Inactive(anon):        0 kB
Active(file):     325040 kB
Inactive(file):   798916 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32620 kB
Writeback:             0 kB
AnonPages:        494320 kB
Mapped:            13016 kB
Shmem:               204 kB
Slab:             610988 kB
SReclaimable:      55116 kB
SUnreclaim:       555872 kB
KernelStack:        1392 kB
PageTables:         4696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     568676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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 20:07:22