Trace number 4099375

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 21.6937 21.6965

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb
MD5SUM76a48b8845ca731b7df3e7e82d604015
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 benchmark1.37479
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 687
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:58+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-4099375-1466206138.opb"]
0.00/0.01	c use --random-gen="371902162 172146413 2058741097 248789218 1404088469 4111261409 538082240 2234826655 1744105731 3715918363 3999766781 3227517800 1950734084 389782626 2317894620 2810227091 3098497386 1955752883 3170349166 2219876951 3493774254 1427644256 405240442 3794045895 3743246486 1853558567 1410976255 3915492748 2041264581 2123842169 2584155219 97004617 2351517793 197032528 3550426791 4103107800 1540725348 2062864397 1215929685 7602844 2335312323 326747638 1755815236 2907281766 1042036883 2513457978 2095201264 2217170287 3136239353 1465514261 2247814407 3115742646 3816475803 3782380358 4268985368 3342073340 2045664259 17757112 1449497309 311917295 1551281609 1827546121 3288806300 2479743684 3718939244 673889324 4023370368 363913311 3414279314 1012173612 590046599 1650769393 181816167 3549600837 2808631934 3772366069 3766742712 1532742459 877200980 707277273 1170648326 1504970053 1929972738 1519413848 3027653610 2411040970 1907846527 3889266102 150234858 3378337580 3819823147 548637680 292438643 1101257184 3854685977 495071926 2568407787 3376959451 632971616 3093524804 2099219686 3419416420 266115702 427263040 1848641446 4074221732 2135842472 4284586716 4075956378 1595321763 3333763495 4160575567 3670003908 3955511245 1449022271 2993677356 3512424262 590600597 1254360783 103222818 72243812 2359745216 672352975 1000216202 375446341 134676472 2754458520 4276009484 2211383279 1798942984 2718289236 2077872964 857278112 2713229123 62325972 523569486 4062477271 3930918397 163379667 1930294681 4256364850 1899550926 1052457867 300506741 148874881 3728537704 4087219550 3088691317 2827156551 3894569873 2779712640 2594049531 4109266313 572344278 3206544883 4205130885 3041613614 2290334241 2736975967 3059981975 542714710 929339876 1407182045 3372218979 443859976 1981705884 2539033961 155916514 2633831622 1965417581 797115490 3879269939 3127088154 4082126850 1554300923 204347384 985530871 4127293492 3951254786 893848738 1895359100 1477909894 3672584620 50934846 2674377075 1657556466 3815960097 1109254235 1710633036 909886556 292900452 2874129491 3556643619 1225435757 3815929136 707586891 3388043771 84763772 3976525171 3858030748 3446416336 4115170051 3424298352 1730747077 1343625338 2873853866 2811142418 2641159872 1149701066 3873348834 2280626761 3282065489 1154201951 3172478179 2781332876 2059043254 3859162100 730101642 2992998556 3503293234 1631401002 4179399384 2531266253 233411212 2056475717 2578212075 1409928029 2742900505 2053015771 1074868394 3744962475 3120016150 862239310 2653680634 3892786020 1261114941 1533978662 3530802298 2422034656 2726042473 1733117280 2877140009 4054944135 586688247 3021782377 3602955046 2570957628 4125004971 3390311024 683171028 2563878146 4290277952 1224446215 4210863265 3818122981 4056532894 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      186 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      447 |      250 |     1077      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |      834 |      475 |     1185      0 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1387 |      813 |     1304      0 |        0 |        0
0.29/0.36	c  0.3s |       5 |     2131 |     1320 |     1435      0 |        0 |        0
0.49/0.56	c  0.5s |       6 |     3372 |     2081 |     1737      1 |        0 |        0
0.79/0.87	c  0.8s |       7 |     5300 |     3223 |     1911      2 |        0 |        0
1.29/1.37	c  1.3s |       8 |     8283 |     4936 |     2103      4 |        0 |        0
1.89/1.93	c  1.9s |       9 |    12805 |     7506 |     2314      5 |        1 |       11
2.79/2.88	c  2.8s |      10 |    19020 |    11361 |     2546      8 |        1 |       11
4.09/4.15	c  4.1s |      11 |    29163 |    17144 |     2801     12 |        1 |       11
5.79/5.89	c  5.8s |      12 |    44365 |    25819 |     3082     16 |        3 |       33
7.89/7.91	c  7.8s |      12 |    60664 |    35419 |     3082     20 |        4 |       44
8.49/8.60	c  8.5s |      13 |    66501 |    38832 |     3391     21 |        6 |       66
10.59/10.60	c 10.5s |      13 |    81805 |    47832 |     3391     26 |        6 |       66
12.59/12.61	c 12.5s |      13 |    99668 |    58032 |     3731     29 |        8 |       88
12.59/12.68	c 12.6s |      14 |   100134 |    58352 |     3731     29 |        8 |       88
14.59/14.69	c 14.6s |      14 |   117326 |    68252 |     3731     33 |        9 |       99
16.69/16.71	c 16.6s |      14 |   129812 |    75952 |     3731     38 |        9 |       99
18.69/18.72	c 18.6s |      14 |   144139 |    84552 |     3731     42 |        9 |       99
19.29/19.38	c 19.3s |      15 |   149151 |    87632 |     4105     44 |        9 |       99
21.39/21.40	c 21.3s |      15 |   164280 |    96832 |     4105     46 |       18 |      198
21.59/21.63	c 21.6s |      15 |   166260 |    98082 |     4105     46 |      176 |      484
21.59/21.63	c #cpu_time = 21.501s
21.59/21.63	c #wall_clock_time = 21.558s
21.59/21.63	c #decision = 166260
21.59/21.63	c #random_decision = 555
21.59/21.63	c #conflict = 98082
21.59/21.63	c #restart = 15
21.59/21.63	s UNSATISFIABLE
21.59/21.63	c total CPU time = 21.578s
21.59/21.63	c total wall clock time = 21.635s

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

pid=11468
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: 0.64 0.16 0.05 3/179 11471
/proc/meminfo: memFree=30705536/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 2924 0 0 0 0 0 0 0 20 0 4 0 22664201 800518144 3285 33554432000 4194304 16246674 140735976471648 140735976471072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 195951 3295 441 2943 0 192845 0
[pid=11471/tid=11472] ppid=11468 vsize=799164 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 818343936 3355 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=804284 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 823586816 3372 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=808380 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22664201 827781120 3390 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 0.64 0.16 0.05 3/179 11471
/proc/meminfo: memFree=30705536/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 25440 0 0 0 5 4 0 0 20 0 4 0 22664201 1247350784 25789 33554432000 4194304 16246674 140735976471648 140735976471072 5662594 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 304529 25796 729 2943 0 301423 0
[pid=11471/tid=11472] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 25803 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 25809 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 25814 33554432000 4194304 16246674 140735976471648 139979242065072 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.200519 s]
/proc/loadavg: 0.64 0.16 0.05 3/179 11471
/proc/meminfo: memFree=30705536/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 41290 0 0 0 13 6 0 0 20 0 4 0 22664201 1247350784 41639 33554432000 4194304 16246674 140735976471648 140735976471072 13193266 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 304529 41649 729 2943 0 301423 0
[pid=11471/tid=11472] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 41654 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 41657 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 41662 33554432000 4194304 16246674 140735976471648 139979242065072 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.300497 s]
/proc/loadavg: 0.64 0.16 0.05 3/179 11471
/proc/meminfo: memFree=30705536/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 56685 0 0 0 21 8 0 0 20 0 4 0 22664201 1247350784 57034 33554432000 4194304 16246674 140735976471648 140735976471072 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 304529 57041 729 2943 0 301423 0
[pid=11471/tid=11472] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 57044 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 57048 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 57050 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700408 s]
/proc/loadavg: 0.64 0.16 0.05 3/179 11471
/proc/meminfo: memFree=30705536/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 119182 0 0 0 54 15 0 0 20 0 4 0 22664201 1247350784 119532 33554432000 4194304 16246674 140735976471648 140735976453568 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 304529 119538 736 2943 0 301423 0
[pid=11471/tid=11472] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 119544 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 119549 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 119551 33554432000 4194304 16246674 140735976471648 139979242065072 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.50041 s]
/proc/loadavg: 0.64 0.16 0.05 3/183 11475
/proc/meminfo: memFree=29970988/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 244440 0 0 0 117 32 0 0 20 0 4 0 22664201 1247350784 244789 33554432000 4194304 16246674 140735976471648 140735976453568 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 304529 244797 736 2943 0 301423 0
[pid=11471/tid=11472] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 244802 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 244804 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22664201 1247350784 244806 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 0.64 0.16 0.05 3/183 11475
/proc/meminfo: memFree=29720136/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 266692 0 0 0 274 35 0 0 20 0 4 0 22664201 1334382592 267021 33554432000 4194304 16246674 140735976471648 140735976453568 5522872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 325777 267021 800 2943 0 322671 0
[pid=11471/tid=11472] ppid=11468 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1334382592 267021 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1334382592 267021 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664201 1334382592 267021 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30043 s]
/proc/loadavg: 0.75 0.19 0.06 3/183 11475
/proc/meminfo: memFree=29634468/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 267647 0 0 0 594 35 0 0 20 0 4 0 22664201 1338576896 267976 33554432000 4194304 16246674 140735976471648 140735976453568 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 326801 267976 802 2943 0 323695 0
[pid=11471/tid=11472] ppid=11468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1338576896 267976 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1338576896 267976 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664201 1338576896 267976 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 0.85 0.22 0.07 2/174 11604
/proc/meminfo: memFree=30728440/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 267863 0 0 0 1234 35 0 0 20 0 4 0 22664201 1339625472 268192 33554432000 4194304 16246674 140735976471648 140735976454640 5823643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 327057 268192 802 2943 0 323951 0
[pid=11471/tid=11472] ppid=11468 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1339625472 268192 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1339625472 268192 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664201 1339625472 268192 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

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

[startup+12.8005 s]
/proc/loadavg: 0.85 0.22 0.07 2/174 11604
/proc/meminfo: memFree=30728440/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1308228 CPUtime=12.79 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 267863 0 0 0 1244 35 0 0 20 0 4 0 22664201 1339625472 268192 33554432000 4194304 16246674 140735976471648 140735976454640 6011952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 327057 268192 802 2943 0 323951 0
[pid=11471/tid=11472] ppid=11468 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1339625472 268192 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1339625472 268192 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664201 1339625472 268192 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1308228

[startup+16.0004 s]
/proc/loadavg: 0.94 0.25 0.08 4/183 11622
/proc/meminfo: memFree=29592780/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1308228 CPUtime=15.99 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 268096 0 0 0 1564 35 0 0 20 0 4 0 22664201 1339625472 268425 33554432000 4194304 16246674 140735976471648 140735976453568 5546093 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 327057 268425 803 2943 0 323951 0
[pid=11471/tid=11472] ppid=11468 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1339625472 268425 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1339625472 268425 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664201 1339625472 268425 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1308228

[startup+19.2004 s]
/proc/loadavg: 1.02 0.28 0.09 3/183 11622
/proc/meminfo: memFree=29587708/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1312324 CPUtime=19.19 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 269120 0 0 0 1884 35 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 140735976453568 13820907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 328081 269449 803 2943 0 324975 0
[pid=11471/tid=11472] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 1312324

[startup+20.8004 s]
/proc/loadavg: 1.02 0.28 0.09 3/183 11622
/proc/meminfo: memFree=29587476/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1312324 CPUtime=20.79 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 269120 0 0 0 2044 35 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 140735976453568 5523404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 328081 269449 803 2943 0 324975 0
[pid=11471/tid=11472] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 20.79
Current children cumulated vsize (KiB) 1312324

[startup+21.2004 s]
/proc/loadavg: 1.02 0.28 0.09 3/183 11622
/proc/meminfo: memFree=29587484/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1312324 CPUtime=21.19 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 269120 0 0 0 2084 35 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 140735976453568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 328081 269449 803 2943 0 324975 0
[pid=11471/tid=11472] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 21.19
Current children cumulated vsize (KiB) 1312324

[startup+21.6004 s]
/proc/loadavg: 1.02 0.28 0.09 3/183 11622
/proc/meminfo: memFree=29587484/32872528 swapFree=249320/249320
[pid=11471] ppid=11468 vsize=1312324 CPUtime=21.59 cores=1,3,5,7
/proc/11471/stat : 11471 (toysat) R 11468 11471 11324 0 -1 4202496 269120 0 0 0 2124 35 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 140735976453568 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11471/statm: 328081 269449 803 2943 0 324975 0
[pid=11471/tid=11472] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11472/stat : 11472 (toysat) S 11468 11471 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979263028464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11471/tid=11473] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11473/stat : 11473 (toysat) S 11468 11471 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979252538608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11471/tid=11474] ppid=11468 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11471/task/11474/stat : 11474 (toysat) S 11468 11471 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22664201 1343819776 269449 33554432000 4194304 16246674 140735976471648 139979242065072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 21.59
Current children cumulated vsize (KiB) 1312324

Child status: 0
Real time (s): 21.6965
CPU time (s): 21.6937
CPU user time (s): 21.2778
CPU system time (s): 0.415936
CPU usage (%): 99.987
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.2778
system time used= 0.415936
maximum resident set size= 1077808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269125
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= 21
involuntary context switches= 23

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

The end

Launcher Data 

Begin job on node103 at 2016-06-18 01:28:58
IDJOB=4099375
IDBENCH=1365
IDSOLVER=2542
FILE ID=node103/4099375-1466206138
RUNJOBID= node103-1466206104-11341
PBS_JOBID= 19918169
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 76a48b8845ca731b7df3e7e82d604015
RANDOM SEED=1945549684

node103.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.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		: 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.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		: 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.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		: 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:        30705940 kB
Buffers:           35464 kB
Cached:            98320 kB
SwapCached:         2456 kB
Active:          1159004 kB
Inactive:          55656 kB
Active(anon):    1080888 kB
Inactive(anon):     2272 kB
Active(file):      78116 kB
Inactive(file):    53384 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099368 kB
Dirty:             33116 kB
Writeback:             0 kB
AnonPages:       1329024 kB
Mapped:            10296 kB
Shmem:                 0 kB
Slab:             570040 kB
SReclaimable:      13996 kB
SUnreclaim:       556044 kB
KernelStack:        1456 kB
PageTables:         7076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1471692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node103 at 2016-06-18 01:29:20