Trace number 4098913

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 12.3941 12.3981

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb
MD5SUM9f20f031d3068edba1350cbde5c721b5
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark4.33434
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
Number of bits of the biggest sum of numbers10
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-18T01:28:13+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-4098913-1466206093.opb"]
0.00/0.01	c use --random-gen="3987162668 2948659230 3161401735 3210979290 2791556194 4011893083 1799824363 3884505795 1400234148 2679254635 4060241894 3839148819 3452624801 814536585 1735613288 1877872088 2907481271 184505240 1490108781 2801014073 200776098 2788891821 3476082899 2152890737 3927862739 2339508030 1903173140 1077790383 2973926417 2375961473 2392894947 3391319338 962874409 210226166 3132884987 1563653177 3711634752 2498753961 3975223913 1531063596 2504633817 425481346 4113921867 1543100351 2553626823 1296495274 1193551594 1356533626 1250596029 1008756090 3335784364 1650035711 1721602761 2060097176 2843836056 1149155114 3884230813 4284058836 2079847108 2515552257 3977641975 2016308806 1425198778 405395489 171933666 768253290 1230849529 3580797979 3837074722 1960435460 3750732300 2127315781 3818966981 289455443 958411292 897181133 878648598 2949315951 3857569162 254504301 3807414803 1287958078 1266368043 2056536472 535442421 2151140703 3920492416 1473217006 1778174162 869295756 2668103185 373736520 985653025 1172345661 737132252 3511511817 2163571670 1895643908 3552411544 4272186653 751655382 1820644640 497433053 1509220528 1381863508 1085939878 3841216924 2301807215 4008385713 1004474742 1201665564 106106263 834088426 2905965164 3736437945 958451703 4030887831 3186722472 1340519460 2704761379 2880368667 1069260574 2831912468 2899920481 1083794654 2750111437 277939304 207719766 1640722881 1993403128 393385856 2575366449 1531652645 2446037607 3550589720 4146433910 2464612009 3302875060 3777332262 1494568426 4122315057 2471438934 976116271 1497513234 1053990062 867917464 320328180 3243896168 1824838514 918925580 714565487 249471880 2961723752 1648910733 2085722154 3163912054 455964355 3180181312 2953366957 2238056683 3004781097 319843252 3162346111 1809449091 1240670955 1292589527 3247027368 2459691034 3876087611 898074861 210302150 781264661 2167803134 3675203282 1186598227 1209949600 3168558831 718864757 856845361 4073372041 563587397 3083717013 2979688568 3904076502 452238724 1123751452 2332615021 3472588338 2120711919 1718217173 1014070538 79059703 3962146283 3147860648 3799108928 619448149 482601622 2896915638 3471361816 2839255464 1697322031 2670391307 3280334574 4227152756 1797577693 1657746767 1183350434 4072301561 4251647044 1627039178 425467338 1283693555 4026026432 574910630 553024893 2003491768 2216964113 732733875 4198102097 1836192498 2020664097 1577505109 307382307 2660319773 3979880162 4265362744 3071460244 3906493567 3731791023 43070576 774382137 3189063223 644081847 1800122700 492415599 3595069500 3408849005 2050325388 2898466286 903457116 711363268 2665923396 3315865310 1659345429 2414748888 3976135923 1812046396 1010332206 1654166702 38072261 2474920272 4184443858 2091300973 2264165094 3396180699 2128535950 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      271 |      100 |      979      0 |        0 |        0
0.08/0.12	c  0.0s |       2 |      493 |      250 |     1077      0 |        0 |        0
0.08/0.17	c  0.1s |       3 |      887 |      475 |     1185      0 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1517 |      813 |     1304      0 |        0 |        0
0.29/0.38	c  0.3s |       5 |     2317 |     1320 |     1435      0 |        0 |        0
0.49/0.58	c  0.5s |       6 |     3509 |     2081 |     1737      1 |        0 |        0
0.89/0.92	c  0.8s |       7 |     5337 |     3223 |     1911      2 |        0 |        0
1.39/1.44	c  1.4s |       8 |     8201 |     4936 |     2103      4 |        0 |        0
1.99/2.08	c  2.0s |       9 |    12232 |     7506 |     2314      6 |        0 |        0
2.89/2.97	c  2.9s |      10 |    18646 |    11361 |     2546      9 |        0 |        0
4.19/4.29	c  4.2s |      11 |    27204 |    17144 |     2801     13 |        0 |        0
5.99/6.08	c  6.0s |      12 |    42054 |    25819 |     3082     19 |        1 |       11
7.99/8.08	c  8.0s |      12 |    64754 |    37819 |     3082     23 |        3 |       33
8.19/8.26	c  8.2s |      13 |    66525 |    38832 |     3391     23 |        4 |       44
10.18/10.26	c 10.2s |      13 |    90704 |    51532 |     3391     29 |        5 |       55
11.38/11.42	c 11.3s |      14 |   102921 |    58352 |     3731     32 |        7 |       77
12.28/12.33	c 12.3s |      14 |   113400 |    64018 |     3731     33 |      213 |     2372
12.28/12.33	c #cpu_time = 12.256s
12.28/12.33	c #wall_clock_time = 12.257s
12.28/12.33	c #decision = 113400
12.28/12.33	c #random_decision = 434
12.28/12.33	c #conflict = 64018
12.28/12.33	c #restart = 14
12.28/12.33	s UNSATISFIABLE
12.28/12.33	c total CPU time = 12.335s
12.28/12.33	c total wall clock time = 12.335s

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

pid=13519
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: 0.76 0.33 0.22 3/179 13522
/proc/meminfo: memFree=29784856/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=689596 CPUtime=0 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 2570 0 0 0 0 0 0 0 20 0 4 0 22656050 706146304 2420 33554432000 4194304 16246674 140736414958192 140736414957616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 173167 2428 441 2943 0 170061 0
[pid=13522/tid=13523] ppid=13519 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 723972096 2488 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 728166400 2503 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656050 732360704 2520 33554432000 4194304 16246674 140736414958192 139815096929456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 0.76 0.33 0.22 3/179 13522
/proc/meminfo: memFree=29784856/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 25314 0 0 0 5 3 0 0 20 0 4 0 22656050 1247350784 25153 33554432000 4194304 16246674 140736414958192 140736414957616 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 304529 25156 724 2943 0 301423 0
[pid=13522/tid=13523] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 25158 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 25162 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 25168 33554432000 4194304 16246674 140736414958192 139815096929456 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.200462 s]
/proc/loadavg: 0.76 0.33 0.22 3/179 13522
/proc/meminfo: memFree=29784856/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 41478 0 0 0 13 6 0 0 20 0 4 0 22656050 1247350784 41318 33554432000 4194304 16246674 140736414958192 140736414940096 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 304529 41324 724 2943 0 301423 0
[pid=13522/tid=13523] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 41329 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 41336 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 41341 33554432000 4194304 16246674 140736414958192 139815096929456 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.300418 s]
/proc/loadavg: 0.76 0.33 0.22 3/179 13522
/proc/meminfo: memFree=29784856/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 57743 0 0 0 21 8 0 0 20 0 4 0 22656050 1247350784 57583 33554432000 4194304 16246674 140736414958192 140736414940096 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 304529 57591 724 2943 0 301423 0
[pid=13522/tid=13523] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 57594 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 57595 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 57598 33554432000 4194304 16246674 140736414958192 139815096929456 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.70038 s]
/proc/loadavg: 0.76 0.33 0.22 3/179 13522
/proc/meminfo: memFree=29784856/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 123441 0 0 0 53 16 0 0 20 0 4 0 22656050 1247350784 123280 33554432000 4194304 16246674 140736414958192 140736414940096 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 304529 123290 730 2943 0 301423 0
[pid=13522/tid=13523] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 123296 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 123302 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22656050 1247350784 123308 33554432000 4194304 16246674 140736414958192 139815096929456 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.50033 s]
/proc/loadavg: 0.76 0.33 0.22 3/183 13526
/proc/meminfo: memFree=28868836/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 246165 0 0 0 114 35 0 0 20 0 4 0 22656050 1250496512 245984 33554432000 4194304 16246674 140736414958192 140736414957504 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 305297 245984 799 2943 0 302191 0
[pid=13522/tid=13523] ppid=13519 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1250496512 245984 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1250496512 245984 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656050 1250496512 245984 33554432000 4194304 16246674 140736414958192 139815096929456 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) 1221188

[startup+3.10036 s]
/proc/loadavg: 0.76 0.33 0.22 3/174 13557
/proc/meminfo: memFree=29627624/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 266633 0 0 0 271 38 0 0 20 0 4 0 22656050 1334382592 266452 33554432000 4194304 16246674 140736414958192 140736414940096 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 325777 266452 799 2943 0 322671 0
[pid=13522/tid=13523] ppid=13519 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1334382592 266452 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1334382592 266452 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656050 1334382592 266452 33554432000 4194304 16246674 140736414958192 139815096929456 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) 1303108

[startup+6.30042 s]
/proc/loadavg: 0.94 0.37 0.24 4/183 13575
/proc/meminfo: memFree=28540080/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 267794 0 0 0 591 38 0 0 20 0 4 0 22656050 1338576896 267613 33554432000 4194304 16246674 140736414958192 140736414940096 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 326801 267613 801 2943 0 323695 0
[pid=13522/tid=13523] ppid=13519 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1338576896 267613 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1338576896 267613 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656050 1338576896 267613 33554432000 4194304 16246674 140736414958192 139815096929456 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) 1307204

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

[startup+6.40051 s]
/proc/loadavg: 0.94 0.37 0.24 4/183 13575
/proc/meminfo: memFree=28540080/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1307204 CPUtime=6.39 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 267794 0 0 0 601 38 0 0 20 0 4 0 22656050 1338576896 267613 33554432000 4194304 16246674 140736414958192 140736414940096 12483399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 326801 267613 801 2943 0 323695 0
[pid=13522/tid=13523] ppid=13519 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1338576896 267613 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1338576896 267613 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656050 1338576896 267613 33554432000 4194304 16246674 140736414958192 139815096929456 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) 1307204

[startup+9.60041 s]
/proc/loadavg: 0.94 0.37 0.24 3/183 13575
/proc/meminfo: memFree=28453664/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1315396 CPUtime=9.58 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 269820 0 0 0 920 38 0 0 20 0 4 0 22656050 1346965504 269639 33554432000 4194304 16246674 140736414958192 140736414940096 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 328849 269639 801 2943 0 325743 0
[pid=13522/tid=13523] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269639 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269639 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269639 33554432000 4194304 16246674 140736414958192 139815096929456 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) 1315396

[startup+11.2004 s]
/proc/loadavg: 1.10 0.42 0.25 3/183 13575
/proc/meminfo: memFree=28444500/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1315396 CPUtime=11.18 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 269889 0 0 0 1080 38 0 0 20 0 4 0 22656050 1346965504 269708 33554432000 4194304 16246674 140736414958192 140736414940096 5661940 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 328849 269708 801 2943 0 325743 0
[pid=13522/tid=13523] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269708 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269708 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269708 33554432000 4194304 16246674 140736414958192 139815096929456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.18
Current children cumulated vsize (KiB) 1315396

[startup+12.0004 s]
/proc/loadavg: 1.10 0.42 0.25 3/183 13575
/proc/meminfo: memFree=28444500/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1315396 CPUtime=11.98 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 269890 0 0 0 1160 38 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 140736414940096 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 328849 269709 802 2943 0 325743 0
[pid=13522/tid=13523] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 139815096929456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 1315396

[startup+12.2073 s]
/proc/loadavg: 1.10 0.42 0.25 3/183 13575
/proc/meminfo: memFree=28444252/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1315396 CPUtime=12.19 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 269890 0 0 0 1181 38 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 140736414940096 5672347 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 328849 269709 802 2943 0 325743 0
[pid=13522/tid=13523] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 139815096929456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 1315396

[startup+12.3005 s]
/proc/loadavg: 1.10 0.42 0.25 3/183 13575
/proc/meminfo: memFree=28444252/32872528 swapFree=1286400/1433568
[pid=13522] ppid=13519 vsize=1315396 CPUtime=12.28 cores=0,2,4,6
/proc/13522/stat : 13522 (toysat) R 13519 13522 12983 0 -1 4202496 269890 0 0 0 1190 38 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 140736414940096 5675369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13522/statm: 328849 269709 802 2943 0 325743 0
[pid=13522/tid=13523] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13523/stat : 13523 (toysat) S 13519 13522 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 139815117892848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13522/tid=13524] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13524/stat : 13524 (toysat) S 13519 13522 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 139815107402992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13522/tid=13525] ppid=13519 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13522/task/13525/stat : 13525 (toysat) S 13519 13522 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22656050 1346965504 269709 33554432000 4194304 16246674 140736414958192 139815096929456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 1315396

Child status: 0
Real time (s): 12.3981
CPU time (s): 12.3941
CPU user time (s): 11.9442
CPU system time (s): 0.449931
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1315396

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070989 second user time and 0.117982 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 01:28:13
IDJOB=4098913
IDBENCH=1270
IDSOLVER=2542
FILE ID=node130/4098913-1466206093
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098913-1466206093/watcher-4098913-1466206093 -o /tmp/evaluation-result-4098913-1466206093/solver-4098913-1466206093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098913-1466206093.opb

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

MD5SUM BENCH= 9f20f031d3068edba1350cbde5c721b5
RANDOM SEED=216323600

node130.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.365
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.73
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.365
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.365
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.365
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.365
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.365
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.53
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.365
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.56
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.365
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:        29795164 kB
Buffers:           35940 kB
Cached:            97248 kB
SwapCached:         1824 kB
Active:           879544 kB
Inactive:          54020 kB
Active(anon):     801124 kB
Inactive(anon):     1544 kB
Active(file):      78420 kB
Inactive(file):    52476 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098948 kB
Dirty:             33384 kB
Writeback:             0 kB
AnonPages:       2235580 kB
Mapped:             9844 kB
Shmem:                 0 kB
Slab:             573268 kB
SReclaimable:      15816 kB
SUnreclaim:       557452 kB
KernelStack:        1456 kB
PageTables:         8932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2562272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71716 MiB
End job on node130 at 2016-06-18 01:28:25