Trace number 4121530

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 7.93479 7.93706

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n62-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM10814fbd27d6fc392d26bdb069132dcf
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.207967
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables93
Total number of constraints248
Number of constraints which are clauses248
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:28:46+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-4121530-1467314926.opb"]
0.00/0.01	c use --random-gen="4260796498 3130444401 3728981837 2189352167 1265277450 3217843323 1258686653 2247176314 3390235777 1083482223 1718438344 4234123717 2006984282 3516239679 3703220901 2897278302 430448365 2038443865 3265263556 825117885 1416083458 3762024844 2722610449 2188552963 3042074345 980556933 720861057 2855045479 3331799102 2910876842 1399218454 3110024928 3473647605 2312297783 2021635182 3270507781 798836295 2454590068 1160532663 2407720893 2112402738 1688164491 2017588816 3646805519 3502844707 3529956259 1874798014 3262111382 582621019 2037334693 3065363151 1711970391 2347128132 170597871 1050986829 2582627293 3115547981 2922737303 3518324727 2052172997 3906247306 2592754051 2261028553 55745092 2733408658 545025752 1385725772 433893139 1406297264 477073170 2878782384 970355597 2681408056 2488175824 4157118024 3641584545 1013034721 1212767095 445473774 1434209219 3311804786 3907170185 3560644370 894651321 2053726163 4050386219 1946631245 2200956326 4204219865 280532423 3317819257 2887820042 3057773186 2275086638 1327947515 4139257605 388937764 2807083657 1362361202 2475566604 500704256 1186091122 3518157646 1470505010 540443081 3079655127 3573610720 3595324648 391224817 2775765231 2437675216 2636542093 2866288279 518864618 4110682500 3344402257 2492792871 2801215296 2080875771 2061291840 2327068841 3420054812 938503637 473135776 116159411 2609466918 2988081789 563846495 4047661936 1467618537 2044638316 25038464 554123412 860332463 3669510778 3628861113 3917456338 69631091 2387734441 756935546 203740973 4213709728 3636163206 3698574419 751766794 3616482112 4234588198 1906305531 2776179863 1053647429 3953751274 3698377645 1274764228 3129368074 1876668431 4238049572 4149023446 457373462 4282854770 3364598026 3734576560 2296450529 937580993 4253139670 2383186477 2884582143 3701125003 1067545362 568227658 1966303976 3081486717 3055716151 2893531264 838864478 1076402853 4119841712 1429416537 2920458866 534225331 2692488424 2734241818 3485040257 3237824802 4073637933 2953785653 1993345917 768996671 2132666605 47621579 1741381458 752496968 86217920 1770374519 1533974000 1652449548 504939648 567468317 291403088 196194606 2194405717 1949048140 2020482544 1959454397 1648981973 2707225547 962995284 459598669 1954804580 2863346078 545021899 3595453553 227792567 1816616563 974550868 1091493844 1816213695 2813430095 3042309622 3969016329 4119838038 1345166969 443885526 3788273235 543708656 1683455389 890544018 1007346982 23999725 3636680282 1576809053 600823224 727073160 3203746367 4043663228 3142853624 811323912 3632497218 3555149911 349139045 283695317 2060722156 1378265026 3339652223 3197389596 3770459780 624136125 2563114030 3205364249 1572446954 189512221 1902193331 3161420849 2316607004 2985945401 408317335 244957549 255 362436" option to reproduce the execution
0.00/0.01	c #vars 93
0.00/0.01	c #constraints 248
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 |      113      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      159 |      100 |      113      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      384 |      250 |      125      2 |        0 |        0
0.00/0.06	c  0.0s |       3 |      660 |      475 |      138      4 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1048 |      813 |      152      7 |        0 |        0
0.08/0.14	c  0.1s |       5 |     1631 |     1320 |      168     12 |        0 |        0
0.19/0.21	c  0.2s |       6 |     2627 |     2081 |      204     20 |        0 |        0
0.29/0.30	c  0.3s |       7 |     4280 |     3223 |      225     30 |        0 |        0
0.39/0.44	c  0.4s |       8 |     6594 |     4936 |      248     44 |        0 |        0
0.59/0.68	c  0.7s |       9 |     9434 |     7506 |      273     64 |        0 |        0
0.89/0.99	c  1.0s |      10 |    15092 |    11361 |      301     90 |        0 |        0
1.29/1.31	c  1.3s |      11 |    22979 |    17144 |      332    127 |        0 |        0
1.79/1.80	c  1.8s |      12 |    33830 |    25819 |      366    178 |        0 |        0
2.38/2.49	c  2.5s |      13 |    52676 |    38832 |      403    247 |        0 |        0
3.39/3.43	c  3.4s |      14 |    81930 |    58352 |      444    342 |        0 |        0
4.89/4.94	c  4.9s |      15 |   122926 |    87632 |      489    472 |        0 |        0
6.89/6.94	c  6.9s |      15 |   173758 |   123532 |      489    616 |        0 |        0
7.29/7.34	c  7.3s |      16 |   185206 |   131552 |      538    647 |        1 |        4
7.80/7.87	c  7.9s |      16 |   200309 |   142244 |      538    683 |       18 |       56
7.80/7.87	c #cpu_time = 7.839s
7.80/7.87	c #wall_clock_time = 7.859s
7.80/7.87	c #decision = 200309
7.80/7.87	c #random_decision = 983
7.80/7.87	c #conflict = 142244
7.80/7.87	c #restart = 16
7.80/7.87	s UNSATISFIABLE
7.80/7.87	c total CPU time = 7.856s
7.80/7.87	c total wall clock time = 7.877s

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

pid=16127
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.27 2.14 1.91 2/179 16130
/proc/meminfo: memFree=27204900/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 2660 0 0 0 0 0 0 0 20 0 4 0 10520213 731312128 3531 33554432000 4194304 16246674 140736046056208 140736046055632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 179055 3539 441 2943 0 175949 0
[pid=16130/tid=16131] ppid=16127 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 749137920 3599 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 753332224 3618 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 758575104 3636 33554432000 4194304 16246674 140736046056208 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.27 2.14 1.91 2/179 16130
/proc/meminfo: memFree=27204900/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 25953 0 0 0 5 3 0 0 20 0 4 0 10520213 1247350784 26813 33554432000 4194304 16246674 140736046056208 140736046055632 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 304529 26824 707 2943 0 301423 0
[pid=16130/tid=16131] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 26830 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 26840 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 26846 33554432000 4194304 16246674 140736046056208 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200497 s]
/proc/loadavg: 2.27 2.14 1.91 2/179 16130
/proc/meminfo: memFree=27204900/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 49392 0 0 0 13 6 0 0 20 0 4 0 10520213 1247350784 50253 33554432000 4194304 16246674 140736046056208 140736046055632 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 304529 50262 707 2943 0 301423 0
[pid=16130/tid=16131] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 50272 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 50278 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 50285 33554432000 4194304 16246674 140736046056208 139806621297840 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.300478 s]
/proc/loadavg: 2.27 2.14 1.91 2/179 16130
/proc/meminfo: memFree=27204900/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 72560 0 0 0 19 10 0 0 20 0 4 0 10520213 1247350784 73420 33554432000 4194304 16246674 140736046056208 140736046055632 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 304529 73431 707 2943 0 301423 0
[pid=16130/tid=16131] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 73438 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 73447 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 73453 33554432000 4194304 16246674 140736046056208 139806621297840 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.700412 s]
/proc/loadavg: 2.27 2.14 1.91 2/179 16130
/proc/meminfo: memFree=27204900/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 164537 0 0 0 46 23 0 0 20 0 4 0 10520213 1247350784 165397 33554432000 4194304 16246674 140736046056208 140736046038080 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 304529 165409 708 2943 0 301423 0
[pid=16130/tid=16131] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 165413 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 165419 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 165425 33554432000 4194304 16246674 140736046056208 139806621297840 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.50041 s]
/proc/loadavg: 2.27 2.14 1.91 3/183 16134
/proc/meminfo: memFree=26220412/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 245504 0 0 0 113 36 0 0 20 0 4 0 10520213 1247350784 246344 33554432000 4194304 16246674 140736046056208 140736046055520 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 304529 246344 784 2943 0 301423 0
[pid=16130/tid=16131] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 246344 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 246344 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1247350784 246344 33554432000 4194304 16246674 140736046056208 139806621297840 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.27 2.14 1.91 3/183 16134
/proc/meminfo: memFree=26132628/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 267398 0 0 0 270 38 0 0 20 0 4 0 10520213 1337528320 268238 33554432000 4194304 16246674 140736046056208 140736046039208 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 326545 268238 784 2943 0 323439 0
[pid=16130/tid=16131] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268238 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268238 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268238 33554432000 4194304 16246674 140736046056208 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.33 2.15 1.92 3/183 16134
/proc/meminfo: memFree=26132612/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 267419 0 0 0 590 39 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 140736046039208 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 326545 268259 786 2943 0 323439 0
[pid=16130/tid=16131] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806621297840 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 16130 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40049 s]
/proc/loadavg: 2.33 2.15 1.92 3/183 16134
/proc/meminfo: memFree=26132612/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1306180 CPUtime=6.39 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 267419 0 0 0 600 39 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 140736046039208 5514817 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 326545 268259 786 2943 0 323439 0
[pid=16130/tid=16131] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806621297840 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+7.20042 s]
/proc/loadavg: 2.33 2.15 1.92 3/183 16134
/proc/meminfo: memFree=26132504/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1306180 CPUtime=7.19 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 267419 0 0 0 680 39 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 140736046039208 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 326545 268259 786 2943 0 323439 0
[pid=16130/tid=16131] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 1306180

[startup+7.60041 s]
/proc/loadavg: 2.33 2.15 1.92 3/183 16134
/proc/meminfo: memFree=26132504/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1306180 CPUtime=7.59 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 267419 0 0 0 720 39 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 140736046039208 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 326545 268259 786 2943 0 323439 0
[pid=16130/tid=16131] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 1306180

[startup+7.80742 s]
/proc/loadavg: 2.33 2.15 1.92 3/183 16134
/proc/meminfo: memFree=26132628/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=1306180 CPUtime=7.8 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202496 267419 0 0 0 741 39 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 140736046039208 12482960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 326545 268259 786 2943 0 323439 0
[pid=16130/tid=16131] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16131/stat : 16131 (toysat) S 16127 16130 11291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806719847664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16130/tid=16132] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16132/stat : 16132 (toysat) S 16127 16130 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806709357808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16130/tid=16133] ppid=16127 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16130/task/16133/stat : 16133 (toysat) S 16127 16130 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10520213 1337528320 268259 33554432000 4194304 16246674 140736046056208 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 1306180

[startup+7.90043 s]
/proc/loadavg: 2.33 2.15 1.92 3/183 16134
/proc/meminfo: memFree=26132628/32872528 swapFree=1555460/1718980
[pid=16130] ppid=16127 vsize=0 CPUtime=7.89 cores=0,2,4,6
/proc/16130/stat : 16130 (toysat) R 16127 16130 11291 0 -1 4202500 267424 0 0 0 748 41 0 0 20 0 1 0 10520213 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16130/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 7.93706
CPU time (s): 7.93479
CPU user time (s): 7.48586
CPU system time (s): 0.448931
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.48586
system time used= 0.448931
maximum resident set size= 1073048
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= 23
involuntary context switches= 9

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068989 second user time and 0.06199 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-30 21:28:46
IDJOB=4121530
IDBENCH=110546
IDSOLVER=2542
FILE ID=node117/4121530-1467314926
RUNJOBID= node117-1467314225-15886
PBS_JOBID= 20005275
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i1-r2.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-4121530-1467314926/watcher-4121530-1467314926 -o /tmp/evaluation-result-4121530-1467314926/solver-4121530-1467314926 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467314225-15886 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121530-1467314926.opb

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

MD5SUM BENCH= 10814fbd27d6fc392d26bdb069132dcf
RANDOM SEED=304691534

node117.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.714
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	: 5333.42
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.714
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.714
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.45
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.714
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.714
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.714
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.714
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.714
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:        27205536 kB
Buffers:          151208 kB
Cached:          1963296 kB
SwapCached:            0 kB
Active:          1381480 kB
Inactive:        1816108 kB
Active(anon):    1085628 kB
Inactive(anon):        4 kB
Active(file):     295852 kB
Inactive(file):  1816104 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       2803852 kB
Mapped:            17120 kB
Shmem:               204 kB
Slab:             615660 kB
SReclaimable:      59880 kB
SUnreclaim:       555780 kB
KernelStack:        1520 kB
PageTables:         9152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2937924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    634880 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= 71592 MiB
End job on node117 at 2016-06-30 21:28:54