Trace number 4105641

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) 158.714 158.753

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb
MD5SUM18301f364ef74e26df74516365cf575f
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 benchmark2.54261
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 variables39901
Total number of constraints118441
Number of constraints which are clauses118440
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 constraint39480
Number of terms in the objective function 141
Biggest coefficient in the objective function 1393796574908163946345982392040522594123776
Number of bits for the biggest coefficient in the objective function 141
Sum of the numbers in the objective function 2787593149816327892691964784081045188247551
Number of bits of the sum of numbers in the objective function 141
Biggest number in a constraint 1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288
Number of bits of the biggest number in a constraint 420
Biggest sum of numbers in a constraint 5415370496329716522614090203404460358274291131933137772446847436667115240992208031579922255034219518448630133725391512086530056
Number of bits of the biggest sum of numbers421
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-18T14:53:22+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-4105641-1466254402.opb"]
0.00/0.01	c use --random-gen="2305436754 1824886352 3547893190 3412699167 3529454028 346332587 747328359 2613687161 874490832 1957502859 1666715896 1768131480 2516452256 4257731463 2011143442 2740191575 3737076414 3319379447 3320991839 1773856897 2786714215 1735619414 2463599474 1101375888 1883784773 1105905506 1786924110 3381877167 2565443930 2154591959 3982259816 3075168099 546730431 2800077432 3264866248 3385987540 1369994446 262905775 153343012 110353785 1996273020 1474876460 4191491091 1758514200 2347718430 3782150457 2926387680 2633720290 3512530201 1004902850 554635705 3320481800 4024276251 3035252756 1539655311 649181099 3960658327 2605426856 1634592480 1442064603 1279253681 2180932144 3700997496 2471881563 1420910384 4031147000 2758915843 1301214551 2950744608 1779888268 534614410 3654992906 1407606023 2320452805 3893497397 2805600136 1431614981 3214223905 906977456 469650627 2534693790 2861008992 1014646824 2984462472 803830319 1469385377 1217088484 4280508685 332686649 1246374934 2784967918 4107404218 235809233 2214207084 1152174823 793509477 3679305234 2212280913 2771341640 3606183587 3554505006 615573201 1655087070 401293129 1873832086 2900687139 3064975859 4134799668 892560301 3488859660 1247452519 333353230 2728454241 943054547 3879228830 3890543734 3075280329 1972375798 405722232 2158175815 4085143446 3494940313 4139756278 4111994566 2366970012 3906188903 2196111467 1098113331 4238607317 3002394423 261909070 318854744 1505346033 3517055922 3446841928 1503296774 3319110834 1680642500 205619171 2120234925 2076643556 625900333 2588461048 2106899020 3979239257 908270891 3940689704 1745375909 624419420 4042932579 1274917669 3380276581 1747981038 2314345168 2834932635 2539194278 2033128600 2550824982 2249908408 2756599586 3207850530 973028903 4183563464 3853840768 2323584024 1731474193 3509204317 447784393 1362473377 1515157082 3518713046 1017277125 3998474084 392824720 2729969827 3147802453 2143951896 989912342 4159290210 2336937901 3999562887 3059570544 1755065814 3565683530 2357297456 1549625301 3912557518 3497125776 3658160098 1070674602 1466379664 1386183400 3534927156 3820287312 1483280893 4244717082 3525878182 245995300 3464608885 1897055091 2750366314 2891417663 4125244350 795831420 2221481797 4288329769 742965161 259389055 2373043378 367963872 153592935 3423321260 814256804 115500510 1378373850 2111308281 2432411255 373258374 604490938 1557453732 2895225430 3574679462 1595366635 1212162855 2797375700 3246604798 1617958798 2982567034 3911392101 762057148 1447475659 2507959124 1063208148 92537604 2768579898 4226584575 540149527 1386478108 708324792 3371050363 3501673570 2866349498 110250727 3987167226 3797525681 3412603076 3228038480 2771173846 1082146703 3443806483 1398019968 870913989 2024382862 3813688378 2952565494 2495773863 255 362436" option to reproduce the execution
0.79/0.88	c #vars 39901
0.79/0.88	c #constraints 118441

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

pid=5884
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: 1.99 2.09 2.10 3/179 5887
/proc/meminfo: memFree=30174356/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=522684 CPUtime=0 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 1912 0 0 0 0 0 0 0 20 0 4 0 27490362 535228416 2784 33554432000 4194304 16246674 140736202244192 140736202243616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 131183 2794 441 2943 0 128077 0
[pid=5887/tid=5888] ppid=5884 vsize=567740 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 581365760 2959 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=572860 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 586608640 2979 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=576956 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 590802944 2995 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.99 2.09 2.10 3/179 5887
/proc/meminfo: memFree=30174356/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 25350 0 0 0 6 3 0 0 20 0 4 0 27490362 1332285440 26159 33554432000 4194304 16246674 140736202244192 140736202243504 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 325265 26175 800 2943 0 322159 0
[pid=5887/tid=5888] ppid=5884 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 1332285440 26186 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 1332285440 26197 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 1332285440 26208 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200524 s]
/proc/loadavg: 1.99 2.09 2.10 3/179 5887
/proc/meminfo: memFree=30174356/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 46769 0 0 0 13 6 0 0 20 0 4 0 27490362 1344868352 48089 33554432000 4194304 16246674 140736202244192 140736202243504 7378241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 328337 48089 801 2943 0 325231 0
[pid=5887/tid=5888] ppid=5884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 1344868352 48089 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 1344868352 48089 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 1344868352 48089 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300521 s]
/proc/loadavg: 1.99 2.09 2.10 3/179 5887
/proc/meminfo: memFree=30174356/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 61180 0 0 0 21 8 0 0 20 0 4 0 27490362 1344868352 62500 33554432000 4194304 16246674 140736202244192 140736202243504 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 328337 62500 801 2943 0 325231 0
[pid=5887/tid=5888] ppid=5884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 1344868352 62500 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 1344868352 62500 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 1344868352 62500 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700476 s]
/proc/loadavg: 1.99 2.09 2.10 3/179 5887
/proc/meminfo: memFree=30174356/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 71653 0 0 0 60 9 0 0 20 0 4 0 27490362 1344868352 72973 33554432000 4194304 16246674 140736202244192 140736202243504 7364576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 328337 72973 801 2943 0 325231 0
[pid=5887/tid=5888] ppid=5884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 1344868352 72973 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 1344868352 72973 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 1344868352 72973 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 1.99 2.09 2.10 3/183 5891
/proc/meminfo: memFree=29846052/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 152367 0 0 0 126 23 0 0 20 0 4 0 27490362 1357451264 153687 33554432000 4194304 16246674 140736202244192 140736202226112 6757465 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 331409 153696 838 2943 0 328303 0
[pid=5887/tid=5888] ppid=5884 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 1357451264 153701 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 1357451264 153706 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 1357451264 153711 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10047 s]
/proc/loadavg: 1.99 2.09 2.10 3/183 5891
/proc/meminfo: memFree=29082592/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=1334852 CPUtime=3.08 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 274346 0 0 0 266 42 0 0 20 0 4 0 27490362 1366888448 275666 33554432000 4194304 16246674 140736202244192 140736202226112 12386620 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 333713 275666 847 2943 0 330607 0
[pid=5887/tid=5888] ppid=5884 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 1366888448 275666 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 1366888448 275666 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 1366888448 275666 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1334852

[startup+6.30044 s]
/proc/loadavg: 1.99 2.09 2.10 4/183 5891
/proc/meminfo: memFree=28839552/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=1567300 CPUtime=6.29 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 332412 0 0 0 579 50 0 0 20 0 4 0 27490362 1604915200 333732 33554432000 4194304 16246674 140736202244192 140736202242048 4220487 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 391825 333732 847 2943 0 388719 0
[pid=5887/tid=5888] ppid=5884 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 1604915200 333732 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 1604915200 333732 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=1567300 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 1604915200 333732 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1567300

[startup+12.7004 s]
/proc/loadavg: 1.99 2.09 2.10 4/183 5891
/proc/meminfo: memFree=28297024/32872528 swapFree=526340/559044
[pid=5887] ppid=5884 vsize=2313796 CPUtime=12.68 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 519046 0 0 0 1196 72 0 0 20 0 4 0 27490362 2369327104 520367 33554432000 4194304 16246674 140736202244192 140736202242856 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 578449 520374 847 2943 0 575343 0
[pid=5887/tid=5888] ppid=5884 vsize=2313796 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 2369327104 520379 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=2313796 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 2369327104 520385 33554432000 4194304 16246674 140736202244192 140178056256528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=2313796 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 2369327104 520390 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2313796

[startup+25.5004 s]
/proc/loadavg: 1.99 2.08 2.10 3/183 5891
/proc/meminfo: memFree=26598228/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=3802692 CPUtime=25.48 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 891307 0 0 0 2424 124 0 0 20 0 4 0 27490362 3893956608 892627 33554432000 4194304 16246674 140736202244192 140736202241984 4221728 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 950673 892627 847 2943 0 947567 0
[pid=5887/tid=5888] ppid=5884 vsize=3802692 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 3893956608 892627 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=3802692 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 3893956608 892627 33554432000 4194304 16246674 140736202244192 140178056256528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=3802692 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 3893956608 892627 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3802692

[startup+51.1005 s]
/proc/loadavg: 1.99 2.08 2.10 3/182 5891
/proc/meminfo: memFree=21722600/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=8668740 CPUtime=51.07 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 2107821 0 0 0 4823 284 0 0 20 0 4 0 27490362 8876789760 2109141 33554432000 4194304 16246674 140736202244192 140736202243368 4206604 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 2167185 2109141 847 2943 0 2164079 0
[pid=5887/tid=5888] ppid=5884 vsize=8668740 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 8876789760 2109141 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=8668740 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 8876789760 2109141 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=8668740 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 8876789760 2109141 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8668740

[startup+102.3 s]
/proc/loadavg: 2.03 2.08 2.09 3/183 5893
/proc/meminfo: memFree=17818820/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=12565060 CPUtime=102.27 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 3081907 0 0 0 9817 410 0 0 20 0 4 0 27490362 12866621440 3083227 33554432000 4194304 16246674 140736202244192 140736202242048 14013960 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 3141265 3083227 852 2943 0 3138159 0
[pid=5887/tid=5888] ppid=5884 vsize=12565060 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 12866621440 3083227 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=12565060 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 12866621440 3083227 33554432000 4194304 16246674 140736202244192 140178056256528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=12565060 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 12866621440 3083227 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12565060



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+157.9 s]
/proc/loadavg: 2.06 2.08 2.09 3/183 5894
/proc/meminfo: memFree=14584188/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=15885892 CPUtime=157.86 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) R 5884 5887 28898 0 -1 4202496 3912116 0 0 0 15247 539 0 0 20 0 4 0 27490362 16267153408 3913436 33554432000 4194304 16246674 140736202244192 140736202243288 4225157 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 3971473 3913436 852 2943 0 3968367 0
[pid=5887/tid=5888] ppid=5884 vsize=15885892 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5888/stat : 5888 (toysat) S 5884 5887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490362 16267153408 3913436 33554432000 4194304 16246674 140736202244192 140178066746608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=15885892 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) S 5884 5887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490362 16267153408 3913436 33554432000 4194304 16246674 140736202244192 140178056256752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5887/tid=5890] ppid=5884 vsize=15886916 CPUtime=0 cores=0,2,4,6
/proc/5887/task/5890/stat : 5890 (toysat) S 5884 5887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490362 16268201984 3913443 33554432000 4194304 16246674 140736202244192 140177934642352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 157.86
Current children cumulated vsize (KiB) 15885892

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

[startup+158.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/183 5894
/proc/meminfo: memFree=14584188/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=0 CPUtime=158.26 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) Z 5884 5887 28898 0 -1 4203532 3912489 0 0 0 15248 578 0 0 20 0 2 0 27490362 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 0 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) R 5884 5887 28898 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 27490362 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 158.26
Current children cumulated vsize (KiB) 0

[startup+158.7 s]
/proc/loadavg: 2.06 2.08 2.09 3/181 5894
/proc/meminfo: memFree=29211684/32872528 swapFree=526336/559040
[pid=5887] ppid=5884 vsize=0 CPUtime=158.67 cores=0,2,4,6
/proc/5887/stat : 5887 (toysat) Z 5884 5887 28898 0 -1 4203532 3912489 0 0 0 15248 619 0 0 20 0 2 0 27490362 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5887/statm: 0 0 0 0 0 0 0
[pid=5887/tid=5889] ppid=5884 vsize=0 CPUtime=0.79 cores=0,2,4,6
/proc/5887/task/5889/stat : 5889 (toysat) R 5884 5887 28898 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 27490362 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 158.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 158.753
CPU time (s): 158.714
CPU user time (s): 152.482
CPU system time (s): 6.23205
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 15885892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.482
system time used= 6.23205
maximum resident set size= 15655236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3912489
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= 51
involuntary context switches= 163

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16782 second user time and 1.24881 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 14:53:22
IDJOB=4105641
IDBENCH=2964
IDSOLVER=2542
FILE ID=node106/4105641-1466254402
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105641-1466254402/watcher-4105641-1466254402 -o /tmp/evaluation-result-4105641-1466254402/solver-4105641-1466254402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105641-1466254402.opb

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

MD5SUM BENCH= 18301f364ef74e26df74516365cf575f
RANDOM SEED=489208295

node106.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		: 2667.073
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	: 5334.14
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		: 2667.073
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		: 2667.073
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		: 2667.073
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.56
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		: 2667.073
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		: 2667.073
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.56
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		: 2667.073
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.38
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		: 2667.073
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:        30174736 kB
Buffers:           99984 kB
Cached:           220444 kB
SwapCached:         1868 kB
Active:          1170536 kB
Inactive:         221720 kB
Active(anon):    1071220 kB
Inactive(anon):     3048 kB
Active(file):      99316 kB
Inactive(file):   218672 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             22496 kB
Writeback:             0 kB
AnonPages:       1630304 kB
Mapped:            10420 kB
Shmem:                 0 kB
Slab:             612832 kB
SReclaimable:      56116 kB
SUnreclaim:       556716 kB
KernelStack:        1488 kB
PageTables:         6800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1776148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71664 MiB
End job on node106 at 2016-06-18 14:56:01