Trace number 4099193

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 9.68 9.79165

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb
MD5SUM8170439ba832b251137a16b29cd20ba3
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 benchmark3.69344
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 801
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:39+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-4099193-1466206119.opb"]
0.00/0.01	c use --random-gen="207815151 669842587 3897048288 897680571 2661380967 997813669 2666656897 2050661949 3345338509 3190944992 2374529410 2494298358 1655567449 2096136426 2355235038 2987458129 3160023450 1775137400 71045897 1756912250 347614379 2961019420 769738309 1555366975 2985671678 2005996597 1192020370 3515536135 2431548663 3919625809 2611849665 1511498069 147182777 2145340608 1830004576 3006989864 2065477288 2192717875 871865354 2866308887 2949793056 3075429074 4270531919 2497114326 224462336 259022862 2713805294 1824691232 1338239196 1558102995 1793465606 2919349130 90107631 2201062883 904552625 1857112228 3401340815 3821942474 2125030346 2808805248 1841990146 4145906617 3687685402 2531092738 1185372375 2409913335 1481673286 2814302630 96549888 1685104659 3823214663 2312951950 2498915846 2339708493 4001719986 1694827999 53516225 2496266303 1771894243 468070338 1531589482 1784152724 379442687 3452262994 3417043223 3559800281 1544152306 1828827201 2642500210 2282372246 3671030247 3488282753 4168567351 4254602961 2897231124 4285284474 2878754624 3975302460 1617240888 2032115153 3259423052 2948228954 1526572573 4055769693 3066422667 2728134987 986264070 3734972714 952254774 2189576450 3879476398 2623406289 3856027797 2474379644 2404106149 669752305 2631412662 1095395422 4220249063 3238984748 1802273668 2561853823 4280648567 1182760583 2726729075 3153271168 2623120423 1728916228 2639342018 1346366108 2431238047 525658374 3401022523 3354210649 2374899472 2825084363 3823288698 3499767672 2663850560 2799758763 1372106271 2214667286 3672747476 3815097658 2353504024 162109152 2943752796 446660645 2896216035 343799166 2634782102 897883801 3623288073 3705242530 2842427354 3441838123 482786877 4103308857 2901111988 4154784478 503163375 1740151670 2170444194 3852868289 1801620802 1803263071 195223788 2874262692 1748448477 3092547880 956599404 3227659401 1518814142 2913219291 3056580941 1091294881 110177977 1621789695 2060651435 2009715912 159186519 2580545672 485956988 3977802862 3562596679 1514955643 2920408183 1292646295 1569795209 3280470857 4184654814 2045894071 422616212 668542048 3795564204 886724604 2803803519 1072558711 3523735101 1908732290 765662602 3275310247 3375385411 2341411470 3370171044 2081357058 1576687315 2246465656 1931458643 1724397342 938532788 346702695 1231212953 470300509 3919007105 1204487516 3792490318 2179380759 4049507271 407504173 3601604927 1746618274 1787023014 2214308966 4134318052 3849287148 1860979769 3074753475 3090399780 844090399 1507551138 1290717298 3225060981 976262749 2184137371 401154477 2211918363 1893271436 867567097 1966960951 4229342190 3211601819 635724981 1228154197 858299994 1254666071 3465437520 3965042455 3641897892 366320870 1648915865 3965300071 4177877130 325948969 1630710913 175961901 255 362436" option to reproduce the execution
0.00/0.04	c #vars 231
0.00/0.04	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.10	c  0.0s |       1 |      299 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      601 |      250 |     1077      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |     1031 |      475 |     1185      0 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1786 |      813 |     1304      0 |        0 |        0
0.28/0.36	c  0.3s |       5 |     2781 |     1320 |     1435      0 |        0 |        0
0.48/0.54	c  0.5s |       6 |     4078 |     2081 |     1737      1 |        0 |        0
0.79/0.82	c  0.7s |       7 |     6162 |     3223 |     1911      2 |        0 |        0
1.28/1.33	c  1.2s |       8 |     8894 |     4936 |     2103      4 |        0 |        0
1.78/1.86	c  1.8s |       9 |    13247 |     7506 |     2314      5 |        1 |       11
2.69/2.70	c  2.6s |      10 |    19884 |    11361 |     2546      8 |        1 |       11
3.98/4.03	c  3.9s |      11 |    29634 |    17144 |     2801     11 |        3 |       33
5.88/5.97	c  5.9s |      12 |    44559 |    25819 |     3082     16 |        3 |       33
7.88/7.97	c  7.9s |      12 |    64363 |    36819 |     3082     20 |        6 |       66
8.18/8.28	c  8.2s |      13 |    68169 |    38832 |     3391     21 |        6 |       66
9.58/9.64	c  9.6s |      13 |    83648 |    47032 |     3391     23 |      207 |     1237
9.58/9.64	c #cpu_time = 9.526s
9.58/9.64	c #wall_clock_time = 9.556s
9.58/9.64	c #decision = 83648
9.58/9.64	c #random_decision = 327
9.58/9.64	c #conflict = 47032
9.58/9.64	c #restart = 13
9.58/9.64	s UNSATISFIABLE
9.58/9.64	c total CPU time = 9.603s
9.58/9.64	c total wall clock time = 9.634s

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

pid=17272
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.29 0.52 0.28 4/171 17275
/proc/meminfo: memFree=28691140/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 540 0 0 0 0 0 0 0 20 0 4 0 22657391 246870016 914 33554432000 4194304 16246674 140735916640944 140735916640368 4233712 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 60271 929 337 2943 0 57165 0
[pid=17275/tid=17276] ppid=17272 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 246870016 982 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 246870016 1000 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 246870016 1015 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100149 s]
/proc/loadavg: 1.29 0.52 0.28 4/171 17275
/proc/meminfo: memFree=28691140/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 24654 0 0 0 5 4 0 0 20 0 4 0 22657391 1247350784 25004 33554432000 4194304 16246674 140735916640944 140735916640368 5531957 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 304529 25011 724 2943 0 301423 0
[pid=17275/tid=17276] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 25016 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 25021 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 25026 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200457 s]
/proc/loadavg: 1.29 0.52 0.28 4/171 17275
/proc/meminfo: memFree=28691140/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 40390 0 0 0 13 6 0 0 20 0 4 0 22657391 1247350784 40740 33554432000 4194304 16246674 140735916640944 140735916640368 5675357 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 304529 40747 724 2943 0 301423 0
[pid=17275/tid=17276] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 40750 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 40754 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 40759 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300494 s]
/proc/loadavg: 1.29 0.52 0.28 4/171 17275
/proc/meminfo: memFree=28691140/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 55422 0 0 0 20 8 0 0 20 0 4 0 22657391 1247350784 55772 33554432000 4194304 16246674 140735916640944 140735916640368 5677277 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 304529 55777 724 2943 0 301423 0
[pid=17275/tid=17276] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 55781 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 55789 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 55795 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 1.29 0.52 0.28 4/171 17275
/proc/meminfo: memFree=28691140/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 117262 0 0 0 52 17 0 0 20 0 4 0 22657391 1247350784 117612 33554432000 4194304 16246674 140735916640944 140735916640368 5677541 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 304529 117620 730 2943 0 301423 0
[pid=17275/tid=17276] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 117625 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 117633 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 117636 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 1.29 0.52 0.28 3/174 17302
/proc/meminfo: memFree=27990716/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1218116 CPUtime=1.48 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 243374 0 0 0 114 34 0 0 20 0 4 0 22657391 1247350784 243725 33554432000 4194304 16246674 140735916640944 140735916622848 5831697 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 304529 243734 730 2943 0 301423 0
[pid=17275/tid=17276] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 243740 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 243745 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1247350784 243750 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 1.35 0.54 0.29 3/174 17302
/proc/meminfo: memFree=27722876/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1303108 CPUtime=3.08 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 266703 0 0 0 271 37 0 0 20 0 4 0 22657391 1334382592 267033 33554432000 4194304 16246674 140735916640944 140735916622848 5829044 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 325777 267033 800 2943 0 322671 0
[pid=17275/tid=17276] ppid=17272 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1334382592 267033 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1334382592 267033 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1334382592 267033 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1303108

[startup+6.30042 s]
/proc/loadavg: 1.35 0.54 0.29 3/183 17320
/proc/meminfo: memFree=26632052/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 267591 0 0 0 591 37 0 0 20 0 4 0 22657391 1338576896 267921 33554432000 4194304 16246674 140735916640944 140735916622848 5712604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 326801 267921 800 2943 0 323695 0
[pid=17275/tid=17276] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267921 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267921 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267921 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

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

[startup+6.40053 s]
/proc/loadavg: 1.35 0.54 0.29 3/183 17320
/proc/meminfo: memFree=26632052/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1307204 CPUtime=6.38 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 267591 0 0 0 601 37 0 0 20 0 4 0 22657391 1338576896 267921 33554432000 4194304 16246674 140735916640944 140735916622848 5668736 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 326801 267921 800 2943 0 323695 0
[pid=17275/tid=17276] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267921 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267921 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267921 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 1307204

[startup+8.00043 s]
/proc/loadavg: 1.48 0.58 0.31 2/174 17351
/proc/meminfo: memFree=27636096/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1307204 CPUtime=7.98 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 267591 0 0 0 761 37 0 0 20 0 4 0 22657391 1338576896 267921 33554432000 4194304 16246674 140735916640944 140735916622848 5822604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 326801 267921 800 2943 0 323695 0
[pid=17275/tid=17276] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267921 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267921 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267921 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 1307204

[startup+8.80041 s]
/proc/loadavg: 1.48 0.58 0.31 2/174 17351
/proc/meminfo: memFree=27636144/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1307204 CPUtime=8.78 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 267624 0 0 0 841 37 0 0 20 0 4 0 22657391 1338576896 267954 33554432000 4194304 16246674 140735916640944 140735916622848 5827966 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 326801 267954 800 2943 0 323695 0
[pid=17275/tid=17276] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267954 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267954 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267954 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.78
Current children cumulated vsize (KiB) 1307204

[startup+9.20042 s]
/proc/loadavg: 1.48 0.58 0.31 2/174 17351
/proc/meminfo: memFree=27636144/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1307204 CPUtime=9.18 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 267624 0 0 0 881 37 0 0 20 0 4 0 22657391 1338576896 267954 33554432000 4194304 16246674 140735916640944 140735916622848 5523192 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 326801 267954 800 2943 0 323695 0
[pid=17275/tid=17276] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267954 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267954 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267954 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 1307204

[startup+9.60042 s]
/proc/loadavg: 1.48 0.58 0.31 2/174 17351
/proc/meminfo: memFree=27636144/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=1307204 CPUtime=9.58 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) R 17272 17275 16189 0 -1 4202496 267624 0 0 0 921 37 0 0 20 0 4 0 22657391 1338576896 267954 33554432000 4194304 16246674 140735916640944 140735916622848 5711518 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 326801 267954 800 2943 0 323695 0
[pid=17275/tid=17276] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17276/stat : 17276 (toysat) S 17272 17275 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267954 33554432000 4194304 16246674 140735916640944 140317983485168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17275/tid=17277] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17277/stat : 17277 (toysat) S 17272 17275 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267954 33554432000 4194304 16246674 140735916640944 140317972995312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) S 17272 17275 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22657392 1338576896 267954 33554432000 4194304 16246674 140735916640944 140317856623792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 1307204

[startup+9.70041 s]
/proc/loadavg: 1.48 0.58 0.31 2/174 17351
/proc/meminfo: memFree=27636144/32872528 swapFree=1459628/1655852
[pid=17275] ppid=17272 vsize=0 CPUtime=9.68 cores=1,3,5,7
/proc/17275/stat : 17275 (toysat) Z 17272 17275 16189 0 -1 4202508 267630 0 0 0 925 43 0 0 20 0 2 0 22657391 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17275/statm: 0 0 0 0 0 0 0
[pid=17275/tid=17278] ppid=17272 vsize=0 CPUtime=0.04 cores=1,3,5,7
/proc/17275/task/17278/stat : 17278 (toysat) D 17272 17275 16189 0 -1 4202564 1 0 0 0 0 4 0 0 20 0 2 0 22657392 0 0 33554432000 0 0 0 0 0 256 0 33554432 0 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17275 and gives
#  childrusage.ru_utime.tv_sec=9
#  childrusage.ru_utime.tv_usec=251593
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=425935
# CPU time returned by wait4() is 9.67753
# while last known CPU time is 9.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 9.79165
CPU time (s): 9.68
CPU user time (s): 9.25
CPU system time (s): 0.43
CPU usage (%): 98.8597
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.25159
system time used= 0.425935
maximum resident set size= 1071832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 38

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029995 second user time and 0.037994 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 01:28:39
IDJOB=4099193
IDBENCH=1330
IDSOLVER=2542
FILE ID=node136/4099193-1466206119
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 8170439ba832b251137a16b29cd20ba3
RANDOM SEED=241609945

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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		: 2667.278
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.56
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		: 2667.278
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.67
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		: 2667.278
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:        28692064 kB
Buffers:          132652 kB
Cached:          1639644 kB
SwapCached:            0 kB
Active:           143284 kB
Inactive:        1639856 kB
Active(anon):      13440 kB
Inactive(anon):        0 kB
Active(file):     129844 kB
Inactive(file):  1639856 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33192 kB
Writeback:             0 kB
AnonPages:       1669172 kB
Mapped:            12944 kB
Shmem:               204 kB
Slab:             608936 kB
SReclaimable:      52388 kB
SUnreclaim:       556548 kB
KernelStack:        1448 kB
PageTables:         7052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1752856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71724 MiB
End job on node136 at 2016-06-18 01:28:49