Trace number 4103577

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) 370.709 378.075

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-bore3d.opb
MD5SUM3390fe53c5dba1c8f6be2518b185ac11
Bench CategoryOPT-BIGINT (optimisation, big 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 benchmark0.364944
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables9277
Total number of constraints242
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 constraints242
Minimum length of a constraint17
Maximum length of a constraint2190
Number of terms in the objective function 2617
Biggest coefficient in the objective function 18004229637537792
Number of bits for the biggest coefficient in the objective function 54
Sum of the numbers in the objective function 118634341295805038
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 18004229637537792
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 118634341295805038
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.01	c 2016-06-18T10:18:18+0200
0.00/0.01	c version = 0.5.0
0.00/0.01	c githash = 1a49202
0.00/0.01	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.01	c arch = x86_64
0.00/0.01	c os = linux
0.00/0.01	c compiler = ghc 7.10
0.00/0.01	c packages:
0.00/0.01	c   OptDir-0.0.3
0.00/0.01	c   array-0.5.1.0
0.00/0.01	c   base-4.8.2.0
0.00/0.01	c   bytestring-0.10.6.0
0.00/0.01	c   bytestring-builder-0.10.6.0.0
0.00/0.01	c   clock-0.7.2
0.00/0.01	c   containers-0.5.6.2
0.00/0.01	c   data-default-0.5.3
0.00/0.01	c   data-default-class-0.0.1
0.00/0.01	c   data-interval-1.2.0
0.00/0.01	c   deepseq-1.4.1.1
0.00/0.01	c   directory-1.2.2.0
0.00/0.01	c   exceptions-0.8.2.1
0.00/0.01	c   extended-reals-0.2.1.0
0.00/0.01	c   filepath-1.4.0.0
0.00/0.01	c   finite-field-0.8.0
0.00/0.01	c   hashable-1.2.4.0
0.00/0.01	c   heaps-0.3.3
0.00/0.01	c   intern-0.9.1.4
0.00/0.01	c   loop-0.3.0
0.00/0.01	c   mtl-2.2.1
0.00/0.01	c   multiset-0.3.2
0.00/0.01	c   mwc-random-0.13.3.2
0.00/0.01	c   parse_dimacs-1.3
0.00/0.01	c   parsec-3.1.9
0.00/0.01	c   prettyclass-1.0.0.0
0.00/0.01	c   primes-0.2.1.0
0.00/0.01	c   primitive-0.6.1.0
0.00/0.01	c   process-1.2.3.0
0.00/0.01	c   pseudo-boolean-0.1.3.0
0.00/0.02	c   queue-0.1.2
0.00/0.02	c   semigroups-0.18.1
0.00/0.02	c   sign-0.4.3
0.00/0.02	c   stm-2.4.4.1
0.00/0.02	c   template-haskell-2.10.0.0
0.00/0.02	c   temporary-1.2.0.4
0.00/0.02	c   time-1.5.0.1
0.00/0.02	c   transformers-0.4.2.0
0.00/0.02	c   transformers-compat-0.5.1.4
0.00/0.02	c   type-level-numbers-0.1.1.1
0.00/0.02	c   unbounded-delays-0.1.0.9
0.00/0.02	c   unordered-containers-0.2.6.0
0.00/0.02	c   vector-0.11.0.0
0.00/0.02	c   vector-space-0.10.3
0.00/0.02	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4103577-1466237897.opb"]
0.00/0.02	c use --random-gen="2114150905 3758649747 1064901804 2859939586 1404279853 1210561909 92275423 219823731 2632065708 3232513746 3623425433 2734099779 2895038623 1282931482 167902584 940835787 782130287 2928438388 3715147685 3827367763 3228792930 2597776358 1385959891 2246788402 351721513 3764414402 1237089504 414023348 3181451309 3607618996 4210163311 2140136836 3062062155 1267237077 1764746917 2282582507 3216089707 4219400033 2303956033 3785948354 807550193 1394978331 4282164950 55756130 1317408593 2987630704 1049043601 1332756646 363922621 891299569 1918134604 803802286 556466920 3181813621 3450471758 2852628432 141843034 2113386010 3178000110 133779269 254290251 2456355744 2241499347 4190557038 3774979703 2784991437 1624347661 934218103 1646546189 509462833 775519889 1952290065 3308777364 3309418653 38929217 190857308 2085011902 3468992892 1417891550 1678480764 2069181335 4288468957 1659625554 3822741294 900482184 3909646133 1407555501 640791019 52895250 2425571057 4287131746 2303872900 1233255706 2301092971 3771819498 4195683334 1058097504 4121614173 3869391059 3586665795 308319901 528698693 1260376858 2263318705 1166139199 2749805615 4004290786 1638755171 893224911 3542854307 3763629217 3175845168 851173380 2667192278 99184408 751794500 2508299886 4263238084 1357159174 379789570 497251725 3598197015 776353893 1115551115 938644004 2995923316 2899036214 1469189682 2256023663 3221497892 2861012208 2575027172 1915825801 731453297 2962276705 3985845844 71099353 3725290744 1998381545 1000440417 1752492525 3168514238 2185677400 3823725459 1552028599 3595751362 4279660015 165128278 2001261052 2799343939 874411412 659923190 579920246 3915849490 1031310965 3864425060 112758574 2056684798 3434306778 2615011428 1858538003 3063271233 4174624876 1172057155 2439242375 3300790804 2380826640 1842372391 2466647763 973947770 48613298 518366346 368507360 2442365204 3067195247 2012940866 629264531 2552544118 3369096318 2067235102 3963062020 3144027009 122249198 1160503890 1518685191 998036440 3849448641 764600238 3664483469 3831779870 1072941796 999512949 531551647 3945836298 3486188139 3239501319 1403041355 1888580415 666456625 1698269010 1248647026 4271965486 1400883323 3399846074 2391533667 1045519667 289431114 3978042652 3741368919 2950810630 2514603336 2434346280 1235667866 4095180526 1544128654 3076514552 2222776675 1540337329 3473301771 3111939560 2347473405 4254561589 3795697326 3124011749 2797466845 4143660043 359662425 685666475 3605099305 1554899688 1530770536 1962365836 270490292 100819357 2102028663 2968876889 1799245177 426768182 1445115854 4079551183 3825362712 3490330111 174939771 2016855278 991144846 269326996 3186420050 3601417467 2996733037 3193799469 1901360021 4129977571 1707427295 1003541574 73241208 3736418118 255 362436" option to reproduce the execution
0.07/0.13	c #vars 9277
0.07/0.13	c #constraints 242
369.86/377.32	toysat: out of memory (requested 1048576 bytes)

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-4103577-1466237897/watcher-4103577-1466237897 -o /tmp/evaluation-result-4103577-1466237897/solver-4103577-1466237897 -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-4103577-1466237897.opb 

pid=17596
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.43 2.22 2.19 3/179 17599
/proc/meminfo: memFree=15513256/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=12720 CPUtime=0 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) D 17596 17599 12983 0 -1 4202496 189 0 0 0 0 0 0 0 20 0 1 0 25836539 13025280 62 33554432000 4194304 16246674 140736026643488 140736026642888 14996871 0 0 4096 0 18446744071580543392 0 0 17 2 0 0 0 0 0
/proc/17599/statm: 3180 62 48 2943 0 74 0

[startup+0.100146 s]
/proc/loadavg: 2.43 2.22 2.19 3/179 17599
/proc/meminfo: memFree=15513256/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=1303108 CPUtime=0.07 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 25219 0 0 0 4 3 0 0 20 0 4 0 25836539 1334382592 26029 33554432000 4194304 16246674 140736026643488 140736026642800 8058197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 1 0 0
/proc/17599/statm: 325777 26044 801 2943 0 322671 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1303108

[startup+0.200368 s]
/proc/loadavg: 2.43 2.22 2.19 3/179 17599
/proc/meminfo: memFree=15513256/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=1313348 CPUtime=0.17 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 41551 0 0 0 12 5 0 0 20 0 4 0 25836539 1344868352 42361 33554432000 4194304 16246674 140736026643488 140736026642800 12654533 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 1 0 0
/proc/17599/statm: 328337 42361 834 2943 0 325231 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 1313348

[startup+0.300365 s]
/proc/loadavg: 2.43 2.22 2.19 3/179 17599
/proc/meminfo: memFree=15513256/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=1313348 CPUtime=0.27 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 53220 0 0 0 20 7 0 0 20 0 4 0 25836539 1344868352 54030 33554432000 4194304 16246674 140736026643488 140736026642800 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 1 0 0
/proc/17599/statm: 328337 54038 834 2943 0 325231 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 1313348

[startup+0.700292 s]
/proc/loadavg: 2.43 2.22 2.19 3/179 17599
/proc/meminfo: memFree=15513256/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=1313348 CPUtime=0.67 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 149501 0 0 0 47 20 0 0 20 0 4 0 25836539 1344868352 150312 33554432000 4194304 16246674 140736026643488 140736026625408 12449273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 328337 150327 834 2943 0 325231 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.43 2.22 2.19 3/183 17603
/proc/meminfo: memFree=14586792/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=1433156 CPUtime=1.47 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 299338 0 0 0 106 41 0 0 20 0 4 0 25836539 1467551744 300148 33554432000 4194304 16246674 140736026643488 140736026642152 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 358289 300153 834 2943 0 355183 0
[pid=17599/tid=17601] ppid=17596 vsize=1433156 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 1467551744 300156 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=1433156 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 1467551744 300158 33554432000 4194304 16246674 140736026643488 140318808710384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=1433156 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 1467551744 300161 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1433156

[startup+3.10033 s]
/proc/loadavg: 2.40 2.22 2.19 3/183 17603
/proc/meminfo: memFree=14251380/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=1495620 CPUtime=3.07 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 315031 0 0 0 264 43 0 0 20 0 4 0 25836539 1531514880 315841 33554432000 4194304 16246674 140736026643488 140736026642800 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 373905 315841 834 2943 0 370799 0
[pid=17599/tid=17601] ppid=17596 vsize=1495620 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 1531514880 315841 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=1495620 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 1531514880 315841 33554432000 4194304 16246674 140736026643488 140318808710384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=1495620 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 1531514880 315841 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 1495620

[startup+6.30042 s]
/proc/loadavg: 2.40 2.22 2.19 3/183 17652
/proc/meminfo: memFree=28079476/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=1823300 CPUtime=6.28 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 396951 0 0 0 572 56 0 0 20 0 4 0 25836539 1867059200 397761 33554432000 4194304 16246674 140736026643488 140736026642800 12654199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 455825 397761 834 2943 0 452719 0
[pid=17599/tid=17601] ppid=17596 vsize=1823300 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 1867059200 397761 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=1823300 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 1867059200 397761 33554432000 4194304 16246674 140736026643488 140318808710384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=1823300 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 1867059200 397761 33554432000 4194304 16246674 140736026643488 140318729039024 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) 1823300

[startup+12.7004 s]
/proc/loadavg: 2.41 2.23 2.19 3/183 17652
/proc/meminfo: memFree=26145180/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=2561604 CPUtime=12.67 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 581529 0 0 0 1189 78 0 0 20 0 4 0 25836539 2623082496 582339 33554432000 4194304 16246674 140736026643488 140736026642584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 640401 582339 835 2943 0 637295 0
[pid=17599/tid=17601] ppid=17596 vsize=2561604 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 2623082496 582339 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=2561604 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 2623082496 582339 33554432000 4194304 16246674 140736026643488 140318808710384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=2561604 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 2623082496 582339 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 2561604

[startup+25.5005 s]
/proc/loadavg: 2.43 2.23 2.19 3/183 17652
/proc/meminfo: memFree=21554820/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=4806212 CPUtime=25.47 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 1142681 0 0 0 2394 153 0 0 20 0 4 0 25836539 4921561088 1143491 33554432000 4194304 16246674 140736026643488 140736026642584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 1201553 1143491 835 2943 0 1198447 0
[pid=17599/tid=17601] ppid=17596 vsize=4806212 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 4921561088 1143491 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=4806212 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 4921561088 1143491 33554432000 4194304 16246674 140736026643488 140318808710384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=4806212 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 4921561088 1143491 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 4806212

[startup+51.1005 s]
/proc/loadavg: 2.40 2.25 2.19 3/183 17652
/proc/meminfo: memFree=14026000/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=7991876 CPUtime=51.06 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 1938939 0 0 0 4847 259 0 0 20 0 4 0 25836539 8183681024 1939754 33554432000 4194304 16246674 140736026643488 140736026641280 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 1997969 1939761 835 2943 0 1994863 0
[pid=17599/tid=17601] ppid=17596 vsize=7991876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 8183681024 1939766 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=7991876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 8183681024 1939771 33554432000 4194304 16246674 140736026643488 140318808710160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=7991876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 8183681024 1939775 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 7991876

[startup+102.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 17653
/proc/meminfo: memFree=7455396/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=12455492 CPUtime=102.26 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 3054958 0 0 0 9811 415 0 0 20 0 4 0 25836539 12754423808 3055773 33554432000 4194304 16246674 140736026643488 140736026642152 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 3113873 3055775 835 2943 0 3110767 0
[pid=17599/tid=17601] ppid=17596 vsize=12455492 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 12754423808 3055819 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=12456516 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 12755472384 3055827 33554432000 4194304 16246674 140736026643488 140318808710160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=12456516 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 12755472384 3055831 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12455492

[startup+162.3 s]
/proc/loadavg: 2.21 2.23 2.19 3/184 17657
/proc/meminfo: memFree=5707948/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=13131332 CPUtime=162.24 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 3223970 0 0 0 15779 445 0 0 20 0 4 0 25836539 13446483968 3224785 33554432000 4194304 16246674 140736026643488 140736026641280 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 3282833 3224785 840 2943 0 3279727 0
[pid=17599/tid=17601] ppid=17596 vsize=13131332 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 13446483968 3224785 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=13131332 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 13446483968 3224785 33554432000 4194304 16246674 140736026643488 140318808710160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=13131332 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 13446483968 3224785 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 13131332

[startup+222.307 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 17707
/proc/meminfo: memFree=12197992/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=14135876 CPUtime=222.24 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 3475106 0 0 0 21736 488 0 0 20 0 4 0 25836539 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140736026641408 14013533 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 3533969 3475921 840 2943 0 3530863 0
[pid=17599/tid=17601] ppid=17596 vsize=14135876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=14135876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140318808710160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=14135876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 14135876

[startup+282.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 17708
/proc/meminfo: memFree=2790316/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=14135876 CPUtime=282.22 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 3475108 0 0 0 27728 494 0 0 20 0 4 0 25836539 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140736026642584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 3533969 3475921 840 2943 0 3530863 0
[pid=17599/tid=17601] ppid=17596 vsize=14135876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=14135876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140318808710384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=14135876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 14135876

[startup+342.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 17710
/proc/meminfo: memFree=2790792/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=14135876 CPUtime=342.21 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 3475108 0 0 0 33723 498 0 0 20 0 4 0 25836539 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140736026641408 14003281 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0
/proc/17599/statm: 3533969 3475921 840 2943 0 3530863 0
[pid=17599/tid=17601] ppid=17596 vsize=14135876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=14135876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140318808710160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=14135876 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 14475137024 3475921 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 14135876



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+377.2 s]
/proc/loadavg: 2.32 2.22 2.19 2/176 17745
/proc/meminfo: memFree=15438984/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=15916612 CPUtime=369.86 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) R 17596 17599 12983 0 -1 4202496 3937791 0 626 0 36392 594 0 0 20 0 4 0 25836539 16298610688 3822584 33554432000 4194304 16246674 140736026643488 140736026642584 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 722 0 0
/proc/17599/statm: 3979153 3822584 828 2943 0 3976047 0
[pid=17599/tid=17601] ppid=17596 vsize=15916612 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17601/stat : 17601 (toysat) S 17596 17599 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25836540 16298610688 3822584 33554432000 4194304 16246674 140736026643488 140318819200240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=15916612 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) S 17596 17599 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25836540 16298610688 3822584 33554432000 4194304 16246674 140736026643488 140318808710384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=17599/tid=17603] ppid=17596 vsize=15916612 CPUtime=0 cores=0,2,4,6
/proc/17599/task/17603/stat : 17603 (toysat) S 17596 17599 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25836540 16298610688 3822584 33554432000 4194304 16246674 140736026643488 140318729039024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 369.86
Current children cumulated vsize (KiB) 15916612

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 17599 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+377.7 s]
/proc/loadavg: 2.32 2.22 2.19 2/176 17745
/proc/meminfo: memFree=15438984/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=0 CPUtime=370.33 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) Z 17596 17599 12983 0 -1 4202508 3939368 0 628 0 36393 640 0 0 20 0 2 0 25836539 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 725 0 0
/proc/17599/statm: 0 0 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=0 CPUtime=0.44 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) R 17596 17599 12983 0 -1 4203588 8 0 0 0 0 44 0 0 20 0 2 0 25836540 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 370.33
Current children cumulated vsize (KiB) 0

[startup+377.9 s]
/proc/loadavg: 2.32 2.22 2.19 2/176 17745
/proc/meminfo: memFree=15438984/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=0 CPUtime=370.53 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) Z 17596 17599 12983 0 -1 4202508 3939368 0 628 0 36393 660 0 0 20 0 2 0 25836539 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 725 0 0
/proc/17599/statm: 0 0 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=0 CPUtime=0.64 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) R 17596 17599 12983 0 -1 4203588 8 0 0 0 0 64 0 0 20 0 2 0 25836540 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 370.53
Current children cumulated vsize (KiB) 0

[startup+378 s]
/proc/loadavg: 2.32 2.22 2.19 2/176 17745
/proc/meminfo: memFree=15438984/32872528 swapFree=1286400/1433568
[pid=17599] ppid=17596 vsize=0 CPUtime=370.63 cores=0,2,4,6
/proc/17599/stat : 17599 (toysat) Z 17596 17599 12983 0 -1 4202508 3939368 0 628 0 36393 670 0 0 20 0 2 0 25836539 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 725 0 0
/proc/17599/statm: 0 0 0 0 0 0 0
[pid=17599/tid=17602] ppid=17596 vsize=0 CPUtime=0.74 cores=0,2,4,6
/proc/17599/task/17602/stat : 17602 (toysat) R 17596 17599 12983 0 -1 4203588 8 0 0 0 0 74 0 0 20 0 2 0 25836540 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 370.63
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 378.075
CPU time (s): 370.709
CPU user time (s): 363.933
CPU system time (s): 6.77597
CPU usage (%): 98.0515
Max. virtual memory (cumulated for all children) (KiB): 15916612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.933
system time used= 6.77597
maximum resident set size= 15296640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3939368
page faults= 628
swaps= 0
block input operations= 39976
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1026
involuntary context switches= 425

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81672 second user time and 2.09668 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 10:18:18
IDJOB=4103577
IDBENCH=2399
IDSOLVER=2542
FILE ID=node130/4103577-1466237897
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-bore3d.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103577-1466237897/watcher-4103577-1466237897 -o /tmp/evaluation-result-4103577-1466237897/solver-4103577-1466237897 -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-4103577-1466237897.opb

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

MD5SUM BENCH= 3390fe53c5dba1c8f6be2518b185ac11
RANDOM SEED=140719609

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:        15513784 kB
Buffers:           10912 kB
Cached:            64084 kB
SwapCached:        88716 kB
Active:         14001896 kB
Inactive:        1141080 kB
Active(anon):   13953456 kB
Inactive(anon):  1116888 kB
Active(file):      48440 kB
Inactive(file):    24192 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       66950496 kB
Dirty:             17108 kB
Writeback:             4 kB
AnonPages:      16414072 kB
Mapped:             9152 kB
Shmem:                 0 kB
Slab:             603044 kB
SReclaimable:      45708 kB
SUnreclaim:       557336 kB
KernelStack:        1488 kB
PageTables:        36348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   16681720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3586048 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:24:36