Trace number 4093499

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-02OPTIMUM 7.14791 7.15045

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-6_wcsp.wbo
MD5SUMf90a27dc84ea26cc1e1bd524595c9b49
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.082986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables180
Total number of constraints516
Number of soft constraints486
Number of constraints which are clauses486
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint6
Top cost 82
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 486
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T23:10:26+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","--wbo","--search=bcd2","HOME/instance-4093499-1466111425.wbo"]
0.00/0.01	c use --random-gen="3484270098 2162755829 1067273283 1833358164 332665700 2124389756 839554486 4056108130 1926809695 1617868743 879576455 1451879510 1145395776 264039361 4158099572 4109269105 2869073664 168321597 3412068775 3088106517 465544490 4080051283 2783524890 3025379490 1298584196 2028939188 3099177189 3882297536 1337183377 256038283 448771941 2457320999 1260326772 3312472079 1016064527 285145019 3252619082 1405927566 2326886183 2263803684 4116752182 1464747324 398345994 918002508 2845901819 62567030 3662496044 3931933806 86691556 2468075559 470810319 2765040606 39044927 2945926708 2275495715 37663110 3943832200 8576130 1391220609 4177904044 981882720 2423368021 3866643545 1113321800 85698007 821667087 3588865165 2602057583 3365617982 2573522968 351284179 1492890774 1249388876 1836029283 3699702496 1738302798 110129215 342868732 3927602053 3145761989 3779848162 1412011520 1766447235 2761142457 1655740312 2679145019 2482344288 2517451639 4186696079 109438687 2473833993 2890729064 949538247 3149255593 3774200454 1856748753 3952536420 2765704757 2844659804 2422643920 4245863460 404004072 2665076922 3362674945 314016333 3828530297 4015916631 2009751574 1447886370 4150343965 2942598083 3236879728 1135173676 2352615028 1026959178 1381974444 3298313587 467479964 2707802356 1203473967 3411719041 1813720572 2992656922 3095025469 1605074874 1954462482 755216008 2859680831 239877545 2256311592 100106622 1499158167 1242208250 1652564524 1446084144 1263188889 1838829172 23052346 686477276 4179115214 3183918422 3387513150 2741602309 397824475 2675105838 1654532635 3203493681 1852510512 2628550278 2140376873 1761236392 2134569661 681905295 2564493859 1122872275 2410141202 2358962809 1795074862 148656077 2764484212 1864018980 3536084464 2234098955 3970503753 970307215 3661401946 674187749 2257861962 747361778 2913288870 451011041 2701534720 758686285 968819001 2364737986 625479878 2216498930 4290302475 3069968488 3732884834 2625930334 330182781 1436528953 2744233630 2817247647 4275498935 1388881892 4011969266 1190050403 609996355 2480405163 2520036691 3543184841 3071106629 2999324292 208718182 59295171 2187760509 679584532 1691641555 1445987473 924430819 2646004626 1893391034 1137027837 324890163 1456912542 2144625425 3059039894 4172210036 3106186831 875304683 1333536597 1459492617 1722409732 2245961251 3215729528 1106675179 1626655452 2945691408 1542473539 197247105 221114070 2630523027 4221921026 3516751398 3306783990 3920504445 1292315786 4222617537 3580420379 1512752414 3310606088 993991270 1150546618 1301937300 4271054155 1233289605 2885622048 488013692 232822696 781274261 1590018965 236150625 1581704746 4177933699 2237016666 224762564 3740940330 4229486435 1284978616 1991279512 2695106045 1198405516 2192546153 2300472903 255 362436" option to reproduce the execution
6.99/7.08	c #vars 180
6.99/7.08	c #constraints 516
6.99/7.09	c BCD2: Hardening is enabled.
6.99/7.09	c BCD2: BiasedSearch is enabled.
6.99/7.09	c Solving starts ...
6.99/7.09	c ============================[ Search Statistics ]============================
6.99/7.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.99/7.09	c       |         |          |          |    Limit     GC | Var      | Constra 
6.99/7.09	c =============================================================================
6.99/7.09	c  0.0s |       0 |        0 |        0 |      404      0 |        0 |        0
6.99/7.09	c  0.0s |       0 |      512 |        0 |      404      0 |        0 |        0
6.99/7.09	c #cpu_time = 0.002s
6.99/7.10	c #wall_clock_time = 0.002s
6.99/7.10	c #decision = 512
6.99/7.10	c #random_decision = 3
6.99/7.10	c #conflict = 0
6.99/7.10	c #restart = 0
6.99/7.10	o 0
6.99/7.10	s OPTIMUM FOUND
7.09/7.10	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10
7.09/7.10	v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20
7.09/7.10	v x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30
7.09/7.10	v -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40
7.09/7.10	v -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50
7.09/7.10	v -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
7.09/7.10	v -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 x70
7.09/7.10	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80
7.09/7.10	v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 x89 -x90
7.09/7.10	v -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 x100
7.09/7.10	v -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110
7.09/7.10	v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 x119 -x120
7.09/7.10	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
7.09/7.10	v x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140
7.09/7.10	v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 x150
7.09/7.10	v -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160
7.09/7.10	v -x161 x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
7.09/7.10	v -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180
7.09/7.10	c total CPU time = 7.081s
7.09/7.10	c total wall clock time = 7.099s

Verifier Data 

OK	0

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-4093499-1466111425/watcher-4093499-1466111425 -o /tmp/evaluation-result-4093499-1466111425/solver-4093499-1466111425 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466109624-27332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093499-1466111425.wbo 

pid=27527
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.14 2.17 2.35 2/180 27530
/proc/meminfo: memFree=30722112/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=799164 CPUtime=0 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 2997 0 0 0 0 0 0 0 20 0 4 0 13191538 818343936 3358 33554432000 4194304 16246674 140735810811488 140735810810912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 200559 3366 441 2943 0 197453 0
[pid=27530/tid=27531] ppid=27527 vsize=817596 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 837218304 3426 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=821692 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 841412608 3443 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=825788 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 845606912 3460 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.14 2.17 2.35 2/180 27530
/proc/meminfo: memFree=30722112/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 17512 0 0 0 7 2 0 0 20 0 4 0 13191538 1247350784 17866 33554432000 4194304 16246674 140735810811488 140735810810912 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 17869 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 17872 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 17873 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 17875 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200494 s]
/proc/loadavg: 2.14 2.17 2.35 2/180 27530
/proc/meminfo: memFree=30722112/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 25819 0 0 0 16 3 0 0 20 0 4 0 13191538 1247350784 26173 33554432000 4194304 16246674 140735810811488 140735810810912 12459121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 26183 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 26190 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 26197 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 26204 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300474 s]
/proc/loadavg: 2.14 2.17 2.35 2/180 27530
/proc/meminfo: memFree=30722112/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 32795 0 0 0 24 4 0 0 20 0 4 0 13191538 1247350784 33149 33554432000 4194304 16246674 140735810811488 140735810810912 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 33150 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 33150 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 33150 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 33151 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700382 s]
/proc/loadavg: 2.14 2.17 2.35 2/180 27530
/proc/meminfo: memFree=30722112/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 54811 0 0 0 62 7 0 0 20 0 4 0 13191538 1247350784 55165 33554432000 4194304 16246674 140735810811488 140735810793408 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 55166 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 55168 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 55168 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 55170 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.13 2.17 2.35 3/184 27534
/proc/meminfo: memFree=30181376/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 87780 0 0 0 137 12 0 0 20 0 4 0 13191538 1247350784 88134 33554432000 4194304 16246674 140735810811488 140735810793408 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 88137 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 88139 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 88140 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 88140 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10037 s]
/proc/loadavg: 2.13 2.17 2.35 3/184 27534
/proc/meminfo: memFree=29873236/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=3.09 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 135791 0 0 0 290 19 0 0 20 0 4 0 13191538 1247350784 136145 33554432000 4194304 16246674 140735810811488 140735810793408 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 136145 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 136145 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 136146 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 136146 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1218116

[startup+6.30035 s]
/proc/loadavg: 2.13 2.17 2.35 4/184 27534
/proc/meminfo: memFree=29266804/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=6.29 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 198991 0 0 0 601 28 0 0 20 0 4 0 13191538 1247350784 199345 33554432000 4194304 16246674 140735810811488 140735810793408 6144850 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 199345 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 199345 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 199345 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 199348 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1218116

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

[startup+6.40043 s]
/proc/loadavg: 2.13 2.17 2.35 4/184 27534
/proc/meminfo: memFree=29266804/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=6.39 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 200556 0 0 0 611 28 0 0 20 0 4 0 13191538 1247350784 200910 33554432000 4194304 16246674 140735810811488 140735810793408 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 200910 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 200910 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 200910 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 200910 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1218116

[startup+6.80033 s]
/proc/loadavg: 2.12 2.16 2.35 4/184 27534
/proc/meminfo: memFree=29118136/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=6.79 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 206804 0 0 0 650 29 0 0 20 0 4 0 13191538 1247350784 207158 33554432000 4194304 16246674 140735810811488 140735810793408 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 207158 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 207158 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 207158 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 207158 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 1218116

[startup+7.00033 s]
/proc/loadavg: 2.12 2.16 2.35 4/184 27534
/proc/meminfo: memFree=29118136/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=6.99 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 209920 0 0 0 670 29 0 0 20 0 4 0 13191538 1247350784 210274 33554432000 4194304 16246674 140735810811488 140735810793408 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 210274 613 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 210274 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 210274 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 210274 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 1218116

[startup+7.10038 s]
/proc/loadavg: 2.12 2.16 2.35 4/184 27534
/proc/meminfo: memFree=29118136/32872528 swapFree=1103228/1182944
[pid=27530] ppid=27527 vsize=1218116 CPUtime=7.09 cores=0,2,4,6
/proc/27530/stat : 27530 (toysat) R 27527 27530 24719 0 -1 4202496 214812 0 0 0 679 30 0 0 20 0 4 0 13191538 1247350784 215158 33554432000 4194304 16246674 140735810811488 140735810793408 13906216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27530/statm: 304529 215173 764 2943 0 301423 0
[pid=27530/tid=27531] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27531/stat : 27531 (toysat) S 27527 27530 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 215183 33554432000 4194304 16246674 140735810811488 140283525180656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27530/tid=27532] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27532/stat : 27532 (toysat) S 27527 27530 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 215194 33554432000 4194304 16246674 140735810811488 140283514690800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27530/tid=27533] ppid=27527 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27530/task/27533/stat : 27533 (toysat) S 27527 27530 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13191538 1247350784 215204 33554432000 4194304 16246674 140735810811488 140283429776560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 1218116

Child status: 0
Real time (s): 7.15045
CPU time (s): 7.14791
CPU user time (s): 6.79797
CPU system time (s): 0.349946
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.79797
system time used= 0.349946
maximum resident set size= 861164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214953
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= 22
involuntary context switches= 8

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020996 second user time and 0.048992 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-16 23:10:26
IDJOB=4093499
IDBENCH=79660
IDSOLVER=2553
FILE ID=node115/4093499-1466111425
RUNJOBID= node115-1466109624-27332
PBS_JOBID= 19904041
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-geom30a-6_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093499-1466111425/watcher-4093499-1466111425 -o /tmp/evaluation-result-4093499-1466111425/solver-4093499-1466111425 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466109624-27332 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093499-1466111425.wbo

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

MD5SUM BENCH= f90a27dc84ea26cc1e1bd524595c9b49
RANDOM SEED=657308352

node115.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.103
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.20
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.103
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.103
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.103
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.103
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.103
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.103
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.103
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:        30737784 kB
Buffers:           66704 kB
Cached:           148208 kB
SwapCached:         2104 kB
Active:           133896 kB
Inactive:         110584 kB
Active(anon):      31068 kB
Inactive(anon):     1636 kB
Active(file):     102828 kB
Inactive(file):   108948 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             32672 kB
Writeback:             0 kB
AnonPages:       1210092 kB
Mapped:             9724 kB
Shmem:                 0 kB
Slab:             570472 kB
SReclaimable:      14488 kB
SUnreclaim:       555984 kB
KernelStack:        1448 kB
PageTables:         7916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2310680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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= 71728 MiB
End job on node115 at 2016-06-16 23:10:33