Trace number 4103641

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 172.373 172.409

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-kb2.opb
MD5SUM7bb51fb18714f8fdd98e0de4fc62f6d8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables1096
Total number of constraints52
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints52
Minimum length of a constraint13
Maximum length of a constraint300
Number of terms in the objective function 48
Biggest coefficient in the objective function 4325376
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 12058535
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 5715913739337728
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 75299293548900036
Number of bits of the biggest sum of numbers57
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-18T10:24:37+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-4103641-1466238277.opb"]
0.00/0.01	c use --random-gen="361510614 772396070 3751953531 3139799333 1707936177 1682149723 2064860110 2970978990 2182141847 333916070 2141271584 2710934626 3674309654 2512458799 3727743542 1726097037 4116189196 1914880988 3196341019 1822120939 1152605849 695392737 3491442116 2991906249 176768068 516535089 2962554245 2547677395 252617834 2926403600 3658689667 3478529466 3527949213 3658459832 134679978 1958992853 101125055 1584146887 617723369 481483970 319885947 2512603655 2129974372 2315836884 3982284238 668108520 1549248075 296105382 2209578690 1424582956 3265027164 615140597 4291617595 803232521 2448157972 995255346 1097130768 1400499613 1759409255 1384262551 2575561798 3153297718 1076110571 2400279489 3413377473 4073877732 3691542231 2417606953 304805836 1104951695 4149740370 1626584857 1465034848 2210478033 2570155234 1562677282 2331103014 3157198190 3587430868 3297826255 1133798836 529248368 2655013463 1898869675 768829787 3968818452 3573964634 4039642302 3780194128 4165492694 251644584 531626779 1413404899 3722030979 2007814761 1900208537 3594683296 31661576 4198441360 3627137340 2361746324 1310802487 4120876575 3548374894 3954033656 2926321830 399746109 173325801 4027729836 3151800776 974092519 629341068 1653126317 2261533397 2033189162 1944558814 2927440400 411582738 2115171611 4056474083 2489131907 2884099037 3926228146 1354402673 3509125452 2082082646 3175132613 532937177 4125094603 3992197864 1448878586 3857073470 1827035375 3173896374 2491093143 2860721550 3436632875 1224285570 3400826398 2597091649 1067925469 3914601648 1824769425 4013535819 103299734 1062975887 2780522582 1174669236 332109799 3443218154 2635485023 3565948170 685029590 3865281423 1181979057 4090237172 3190939362 1586901047 1690676354 388389827 3432740800 3768438212 1565315670 1202653975 873246038 3473721009 3819178975 4031509016 605836573 239712891 1423764204 2135284161 4190799675 2765145031 3422459462 3927176198 2517213582 106205804 4111228325 1701057586 706213483 402473655 1238741891 436652413 2061820555 798882083 4017055854 912303712 1497472632 1674887245 188175331 408835609 985256290 122858306 1806424383 164203766 2750871880 2884598074 4038496417 3183990974 2515454240 70874666 2822177135 3633370430 2556906506 2784834818 1551467589 3952707336 4163789489 1847104558 2834612157 1527141373 272572539 2877983232 303945724 89518155 3958653957 997036693 1284477838 1264944121 2815460329 3062720828 1442132995 2031466247 2612448872 2396651158 224659383 1905200681 1834135136 2891113848 937093279 1521885677 110320560 3804172768 1214267923 2881881068 587970292 345810108 2314192303 652747817 1908588176 1733550850 871332862 945951041 3668274656 1345799024 2148709403 1125146711 2407831275 3054218320 202685457 1947052203 786702302 2956324190 1695814003 4258593451 255 362436" option to reproduce the execution
0.00/0.03	c #vars 1096
0.00/0.03	c #constraints 52

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

pid=17801
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.32 2.22 2.19 3/179 17804
/proc/meminfo: memFree=29553572/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 2760 0 0 0 0 0 0 0 20 0 4 0 25874458 756477952 2610 33554432000 4194304 16246674 140734808758000 140734808757424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 185199 2618 441 2943 0 182093 0
[pid=17804/tid=17805] ppid=17801 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 774303744 2679 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 778498048 2696 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25874459 782692352 2711 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 17804
/proc/meminfo: memFree=29553572/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 29104 0 0 0 4 5 0 0 20 0 4 0 25874458 1247350784 28944 33554432000 4194304 16246674 140734808758000 140734808757424 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 304529 28949 635 2943 0 301423 0
[pid=17804/tid=17805] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 1247350784 28953 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 1247350784 28957 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25874459 1247350784 28961 33554432000 4194304 16246674 140734808758000 140413777202352 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.200526 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 17804
/proc/meminfo: memFree=29553572/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 51283 0 0 0 11 8 0 0 20 0 4 0 25874458 1247350784 51123 33554432000 4194304 16246674 140734808758000 140734808739904 12371445 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 304529 51136 635 2943 0 301423 0
[pid=17804/tid=17805] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 1247350784 51143 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 1247350784 51150 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25874459 1247350784 51157 33554432000 4194304 16246674 140734808758000 140413777202352 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.300482 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 17804
/proc/meminfo: memFree=29553572/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 75600 0 0 0 19 10 0 0 20 0 4 0 25874458 1247350784 75441 33554432000 4194304 16246674 140734808758000 140734808739904 12656437 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 304529 75446 635 2943 0 301423 0
[pid=17804/tid=17805] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 1247350784 75451 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 1247350784 75455 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25874459 1247350784 75459 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700404 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 17804
/proc/meminfo: memFree=29553572/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 164323 0 0 0 49 20 0 0 20 0 4 0 25874458 1247350784 164164 33554432000 4194304 16246674 140734808758000 140734808739904 6958465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 304529 164175 635 2943 0 301423 0
[pid=17804/tid=17805] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 1247350784 164181 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 1247350784 164189 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25874459 1247350784 164196 33554432000 4194304 16246674 140734808758000 140413777202352 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.50041 s]
/proc/loadavg: 2.32 2.22 2.19 4/183 17808
/proc/meminfo: memFree=28526192/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=1403460 CPUtime=1.48 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 291867 0 0 0 111 37 0 0 20 0 4 0 25874458 1437143040 291663 33554432000 4194304 16246674 140734808758000 140734808757312 12371101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 350865 291663 835 2943 0 347759 0
[pid=17804/tid=17805] ppid=17801 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 1437143040 291663 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 1437143040 291663 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874459 1437143040 291663 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1403460

[startup+3.10042 s]
/proc/loadavg: 2.38 2.23 2.19 4/183 17808
/proc/meminfo: memFree=28360380/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=1437252 CPUtime=3.09 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 300426 0 0 0 270 39 0 0 20 0 4 0 25874458 1471746048 300222 33554432000 4194304 16246674 140734808758000 140734808757312 13893024 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 359313 300222 835 2943 0 356207 0
[pid=17804/tid=17805] ppid=17801 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 1471746048 300222 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 1471746048 300222 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874459 1471746048 300222 33554432000 4194304 16246674 140734808758000 140413777202352 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) 1437252

[startup+6.30042 s]
/proc/loadavg: 2.38 2.23 2.19 4/183 17808
/proc/meminfo: memFree=28088244/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=1673796 CPUtime=6.28 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 359562 0 0 0 582 46 0 0 20 0 4 0 25874458 1713967104 359358 33554432000 4194304 16246674 140734808758000 140734808757096 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 418449 359358 835 2943 0 415343 0
[pid=17804/tid=17805] ppid=17801 vsize=1673796 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 1713967104 359358 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=1673796 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 1713967104 359358 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=1673796 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874459 1713967104 359358 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1673796

[startup+12.7004 s]
/proc/loadavg: 2.35 2.23 2.19 3/183 17808
/proc/meminfo: memFree=27225324/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=2537028 CPUtime=12.68 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 575372 0 0 0 1193 75 0 0 20 0 4 0 25874458 2597916672 575168 33554432000 4194304 16246674 140734808758000 140734808757176 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 634257 575168 836 2943 0 631151 0
[pid=17804/tid=17805] ppid=17801 vsize=2537028 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 2597916672 575168 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=2537028 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 2597916672 575168 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=2537028 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874459 2597916672 575168 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2537028

[startup+25.5005 s]
/proc/loadavg: 2.27 2.22 2.18 3/183 17808
/proc/meminfo: memFree=24539792/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=5137988 CPUtime=25.48 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 1225384 0 0 0 2384 164 0 0 20 0 4 0 25874458 5261299712 1225180 33554432000 4194304 16246674 140734808758000 140734808757312 4221035 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 1284497 1225180 836 2943 0 1281391 0
[pid=17804/tid=17805] ppid=17801 vsize=5137988 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 5261299712 1225180 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=5137988 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 5261299712 1225180 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=5137988 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874459 5261299712 1225180 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5137988

[startup+51.1005 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 17808
/proc/meminfo: memFree=16592284/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=9044548 CPUtime=51.08 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 2202254 0 0 0 4813 295 0 0 20 0 4 0 25874458 9261617152 2202050 33554432000 4194304 16246674 140734808758000 140734808757096 4206952 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 2261137 2202050 836 2943 0 2258031 0
[pid=17804/tid=17805] ppid=17801 vsize=9044548 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 9261617152 2202050 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=9044548 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 9261617152 2202050 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=9044548 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874459 9261617152 2202050 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9044548

[startup+102.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 17809
/proc/meminfo: memFree=5744884/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=14061124 CPUtime=102.27 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 3456404 0 0 0 9755 472 0 0 20 0 4 0 25874458 14398590976 3456200 33554432000 4194304 16246674 140734808758000 140734808755968 14016589 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 3515281 3456200 841 2943 0 3512175 0
[pid=17804/tid=17805] ppid=17801 vsize=14061124 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 14398590976 3456200 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=14061124 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 14398590976 3456200 33554432000 4194304 16246674 140734808758000 140413787675664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=14061124 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874459 14398590976 3456200 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14061124

[startup+162.3 s]
/proc/loadavg: 2.14 2.18 2.18 3/183 17810
/proc/meminfo: memFree=4791056/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=14061124 CPUtime=162.26 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 3456404 0 0 0 15751 475 0 0 20 0 4 0 25874458 14398590976 3456200 33554432000 4194304 16246674 140734808758000 140734808757096 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 3515281 3456200 841 2943 0 3512175 0
[pid=17804/tid=17805] ppid=17801 vsize=14061124 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 14398590976 3456200 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=14061124 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 14398590976 3456200 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=14061124 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874459 14398590976 3456200 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14061124



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+171.5 s]
/proc/loadavg: 2.12 2.18 2.17 4/183 17810
/proc/meminfo: memFree=3354252/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=15907396 CPUtime=171.46 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) R 17801 17804 12983 0 -1 4202496 3917912 0 0 0 16593 553 0 0 20 0 4 0 25874458 16289173504 3917708 33554432000 4194304 16246674 140734808758000 140734808757096 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 3976849 3917715 841 2943 0 3973743 0
[pid=17804/tid=17805] ppid=17801 vsize=15907396 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17805/stat : 17805 (toysat) S 17801 17804 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874458 16289173504 3917721 33554432000 4194304 16246674 140734808758000 140413798165744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=15907396 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) S 17801 17804 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874459 16289173504 3917724 33554432000 4194304 16246674 140734808758000 140413787675888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17804/tid=17807] ppid=17801 vsize=15907396 CPUtime=0 cores=0,2,4,6
/proc/17804/task/17807/stat : 17807 (toysat) S 17801 17804 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874459 16289173504 3917726 33554432000 4194304 16246674 140734808758000 140413777202352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 171.46
Current children cumulated vsize (KiB) 15907396

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+172 s]
/proc/loadavg: 2.12 2.18 2.17 4/181 17810
/proc/meminfo: memFree=4633932/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=0 CPUtime=171.95 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) Z 17801 17804 12983 0 -1 4203532 3918382 0 0 0 16593 602 0 0 20 0 2 0 25874458 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 0 0 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) R 17801 17804 12983 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 25874459 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 171.95
Current children cumulated vsize (KiB) 0

[startup+172.4 s]
/proc/loadavg: 2.12 2.18 2.17 4/181 17810
/proc/meminfo: memFree=4633932/32872528 swapFree=1286400/1433568
[pid=17804] ppid=17801 vsize=0 CPUtime=172.35 cores=0,2,4,6
/proc/17804/stat : 17804 (toysat) Z 17801 17804 12983 0 -1 4203532 3918382 0 0 0 16593 642 0 0 20 0 2 0 25874458 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17804/statm: 0 0 0 0 0 0 0
[pid=17804/tid=17806] ppid=17801 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/17804/task/17806/stat : 17806 (toysat) R 17801 17804 12983 0 -1 4203588 8 0 0 0 0 88 0 0 20 0 2 0 25874459 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 172.35
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 172.409
CPU time (s): 172.373
CPU user time (s): 165.94
CPU system time (s): 6.43302
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 15907396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 165.94
system time used= 6.43302
maximum resident set size= 15672712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3918382
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= 61
involuntary context switches= 177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23081 second user time and 1.40479 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 10:24:37
IDJOB=4103641
IDBENCH=2418
IDSOLVER=2542
FILE ID=node130/4103641-1466238277
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103641-1466238277/watcher-4103641-1466238277 -o /tmp/evaluation-result-4103641-1466238277/solver-4103641-1466238277 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103641-1466238277.opb

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

MD5SUM BENCH= 7bb51fb18714f8fdd98e0de4fc62f6d8
RANDOM SEED=512922918

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29553836 kB
Buffers:             760 kB
Cached:            64080 kB
SwapCached:         1380 kB
Active:          1138684 kB
Inactive:           7520 kB
Active(anon):    1082240 kB
Inactive(anon):     1376 kB
Active(file):      56444 kB
Inactive(file):     6144 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67096536 kB
Dirty:             35340 kB
Writeback:             4 kB
AnonPages:       2514760 kB
Mapped:             8144 kB
Shmem:                 0 kB
Slab:             600212 kB
SReclaimable:      42444 kB
SUnreclaim:       557768 kB
KernelStack:        1464 kB
PageTables:         8692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2664228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71712 MiB
End job on node130 at 2016-06-18 10:27:29