Trace number 4079091

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) 202.303 202.336

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb
MD5SUM5c05260f6843a043cc98f4ac421d8cee
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 benchmark5.45317
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 variables89251
Total number of constraints265861
Number of constraints which are clauses265860
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 constraint88620
Number of terms in the objective function 211
Biggest coefficient in the objective function 1645504557321206042154969182557350504982735865633579863348609024
Number of bits for the biggest coefficient in the objective function 211
Sum of the numbers in the objective function 3291009114642412084309938365114701009965471731267159726697218047
Number of bits of the sum of numbers in the objective function 211
Biggest number in a constraint 2227754207823337509102134573095845373483021732054960903603121346630505452738612005129840239901060253798165190221481644194672219102234100585084307285020612396607419274589973120157653414182912
Number of bits of the biggest number in a constraint 630
Biggest sum of numbers in a constraint 8911016831293350036408538292383381493932086928219843614412485386260498644612268667133724011390101656086782377029608255490932025454511314090929376002563120558209056959186693543806592147551031
Number of bits of the biggest sum of numbers631
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-30T22:28:56+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-4079091-1467318535.opb"]
0.00/0.01	c use --random-gen="3101571548 2570307831 4204525577 74048182 115189323 1178090012 1990796092 4230665921 293402649 2695924533 976108525 3992945280 1994939044 3507896397 1473694973 1886887558 2595772223 4263977670 2864417614 1912355661 3805133271 3399023075 311823125 381363888 3532148240 4005139481 2163829860 342180854 3089815483 2628777274 3915450496 2717884222 3685674165 1204885126 3049419586 2665022114 2281760017 2052186085 379768476 3496411518 4061131532 2863553314 2004297681 937934545 2422009355 3722555201 2344814934 2220784221 2689965436 30664993 2968967165 2316088956 2728205464 2868614310 551044195 3367637991 2214615091 680988404 1800832756 3657485664 815906328 1963733916 3668703844 776274849 460396190 321970263 977710152 3341613827 4120728501 3650300377 1675896539 3064918611 3553400162 687345688 3716196248 2871246216 1616826938 3918642457 394359010 2683401171 1871536127 2202188114 349472430 2881864978 2347376663 3783458956 3644410234 4003816891 3366244971 3288107241 2129912326 848955098 1968236657 3329567456 17082 276235737 1194598836 37748953 2574896875 2175971662 2391752541 3140215660 3294371265 1353711997 586206491 1223715672 1704089948 812283737 1839548812 1506287406 4275427378 2320165526 4082466760 3681249453 3367319159 1884342159 3717061543 1419813013 2905311237 3096693809 2955528910 1440254974 2614715737 1821422451 3354683069 1883383488 225369125 2874979511 1773940409 3804402687 4154941054 731159687 460810414 200774845 2390672888 1866123662 3436128254 2297603494 2445154862 463126599 4210477867 3438566271 1545523354 1856451808 3704021864 1352512254 2571905712 3512768083 26799274 2074915417 716813759 139983427 3068499255 2657336480 3903768075 3880351083 15452881 4018621842 1732473413 2562927476 1333382627 2600291902 3206883931 3880152125 910377091 3175673875 3515907978 3708638859 2725968941 3543956171 1573500499 1914447969 1108170665 700933802 4028313690 3168927778 3381800972 2410139160 2471757381 2451704398 3272409397 812097937 3101125768 400232353 3271319813 1482190194 1022110903 2920245868 807808997 1327048303 398647283 170532128 512566826 3079372332 3683499447 1359509388 3550117704 2235051711 425285339 3063314450 1264203979 1596973347 3867972191 2402081615 2950505591 2767500744 1326557992 1532405856 1845779256 1205943293 929369519 1242082145 1180479470 1460999007 697228013 4182802465 1535994008 2781626809 2451046363 4097736440 1796970240 3976073760 3765085378 4140672671 1001486704 3897779557 1035376674 935644039 1481941142 2946839635 2182244430 1991895585 2456245579 1704339096 1309952920 4041997778 1255415915 824516190 3591988130 3382732248 4056458792 1785283283 1927545742 1623713119 2501976020 3892055859 1101007986 3038115777 3929306836 3001801239 1482911297 3626145836 2716419236 1095415234 649119445 837341917 255 362436" option to reproduce the execution
1.89/1.99	c #vars 89251
1.89/1.99	c #constraints 265861

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

pid=24953
running on 4 cores: 1,3,5,7

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: 1.30 1.24 1.59 2/169 24956
/proc/meminfo: memFree=28304216/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 2675 0 0 0 0 0 0 0 20 0 4 0 12804759 733409280 2524 33554432000 4194304 16246674 140734686189200 140734686188624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 179823 2534 441 2943 0 176717 0
[pid=24956/tid=24957] ppid=24953 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 752283648 2595 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 756477952 2612 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12804759 760672256 2628 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 1.30 1.24 1.59 2/169 24956
/proc/meminfo: memFree=28304216/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 26162 0 0 0 5 4 0 0 20 0 4 0 12804759 1250496512 25949 33554432000 4194304 16246674 140734686189200 140734686187008 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 305297 25949 800 2943 0 302191 0
[pid=24956/tid=24957] ppid=24953 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 1250496512 25949 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 1250496512 25949 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 1250496512 25949 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200514 s]
/proc/loadavg: 1.30 1.24 1.59 2/169 24956
/proc/meminfo: memFree=28304216/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 48506 0 0 0 12 7 0 0 20 0 4 0 12804759 1344868352 48804 33554432000 4194304 16246674 140734686189200 140734686187008 7376613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 328337 48804 801 2943 0 325231 0
[pid=24956/tid=24957] ppid=24953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 1344868352 48804 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 1344868352 48804 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 1344868352 48804 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300474 s]
/proc/loadavg: 1.30 1.24 1.59 2/169 24956
/proc/meminfo: memFree=28304216/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 64271 0 0 0 19 10 0 0 20 0 4 0 12804759 1344868352 64569 33554432000 4194304 16246674 140734686189200 140734686187008 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 328337 64569 801 2943 0 325231 0
[pid=24956/tid=24957] ppid=24953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 1344868352 64569 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 1344868352 64569 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 1344868352 64569 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700472 s]
/proc/loadavg: 1.30 1.24 1.59 2/169 24956
/proc/meminfo: memFree=28304216/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 69726 0 0 0 55 14 0 0 20 0 4 0 12804759 1345916928 70024 33554432000 4194304 16246674 140734686189200 140734686187008 7440008 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 328593 70024 801 2943 0 325487 0
[pid=24956/tid=24957] ppid=24953 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 1345916928 70024 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 1345916928 70024 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 1345916928 70024 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50044 s]
/proc/loadavg: 1.30 1.24 1.59 2/173 24960
/proc/meminfo: memFree=27976364/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 81859 0 0 0 127 22 0 0 20 0 4 0 12804759 1345916928 82157 33554432000 4194304 16246674 140734686189200 140734686187008 4220536 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 328593 82157 802 2943 0 325487 0
[pid=24956/tid=24957] ppid=24953 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 1345916928 82157 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 1345916928 82157 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 1345916928 82157 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10048 s]
/proc/loadavg: 1.30 1.24 1.59 2/173 24960
/proc/meminfo: memFree=27932568/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=1349188 CPUtime=3.09 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 224906 0 0 0 253 56 0 0 20 0 4 0 12804759 1381568512 231336 33554432000 4194304 16246674 140734686189200 140734686171072 5515837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 337297 231346 835 2943 0 334191 0
[pid=24956/tid=24957] ppid=24953 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 1381568512 231351 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 1381568512 231356 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 1381568512 231362 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1349188

[startup+6.30044 s]
/proc/loadavg: 1.28 1.24 1.58 2/173 24960
/proc/meminfo: memFree=27192340/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=1357380 CPUtime=6.29 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 273851 0 0 0 539 90 0 0 20 0 4 0 12804759 1389957120 280281 33554432000 4194304 16246674 140734686189200 140734686187072 13814388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 339345 280281 847 2943 0 336239 0
[pid=24956/tid=24957] ppid=24953 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 1389957120 280281 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 1389957120 280281 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 1389957120 280281 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7005 s]
/proc/loadavg: 1.25 1.23 1.58 3/173 24960
/proc/meminfo: memFree=26501444/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=2338372 CPUtime=12.69 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 519099 0 0 0 1096 173 0 0 20 0 4 0 12804759 2394492928 525529 33554432000 4194304 16246674 140734686189200 140734686188512 6942256 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 584593 525529 847 2943 0 581487 0
[pid=24956/tid=24957] ppid=24953 vsize=2338372 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 2394492928 525529 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=2338372 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 2394492928 525529 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=2338372 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 2394492928 525529 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2338372

[startup+25.5005 s]
/proc/loadavg: 1.20 1.22 1.57 2/173 24960
/proc/meminfo: memFree=24913268/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=3760708 CPUtime=25.49 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 874440 0 0 0 2236 313 0 0 20 0 4 0 12804759 3850964992 880870 33554432000 4194304 16246674 140734686189200 140734686187008 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 940177 880878 847 2943 0 937071 0
[pid=24956/tid=24957] ppid=24953 vsize=3760708 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 3850964992 880884 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=3760708 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 3850964992 880888 33554432000 4194304 16246674 140734686189200 139982812453904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=3760708 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 3850964992 880893 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3760708

[startup+51.1005 s]
/proc/loadavg: 1.20 1.22 1.56 2/173 24960
/proc/meminfo: memFree=20938576/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=7591492 CPUtime=51.08 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 1832382 0 0 0 4495 613 0 0 20 0 4 0 12804759 7773687808 1838812 33554432000 4194304 16246674 140734686189200 140734686187008 4206640 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 1897873 1838812 847 2943 0 1894767 0
[pid=24956/tid=24957] ppid=24953 vsize=7591492 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 7773687808 1838812 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=7591492 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 7773687808 1838812 33554432000 4194304 16246674 140734686189200 139982812453904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=7591492 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 7773687808 1838812 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7591492

[startup+102.3 s]
/proc/loadavg: 1.20 1.21 1.54 3/174 24964
/proc/meminfo: memFree=17247824/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=11275844 CPUtime=102.29 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 2753475 0 0 0 9111 1118 0 0 20 0 4 0 12804759 11546464256 2759905 33554432000 4194304 16246674 140734686189200 140734686187136 14014083 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 2818961 2759905 852 2943 0 2815855 0
[pid=24956/tid=24957] ppid=24953 vsize=11275844 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 11546464256 2759905 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=11275844 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 11546464256 2759905 33554432000 4194304 16246674 140734686189200 139982812453904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=11275844 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 11546464256 2759905 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 11275844

[startup+162.3 s]
/proc/loadavg: 1.23 1.22 1.52 2/173 24966
/proc/meminfo: memFree=13619452/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=15476292 CPUtime=162.26 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 3746047 0 0 0 14600 1626 0 0 20 0 4 0 12804759 15847723008 3809709 33554432000 4194304 16246674 140734686189200 140734686187136 14006617 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 3869073 3809709 852 2943 0 3865967 0
[pid=24956/tid=24957] ppid=24953 vsize=15476292 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 15847723008 3809709 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=15476292 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 15847723008 3809709 33554432000 4194304 16246674 140734686189200 139982812453904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=15476292 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 15847723008 3809709 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15476292



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+201.501 s]
/proc/loadavg: 1.27 1.23 1.51 3/173 24967
/proc/meminfo: memFree=13370836/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=15873604 CPUtime=201.46 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) R 24953 24956 22681 0 -1 4202496 3845537 0 0 0 18308 1838 0 0 20 0 4 0 12804759 16254570496 3909199 33554432000 4194304 16246674 140734686189200 140734686188296 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 3968401 3909206 852 2943 0 3965295 0
[pid=24956/tid=24957] ppid=24953 vsize=15873604 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24957/stat : 24957 (toysat) S 24953 24956 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12804759 16254570496 3909211 33554432000 4194304 16246674 140734686189200 139982822943984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=15873604 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) S 24953 24956 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12804759 16254570496 3909216 33554432000 4194304 16246674 140734686189200 139982812454128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24956/tid=24959] ppid=24953 vsize=15873604 CPUtime=0 cores=1,3,5,7
/proc/24956/task/24959/stat : 24959 (toysat) S 24953 24956 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12804759 16254570496 3909220 33554432000 4194304 16246674 140734686189200 139982801980592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 201.46
Current children cumulated vsize (KiB) 15873604

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

[startup+201.605 s]
/proc/loadavg: 1.27 1.23 1.51 3/173 24967
/proc/meminfo: memFree=13370836/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=0 CPUtime=201.56 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) Z 24953 24956 22681 0 -1 4203532 3845862 0 0 0 18308 1848 0 0 20 0 2 0 12804759 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 0 0 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) R 24953 24956 22681 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 12804759 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 201.56
Current children cumulated vsize (KiB) 0

[startup+202 s]
/proc/loadavg: 1.27 1.23 1.51 3/173 24967
/proc/meminfo: memFree=13370836/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=0 CPUtime=201.96 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) Z 24953 24956 22681 0 -1 4203532 3845862 0 0 0 18308 1888 0 0 20 0 2 0 12804759 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 0 0 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) R 24953 24956 22681 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 12804759 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 201.96
Current children cumulated vsize (KiB) 0

[startup+202.2 s]
/proc/loadavg: 1.27 1.23 1.51 3/173 24967
/proc/meminfo: memFree=13370836/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=0 CPUtime=202.16 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) Z 24953 24956 22681 0 -1 4203532 3845862 0 0 0 18308 1908 0 0 20 0 2 0 12804759 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 0 0 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) R 24953 24956 22681 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 12804759 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 202.16
Current children cumulated vsize (KiB) 0

[startup+202.3 s]
/proc/loadavg: 1.27 1.23 1.51 3/173 24967
/proc/meminfo: memFree=13370836/32872528 swapFree=1459604/1655828
[pid=24956] ppid=24953 vsize=0 CPUtime=202.26 cores=1,3,5,7
/proc/24956/stat : 24956 (toysat) Z 24953 24956 22681 0 -1 4203532 3845862 0 0 0 18308 1918 0 0 20 0 2 0 12804759 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24956/statm: 0 0 0 0 0 0 0
[pid=24956/tid=24958] ppid=24953 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/24956/task/24958/stat : 24958 (toysat) R 24953 24956 22681 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 12804759 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 202.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 202.336
CPU time (s): 202.303
CPU user time (s): 183.086
CPU system time (s): 19.2171
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 15873604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.086
system time used= 19.2171
maximum resident set size= 15638096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3845862
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= 46
involuntary context switches= 223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3028 second user time and 1.65575 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-30 22:28:56
IDJOB=4079091
IDBENCH=3018
IDSOLVER=2542
FILE ID=node136/4079091-1467318535
RUNJOBID= node136-1467309401-22698
PBS_JOBID= 20005289
Free space on /tmp= 71632 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079091-1467318535/watcher-4079091-1467318535 -o /tmp/evaluation-result-4079091-1467318535/solver-4079091-1467318535 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22698 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079091-1467318535.opb

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

MD5SUM BENCH= 5c05260f6843a043cc98f4ac421d8cee
RANDOM SEED=1733541395

node136.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.182
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.36
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.182
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.182
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.182
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.182
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.182
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.182
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.182
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28304480 kB
Buffers:          202700 kB
Cached:          1933564 kB
SwapCached:            0 kB
Active:           412296 kB
Inactive:        1750408 kB
Active(anon):      28648 kB
Inactive(anon):        0 kB
Active(file):     383648 kB
Inactive(file):  1750408 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32660 kB
Writeback:             0 kB
AnonPages:       1681728 kB
Mapped:            13860 kB
Shmem:               204 kB
Slab:             616544 kB
SReclaimable:      60392 kB
SUnreclaim:       556152 kB
KernelStack:        1376 kB
PageTables:         6600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1766728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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= 71616 MiB
End job on node136 at 2016-06-30 22:32:18