Trace number 4105801

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) 156.616 156.649

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb
MD5SUM55edb2dcebb1eef2ceca62dc17cce326
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.39448
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables45751
Total number of constraints135901
Number of constraints which are clauses135900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint45300
Number of terms in the objective function 151
Biggest coefficient in the objective function 1427247692705959881058285969449495136382746624
Number of bits for the biggest coefficient in the objective function 151
Sum of the numbers in the objective function 2854495385411919762116571938898990272765493247
Number of bits of the sum of numbers in the objective function 151
Biggest number in a constraint 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312
Number of bits of the biggest number in a constraint 450
Biggest sum of numbers in a constraint 5814709794364855124394590463104036274829130884442601547409146523709370688892119900517445885328649663330068882186640259952495850427021820
Number of bits of the biggest sum of numbers451
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-18T15:29:29+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-4105801-1466256569.opb"]
0.00/0.01	c use --random-gen="1430598731 926506987 2258331854 2131664807 1286976565 1954087216 1685628231 4253898285 1675062 2252728266 2231127383 2808344541 2354659216 3374221341 921148533 3927673811 2426488290 1236921104 301646960 982506508 767569282 613924662 2407624202 1761805277 694171864 2303377907 267783765 738087332 2273984298 1004872550 4095304246 3664167160 1060955225 3474658677 221026898 2287889265 2273931184 1409706820 2616236081 2195433164 597829728 1538103801 715980102 4210613719 1614402681 1507070727 4089129460 3063316620 3853090884 651520397 387658683 464381688 2871023411 3898946352 3237991981 852426281 2674106435 2593397826 3539235292 4242109874 1486146602 3118875886 55428143 4240140142 2969924609 2749569543 3879511435 1259480808 1009322389 779047054 2063511849 361546704 1900583038 1700819918 3258639946 2451419375 703257204 1741081117 1588523493 2319341732 3828684307 2399992282 1358777942 1506591117 4032824654 495352814 2950209791 4123449563 451457689 1576869715 612950725 196436935 878569198 3800997460 4115894269 3991033834 34761366 2880374378 1483883293 2462381138 3431307031 2102353712 1496309136 752376179 2985803715 2368282549 646772171 1249707422 2019106589 2970023674 1223776413 3315852355 880181732 3005249682 476732934 767998008 500204136 2345531784 276447481 2349129845 358292376 746167280 3219889824 3500161484 2218051235 2251831645 1808876676 28408806 1467859053 3800350630 3253609544 2324971063 1388774500 3010730324 3203407888 2942795917 4044666953 3726556253 670546477 2343416358 3479200028 3316450868 3902754946 4187338069 3487906724 1904897037 589560838 3172074192 543271636 3132322824 4014924572 1660025294 170065619 758908609 3623170446 1124608637 2354122923 218753774 3282858290 4134616108 1793513121 1039545246 1713237454 3491180137 1082763918 4021269375 4071162231 3847125647 1642758186 3847090622 367438439 4210281674 442299230 477861946 3276026565 2006288222 2665228359 1542898419 3425789021 302474093 1365953965 1898254230 2116555025 3729033274 1628149504 2071490284 3925945004 730701964 1084412014 1062892110 838127268 1581979290 3384798539 3287782480 3062165857 1432187704 136552194 1619405268 2505619810 1896136673 2314949377 3382923658 990887341 990332184 3720175418 3041457722 2309799300 262822147 1735329522 3544075139 3248176793 846268029 3344978662 920563482 1554130900 1596955890 873959873 824197363 1614125078 2195097439 2980450042 3323871045 4001048705 211235852 1777871125 1970928097 2573550444 2185810176 2205479133 1025344630 3399944725 519114668 4060573085 2225625047 1874335982 1651290786 341832058 2905021779 3787240019 2169690724 1205275650 2781678301 826121623 1232086534 1224983228 4270839555 1873572461 961642735 1081472815 741460940 2334589414 2626727521 101944245 4286139073 856500476 3908684691 255 362436" option to reproduce the execution
0.89/0.98	c #vars 45751
0.89/0.98	c #constraints 135901

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

pid=24971
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.00 2.01 2.00 3/179 24974
/proc/meminfo: memFree=24278076/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=656828 CPUtime=0 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 2435 0 0 0 0 0 0 0 20 0 4 0 27706870 672591872 3307 33554432000 4194304 16246674 140735613563984 140735613563408 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 164719 3317 441 2943 0 161613 0
[pid=24974/tid=24975] ppid=24971 vsize=674236 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 690417664 3378 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=678332 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 694611968 3395 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=682428 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 698806272 3411 33554432000 4194304 16246674 140735613563984 140496164875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24974
/proc/meminfo: memFree=24278076/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 27338 0 0 0 6 3 0 0 20 0 4 0 27706870 1332285440 28149 33554432000 4194304 16246674 140735613563984 140735613563296 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 325265 28162 801 2943 0 322159 0
[pid=24974/tid=24975] ppid=24971 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 1332285440 28173 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 1332285440 28183 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 1332285440 28194 33554432000 4194304 16246674 140735613563984 140496164875440 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) 1301060

[startup+0.20044 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24974
/proc/meminfo: memFree=24278076/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 49692 0 0 0 12 7 0 0 20 0 4 0 27706870 1344868352 51013 33554432000 4194304 16246674 140735613563984 140735613563296 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 328337 51019 801 2943 0 325231 0
[pid=24974/tid=24975] ppid=24971 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 1344868352 51023 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 1344868352 51028 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 1344868352 51031 33554432000 4194304 16246674 140735613563984 140496164875440 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) 1313348

[startup+0.300453 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24974
/proc/meminfo: memFree=24278076/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 61485 0 0 0 20 9 0 0 20 0 4 0 27706870 1345916928 62806 33554432000 4194304 16246674 140735613563984 140735613563296 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 328593 62806 801 2943 0 325487 0
[pid=24974/tid=24975] ppid=24971 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 1345916928 62806 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 1345916928 62806 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 1345916928 62806 33554432000 4194304 16246674 140735613563984 140496164875440 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) 1314372

[startup+0.700413 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24974
/proc/meminfo: memFree=24278076/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 70700 0 0 0 59 10 0 0 20 0 4 0 27706870 1345916928 72021 33554432000 4194304 16246674 140735613563984 140735613563296 8058211 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 328593 72021 801 2943 0 325487 0
[pid=24974/tid=24975] ppid=24971 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 1345916928 72021 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 1345916928 72021 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 1345916928 72021 33554432000 4194304 16246674 140735613563984 140496164875440 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) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24978
/proc/meminfo: memFree=23974020/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=1327684 CPUtime=1.49 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 144154 0 0 0 127 22 0 0 20 0 4 0 27706870 1359548416 147520 33554432000 4194304 16246674 140735613563984 140735613561792 6938921 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 331921 147527 836 2943 0 328815 0
[pid=24974/tid=24975] ppid=24971 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 1359548416 147532 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 1359548416 147538 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 1359548416 147543 33554432000 4194304 16246674 140735613563984 140496164875440 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) 1327684

[startup+3.10039 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24978
/proc/meminfo: memFree=23190464/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=1327684 CPUtime=3.09 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 269479 0 0 0 267 42 0 0 20 0 4 0 27706870 1359548416 273866 33554432000 4194304 16246674 140735613563984 140735613561792 13893028 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 331921 273866 838 2943 0 328815 0
[pid=24974/tid=24975] ppid=24971 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 1359548416 273866 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 1359548416 273866 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 1359548416 273866 33554432000 4194304 16246674 140735613563984 140496164875440 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) 1327684

[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24978
/proc/meminfo: memFree=22942548/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=1568324 CPUtime=6.29 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 329555 0 0 0 579 50 0 0 20 0 4 0 27706870 1605963776 333942 33554432000 4194304 16246674 140735613563984 140735613563296 12665176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 392081 333942 847 2943 0 388975 0
[pid=24974/tid=24975] ppid=24971 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 1605963776 333942 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 1605963776 333942 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 1605963776 333942 33554432000 4194304 16246674 140735613563984 140496164875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1568324

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24978
/proc/meminfo: memFree=21582688/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=1949252 CPUtime=12.69 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 424689 0 0 0 1207 62 0 0 20 0 4 0 27706870 1996034048 429076 33554432000 4194304 16246674 140735613563984 140735613563160 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 487313 429083 847 2943 0 484207 0
[pid=24974/tid=24975] ppid=24971 vsize=1949252 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 1996034048 429088 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=1949252 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 1996034048 429092 33554432000 4194304 16246674 140735613563984 140496282295312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=1949252 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 1996034048 429098 33554432000 4194304 16246674 140735613563984 140496164875440 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) 1949252

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24978
/proc/meminfo: memFree=17255388/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=3984964 CPUtime=25.48 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 933809 0 0 0 2418 130 0 0 20 0 4 0 27706870 4080603136 938196 33554432000 4194304 16246674 140735613563984 140735613563080 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 996241 938196 847 2943 0 993135 0
[pid=24974/tid=24975] ppid=24971 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 4080603136 938196 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 4080603136 938196 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 4080603136 938196 33554432000 4194304 16246674 140735613563984 140496164875440 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) 3984964

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 24981
/proc/meminfo: memFree=8760040/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=9126468 CPUtime=51.08 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 2219187 0 0 0 4811 297 0 0 20 0 4 0 27706870 9345503232 2223574 33554432000 4194304 16246674 140735613563984 140735613563160 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 2281617 2223574 847 2943 0 2278511 0
[pid=24974/tid=24975] ppid=24971 vsize=9126468 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 9345503232 2223574 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=9126468 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 9345503232 2223574 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=9126468 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 9345503232 2223574 33554432000 4194304 16246674 140735613563984 140496164875440 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) 9126468

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24982
/proc/meminfo: memFree=4935372/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=12943940 CPUtime=102.28 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 3173561 0 0 0 9806 422 0 0 20 0 4 0 27706870 13254594560 3177948 33554432000 4194304 16246674 140735613563984 140735613561920 14014083 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 3235985 3177948 852 2943 0 3232879 0
[pid=24974/tid=24975] ppid=24971 vsize=12943940 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 13254594560 3177948 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=12943940 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 13254594560 3177948 33554432000 4194304 16246674 140735613563984 140496282295312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=12943940 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 13254594560 3177948 33554432000 4194304 16246674 140735613563984 140496164875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12943940



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+155.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25033
/proc/meminfo: memFree=11446360/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=15887940 CPUtime=155.66 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) R 24971 24974 20760 0 -1 4202496 3909371 0 0 0 15032 534 0 0 20 0 4 0 27706870 16269250560 3913761 33554432000 4194304 16246674 140735613563984 140735613563080 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 3971985 3913767 852 2943 0 3968879 0
[pid=24974/tid=24975] ppid=24971 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24975/stat : 24975 (toysat) S 24971 24974 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27706870 16269250560 3913771 33554432000 4194304 16246674 140735613563984 140496292785392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) S 24971 24974 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27706870 16269250560 3913776 33554432000 4194304 16246674 140735613563984 140496282295536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24974/tid=24977] ppid=24971 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/24974/task/24977/stat : 24977 (toysat) S 24971 24974 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27706870 16269250560 3913781 33554432000 4194304 16246674 140735613563984 140496164875440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 155.66
Current children cumulated vsize (KiB) 15887940

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

[startup+156 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25033
/proc/meminfo: memFree=11446360/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=0 CPUtime=155.96 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) Z 24971 24974 20760 0 -1 4203532 3909705 0 0 0 15032 564 0 0 20 0 2 0 27706870 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 0 0 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) R 24971 24974 20760 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 27706870 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) 155.96
Current children cumulated vsize (KiB) 0

[startup+156.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25033
/proc/meminfo: memFree=19258816/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=0 CPUtime=156.36 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) Z 24971 24974 20760 0 -1 4203532 3909705 0 0 0 15032 604 0 0 20 0 2 0 27706870 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 0 0 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) R 24971 24974 20760 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 27706870 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) 156.36
Current children cumulated vsize (KiB) 0

[startup+156.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25033
/proc/meminfo: memFree=19258816/32872528 swapFree=163656/177964
[pid=24974] ppid=24971 vsize=0 CPUtime=156.56 cores=0,2,4,6
/proc/24974/stat : 24974 (toysat) Z 24971 24974 20760 0 -1 4203532 3909705 0 0 0 15032 624 0 0 20 0 2 0 27706870 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24974/statm: 0 0 0 0 0 0 0
[pid=24974/tid=24976] ppid=24971 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/24974/task/24976/stat : 24976 (toysat) R 24971 24974 20760 0 -1 4203588 8 0 0 0 0 88 0 0 20 0 2 0 27706870 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) 156.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 156.649
CPU time (s): 156.616
CPU user time (s): 150.329
CPU system time (s): 6.28704
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 15887940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 150.329
system time used= 6.28704
maximum resident set size= 15656380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3909705
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= 54
involuntary context switches= 160

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.400939 second user time and 0.603908 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:29:29
IDJOB=4105801
IDBENCH=3017
IDSOLVER=2542
FILE ID=node105/4105801-1466256569
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105801-1466256569/watcher-4105801-1466256569 -o /tmp/evaluation-result-4105801-1466256569/solver-4105801-1466256569 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105801-1466256569.opb

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

MD5SUM BENCH= 55edb2dcebb1eef2ceca62dc17cce326
RANDOM SEED=1356011810

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        24278704 kB
Buffers:           93716 kB
Cached:           212400 kB
SwapCached:         1424 kB
Active:          7465200 kB
Inactive:         200348 kB
Active(anon):    7356872 kB
Inactive(anon):     4732 kB
Active(file):     108328 kB
Inactive(file):   195616 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             23316 kB
Writeback:             0 kB
AnonPages:       7536780 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             604724 kB
SReclaimable:      48444 kB
SUnreclaim:       556280 kB
KernelStack:        1488 kB
PageTables:        18644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7678492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 71708 MiB
End job on node105 at 2016-06-18 15:32:06