Trace number 4079061

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) 174.477 174.508

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n370a.opb
MD5SUM28d10e1d13e82e070b03ac2e5d475941
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark45168146369
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4978502603
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29637219205243
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29637219205243
Number of bits of the biggest sum of numbers45
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-06T20:25:32+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-4079061-1465237532.opb"]
0.00/0.01	c use --random-gen="2822004430 4289491712 1787377185 1941191747 2335531592 2286923711 1878855604 2963023508 318318808 1070214410 2563401508 1582784009 3095595325 3459488275 1539303425 3252864523 1027171877 648908872 3473199401 2498833814 220915972 855464559 278748872 1276777345 3828378718 56463790 659346972 3715248136 2587304757 1409981349 205457436 3887111957 2650683446 705315334 2114125317 48705631 4090287993 261007037 2126292210 279263198 154412579 4246889916 2841578619 2633206433 141887107 4204955056 1240616452 3703765925 1024568694 1208809344 391098405 2450262776 3898772999 2809726495 3924839132 183130875 3914021147 2689856961 639672395 1562169376 970822720 3352156308 3146689747 881049728 3791041842 3187092777 3312645907 4023167458 3228891946 3807772709 3758564343 2883831187 3292179105 1453145903 3658728340 1532503536 2566880367 812252831 2761218162 3316733509 3788579288 3140332587 133158659 2856789226 1225352237 1831699531 1151729634 2508545130 3446164197 816651950 3883171978 4245122901 1364888865 3939978980 2711095505 2740984412 1645553899 3848066807 2821979549 1552032162 3806492050 4157894359 564793326 2096010696 9083920 435225318 3059855032 1810256706 1413949929 252384556 3312197119 3497095101 3283481742 3620089172 2078521936 3727988946 2099692962 1527677406 170170025 309336994 2326046029 2062781674 601052149 2385423119 3493518712 1110948134 4291445122 2287559709 1355412096 2970102444 273425806 2466055961 1630966183 2796124876 3607109575 1469478686 3166913592 4217078466 3515431355 3695977732 3981387650 3028997539 381968068 2560507196 2257148722 3686744577 1743687019 196367215 3128759517 2368439903 2900000620 348745498 1944487365 2582787979 926356464 2828656322 1473900152 1409996675 4047612967 2655437585 54094050 1950271535 780095690 4175372563 430350237 2341075779 4234408763 3259405134 1337603905 3371668396 2726222524 1652738135 3505131381 3907016419 1725909186 599221340 3398902327 337759186 121895917 2362460323 4048996470 956143323 4023985335 2456288718 4050721431 119161387 3343124749 3616447081 4099884848 2601105792 407250366 151866928 2671854249 1500288824 2474659886 2018899717 3709029666 41147577 464061259 3442423463 264904380 2986576154 3863071665 2764296227 2008308890 3659185782 2828710646 3359314522 1885360271 2490931011 21321068 660686448 1000502630 4094476148 956704289 2323193855 3771355016 3563401228 2059564820 690715511 4138973208 2158912299 3867021391 1538690520 325646955 493131427 3343311066 3486303277 1914388417 531643999 1007987833 131885858 53337056 1032161137 3615789175 74518332 1457936594 898497575 3389307968 3622114193 2742558105 3736323251 1101627267 1823930031 3709289386 2353972719 3336587298 1752778024 556377501 2943308115 3983817468 55638704 1254117270 1597858067 1674783212 4165191834 255 362436" option to reproduce the execution
1.10/1.12	c #vars 155000
1.10/1.12	c #constraints 5150
3.69/3.76	c BCD2: Hardening is enabled.
3.69/3.76	c BCD2: BiasedSearch is enabled.
3.69/3.76	c Solving starts ...
3.89/3.94	c ============================[ Search Statistics ]============================
3.89/3.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.89/3.94	c       |         |          |          |    Limit     GC | Var      | Constra 
3.89/3.94	c =============================================================================
3.89/3.94	c  0.0s |       0 |        0 |        0 |    53433      0 |    58504 |        0
6.69/6.72	c  2.8s |       0 |     6087 |        0 |    53433      0 |    58504 |        0
6.69/6.72	c #cpu_time = 2.734s
6.69/6.72	c #wall_clock_time = 2.734s
6.69/6.72	c #decision = 6087
6.69/6.72	c #random_decision = 14
6.69/6.72	c #conflict = 0
6.69/6.72	c #restart = 0
6.69/6.72	o 82752201852

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

pid=3050
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.25 2.24 2.19 4/179 3053
/proc/meminfo: memFree=29184996/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 2569 0 0 0 0 0 0 0 20 0 4 0 105686253 707194880 3441 33554432000 4194304 16246674 140733736630000 140733736629424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 173167 3451 441 2943 0 170061 0
[pid=3053/tid=3054] ppid=3050 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 725020672 3511 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 729214976 3527 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 734457856 3547 33554432000 4194304 16246674 140733736630000 139891849555120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.25 2.24 2.19 4/179 3053
/proc/meminfo: memFree=29184996/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 30636 0 0 0 6 3 0 0 20 0 4 0 105686253 1333334016 31445 33554432000 4194304 16246674 140733736630000 140733736629312 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 325521 31461 799 2943 0 322415 0
[pid=3053/tid=3054] ppid=3050 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 1333334016 31471 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 1333334016 31483 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 1333334016 31493 33554432000 4194304 16246674 140733736630000 139891849555120 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) 1302084

[startup+0.200476 s]
/proc/loadavg: 2.25 2.24 2.19 4/179 3053
/proc/meminfo: memFree=29184996/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 42677 0 0 0 14 5 0 0 20 0 4 0 105686253 1343819776 43997 33554432000 4194304 16246674 140733736630000 140733736612992 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 328081 43997 799 2943 0 324975 0
[pid=3053/tid=3054] ppid=3050 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 1343819776 43997 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 1343819776 43997 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 1343819776 43997 33554432000 4194304 16246674 140733736630000 139891849555120 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) 1312324

[startup+0.300433 s]
/proc/loadavg: 2.25 2.24 2.19 4/179 3053
/proc/meminfo: memFree=29184996/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 44157 0 0 0 23 6 0 0 20 0 4 0 105686253 1343819776 45477 33554432000 4194304 16246674 140733736630000 140733736612992 4220894 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 328081 45477 799 2943 0 324975 0
[pid=3053/tid=3054] ppid=3050 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 1343819776 45477 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 1343819776 45477 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 1343819776 45477 33554432000 4194304 16246674 140733736630000 139891849555120 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) 1312324

[startup+0.700369 s]
/proc/loadavg: 2.25 2.24 2.19 4/179 3053
/proc/meminfo: memFree=29184996/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 51344 0 0 0 62 7 0 0 20 0 4 0 105686253 1343819776 52664 33554432000 4194304 16246674 140733736630000 140733736612992 12750949 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 328081 52664 802 2943 0 324975 0
[pid=3053/tid=3054] ppid=3050 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 1343819776 52664 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 1343819776 52664 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 1343819776 52664 33554432000 4194304 16246674 140733736630000 139891849555120 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) 1312324

[startup+1.50035 s]
/proc/loadavg: 2.25 2.24 2.19 4/183 3057
/proc/meminfo: memFree=28927308/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=1380932 CPUtime=1.49 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 95345 0 0 0 137 12 0 0 20 0 4 0 105686253 1414074368 99220 33554432000 4194304 16246674 140733736630000 140733736611904 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 345233 99229 834 2943 0 342127 0
[pid=3053/tid=3054] ppid=3050 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 1414074368 99234 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 1414074368 99238 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 1414074368 99242 33554432000 4194304 16246674 140733736630000 139891849555120 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) 1380932

[startup+3.10041 s]
/proc/loadavg: 2.25 2.24 2.19 4/183 3057
/proc/meminfo: memFree=28723832/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=1380932 CPUtime=3.09 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 114768 0 0 0 295 14 0 0 20 0 4 0 105686253 1414074368 119154 33554432000 4194304 16246674 140733736630000 140733736629176 5913016 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 345233 119154 836 2943 0 342127 0
[pid=3053/tid=3054] ppid=3050 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 1414074368 119154 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 1414074368 119154 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 1414074368 119154 33554432000 4194304 16246674 140733736630000 139891849555120 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) 1380932

[startup+6.3004 s]
/proc/loadavg: 2.47 2.29 2.20 3/183 3057
/proc/meminfo: memFree=28469940/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=1380932 CPUtime=6.28 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 174440 0 0 0 607 21 0 0 20 0 4 0 105686253 1414074368 178826 33554432000 4194304 16246674 140733736630000 140733736611904 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 345233 178826 877 2943 0 342127 0
[pid=3053/tid=3054] ppid=3050 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 1414074368 178826 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 1414074368 178826 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 1414074368 178826 33554432000 4194304 16246674 140733736630000 139891849555120 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) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.51 2.30 2.21 3/183 3057
/proc/meminfo: memFree=27637532/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=2179652 CPUtime=12.69 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 482362 0 0 0 1210 59 0 0 20 0 4 0 105686253 2231963648 486748 33554432000 4194304 16246674 140733736630000 140733736628664 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 544913 486755 879 2943 0 541807 0
[pid=3053/tid=3054] ppid=3050 vsize=2179652 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 2231963648 486759 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=2179652 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 2231963648 486763 33554432000 4194304 16246674 140733736630000 139891929226256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=2179652 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 2231963648 486767 33554432000 4194304 16246674 140733736630000 139891849555120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2179652

[startup+25.5005 s]
/proc/loadavg: 2.47 2.30 2.21 3/183 3057
/proc/meminfo: memFree=24991016/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=4560452 CPUtime=25.48 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 1077565 0 0 0 2412 136 0 0 20 0 4 0 105686253 4669902848 1081952 33554432000 4194304 16246674 140733736630000 140733736628664 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 1140113 1081960 880 2943 0 1137007 0
[pid=3053/tid=3054] ppid=3050 vsize=4560452 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 4669902848 1081965 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=4560452 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 4669902848 1081970 33554432000 4194304 16246674 140733736630000 139891929226256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=4560452 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 4669902848 1081975 33554432000 4194304 16246674 140733736630000 139891849555120 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) 4560452

[startup+51.1005 s]
/proc/loadavg: 2.45 2.31 2.21 4/183 3057
/proc/meminfo: memFree=20565660/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=8837700 CPUtime=51.08 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 2147029 0 0 0 4835 273 0 0 20 0 4 0 105686253 9049804800 2151415 33554432000 4194304 16246674 140733736630000 140733736629096 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 2209425 2151415 880 2943 0 2206319 0
[pid=3053/tid=3054] ppid=3050 vsize=8837700 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 9049804800 2151415 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=8837700 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 9049804800 2151415 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=8837700 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 9049804800 2151415 33554432000 4194304 16246674 140733736630000 139891849555120 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) 8837700

[startup+102.3 s]
/proc/loadavg: 2.31 2.29 2.21 3/183 3058
/proc/meminfo: memFree=15057276/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=14334532 CPUtime=102.29 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 3521242 0 0 0 9774 455 0 0 20 0 4 0 105686253 14678560768 3525628 33554432000 4194304 16246674 140733736630000 140733736627840 14007424 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 3583633 3525628 884 2943 0 3580527 0
[pid=3053/tid=3054] ppid=3050 vsize=14334532 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 14678560768 3525628 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=14334532 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 14678560768 3525628 33554432000 4194304 16246674 140733736630000 139891929226256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=14334532 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 14678560768 3525628 33554432000 4194304 16246674 140733736630000 139891849555120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 14334532

[startup+162.3 s]
/proc/loadavg: 2.21 2.26 2.20 3/183 3060
/proc/meminfo: memFree=15057060/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=14334532 CPUtime=162.27 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 3521242 0 0 0 15771 456 0 0 20 0 4 0 105686253 14678560768 3525628 33554432000 4194304 16246674 140733736630000 140733736627968 14016692 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 3583633 3525628 884 2943 0 3580527 0
[pid=3053/tid=3054] ppid=3050 vsize=14334532 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 14678560768 3525628 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=14334532 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 14678560768 3525628 33554432000 4194304 16246674 140733736630000 139891929226256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=14334532 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 14678560768 3525628 33554432000 4194304 16246674 140733736630000 139891849555120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 14334532



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+173.6 s]
/proc/loadavg: 2.25 2.27 2.20 3/183 3060
/proc/meminfo: memFree=13869996/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=15903300 CPUtime=173.57 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) R 3050 3053 1166 0 -1 4202496 3913346 0 0 0 16844 513 0 0 20 0 4 0 105686253 16284979200 3917732 33554432000 4194304 16246674 140733736630000 140733736629096 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 3975825 3917732 884 2943 0 3972719 0
[pid=3053/tid=3054] ppid=3050 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3054/stat : 3054 (toysat) S 3050 3053 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105686253 16284979200 3917732 33554432000 4194304 16246674 140733736630000 139891939716336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) S 3050 3053 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105686253 16284979200 3917732 33554432000 4194304 16246674 140733736630000 139891929226480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3053/tid=3056] ppid=3050 vsize=15903300 CPUtime=0 cores=0,2,4,6
/proc/3053/task/3056/stat : 3056 (toysat) S 3050 3053 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105686254 16284979200 3917737 33554432000 4194304 16246674 140733736630000 139891849555120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 173.57
Current children cumulated vsize (KiB) 15903300

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

[startup+174 s]
/proc/loadavg: 2.25 2.27 2.20 3/181 3060
/proc/meminfo: memFree=16895800/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=0 CPUtime=173.96 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) Z 3050 3053 1166 0 -1 4203532 3913834 0 0 0 16844 552 0 0 20 0 2 0 105686253 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 0 0 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) R 3050 3053 1166 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 105686253 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) 173.96
Current children cumulated vsize (KiB) 0

[startup+174.4 s]
/proc/loadavg: 2.25 2.27 2.20 3/181 3060
/proc/meminfo: memFree=16895800/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=0 CPUtime=174.36 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) Z 3050 3053 1166 0 -1 4203532 3913834 0 0 0 16844 592 0 0 20 0 2 0 105686253 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 0 0 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) R 3050 3053 1166 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 105686253 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) 174.36
Current children cumulated vsize (KiB) 0

[startup+174.5 s]
/proc/loadavg: 2.25 2.27 2.20 3/181 3060
/proc/meminfo: memFree=16895800/32872528 swapFree=16384/1696552
[pid=3053] ppid=3050 vsize=0 CPUtime=174.46 cores=0,2,4,6
/proc/3053/stat : 3053 (toysat) Z 3050 3053 1166 0 -1 4203532 3913834 0 0 0 16844 602 0 0 20 0 2 0 105686253 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3053/statm: 0 0 0 0 0 0 0
[pid=3053/tid=3055] ppid=3050 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/3053/task/3055/stat : 3055 (toysat) R 3050 3053 1166 0 -1 4203588 8 0 0 0 0 88 0 0 20 0 2 0 105686253 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) 174.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 174.508
CPU time (s): 174.477
CPU user time (s): 168.446
CPU system time (s): 6.03108
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 15903300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 168.446
system time used= 6.03108
maximum resident set size= 15672880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3913834
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= 53
involuntary context switches= 180

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.474927 second user time and 0.641902 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 20:25:32
IDJOB=4079061
IDBENCH=2284
IDSOLVER=2542
FILE ID=node125/4079061-1465237532
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079061-1465237532/watcher-4079061-1465237532 -o /tmp/evaluation-result-4079061-1465237532/solver-4079061-1465237532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079061-1465237532.opb

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

MD5SUM BENCH= 28d10e1d13e82e070b03ac2e5d475941
RANDOM SEED=1945368713

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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		: 2666.456
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:        29185632 kB
Buffers:           34720 kB
Cached:           131912 kB
SwapCached:         2016 kB
Active:          1223676 kB
Inactive:          57828 kB
Active(anon):    1115844 kB
Inactive(anon):     1380 kB
Active(file):     107832 kB
Inactive(file):    56448 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             24904 kB
Writeback:             0 kB
AnonPages:       2814752 kB
Mapped:            10756 kB
Shmem:                 0 kB
Slab:             568584 kB
SReclaimable:      12504 kB
SUnreclaim:       556080 kB
KernelStack:        1480 kB
PageTables:        10044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2959664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2234368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node125 at 2016-06-06 20:28:27