Trace number 4099361

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 18.7252 18.7367

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb
MD5SUMf510e821cdc50f097865b59193d7ef06
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 benchmark2.5986
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 677
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:56+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-4099361-1466206136.opb"]
0.00/0.01	c use --random-gen="2590291370 3207564151 3053041567 2435750040 2831894719 137737005 688626378 4042407475 87740957 3046119820 3753476510 3451393196 2278872993 1064102059 1246729279 1233390490 2175403370 3706117714 2582694412 3282783561 768787377 305203761 3014709268 535899649 1814425133 2482936146 625244402 1952920716 533840389 1383290489 1711358168 1859102912 802011591 745835094 3804709914 1944054827 2546778896 810689682 4083031639 2834302959 547527852 2825601319 4259895952 273295013 1489907816 1287826566 2418654905 2065765539 1319375011 3156537534 4221095534 3788253418 2456076220 2285309746 2907794302 2049158285 1012099981 923539065 1888425470 1979004840 3573956427 3041711664 1704660339 2394383918 534336353 3353110710 3812152672 1213965872 269250284 524690843 4204431765 4223590619 3756304750 1696409217 2300766377 4171657494 126067654 330354194 3757934712 3371379816 2334205769 290697343 3702959804 4079324370 1495464490 1740448536 2759966634 1252762961 3890777189 4220835161 1765752709 4116041295 2679656251 1384032846 981229230 3978077047 3727111684 2428028994 1819942579 3723398664 3778120003 556915671 929944049 1337428505 1404133533 2963434132 1486457262 3929378654 1868554161 2069699393 637886659 3427346377 3573754006 1035257327 1317517238 3637068766 3443492001 3326639381 74926398 2750371169 3020894085 3703728365 4100677583 3947108414 1891333951 3667911096 4246429738 287386252 2671274773 3588241382 3571162540 856363521 1102300972 3218887671 509496124 364208183 3295000088 3224205424 3483395634 3150956867 1092899804 1328230369 2216733682 568125614 3339364065 3419733380 1039989722 2283846639 2772287995 3969808972 690628351 2526602630 1717506250 546014317 15147957 444315332 1959523364 4244867129 3911203847 3454106229 983418322 1423363380 1478836956 3770633972 305679660 4078802527 3872959507 100096602 479465158 695610456 715522873 1932841070 3173456069 1067155954 3309229202 1536920607 1858857766 854385334 3945703655 304173018 4113461920 1902732426 3621161505 224970226 3800602253 2035869264 1025620375 528911427 64949678 1545003665 1212084263 354826233 2959015316 1788522504 676130719 140554497 2107992167 2759199188 594030079 3565606283 1918031890 867424141 4077225493 832935182 1818788993 2212996510 3744576536 2773111356 3188759399 2223586181 2162908392 2370011065 403426879 291840221 524592982 3083780965 320519770 347892826 1019148770 852222877 1566231666 2061015941 3312780654 728021199 1601017949 3868638194 427165131 870850829 3714978751 2042125546 2467128479 2155761350 3950859165 1229037592 2399914909 1072252248 3428986609 1611575940 237226754 1735594663 139250866 2333489722 3015827530 1695997396 3244498417 3435522177 2720935579 1425637001 2891582191 3506101073 395878892 734057360 893494459 2115341556 405747728 2686111591 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.08	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      219 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      480 |      250 |     1077      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      875 |      475 |     1185      0 |        0 |        0
0.19/0.25	c  0.2s |       4 |     1342 |      813 |     1304      0 |        0 |        0
0.29/0.39	c  0.3s |       5 |     2063 |     1320 |     1435      0 |        0 |        0
0.59/0.62	c  0.5s |       6 |     3111 |     2081 |     1737      1 |        0 |        0
0.89/0.90	c  0.8s |       7 |     4942 |     3223 |     1911      2 |        0 |        0
1.39/1.41	c  1.3s |       8 |     7435 |     4936 |     2103      4 |        0 |        0
1.99/2.07	c  2.0s |       9 |    11501 |     7506 |     2314      6 |        0 |        0
2.99/3.05	c  3.0s |      10 |    17432 |    11361 |     2546      9 |        0 |        0
4.19/4.28	c  4.2s |      11 |    27645 |    17144 |     2801     12 |        1 |       11
5.60/5.68	c  5.6s |      12 |    43571 |    25819 |     3082     18 |        1 |       11
7.59/7.68	c  7.6s |      12 |    63012 |    36519 |     3082     24 |        2 |       22
7.99/8.06	c  8.0s |      13 |    67348 |    38832 |     3391     24 |        3 |       33
10.00/10.08	c 10.0s |      13 |    87005 |    50132 |     3391     30 |        4 |       44
11.79/11.87	c 11.8s |      14 |   100447 |    58352 |     3731     34 |        5 |       77
13.79/13.88	c 13.8s |      14 |   115396 |    67052 |     3731     37 |        7 |       99
15.89/15.91	c 15.8s |      14 |   132419 |    76552 |     3731     39 |        8 |      110
17.69/17.73	c 17.7s |      15 |   152098 |    87632 |     4105     42 |       13 |      163
18.59/18.67	c 18.6s |      15 |   162906 |    93622 |     4105     42 |       56 |      599
18.59/18.67	c #cpu_time = 18.549s
18.59/18.67	c #wall_clock_time = 18.597s
18.59/18.67	c #decision = 162906
18.59/18.67	c #random_decision = 579
18.59/18.67	c #conflict = 93622
18.59/18.67	c #restart = 15
18.59/18.67	s UNSATISFIABLE
18.59/18.67	c total CPU time = 18.627s
18.59/18.67	c total wall clock time = 18.675s

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

pid=15352
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.10 0.43 0.23 3/179 15355
/proc/meminfo: memFree=29735400/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=711100 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 2651 0 0 0 0 0 0 0 20 0 4 0 22660248 728166400 3012 33554432000 4194304 16246674 140734843623104 140734843622528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 178287 3021 441 2943 0 175181 0
[pid=15355/tid=15356] ppid=15352 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 745992192 3081 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 751235072 3098 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660248 755429376 3114 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100155 s]
/proc/loadavg: 1.10 0.43 0.23 3/179 15355
/proc/meminfo: memFree=29735400/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 25264 0 0 0 5 4 0 0 20 0 4 0 22660248 1247350784 25614 33554432000 4194304 16246674 140734843623104 140734843622528 5532589 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 304529 25621 731 2943 0 301423 0
[pid=15355/tid=15356] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 25626 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 25631 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 25636 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200403 s]
/proc/loadavg: 1.10 0.43 0.23 3/179 15355
/proc/meminfo: memFree=29735400/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 41195 0 0 0 13 6 0 0 20 0 4 0 22660248 1247350784 41545 33554432000 4194304 16246674 140734843623104 140734843622528 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 304529 41553 731 2943 0 301423 0
[pid=15355/tid=15356] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 41556 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 41561 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 41567 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 1.10 0.43 0.23 3/179 15355
/proc/meminfo: memFree=29735400/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 56948 0 0 0 20 9 0 0 20 0 4 0 22660248 1247350784 57297 33554432000 4194304 16246674 140734843623104 140734843606104 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 304529 57304 731 2943 0 301423 0
[pid=15355/tid=15356] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 57311 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 57316 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 57322 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 1.10 0.43 0.23 3/179 15355
/proc/meminfo: memFree=29735400/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 118253 0 0 0 50 19 0 0 20 0 4 0 22660248 1247350784 118602 33554432000 4194304 16246674 140734843623104 140734843606104 5600539 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 304529 118609 737 2943 0 301423 0
[pid=15355/tid=15356] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 118612 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 118615 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 118618 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 1.10 0.43 0.23 3/183 15359
/proc/meminfo: memFree=28937612/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 239718 0 0 0 112 37 0 0 20 0 4 0 22660248 1247350784 240067 33554432000 4194304 16246674 140734843623104 140734843606104 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 304529 240077 737 2943 0 301423 0
[pid=15355/tid=15356] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 240080 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 240083 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660248 1247350784 240088 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 1.10 0.43 0.23 3/183 15359
/proc/meminfo: memFree=28664680/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 266675 0 0 0 269 40 0 0 20 0 4 0 22660248 1334382592 267004 33554432000 4194304 16246674 140734843623104 140734843604992 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 325777 267004 801 2943 0 322671 0
[pid=15355/tid=15356] ppid=15352 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1334382592 267004 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1334382592 267004 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660248 1334382592 267004 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30041 s]
/proc/loadavg: 1.17 0.46 0.24 3/177 15363
/proc/meminfo: memFree=29647948/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 267537 0 0 0 588 41 0 0 20 0 4 0 22660248 1337528320 267866 33554432000 4194304 16246674 140734843623104 140734843604992 5823116 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 326545 267866 803 2943 0 323439 0
[pid=15355/tid=15356] ppid=15352 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1337528320 267866 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1337528320 267866 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660248 1337528320 267866 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.24 0.48 0.25 3/183 15506
/proc/meminfo: memFree=28516232/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 269379 0 0 0 1228 41 0 0 20 0 4 0 22660248 1344868352 269708 33554432000 4194304 16246674 140734843623104 140734843604992 5823408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 328337 269708 804 2943 0 325231 0
[pid=15355/tid=15356] ppid=15352 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1344868352 269708 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1344868352 269708 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660248 1344868352 269708 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

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

[startup+12.8005 s]
/proc/loadavg: 1.24 0.48 0.25 3/183 15506
/proc/meminfo: memFree=28516232/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1313348 CPUtime=12.79 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 269379 0 0 0 1238 41 0 0 20 0 4 0 22660248 1344868352 269708 33554432000 4194304 16246674 140734843623104 140734843604992 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 328337 269708 804 2943 0 325231 0
[pid=15355/tid=15356] ppid=15352 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1344868352 269708 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1344868352 269708 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660248 1344868352 269708 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1313348

[startup+16.0004 s]
/proc/loadavg: 1.30 0.51 0.26 3/183 15506
/proc/meminfo: memFree=28513168/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1316420 CPUtime=15.99 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 270147 0 0 0 1558 41 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140734843604992 5822964 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 329105 270476 804 2943 0 325999 0
[pid=15355/tid=15356] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1316420

[startup+17.6004 s]
/proc/loadavg: 1.30 0.51 0.26 3/183 15506
/proc/meminfo: memFree=28513068/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1316420 CPUtime=17.59 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 270147 0 0 0 1718 41 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140734843604992 5828128 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 329105 270476 804 2943 0 325999 0
[pid=15355/tid=15356] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 1316420

[startup+18.4004 s]
/proc/loadavg: 1.30 0.51 0.26 3/183 15506
/proc/meminfo: memFree=28513068/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1316420 CPUtime=18.39 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 270147 0 0 0 1798 41 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140734843604992 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 329105 270476 804 2943 0 325999 0
[pid=15355/tid=15356] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 1316420

[startup+18.6004 s]
/proc/loadavg: 1.30 0.51 0.26 3/183 15506
/proc/meminfo: memFree=28513068/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=1316420 CPUtime=18.59 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) R 15352 15355 14522 0 -1 4202496 270147 0 0 0 1818 41 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140734843604992 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 329105 270476 804 2943 0 325999 0
[pid=15355/tid=15356] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) S 15352 15355 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246389861616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15355/tid=15357] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (toysat) S 15352 15355 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246379371760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15355/tid=15358] ppid=15352 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (toysat) S 15352 15355 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660248 1348014080 270476 33554432000 4194304 16246674 140734843623104 140246368898224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 18.59
Current children cumulated vsize (KiB) 1316420

[startup+18.7004 s]
/proc/loadavg: 1.35 0.53 0.27 3/181 15506
/proc/meminfo: memFree=28939760/32872528 swapFree=1191052/1305516
[pid=15355] ppid=15352 vsize=0 CPUtime=18.69 cores=1,3,5,7
/proc/15355/stat : 15355 (toysat) Z 15352 15355 14522 0 -1 4202508 270152 0 0 0 1825 44 0 0 20 0 2 0 22660248 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15355/statm: 0 0 0 0 0 0 0
[pid=15355/tid=15356] ppid=15352 vsize=0 CPUtime=0.02 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (toysat) R 15352 15355 14522 0 -1 4202564 10 0 0 0 0 2 0 0 20 0 2 0 22660248 0 0 33554432000 0 0 0 0 0 256 0 33554432 0 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 18.69
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 18.7367
CPU time (s): 18.7252
CPU user time (s): 18.2572
CPU system time (s): 0.467928
CPU usage (%): 99.9383
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2572
system time used= 0.467928
maximum resident set size= 1081916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270152
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= 20

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042993 second user time and 0.087986 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 01:28:56
IDJOB=4099361
IDBENCH=1363
IDSOLVER=2542
FILE ID=node127/4099361-1466206136
RUNJOBID= node127-1466206072-14539
PBS_JOBID= 19918150
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.1900579996.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099361-1466206136/watcher-4099361-1466206136 -o /tmp/evaluation-result-4099361-1466206136/solver-4099361-1466206136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099361-1466206136.opb

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

MD5SUM BENCH= f510e821cdc50f097865b59193d7ef06
RANDOM SEED=856096247

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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:        29736044 kB
Buffers:           40588 kB
Cached:            98408 kB
SwapCached:          520 kB
Active:          1064828 kB
Inactive:          58624 kB
Active(anon):     985912 kB
Inactive(anon):      816 kB
Active(file):      78916 kB
Inactive(file):    57808 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100220 kB
Dirty:             33192 kB
Writeback:             0 kB
AnonPages:       2289708 kB
Mapped:            10032 kB
Shmem:                 0 kB
Slab:             572548 kB
SReclaimable:      16148 kB
SUnreclaim:       556400 kB
KernelStack:        1448 kB
PageTables:         8504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2437384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71704 MiB
End job on node127 at 2016-06-18 01:29:15