Trace number 4105793

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) 166.336 166.385

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb
MD5SUMdf413fd91ea32ba4084c4b3fbb11e44d
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.49447
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 5814709794364855124394590463104036274829130884415680534709393500410164485780207399841635394555886269312423583179230372744812869772975784
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:28:03+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-4105793-1466256482.opb"]
0.00/0.01	c use --random-gen="299471486 2707468443 395627789 2364353701 348499297 3587690202 35458706 2396061198 3388526856 1715362044 303737040 507992766 1573798288 2676114229 2238865746 2127661082 2008517625 1358008640 2432054775 2187318297 797009751 316992124 721792851 2551724634 3864279179 380796733 1576944568 2490002009 547714257 3008644885 622693541 283869394 4199613354 103521337 1865452564 1363480660 1915363248 1405716387 3720465708 4136257128 2670118485 1990690697 1909548434 2177531486 2877597689 3505391425 1029154182 256823656 3053858211 3426120886 4172634402 3788371006 628036320 43671531 3427854234 2471151756 4112952193 1356600785 2821408608 4020685218 1861312607 1697657541 4044672457 1153633359 4725350 3380388858 1420245431 3257541115 1162424570 536084129 3257839152 264442678 2767477626 2289685727 2744699448 4149089771 261898642 2548115114 2248311234 3207896334 2309706926 3407859589 2287452480 330956918 3436128368 2291150598 1220109884 2711227599 459246392 1588307936 2043460524 2807556675 2989705677 3847223923 4020678023 3011238929 1764759087 4288495243 2451428112 752133641 2135208782 1599781065 2924442934 863488339 1437378696 3950147037 1587451496 660968007 1251085482 3855441305 723059333 2529635224 3026432458 1591468550 1778488942 982074255 942462910 2206999914 116893953 62523416 236713841 4199348380 2829359304 2865071440 3896054378 3022077929 2313338928 1079843200 3295041080 3000072939 1795496487 793264037 4228872682 140338428 1750655493 3933125418 2261221019 182241291 3238784235 3220682564 2781583962 3918063194 3262110044 3530972637 981573439 739252193 903436616 885133215 1867603502 1648528424 1246975362 443751149 428891872 643506161 3786772984 1981562282 4066948579 613340711 1974581204 748952661 1865509527 2522989917 4110559238 2196146864 1672705612 2986913388 710222371 742239709 2472820446 2592698394 2820041646 2417078435 4079533175 1177659266 1923969251 1596938827 2728685401 3064805509 1813839541 1192040926 4164005920 326603868 678486845 2528573865 3840379796 2534387696 3990271613 4264084050 1381062420 949341333 3504189824 2835601858 1058943491 1588019805 3828908722 2727439160 2299388073 366313382 3848936063 2328000837 3294666849 4053679841 2721595644 658953615 3304620685 2763488594 2216299562 3336529124 307591839 2771608135 2592838617 3435810186 3341570531 3447243114 1831920986 1890306947 703699222 998334655 3690480798 309675860 2334428997 4188418119 2610814032 872202547 2292875102 2327291357 1860296389 2719407004 4102444492 2671094503 3756097712 1025363985 1932378372 3681885371 4198984112 3202140160 2596703316 2592930592 1839540848 306459279 2419918048 3926122163 2004849245 1152312494 4163893364 1509111687 2334928272 1371074171 1507460969 511196978 3855596501 389155818 450169635 1366412150 1592974227 1751162881 255 362436" option to reproduce the execution
0.99/1.05	c #vars 45751
0.99/1.05	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-4105793-1466256482/watcher-4105793-1466256482 -o /tmp/evaluation-result-4105793-1466256482/solver-4105793-1466256482 -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-4105793-1466256482.opb 

pid=6781
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.05 2.05 2.04 3/179 6784
/proc/meminfo: memFree=19882244/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=649660 CPUtime=0 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 2409 0 0 0 0 0 0 0 20 0 4 0 27698371 665251840 2771 33554432000 4194304 16246674 140735297792064 140735297791488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 162927 2779 441 2943 0 159821 0
[pid=6784/tid=6785] ppid=6781 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 710340608 2945 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 710340608 2945 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27698371 710340608 2945 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.05 2.05 2.04 3/179 6784
/proc/meminfo: memFree=19882244/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 25637 0 0 0 5 4 0 0 20 0 4 0 27698371 1249447936 25936 33554432000 4194304 16246674 140735297792064 140735297791376 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 305041 25936 800 2943 0 301935 0
[pid=6784/tid=6785] ppid=6781 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 1249447936 25936 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 1249447936 25936 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 1249447936 25936 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200484 s]
/proc/loadavg: 2.05 2.05 2.04 3/179 6784
/proc/meminfo: memFree=19882244/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=1307204 CPUtime=0.19 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 48276 0 0 0 12 7 0 0 20 0 4 0 27698371 1338576896 49086 33554432000 4194304 16246674 140735297792064 140735297791376 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 326801 49089 800 2943 0 323695 0
[pid=6784/tid=6785] ppid=6781 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 1338576896 49092 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 1338576896 49094 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 1338576896 49096 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1307204

[startup+0.300433 s]
/proc/loadavg: 2.05 2.05 2.04 3/179 6784
/proc/meminfo: memFree=19882244/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 61301 0 0 0 20 9 0 0 20 0 4 0 27698371 1345916928 62111 33554432000 4194304 16246674 140735297792064 140735297791376 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 328593 62111 800 2943 0 325487 0
[pid=6784/tid=6785] ppid=6781 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 1345916928 62111 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 1345916928 62111 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 1345916928 62111 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700373 s]
/proc/loadavg: 2.05 2.05 2.04 3/179 6784
/proc/meminfo: memFree=19882244/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 70700 0 0 0 58 11 0 0 20 0 4 0 27698371 1345916928 71510 33554432000 4194304 16246674 140735297792064 140735297791376 4206868 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 328593 71510 800 2943 0 325487 0
[pid=6784/tid=6785] ppid=6781 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 1345916928 71510 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 1345916928 71510 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 1345916928 71510 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50036 s]
/proc/loadavg: 2.05 2.05 2.04 3/183 6788
/proc/meminfo: memFree=19589724/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=1327684 CPUtime=1.49 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 127589 0 0 0 129 20 0 0 20 0 4 0 27698371 1359548416 130444 33554432000 4194304 16246674 140735297792064 140735297774824 6165910 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 331921 130451 835 2943 0 328815 0
[pid=6784/tid=6785] ppid=6781 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 1359548416 130457 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 1359548416 130462 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 1359548416 130467 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1327684

[startup+3.10037 s]
/proc/loadavg: 2.04 2.05 2.04 3/183 6788
/proc/meminfo: memFree=18892756/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=1327684 CPUtime=3.08 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 269471 0 0 0 266 42 0 0 20 0 4 0 27698371 1359548416 272325 33554432000 4194304 16246674 140735297792064 140735297773952 6757365 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 331921 272325 837 2943 0 328815 0
[pid=6784/tid=6785] ppid=6781 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 1359548416 272325 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 1359548416 272325 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 1359548416 272325 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1327684

[startup+6.30037 s]
/proc/loadavg: 2.04 2.05 2.04 3/183 6788
/proc/meminfo: memFree=18548988/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=1568324 CPUtime=6.28 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 329557 0 0 0 576 52 0 0 20 0 4 0 27698371 1605963776 333433 33554432000 4194304 16246674 140735297792064 140735297789888 4220871 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 392081 333433 847 2943 0 388975 0
[pid=6784/tid=6785] ppid=6781 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 1605963776 333433 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 1605963776 333433 33554432000 4194304 16246674 140735297792064 140555153546256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 1605963776 333433 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1568324

[startup+12.7004 s]
/proc/loadavg: 2.12 2.06 2.04 3/183 6788
/proc/meminfo: memFree=18224264/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=1892932 CPUtime=12.68 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 410802 0 0 0 1205 63 0 0 20 0 4 0 27698371 1938362368 414678 33554432000 4194304 16246674 140735297792064 140735297791240 13754028 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 473233 414678 847 2943 0 470127 0
[pid=6784/tid=6785] ppid=6781 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 1938362368 414678 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 1938362368 414678 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=1892932 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 1938362368 414678 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1892932

[startup+25.5004 s]
/proc/loadavg: 2.10 2.06 2.04 3/183 6788
/proc/meminfo: memFree=16127292/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=3984964 CPUtime=25.49 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 933811 0 0 0 2410 139 0 0 20 0 4 0 27698371 4080603136 937687 33554432000 4194304 16246674 140735297792064 140735297791160 4221928 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 996241 937687 847 2943 0 993135 0
[pid=6784/tid=6785] ppid=6781 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 4080603136 937687 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 4080603136 937687 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 4080603136 937687 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3984964

[startup+51.1004 s]
/proc/loadavg: 2.13 2.07 2.04 3/183 6788
/proc/meminfo: memFree=7798140/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=9125444 CPUtime=51.08 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 2218933 0 0 0 4787 321 0 0 20 0 4 0 27698371 9344454656 2222809 33554432000 4194304 16246674 140735297792064 140735297791160 4220543 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 2281361 2222809 847 2943 0 2278255 0
[pid=6784/tid=6785] ppid=6781 vsize=9125444 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 9344454656 2222809 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=9125444 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 9344454656 2222809 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=9125444 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 9344454656 2222809 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9125444

[startup+102.3 s]
/proc/loadavg: 2.10 2.07 2.04 3/182 6789
/proc/meminfo: memFree=3969036/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=12944964 CPUtime=102.28 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 3173815 0 0 0 9771 457 0 0 20 0 4 0 27698371 13255643136 3177691 33554432000 4194304 16246674 140735297792064 140735297789952 4226245 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 3236241 3177691 848 2943 0 3233135 0
[pid=6784/tid=6785] ppid=6781 vsize=12944964 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 13255643136 3177691 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=12944964 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 13255643136 3177691 33554432000 4194304 16246674 140735297792064 140555153546256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=12944964 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 13255643136 3177691 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12944964

[startup+162.3 s]
/proc/loadavg: 2.14 2.09 2.05 3/184 6842
/proc/meminfo: memFree=8353196/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=15338052 CPUtime=162.25 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 3771971 0 0 0 15670 555 0 0 20 0 4 0 27698371 15706165248 3775844 33554432000 4194304 16246674 140735297792064 140735297791240 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 3834513 3775844 852 2943 0 3831407 0
[pid=6784/tid=6785] ppid=6781 vsize=15338052 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 15706165248 3775844 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=15338052 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 15706165248 3775844 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=15338052 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 15706165248 3775844 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 15338052



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+165.5 s]
/proc/loadavg: 2.12 2.09 2.05 3/184 6842
/proc/meminfo: memFree=7861536/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=15899204 CPUtime=165.45 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) R 6781 6784 28898 0 -1 4202496 3912317 0 0 0 15966 579 0 0 20 0 4 0 27698371 16280784896 3916191 33554432000 4194304 16246674 140735297792064 140735297791160 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 3974801 3916197 852 2943 0 3971695 0
[pid=6784/tid=6785] ppid=6781 vsize=15899204 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6785/stat : 6785 (toysat) S 6781 6784 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27698371 16280784896 3916202 33554432000 4194304 16246674 140735297792064 140555164036336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=15899204 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) S 6781 6784 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27698371 16280784896 3916206 33554432000 4194304 16246674 140735297792064 140555153546480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6784/tid=6787] ppid=6781 vsize=15899204 CPUtime=0 cores=0,2,4,6
/proc/6784/task/6787/stat : 6787 (toysat) S 6781 6784 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27698371 16280784896 3916211 33554432000 4194304 16246674 140735297792064 140555143072944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 165.45
Current children cumulated vsize (KiB) 15899204

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

[startup+165.605 s]
/proc/loadavg: 2.12 2.09 2.05 3/184 6842
/proc/meminfo: memFree=7861536/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=0 CPUtime=165.55 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) Z 6781 6784 28898 0 -1 4203532 3912642 0 0 0 15966 589 0 0 20 0 2 0 27698371 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 0 0 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) R 6781 6784 28898 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 27698371 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) 165.55
Current children cumulated vsize (KiB) 0

[startup+166 s]
/proc/loadavg: 2.12 2.09 2.05 3/184 6842
/proc/meminfo: memFree=7861536/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=0 CPUtime=165.95 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) Z 6781 6784 28898 0 -1 4203532 3912642 0 0 0 15966 629 0 0 20 0 2 0 27698371 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 0 0 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) R 6781 6784 28898 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 27698371 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) 165.95
Current children cumulated vsize (KiB) 0

[startup+166.207 s]
/proc/loadavg: 2.12 2.09 2.05 3/182 6842
/proc/meminfo: memFree=18519964/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=0 CPUtime=166.15 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) Z 6781 6784 28898 0 -1 4203532 3912642 0 0 0 15966 649 0 0 20 0 2 0 27698371 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 0 0 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) R 6781 6784 28898 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 27698371 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) 166.15
Current children cumulated vsize (KiB) 0

[startup+166.3 s]
/proc/loadavg: 2.12 2.09 2.05 3/182 6842
/proc/meminfo: memFree=18519964/32872528 swapFree=526336/559040
[pid=6784] ppid=6781 vsize=0 CPUtime=166.25 cores=0,2,4,6
/proc/6784/stat : 6784 (toysat) Z 6781 6784 28898 0 -1 4203532 3912642 0 0 0 15966 659 0 0 20 0 2 0 27698371 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6784/statm: 0 0 0 0 0 0 0
[pid=6784/tid=6786] ppid=6781 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/6784/task/6786/stat : 6786 (toysat) R 6781 6784 28898 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 27698371 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) 166.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 166.385
CPU time (s): 166.336
CPU user time (s): 159.67
CPU system time (s): 6.66599
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 15899204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.67
system time used= 6.66599
maximum resident set size= 15666060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3912642
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= 67
involuntary context switches= 206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.426935 second user time and 0.643902 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:28:02
IDJOB=4105793
IDBENCH=3015
IDSOLVER=2542
FILE ID=node106/4105793-1466256482
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71656 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-692949159.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105793-1466256482/watcher-4105793-1466256482 -o /tmp/evaluation-result-4105793-1466256482/solver-4105793-1466256482 -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-4105793-1466256482.opb

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

MD5SUM BENCH= df413fd91ea32ba4084c4b3fbb11e44d
RANDOM SEED=1810934473

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:        19882492 kB
Buffers:           71588 kB
Cached:           229088 kB
SwapCached:         1480 kB
Active:         11484348 kB
Inactive:         178464 kB
Active(anon):   11359848 kB
Inactive(anon):     4480 kB
Active(file):     124500 kB
Inactive(file):   173984 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             23420 kB
Writeback:             0 kB
AnonPages:      11920796 kB
Mapped:            10496 kB
Shmem:                 0 kB
Slab:             612660 kB
SReclaimable:      56304 kB
SUnreclaim:       556356 kB
KernelStack:        1480 kB
PageTables:        27492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   12066324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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= 71644 MiB
End job on node106 at 2016-06-18 15:30:49